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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUMf82b685b64af240616b701a750c82883
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
Number of terms in the objective function 934
Biggest coefficient in the objective function 546
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2594
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 546
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2594
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03784
Number of variables934
Total number of constraints1996
Number of constraints which are clauses879
Number of constraints which are cardinality constraints (but not clauses)1117
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20

Trace number 24974

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 12:11:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3297 boxname=wulflinc31 idbench=367 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 3297
/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:        814348 kB
Buffers:         41340 kB
Cached:         157396 kB
SwapCached:       1932 kB
Active:         162628 kB
Inactive:        39344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814096 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12612 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 12:31:20 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 3297 0 1175.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 934 variables and 1063 constraints.
c After prepocess the problem consists of 933 variables and 1062 constraints.
c preprocess terminated 0.349 s
c Initial Lower Bound: -358
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 562 @ 0.722
c NEW SOLUTION FOUND: 561 @ 0.731
c NEW SOLUTION FOUND: 560 @ 0.753
c NEW SOLUTION FOUND: 559 @ 0.765
c NEW SOLUTION FOUND: 558 @ 0.808
c NEW SOLUTION FOUND: 557 @ 1.114
c NEW SOLUTION FOUND: 556 @ 1.156
c NEW SOLUTION FOUND: 555 @ 1.34
c NEW SOLUTION FOUND: 554 @ 1.38
c NEW SOLUTION FOUND: 553 @ 1.71
c NEW SOLUTION FOUND: 552 @ 2.645
c NEW SOLUTION FOUND: 551 @ 2.742
c NEW SOLUTION FOUND: 550 @ 3.525
c NEW SOLUTION FOUND: 549 @ 4.154
c NEW SOLUTION FOUND: 548 @ 4.39
c NEW SOLUTION FOUND: 547 @ 4.972
c NEW SOLUTION FOUND: 546 @ 5.199
c NEW SOLUTION FOUND: 545 @ 5.824
c NEW SOLUTION FOUND: 544 @ 5.871
c NEW SOLUTION FOUND: 543 @ 6.094
c NEW SOLUTION FOUND: 542 @ 6.375
c NEW SOLUTION FOUND: 541 @ 6.401
c NEW SOLUTION FOUND: 540 @ 6.444
c NEW SOLUTION FOUND: 539 @ 7.645
c NEW SOLUTION FOUND: 538 @ 8.928
c NEW SOLUTION FOUND: 537 @ 12.325
c NEW SOLUTION FOUND: 536 @ 15.094
c NEW SOLUTION FOUND: 535 @ 17.378
c NEW SOLUTION FOUND: 534 @ 18.846
c NEW SOLUTION FOUND: 533 @ 20.082
c NEW SOLUTION FOUND: 532 @ 21.537
c NEW SOLUTION FOUND: 531 @ 24.704
c NEW SOLUTION FOUND: 530 @ 27.421
c NEW SOLUTION FOUND: 529 @ 39.009
c NEW SOLUTION FOUND: 528 @ 42.73
c NEW SOLUTION FOUND: 527 @ 47.375
c NEW SOLUTION FOUND: 526 @ 52.452
c NEW SOLUTION FOUND: 525 @ 53.812
c NEW SOLUTION FOUND: 524 @ 57.036
c NEW SOLUTION FOUND: 523 @ 61.566
c NEW SOLUTION FOUND: 522 @ 238.148
c NEW SOLUTION FOUND: 521 @ 332.129
c NEW SOLUTION FOUND: 520 @ 357.733
c NEW SOLUTION FOUND: 519 @ 526.074
c NEW SOLUTION FOUND: 518 @ 528.999
c NEW SOLUTION FOUND: 517 @ 659.787
c NEW SOLUTION FOUND: 516 @ 714.689
c NEW SOLUTION FOUND: 515 @ 812.592
c NEW SOLUTION FOUND: 514 @ 847.996
c NEW SOLUTION FOUND: 513 @ 925.031
c NEW SOLUTION FOUND: 512 @ 964.218
s SATISFIABLE
v -v853 -v782 v197 v102 -v21 v2 v855 -v103 v1 v785 -v384 v272 v196 -v20 v3 -v856 -v786 -v76 -v55 v23 v4 v383 v275 -v202 -v75 -v54 -v11 -v763 v387 -v276 -v200 -v56 v24 v5 v762 v247 -v150 v77 -v57 v26 -v6 v764 -v613 -v388 -v201 -v79 v58 -v39 v27 -v7 v765 v612 -v513 v250 -v205 v149 v65 -v38 v766 -v618 -v251 -v80 v59 -v40 v773 -v617 v512 v326 v155 v125 -v82 -v60 -v41 -v767 -v619 v153 -v83 -v61 v42 -v768 -v623 v593 v573 -v518 v128 -v49 -v769 -v622 v577 -v516 v154 -v129 -v43 v729 -v620 v596 v576 v158 -v44 -v621 v597 -v517 -v45 -v881 v728 -v521 -v852 -v781 v192 v104 -v17 v857 v787 -v537 -v468 v271 v198 -v22 -v14 -v541 -v71 v25 -v15 v859 v385 v277 -v203 -v108 v70 v29 -v10 v860 v389 v28 v790 v246 v206 v145 v78 -v68 -v8 v204 -v81 -v69 -v811 -v776 -v638 v508 -v391 -v322 -v280 v252 v151 -v85 v64 -v777 -v642 v614 -v392 -v84 v772 v615 v514 v325 v156 v124 v62 -v52 v616 -v53 v770 v627 v592 -v519 -v255 v159 v130 -v48 v572 v157 v877 v598 v574 v522 -v46 v578 v520 v880 v730 -v133 -v601 -v854 -v783 -v464 v267 v105 -v13 v858 -v379 v191 -v16 -v12 v862 v788 -v536 -v488 -v467 -v378 v273 v193 -v109 -v18 v861 -v540 -v492 v199 -v107 v19 v791 v386 v278 -v242 v195 -v67 -v33 v789 v390 v207 v72 -v66 -v807 -v775 -v394 -v301 -v281 v248 v73 -v9 -v774 -v393 -v279 v144 v74 -v810 -v637 -v321 v253 v146 -v120 -v89 -v51 -v641 v507 v152 -v50 -v630 v588 v509 v327 v256 v148 v126 v63 -v631 v515 v254 v160 v771 v626 v594 v511 v131 v725 v523 v876 v724 v709 v624 v599 v330 v134 -v47 v575 v132 v882 v731 v602 -v586 v600 v582 v900 -v732 v581 v904 -v733 -v851 -v779 -v463 -v422 v106 v850 -v784 v426 v266 -v110 v866 v780 -v662 -v538 v487 -v469 v268 -v177 -v36 v792 -v666 -v542 v491 -v380 v274 v194 -v37 -v381 -v297 v270 -v222 v215 -v32 v382 -v282 -v241 v226 -v211 -v806 v544 -v472 -v398 -v317 -v300 -v243 -v210 -v92 -v30 -v545 v249 -v93 -v812 -v639 -v629 -v323 v245 -v88 -v643 -v628 v257 v147 -v119 -v913 -v836 v328 v168 -v121 -v86 -v917 v587 v510 -v164 v127 -v872 -v815 -v705 -v645 v589 v531 -v347 v331 -v163 v123 -v646 v595 -v527 -v351 v329 v135 v878 v708 -v625 v591 -v583 -v526 v726 v603 -v585 -v95 v883 v727 -v94 v899 v884 v737 v579 v903 -v885 v869 -v533 -v465 -v421 -v173 -v118 -v35 v870 -v778 v425 -v114 -v34 v865 v800 v661 -v539 v489 -v470 v212 -v176 -v113 v796 -v665 -v543 v493 v269 v214 v863 -v802 v795 v547 -v473 -v450 v401 -v296 v290 -v221 -v91 -v633 v546 -v471 v402 v286 v225 -v90 -v808 -v632 -v495 -v397 -v302 v285 -v208 -v31 -v496 -v316 v244 -v832 -v813 -v752 -v640 -v395 -v318 v265 -v209 v165 -v644 -v324 v261 v167 -v912 -v835 -v816 -v648 v528 v320 -v305 v260 -v87 -v916 -v814 -v647 v530 v332 -v122 -v704 -v346 -v161 v143 -v871 v590 -v584 -v350 v139 -v873 v710 v611 -v524 -v162 v138 v879 v607 v875 v740 v606 -v561 -v525 v886 v741 -v565 -v96 v901 v736 v713 v580 -v97 v905 v867 v797 v484 -v461 -v423 -v172 -v117 v799 v532 -v466 v427 v213 v663 v534 v490 v462 v446 v400 v292 v287 -v178 -v111 -v667 v535 v494 -v474 v399 v289 v864 v793 v551 -v498 v449 v429 -v298 -v223 -v112 -v801 -v497 v430 v227 -v803 v794 v748 -v687 v669 -v303 v283 v262 v181 -v809 v691 v670 -v634 v264 v166 v831 v805 v751 -v635 -v396 v306 -v284 v229 -v817 v636 v529 -v319 v304 v230 -v914 -v837 v700 v652 v340 v258 v140 -v918 -v336 v142 -v706 v608 -v348 -v335 -v259 v610 -v352 v920 v840 v739 v711 v412 -v371 v136 v921 v896 -v874 v738 v375 v895 -v894 v714 v604 -v560 -v354 -v137 v890 v712 v564 -v355 v902 v889 v734 -v605 v100 v906 v101 -v868 -v798 v658 -v424 -v174 -v115 v483 -v460 v428 -v288 v217 v664 v554 v485 v482 v445 v432 v216 -v179 -v668 v555 v486 v478 v431 v291 v672 v550 v502 v477 v451 v293 -v224 v182 v671 -v299 -v263 v228 v180 v827 v747 -v686 v548 v295 v232 -v908 -v804 v690 v307 v231 -v907 v833 v825 v753 v655 v454 v337 -v821 v656 v342 v339 -v141 -v915 -v838 -v820 v651 v341 -v919 v699 -v609 v923 v841 v756 v701 v649 -v408 -v349 -v333 v922 v839 -v707 -v353 -v891 v703 v411 -v370 -v357 -v334 -v893 v715 v374 -v356 -v562 v99 v897 v566 v98 v898 v887 -v735 v553 v479 v441 -v420 -v170 -v116 v657 v552 v481 v419 -v175 v659 v505 v447 v436 v171 v660 v506 v218 v183 -v743 v676 v501 v475 v452 v219 v294 v220 v822 v749 -v688 v654 v549 v499 v476 v455 v315 -v236 v826 v824 v692 v653 v453 -v338 -v311 v828 v754 -v310 -v909 v834 -v910 v830 -v818 v757 v694 v911 v842 v755 -v695 v343 v927 -v819 v650 -v407 v344 -v892 v702 -v557 v345 v723 v556 v413 -v372 v361 -v719 v376 -v718 -v563 v567 -v888 -v568 -v416 -v569 -v504 -v480 v437 v503 v440 v439 -v169 -v679 v442 v435 v190 -v682 -v680 v448 -v187 -v681 v675 v444 v433 v312 -v239 -v186 v823 -v742 v456 v314 -v240 -v744 -v689 v673 v500 -v235 v750 v693 v746 v697 -v308 -v233 v829 v758 v696 -v930 -v849 v405 -v309 -v931 -v846 -v367 v926 -v845 v720 -v409 v366 -v364 v722 -v365 v924 v414 -v373 v360 v558 v377 v932 -v716 v559 -v417 v358 -v415 -v717 -v678 v438 v189 -v677 v188 -v238 v443 -v313 -v237 v459 -v434 -v184 -v683 -v457 v684 -v674 -v458 -v185 -v745 v685 -v929 -v848 -v761 v698 -v234 -v928 -v847 v759 v760 -v363 v721 v404 -v362 -v843 v403 -v410 v368 -v925 -v844 v406 v369 -v418 v571 v933 v359 v570 one 
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.96 1.00 1.00 2/55 2181
Raw data (stat): 2181 (runsolver) R 2180 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752350764 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.0003 s]
Raw data (loadavg): 0.96 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1292 0 0 0 991 6 0 0 25 0 1 0 752350764 8888320 1266 4294967295 134512640 134714540 3221221776 3221220368 134696109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2170 1266 1111 63 0 2107 0
vsize: 8680
[startup+20.0012 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1363 0 0 0 1989 7 0 0 25 0 1 0 752350764 9240576 1337 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1337 1111 63 0 2193 0
vsize: 9024
[startup+30.0029 s]
Raw data (loadavg): 0.97 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1363 0 0 0 2988 8 0 0 25 0 1 0 752350764 9240576 1337 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1337 1111 63 0 2193 0
vsize: 9024
[startup+40.0031 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1367 0 0 0 3987 9 0 0 25 0 1 0 752350764 9240576 1341 4294967295 134512640 134714540 3221221776 3221220396 134538941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1341 1111 63 0 2193 0
vsize: 9024
[startup+50.003 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1378 0 0 0 4986 11 0 0 25 0 1 0 752350764 9240576 1352 4294967295 134512640 134714540 3221221776 3221220308 1077378601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1352 1111 63 0 2193 0
vsize: 9024
[startup+60.0044 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1378 0 0 0 5984 13 0 0 25 0 1 0 752350764 9240576 1352 4294967295 134512640 134714540 3221221776 3221220368 134535477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2256 1352 1111 63 0 2193 0
vsize: 9024
[startup+70.0047 s]
Raw data (loadavg): 0.98 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1378 0 0 0 6983 14 0 0 25 0 1 0 752350764 9240576 1352 4294967295 134512640 134714540 3221221776 3221220416 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2256 1352 1111 63 0 2193 0
vsize: 9024
[startup+80.0056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 7981 16 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220304 134540176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+90.0061 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 8980 17 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220384 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 9980 17 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+110.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 10979 18 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 11979 19 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220296 1077377643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 12978 20 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220432 134534107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 13978 20 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 14977 21 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220380 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 15977 22 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220288 134540519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 16976 23 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220476 134535616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 17975 24 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220428 1076533124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 18974 26 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 19973 27 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220288 134539925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 20971 28 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220308 1077378603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 21971 29 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220368 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 22970 30 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220400 134538768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 23969 31 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220492 134592362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 24968 31 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220304 134540480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+260.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 25965 33 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220472 134591816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 26965 34 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220352 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1394 0 0 0 27964 35 0 0 25 0 1 0 752350764 9330688 1368 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2278 1368 1111 63 0 2215 0
vsize: 9112
[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1417 0 0 0 28964 35 0 0 25 0 1 0 752350764 9465856 1391 4294967295 134512640 134714540 3221221776 3221220288 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1391 1111 63 0 2248 0
vsize: 9244
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1417 0 0 0 29963 36 0 0 25 0 1 0 752350764 9465856 1391 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1391 1111 63 0 2248 0
vsize: 9244
[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1417 0 0 0 30962 37 0 0 25 0 1 0 752350764 9465856 1391 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1391 1111 63 0 2248 0
vsize: 9244
[startup+320.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 31961 38 0 0 25 0 1 0 752350764 9465856 1398 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1398 1111 63 0 2248 0
vsize: 9244
[startup+330.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 32960 40 0 0 25 0 1 0 752350764 9465856 1398 4294967295 134512640 134714540 3221221776 3221220296 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1398 1111 63 0 2248 0
vsize: 9244
[startup+340.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 33959 41 0 0 25 0 1 0 752350764 9465856 1398 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1398 1111 63 0 2248 0
vsize: 9244
[startup+350.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 34959 41 0 0 25 0 1 0 752350764 9465856 1398 4294967295 134512640 134714540 3221221776 3221220420 134524450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1398 1111 63 0 2248 0
vsize: 9244
[startup+360.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 35958 42 0 0 25 0 1 0 752350764 9465856 1398 4294967295 134512640 134714540 3221221776 3221220304 134540336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2311 1398 1111 63 0 2248 0
vsize: 9244
[startup+370.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 36957 43 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 37957 43 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220672 134621526 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 38957 44 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220164 1077378621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+400.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 39956 45 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+410.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 40956 45 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220296 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+420.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 41955 46 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220568 134558587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 42954 47 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220336 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+440.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 43954 48 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220440 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+450.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 44953 49 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220352 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+460.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 45952 50 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220368 134538771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+470.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1424 0 0 0 46951 51 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220464 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+480.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1426 0 0 0 47951 52 0 0 25 0 1 0 752350764 9531392 1394 4294967295 134512640 134714540 3221221776 3221220372 1077374195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1394 1111 63 0 2264 0
vsize: 9308
[startup+490.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 48950 53 0 0 25 0 1 0 752350764 9531392 1401 4294967295 134512640 134714540 3221221776 3221220028 1077379936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1401 1111 63 0 2264 0
vsize: 9308
[startup+500.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 49949 53 0 0 25 0 1 0 752350764 9531392 1401 4294967295 134512640 134714540 3221221776 3221220296 134542295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1401 1111 63 0 2264 0
vsize: 9308
[startup+510.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 50948 54 0 0 25 0 1 0 752350764 9531392 1401 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2327 1401 1111 63 0 2264 0
vsize: 9308
[startup+520.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 51948 55 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220312 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+530.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 52947 55 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+540.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 53947 56 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220452 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+550.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 54946 57 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220288 134539896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+560.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 55946 57 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220304 134539900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+570.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 56946 58 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220396 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+580.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 57944 59 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220400 134524431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+590.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 58944 59 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220288 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+600.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 59944 60 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220600 134586932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+610.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 60943 61 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+620.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 61942 62 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+630.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 62941 63 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220368 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+640.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 63940 64 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+650.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 64939 65 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220416 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+660.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 65939 66 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220420 134524450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+670.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 66937 67 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220408 134524423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+680.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 67935 69 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+690.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 68934 69 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220432 134540342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+700.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 69934 70 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220288 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+710.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 70933 71 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220404 1077374494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+720.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 71932 72 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+730.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 72931 73 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220304 134540347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+740.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 73930 74 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220432 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+750.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 74930 75 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+760.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1433 0 0 0 75929 76 0 0 25 0 1 0 752350764 9396224 1392 4294967295 134512640 134714540 3221221776 3221220272 134540363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1392 1111 63 0 2231 0
vsize: 9176
[startup+770.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1441 0 0 0 76928 77 0 0 25 0 1 0 752350764 9527296 1400 4294967295 134512640 134714540 3221221776 3221220484 134535678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1400 1111 63 0 2263 0
vsize: 9304
[startup+780.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 77927 78 0 0 25 0 1 0 752350764 9527296 1406 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1406 1111 63 0 2263 0
vsize: 9304
[startup+790.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 78926 79 0 0 25 0 1 0 752350764 9527296 1406 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1406 1111 63 0 2263 0
vsize: 9304
[startup+800.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 79926 79 0 0 25 0 1 0 752350764 9527296 1406 4294967295 134512640 134714540 3221221776 3221220424 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1406 1111 63 0 2263 0
vsize: 9304
[startup+810.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 80925 80 0 0 25 0 1 0 752350764 9527296 1406 4294967295 134512640 134714540 3221221776 3221220372 1077374146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2326 1406 1111 63 0 2263 0
vsize: 9304
[startup+820.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 81925 81 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220368 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+830.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 82924 82 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220592 1076647868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+840.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 83923 83 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+850.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 84923 84 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220492 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+860.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 85922 84 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220340 134523392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+870.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 86921 85 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220476 134535661 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+880.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 87921 86 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+890.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 88920 87 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220304 134539900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+900.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 89919 88 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220312 1077377893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+910.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 90918 89 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220476 134535494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+920.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 91917 91 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220028 1077379892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+930.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 92916 92 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220400 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+940.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 93916 92 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220368 134535457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+950.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 94914 94 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220288 134540498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+960.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 95914 94 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220432 1076648070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+970.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 96914 95 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+980.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 97913 96 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220440 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+990.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 98912 97 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 99911 98 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220312 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 100910 99 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220368 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 101909 100 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220288 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 102909 101 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 103908 102 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220328 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 104908 102 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220100 1077378605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 105907 103 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220428 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 106907 104 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220500 134542593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 107906 104 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220332 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 108906 105 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220480 134603392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 109905 106 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220028 1077379924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 110904 107 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220384 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 111903 108 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 112903 108 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220496 134592134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 113902 109 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 114902 110 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220448 1076648048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 115900 111 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220496 134542626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 116899 113 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220404 1077374550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 9224
[startup+1174.94 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 2181
Raw data (stat): 2181 (bsolo_mis) R 2180 7876 7672 0 -1 0 1447 0 0 0 116899 113 0 0 25 0 1 0 752350764 9445376 1404 4294967295 134512640 134714540 3221221776 3221220404 1077374550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2306 1404 1111 63 0 2243 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.04
CPU user time (s): 1173.9
CPU system time (s): 1.13983
CPU usage (%): 100.008
Max. virtual memory (Kb): 9308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	512
#### END VERIFIER DATA ####