Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f82b685b64af240616b701a750c82883 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
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 numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03784 |
Number of variables | 934 |
Total number of constraints | 1996 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 1117 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
#### 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 ####