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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 24984

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 15:31:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3315 boxname=wulflinc31 idbench=369 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 3315
/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:        813652 kB
Buffers:         41668 kB
Cached:         157748 kB
SwapCached:       1932 kB
Active:         162788 kB
Inactive:        39776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813400 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12620 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 15:51:15 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 3315 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 776 variables and 867 constraints.
c After prepocess the problem consists of 775 variables and 862 constraints.
c preprocess terminated 0.282 s
c Initial Lower Bound: -274
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 346 @ 0.555
c NEW SOLUTION FOUND: 345 @ 0.561
c NEW SOLUTION FOUND: 343 @ 0.567
c NEW SOLUTION FOUND: 340 @ 0.587
c NEW SOLUTION FOUND: 338 @ 0.606
c NEW SOLUTION FOUND: 337 @ 0.65
c NEW SOLUTION FOUND: 336 @ 0.671
c NEW SOLUTION FOUND: 335 @ 0.696
c NEW SOLUTION FOUND: 334 @ 0.711
c NEW SOLUTION FOUND: 333 @ 0.844
c NEW SOLUTION FOUND: 332 @ 1.182
c NEW SOLUTION FOUND: 331 @ 2.184
c NEW SOLUTION FOUND: 330 @ 5.618
c NEW SOLUTION FOUND: 329 @ 7.916
c NEW SOLUTION FOUND: 328 @ 8.766
c NEW SOLUTION FOUND: 327 @ 10.077
c NEW SOLUTION FOUND: 326 @ 16.524
c NEW SOLUTION FOUND: 325 @ 18.836
c NEW SOLUTION FOUND: 324 @ 19.779
c NEW SOLUTION FOUND: 323 @ 28.265
c NEW SOLUTION FOUND: 322 @ 31.281
c NEW SOLUTION FOUND: 321 @ 84.886
c NEW SOLUTION FOUND: 320 @ 206.611
c NEW SOLUTION FOUND: 319 @ 256.501
c NEW SOLUTION FOUND: 318 @ 295.728
c NEW SOLUTION FOUND: 317 @ 653.513
c NEW SOLUTION FOUND: 316 @ 962.942
c NEW SOLUTION FOUND: 315 @ 998.95
s SATISFIABLE
v -v756 -v693 v588 -v262 v241 v56 -v38 v692 v590 -v486 -v263 -v246 v55 -v37 -v757 -v700 v589 -v485 v439 v266 -v245 -v54 -v39 -v758 v694 -v594 -v487 -v444 v264 -v52 v40 -v761 v695 -v612 -v593 -v488 -v443 -v265 v248 -v53 v47 -v759 -v696 v611 -v591 v489 v401 -v249 -v41 -v2 -v760 v613 -v592 v496 -v446 -v421 v400 v252 -v198 -v171 -v42 -v1 -v734 -v616 v490 -v447 v420 -v406 -v385 v250 -v176 -v43 -v3 -v733 v615 -v491 v450 v422 -v405 -v384 -v273 -v251 v197 -v175 -v137 -v4 -v620 -v492 v448 -v425 -v407 -v386 -v366 -v278 v201 -v155 -v136 -v18 v5 -v735 -v619 -v559 -v510 -v449 v424 -v411 -v387 -v365 -v277 v178 -v154 -v138 -v87 -v17 -v12 -v737 -v650 -v617 -v515 -v429 -v410 v388 -v202 -v179 -v156 -v141 v86 -v23 v6 -v649 -v618 v558 -v514 v466 -v428 -v408 -v395 -v367 -v280 -v182 -v157 v140 v88 -v66 -v22 -v7 -v738 v562 -v426 -v409 -v389 -v369 -v281 -v180 v158 -v145 -v91 -v71 -v24 -v8 v740 -v651 -v517 v469 -v427 -v390 -v318 v284 -v223 -v181 -v165 -v144 -v121 v90 -v70 -v28 v741 -v653 -v635 -v563 -v518 -v470 -v391 -v370 v317 v282 -v159 -v142 -v95 -v27 -v634 v521 v372 -v347 v319 -v283 -v222 -v160 -v143 v120 -v94 -v73 -v25 -v654 v519 -v373 -v351 -v322 v226 -v161 -v92 -v74 -v26 v656 -v636 -v520 v321 -v124 -v93 -v75 v657 v639 v323 -v227 -v125 -v76 -v753 -v703 -v64 -v755 -v704 v587 v267 v240 -v60 v754 -v699 v602 v242 -v59 v50 -v762 -v598 v438 -v247 v51 -v710 -v697 -v597 -v499 v440 v244 v46 -v714 -v500 -v445 v253 v495 v442 v44 v729 v614 v451 v402 v170 v728 -v628 v493 v403 v199 v172 -v15 -v624 v423 v404 -v361 -v272 v203 -v177 -v16 -v736 -v623 v437 -v415 -v398 -v360 -v274 v174 -v11 -v739 -v645 v509 -v433 -v399 -v279 -v183 -v139 -v19 v743 -v644 v560 v511 v465 -v432 -v394 -v368 v276 -v205 -v168 v153 -v20 -v9 v742 v564 -v516 -v371 v285 -v206 -v169 -v149 v89 -v65 v21 -v652 v513 v471 -v392 v375 -v164 -v148 -v116 v103 -v67 -v32 -v655 -v630 v522 v374 -v99 -v72 v659 -v629 v566 v346 -v224 -v162 v122 -v98 v69 v658 v567 v350 v320 v228 -v77 -v637 -v474 v331 -v126 v638 -v327 -v701 v599 v105 -v63 v49 -v752 v601 -v271 v48 -v770 -v498 -v270 -v57 -v766 -v497 v243 -v765 -v709 -v698 -v595 v261 -v58 -v713 v441 v257 -v193 -v625 -v596 v459 -v302 v256 -v192 -v45 -v14 -v627 v455 -v13 -v494 v454 v434 v418 -v397 v200 v730 -v554 v436 v419 -v396 v204 v173 v731 -v621 -v553 -v461 -v414 -v208 v191 -v167 v150 v732 -v362 -v275 -v207 v187 -v166 v152 v747 -v622 v561 v467 -v430 -v412 -v363 v293 v186 v100 v35 -v10 -v646 v565 v512 v364 v289 -v218 v102 v36 -v685 -v647 v569 v530 v472 -v431 -v393 v379 v288 -v217 -v146 -v31 v648 v568 v526 -v115 -v68 v663 v525 -v475 v348 v328 -v225 -v163 -v147 -v117 -v96 v85 -v29 -v631 -v473 v352 v330 v229 v123 v81 -v632 -v230 v119 -v97 v80 v633 -v326 -v231 -v127 -v767 -v702 -v600 -v333 v104 -v61 -v769 -v268 v258 v260 -v763 v711 v456 -v299 -v269 -v715 -v626 v458 -v764 -v417 v301 v254 v435 v416 -v194 v717 v452 v255 -v195 v188 v718 v196 v190 v151 v750 v453 v290 -v212 v34 v751 -v555 v460 v292 v101 v33 v746 -v681 -v556 v527 v462 -v413 v382 v184 v557 v529 v468 v383 v343 v744 v684 v666 v573 v464 v378 v342 v286 v185 v82 v667 -v476 v329 -v219 v84 v662 -v534 v523 v376 v349 -v287 -v220 -v30 -v538 v353 v221 -v118 v660 v642 -v604 v524 -v354 -v235 v135 v78 v643 -v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 v259 v705 v457 v712 v298 v108 -v716 v720 v303 v719 v189 -v749 v215 v748 v291 v216 v677 v381 -v306 -v211 v528 v380 -v680 v665 v576 -v209 v664 v577 v463 v83 -v745 v686 v572 v484 -v480 v344 v641 v570 -v533 -v479 -v377 v345 v238 v132 v640 v537 v239 v134 -v689 v661 v603 -v234 -v79 -v607 -v325 v130 v502 v295 v109 v707 v107 v708 -v546 v335 v300 v771 v724 v304 v214 v213 v673 v307 v305 v772 v676 -v773 v575 v574 -v682 v481 -v210 v483 v687 v237 v236 -v133 -v690 -v571 -v535 -v477 -v358 -v688 v539 -v359 v605 -v478 -v232 -v609 -v128 v110 v501 v336 v334 v294 v727 -v545 v296 v723 v308 v721 v672 -v582 -v482 -v683 -v532 v679 -v531 -v357 -v691 -v356 v536 v540 v606 -v233 -v610 -v129 v337 v114 v726 v503 v113 v725 -v547 v297 -v669 -v506 v316 v312 v722 v674 v581 v549 v311 -v550 v678 v586 -v542 v341 v541 v504 v340 v111 -v548 -v507 v313 -v112 -v505 v315 v580 v552 -v668 v551 -v670 v583 v309 v675 v310 v585 v338 v543 -v508 v314 v544 v339 v774 v579 v578 v671 v584 -v775 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.92 0.98 0.99 2/55 3312
Raw data (stat): 3312 (runsolver) R 3311 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 753550352 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1178 0 0 0 991 5 0 0 25 0 1 0 753550352 8466432 1152 4294967295 134512640 134714540 3221221776 3221220312 1077378406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1152 1111 63 0 2004 0
vsize: 8268
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1188 0 0 0 1989 6 0 0 25 0 1 0 753550352 8466432 1162 4294967295 134512640 134714540 3221221776 3221220404 134594355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2067 1162 1111 63 0 2004 0
vsize: 8268
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1200 0 0 0 2988 7 0 0 25 0 1 0 753550352 8544256 1174 4294967295 134512640 134714540 3221221776 3221220356 134535326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2086 1174 1111 63 0 2023 0
vsize: 8344
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1202 0 0 0 3985 9 0 0 25 0 1 0 753550352 8544256 1176 4294967295 134512640 134714540 3221221776 3221220204 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2086 1176 1111 63 0 2023 0
vsize: 8344
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1202 0 0 0 4984 10 0 0 25 0 1 0 753550352 8544256 1176 4294967295 134512640 134714540 3221221776 3221220496 134542645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2086 1176 1111 63 0 2023 0
vsize: 8344
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1229 0 0 0 5982 12 0 0 25 0 1 0 753550352 8679424 1203 4294967295 134512640 134714540 3221221776 3221220476 134535494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1203 1111 63 0 2056 0
vsize: 8476
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 6981 13 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220312 1077377655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 7980 15 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220296 1077377401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 8979 16 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220304 134539605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 9978 17 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220372 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 10977 19 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220436 134534132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 11976 20 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 12974 22 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220312 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 13974 23 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220404 1077374563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 14973 23 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220492 134534160 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 15972 24 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 16972 25 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220368 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1233 0 0 0 17971 26 0 0 25 0 1 0 753550352 8679424 1207 4294967295 134512640 134714540 3221221776 3221220072 1077377510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1207 1111 63 0 2056 0
vsize: 8476
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 18970 27 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220576 134610920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 19969 28 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 20968 29 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 21966 30 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220332 134535600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 22966 31 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220204 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1239 0 0 0 23965 32 0 0 25 0 1 0 753550352 8679424 1213 4294967295 134512640 134714540 3221221776 3221220352 134523401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2119 1213 1111 63 0 2056 0
vsize: 8476
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 24964 33 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220300 134542371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 25962 36 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220312 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 26961 37 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 27960 38 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220156 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 28959 39 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 29958 40 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220392 1077378564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 30957 41 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 31957 42 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220480 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 32956 43 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 33955 44 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220428 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 34954 45 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220028 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 35953 46 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 36952 47 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 37952 48 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220404 134594374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 38951 49 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220328 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 39950 50 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220512 134528961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 40950 51 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220392 134672933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 41949 51 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220288 134540040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 42948 52 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220480 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 43947 54 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220408 134535009 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 44947 54 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 45946 55 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220448 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 46945 56 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 47944 58 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 48943 59 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220348 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 49942 60 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220304 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 50941 61 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220348 134539584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 51941 61 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220368 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 52940 63 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220480 134592438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 53939 63 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220304 134539893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 54938 64 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220472 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 55937 66 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220556 134535008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 56936 67 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220352 134535405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 57935 68 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 58934 69 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220440 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 59933 71 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220072 1077377797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 60932 72 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220368 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 61932 72 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 62931 73 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220288 134540339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 63930 74 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220464 134591999 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 64929 75 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 65927 77 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220352 134535383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 66927 78 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 67926 78 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220316 1076648036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 68926 79 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220312 1077377580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 69925 80 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 70924 81 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220472 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 71924 81 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220588 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 72923 82 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220464 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 73922 83 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220200 1077377291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 74921 84 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 75921 85 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220444 1076648032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 76921 85 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220296 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 77920 86 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220056 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 78920 87 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 79919 88 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 80918 89 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220312 1077378370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 81917 89 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220472 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 82916 91 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220408 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 83915 92 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 84914 93 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 85913 95 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 86911 96 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220480 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1245 0 0 0 87911 97 0 0 25 0 1 0 753550352 8814592 1219 4294967295 134512640 134714540 3221221776 3221220308 1077378601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1219 1111 63 0 2089 0
vsize: 8608
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1256 0 0 0 88910 98 0 0 25 0 1 0 753550352 8814592 1230 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1230 1111 63 0 2089 0
vsize: 8608
[startup+900.025 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1256 0 0 0 89909 99 0 0 25 0 1 0 753550352 8814592 1230 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1230 1111 63 0 2089 0
vsize: 8608
[startup+910.025 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1256 0 0 0 90908 101 0 0 25 0 1 0 753550352 8814592 1230 4294967295 134512640 134714540 3221221776 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1230 1111 63 0 2089 0
vsize: 8608
[startup+920.026 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1256 0 0 0 91907 102 0 0 25 0 1 0 753550352 8814592 1230 4294967295 134512640 134714540 3221221776 3221220424 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1230 1111 63 0 2089 0
vsize: 8608
[startup+930.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1256 0 0 0 92905 103 0 0 25 0 1 0 753550352 8814592 1230 4294967295 134512640 134714540 3221221776 3221220496 134603669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1230 1111 63 0 2089 0
vsize: 8608
[startup+940.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 93905 104 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220536 134558585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+950.026 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 94905 104 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220296 1077377218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+960.027 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 95904 105 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220156 1077379956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+970.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 96903 106 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220332 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+980.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 97902 107 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220296 1077377236 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+990.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 98902 108 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220296 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1000.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 99900 109 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220432 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 100899 111 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220416 134594343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 101898 112 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220368 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1030.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 102897 113 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 103896 114 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220288 134539764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 104895 115 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220496 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 105895 116 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220368 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 106894 117 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 107893 117 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 108892 119 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1259 0 0 0 109891 120 0 0 25 0 1 0 753550352 8814592 1233 4294967295 134512640 134714540 3221221776 3221220412 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1233 1111 63 0 2089 0
vsize: 8608
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1267 0 0 0 110891 121 0 0 25 0 1 0 753550352 8814592 1241 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1241 1111 63 0 2089 0
vsize: 8608
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1267 0 0 0 111890 121 0 0 25 0 1 0 753550352 8814592 1241 4294967295 134512640 134714540 3221221776 3221220296 1077377589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1241 1111 63 0 2089 0
vsize: 8608
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 112889 123 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220608 134623812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 8608
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 113888 124 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220308 1077378623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 8608
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 114887 125 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 8608
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 115886 126 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 8608
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 116885 127 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220548 134590259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 8608
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3312
Raw data (stat): 3312 (bsolo_mis) R 3311 7876 7672 0 -1 0 1273 0 0 0 116885 127 0 0 25 0 1 0 753550352 8814592 1247 4294967295 134512640 134714540 3221221776 3221220548 134590259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1247 1111 63 0 2089 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.03
CPU user time (s): 1173.75
CPU system time (s): 1.2858
CPU usage (%): 100.009
Max. virtual memory (Kb): 8608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	315
#### END VERIFIER DATA ####