Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb |
MD5SUM | a89f4ed95903fddf213992506514bcf0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 906 |
Biggest coefficient in the objective function | 553 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2526 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 553 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2526 |
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.04184 |
Number of variables | 906 |
Total number of constraints | 1944 |
Number of constraints which are clauses | 852 |
Number of constraints which are cardinality constraints (but not clauses) | 1092 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-15 18:51:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3333 boxname=wulflinc31 idbench=371 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 3333 /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: 784292 kB Buffers: 42792 kB Cached: 185388 kB SwapCached: 1932 kB Active: 163368 kB Inactive: 68028 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 784040 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13284 kB Committed_AS: 63848 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 19:11:18 (client local time) WITH STATUS 10 IN 1175.03 SECONDS stats: 3333 0 1175.03 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 906 variables and 1039 constraints. c After prepocess the problem consists of 905 variables and 1038 constraints. c preprocess terminated 0.345 s c Initial Lower Bound: -354 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 522 @ 0.729 c NEW SOLUTION FOUND: 520 @ 0.752 c NEW SOLUTION FOUND: 519 @ 1.046 c NEW SOLUTION FOUND: 518 @ 1.204 c NEW SOLUTION FOUND: 517 @ 1.275 c NEW SOLUTION FOUND: 516 @ 1.29 c NEW SOLUTION FOUND: 515 @ 1.372 c NEW SOLUTION FOUND: 514 @ 1.539 c NEW SOLUTION FOUND: 513 @ 1.666 c NEW SOLUTION FOUND: 512 @ 1.677 c NEW SOLUTION FOUND: 511 @ 1.836 c NEW SOLUTION FOUND: 510 @ 3.452 c NEW SOLUTION FOUND: 509 @ 6.519 c NEW SOLUTION FOUND: 508 @ 14.162 c NEW SOLUTION FOUND: 507 @ 18.218 c NEW SOLUTION FOUND: 506 @ 24.292 c NEW SOLUTION FOUND: 505 @ 38.649 c NEW SOLUTION FOUND: 504 @ 124.211 c NEW SOLUTION FOUND: 503 @ 143.625 c NEW SOLUTION FOUND: 502 @ 153.142 c NEW SOLUTION FOUND: 501 @ 154.29 c NEW SOLUTION FOUND: 500 @ 155.303 c NEW SOLUTION FOUND: 499 @ 158.005 c NEW SOLUTION FOUND: 498 @ 165.215 c NEW SOLUTION FOUND: 497 @ 171.998 c NEW SOLUTION FOUND: 496 @ 228.832 c NEW SOLUTION FOUND: 495 @ 323.15 c NEW SOLUTION FOUND: 494 @ 338.06 c NEW SOLUTION FOUND: 493 @ 391.17 c NEW SOLUTION FOUND: 492 @ 407.456 c NEW SOLUTION FOUND: 491 @ 439.288 c NEW SOLUTION FOUND: 490 @ 467.504 c NEW SOLUTION FOUND: 489 @ 493.865 c NEW SOLUTION FOUND: 488 @ 514.993 c NEW SOLUTION FOUND: 487 @ 536.28 c NEW SOLUTION FOUND: 486 @ 1003.02 s SATISFIABLE v v785 -v740 v420 v82 -v860 v744 -v418 v859 v784 v501 -v307 v85 v788 -v419 -v86 -v63 v861 v504 v424 v354 v306 -v62 -v863 v789 -v573 -v505 -v64 -v572 -v478 -v441 v353 -v312 -v65 v27 -v864 v574 v477 -v310 v102 v66 v866 -v810 v575 v479 v440 -v359 -v262 -v185 v101 -v73 v26 -v867 -v814 v576 -v482 -v357 -v311 -v190 -v107 v67 -v30 -v697 -v583 v481 v446 -v399 v315 v265 v216 -v189 -v143 -v106 -v68 v701 -v577 -v486 v444 -v358 -v266 v142 -v108 -v69 -v31 -v2 -v578 -v485 v398 -v362 -v192 -v166 v144 -v112 -v1 -v660 -v579 -v483 v445 -v193 v147 -v111 -v7 -v659 v594 -v558 -v484 -v449 -v404 v196 v165 v146 -v109 -v6 -v661 v598 -v557 -v402 v194 v151 -v110 -v8 -v662 -v559 v332 -v195 v171 v150 v12 v663 -v562 -v403 v169 v148 v11 -v668 v561 v407 v335 -v149 v9 v664 -v563 -v336 v170 v10 -v739 v421 v81 v855 v743 v854 v786 v500 v425 -v302 v87 v790 v423 v862 v506 -v349 v308 -v865 v869 -v835 -v792 -v436 v355 -v313 -v90 v76 v868 -v839 -v793 v77 -v809 -v586 -v509 v442 -v360 v316 -v261 -v212 -v72 v28 -v813 -v587 v480 v314 -v184 v103 -v32 -v696 -v582 -v494 v447 -v394 -v363 v267 v215 -v186 v104 -v70 v700 v490 -v361 -v191 v105 -v580 v489 v450 v400 v188 -v161 -v116 -v34 v448 v197 v145 -v35 -v3 v593 -v542 -v405 -v270 v167 -v159 -v4 v597 v155 v5 v671 v408 v331 v172 v154 v16 v672 -v560 v406 -v667 -v571 -v466 v337 -v173 v567 -v470 -v174 -v781 -v741 v496 v422 v83 v745 v426 v787 v502 v88 v856 v791 v301 v857 -v795 v747 v507 v303 v91 v75 v858 -v794 v748 v348 v309 v89 v74 v22 v873 -v834 -v761 -v585 v510 v350 v305 v257 v21 v838 -v765 -v584 v508 -v435 v356 v317 -v811 -v491 -v437 v352 -v263 v211 v29 -v815 -v493 v443 -v364 -v33 -v698 v439 v268 v217 -v119 -v71 -v37 v702 v451 -v393 -v187 -v120 -v36 v817 -v581 -v538 v487 -v395 v271 v205 -v156 -v115 v818 v401 v269 -v201 -v160 -v158 -v704 v670 v595 v541 -v488 v397 -v327 -v220 -v200 -v162 -v113 -v19 -v705 v669 v599 v409 v168 -v20 -v722 -v568 v333 v164 v152 v15 -v726 -v570 -v175 -v665 v601 v465 v338 -v153 -v131 v13 v602 -v566 -v469 v742 v434 -v79 -v780 v746 v495 -v430 v84 -v782 v750 v497 -v429 v80 v783 v749 v503 v92 -v876 -v799 v499 -v877 -v805 v511 v304 v872 -v836 -v804 -v760 v325 -v207 v840 -v764 -v692 -v492 v351 v321 v256 v23 -v884 v870 -v812 -v691 -v372 v320 v258 v213 -v118 v24 -v888 -v816 -v438 v368 -v264 -v117 v25 -v842 v820 -v699 v459 v367 v260 v218 v202 v41 -v843 v819 v703 -v589 v455 v272 v204 -v157 -v707 -v588 -v537 v454 -v221 -v18 -v706 -v396 -v219 -v17 v596 v543 v417 -v198 -v114 v600 -v569 v413 -v326 -v163 -v721 v604 v412 -v328 -v199 v183 -v127 v725 v603 v334 v179 -v666 -v546 v467 v330 v178 -v130 v14 -v564 -v471 v339 v903 v433 -v78 -v875 v802 v754 -v427 v100 -v874 -v830 v803 v498 -v96 -v829 -v798 v519 -v428 v322 -v95 v515 v324 -v837 -v796 -v762 v514 -v369 v841 -v806 -v766 -v371 -v206 v883 v871 -v845 -v807 v456 v318 v291 -v208 -v44 v887 -v844 v808 -v693 v458 v259 v214 v203 -v45 -v824 v768 -v694 v533 v383 v365 -v319 -v280 v210 v40 v769 v695 -v276 -v222 v711 v619 -v539 v452 v414 -v366 -v275 v38 v623 -v590 v416 -v591 v544 v453 v180 v592 v461 v182 -v723 v608 v547 v460 v410 v126 v727 v545 -v329 v468 v411 v347 v176 v132 -v565 -v472 -v343 v801 -v431 v97 v800 v99 v753 v654 v516 v756 v518 v323 v755 v751 -v521 -v93 -v831 v525 -v370 -v832 -v797 -v763 v512 -v287 v249 -v94 -v43 v833 -v767 -v457 -v42 v885 v849 v827 v771 -v513 -v379 v290 -v277 v889 v828 v770 -v279 -v209 -v823 v714 v382 v230 v715 v532 v415 -v226 v891 -v821 v710 -v641 v618 v534 -v273 -v225 -v39 v892 v717 -v645 v622 -v540 v181 v716 v708 -v679 -v611 v536 -v274 v122 v55 v683 -v612 v548 -v724 v607 v344 v128 v728 v462 v346 -v729 v605 v463 -v240 -v177 v133 -v730 v464 -v342 v904 -v432 v98 v517 v653 v752 -v520 -v245 v879 v757 v524 v878 -v852 v826 v758 -v286 v248 -v853 v825 v759 -v278 v886 v848 v775 v713 -v378 v292 v227 v890 v712 v229 v894 v846 v384 v893 -v822 -v640 v620 -v610 v295 -v223 -v51 -v644 v624 -v609 v535 -v709 -v678 v556 v387 -v224 v54 v718 v682 v552 v345 v121 v719 v626 v551 -v236 v123 v720 v627 v129 v734 v606 v475 -v239 v125 v476 -v340 v134 v655 -v851 -v522 v282 v244 -v850 v526 -v778 -v657 -v374 -v288 v250 v880 -v779 v228 v881 v774 v528 -v380 v293 v882 -v614 -v529 v898 v847 v772 v613 v385 v296 -v253 v294 -v642 v621 v553 v388 -v50 -v646 v625 v555 v386 -v680 v629 v56 v684 v628 v737 v648 v549 v474 -v235 v738 -v649 v473 v124 v733 v686 -v550 -v241 v141 -v59 v687 -v341 -v137 -v777 -v658 v523 v246 -v776 -v656 v527 v281 v531 v283 v251 v530 -v373 -v289 -v901 v375 v285 v254 -v902 -v636 -v381 v297 -v252 v897 v773 -v635 v377 -v48 -v674 v615 v554 v389 v895 -v673 -v643 v616 -v52 -v647 v617 -v736 -v681 v651 -v632 -v233 v57 v735 v685 v650 v689 -v237 v138 -v60 v688 v140 -v58 v731 -v242 -v135 v247 -v900 v905 -v899 v284 v255 -v300 v376 v298 v392 -v299 -v637 -v390 -v47 -v896 v638 -v634 -v391 v46 -v675 v639 -v633 -v53 -v676 -v652 -v630 v49 v677 -v232 v139 -v61 -v690 -v631 v231 -v238 -v732 v234 v243 -v136 one c Exit Code: 10 c Total time: 1175 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.97 0.99 2/55 4443 Raw data (stat): 4443 (runsolver) R 4442 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 754750762 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1360 0 0 0 989 6 0 0 25 0 1 0 754750762 9211904 1334 4294967295 134512640 134714540 3221221776 3221220524 134535503 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2249 1334 1111 63 0 2186 0 vsize: 8996 [startup+20.0012 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 1987 8 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+30.0018 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 2985 10 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220304 134539761 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+40.0017 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 3984 11 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+50.0032 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 4982 13 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220600 134586932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+60.0037 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 5981 15 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220524 134535534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+70.0036 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 6980 15 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220312 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+80.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 7979 17 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220336 134543740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+90.0055 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 8977 18 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220352 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1379 0 0 0 9976 20 0 0 25 0 1 0 754750762 9236480 1353 4294967295 134512640 134714540 3221221776 3221220424 134543609 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1353 1111 63 0 2192 0 vsize: 9020 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1392 0 0 0 10975 21 0 0 25 0 1 0 754750762 9371648 1366 4294967295 134512640 134714540 3221221776 3221220388 134524380 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1366 1111 63 0 2225 0 vsize: 9152 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1392 0 0 0 11974 22 0 0 25 0 1 0 754750762 9371648 1366 4294967295 134512640 134714540 3221221776 3221220356 1077374057 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1366 1111 63 0 2225 0 vsize: 9152 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1399 0 0 0 12973 24 0 0 25 0 1 0 754750762 9371648 1373 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1373 1111 63 0 2225 0 vsize: 9152 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1400 0 0 0 13972 25 0 0 25 0 1 0 754750762 9371648 1374 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1374 1111 63 0 2225 0 vsize: 9152 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1401 0 0 0 14971 26 0 0 25 0 1 0 754750762 9371648 1375 4294967295 134512640 134714540 3221221776 3221220368 134535017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1375 1111 63 0 2225 0 vsize: 9152 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1401 0 0 0 15970 27 0 0 25 0 1 0 754750762 9371648 1375 4294967295 134512640 134714540 3221221776 3221220400 1077378560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1375 1111 63 0 2225 0 vsize: 9152 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1401 0 0 0 16970 27 0 0 25 0 1 0 754750762 9371648 1375 4294967295 134512640 134714540 3221221776 3221220476 134535552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2288 1375 1111 63 0 2225 0 vsize: 9152 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1401 0 0 0 17968 29 0 0 25 0 1 0 754750762 9342976 1375 4294967295 134512640 134714540 3221221776 3221220496 134585008 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2281 1375 1111 63 0 2218 0 vsize: 9124 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 18966 32 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220368 134613440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 19965 33 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220288 134540176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+210.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 20963 34 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220464 134591870 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+220.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 21963 35 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 22962 36 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220404 1077374563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 23961 37 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220476 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 24961 38 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220368 134613457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 25959 39 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 26958 41 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 27958 41 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 28957 42 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220368 134613451 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 29956 44 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220408 134523849 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 30955 44 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220372 134613494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1406 0 0 0 31955 45 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220208 1076648065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 32954 46 0 0 25 0 1 0 754750762 9457664 1384 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2309 1384 1111 63 0 2246 0 vsize: 9236 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 33954 46 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 34954 47 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220476 134586384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 35953 47 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 36953 48 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 37952 49 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220352 134535471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 38951 50 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 39950 51 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 40949 52 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 41948 53 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220480 134603841 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 42948 54 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220156 1077379892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 43947 55 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220368 134535020 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 44946 56 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 45946 57 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220496 134603610 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1410 0 0 0 46945 58 0 0 25 0 1 0 754750762 9404416 1384 4294967295 134512640 134714540 3221221776 3221220296 1077377259 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2296 1384 1111 63 0 2233 0 vsize: 9184 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1420 0 0 0 47944 59 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220404 134535320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1420 0 0 0 48944 59 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+500.267 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 4443 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1420 0 0 0 49967 60 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220388 1077378648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+510.268 s] Raw data (loadavg): 1.07 0.99 0.99 3/58 4484 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1426 0 0 0 50966 61 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+520.268 s] Raw data (loadavg): 1.22 1.02 1.01 2/59 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1426 0 0 0 51965 62 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220476 134558545 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+530.568 s] Raw data (loadavg): 1.18 1.02 1.00 2/55 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1432 0 0 0 52994 62 0 0 25 0 1 0 754750762 9478144 1386 4294967295 134512640 134714540 3221221776 3221220056 1077377272 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2314 1386 1111 63 0 2251 0 vsize: 9256 [startup+540.568 s] Raw data (loadavg): 1.15 1.02 1.00 2/55 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 53984 63 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220472 134558485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+550.569 s] Raw data (loadavg): 1.13 1.02 1.00 2/55 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 54983 64 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220288 134539605 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+560.569 s] Raw data (loadavg): 1.11 1.02 1.00 2/55 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 55982 65 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220372 1077374174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+570.781 s] Raw data (loadavg): 1.09 1.02 1.00 2/55 4496 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 57003 66 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220464 134591946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+580.782 s] Raw data (loadavg): 1.08 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 58002 67 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220312 1077377411 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+590.781 s] Raw data (loadavg): 1.06 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 59002 67 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220384 134535032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+600.782 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 60001 68 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+610.782 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1445 0 0 0 61000 69 0 0 25 0 1 0 754750762 9342976 1380 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2281 1380 1111 63 0 2218 0 vsize: 9124 [startup+620.782 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1450 0 0 0 62000 70 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220476 134535652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+630.783 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1450 0 0 0 62999 70 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+640.783 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1450 0 0 0 63998 71 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220288 134540064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+650.784 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1450 0 0 0 64998 72 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220332 134535616 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+660.784 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1450 0 0 0 65996 74 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220496 134603798 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+670.784 s] Raw data (loadavg): 1.02 1.01 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1452 0 0 0 66996 75 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220464 134591951 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+680.784 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1452 0 0 0 67995 76 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220352 134542603 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+690.784 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1452 0 0 0 68994 77 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+700.785 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1452 0 0 0 69993 78 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220472 134558477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+710.786 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1452 0 0 0 70993 79 0 0 25 0 1 0 754750762 9359360 1384 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2285 1384 1111 63 0 2222 0 vsize: 9140 [startup+720.786 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1485 0 0 0 71991 81 0 0 25 0 1 0 754750762 9392128 1392 4294967295 134512640 134714540 3221221776 3221220304 134539896 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2293 1392 1111 63 0 2230 0 vsize: 9172 [startup+730.786 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1485 0 0 0 72990 81 0 0 25 0 1 0 754750762 9375744 1388 4294967295 134512640 134714540 3221221776 3221220476 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2289 1388 1111 63 0 2226 0 vsize: 9156 [startup+740.786 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 73990 82 0 0 25 0 1 0 754750762 9502720 1413 4294967295 134512640 134714540 3221221776 3221220512 134528943 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1413 1111 63 0 2257 0 vsize: 9280 [startup+750.787 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 74989 82 0 0 25 0 1 0 754750762 9502720 1413 4294967295 134512640 134714540 3221221776 3221220488 134534137 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1413 1111 63 0 2257 0 vsize: 9280 [startup+760.787 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 75989 83 0 0 25 0 1 0 754750762 9502720 1413 4294967295 134512640 134714540 3221221776 3221220296 1077377771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1413 1111 63 0 2257 0 vsize: 9280 [startup+770.786 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 76987 85 0 0 25 0 1 0 754750762 9502720 1413 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1413 1111 63 0 2257 0 vsize: 9280 [startup+780.787 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 77987 85 0 0 25 0 1 0 754750762 9502720 1413 4294967295 134512640 134714540 3221221776 3221220496 134592320 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1413 1111 63 0 2257 0 vsize: 9280 [startup+790.787 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 78987 86 0 0 25 0 1 0 754750762 9465856 1410 4294967295 134512640 134714540 3221221776 3221220500 134542593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2311 1410 1111 63 0 2248 0 vsize: 9244 [startup+800.788 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 79986 87 0 0 25 0 1 0 754750762 9465856 1410 4294967295 134512640 134714540 3221221776 3221220480 134523393 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2311 1410 1111 63 0 2248 0 vsize: 9244 [startup+810.789 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 80986 87 0 0 25 0 1 0 754750762 9465856 1410 4294967295 134512640 134714540 3221221776 3221220416 134594338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2311 1410 1111 63 0 2248 0 vsize: 9244 [startup+820.789 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 81985 88 0 0 25 0 1 0 754750762 9465856 1410 4294967295 134512640 134714540 3221221776 3221220288 134539888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2311 1410 1111 63 0 2248 0 vsize: 9244 [startup+830.789 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4498 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 82984 89 0 0 25 0 1 0 754750762 9449472 1406 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2307 1406 1111 63 0 2244 0 vsize: 9228 [startup+840.789 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 83984 90 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220056 1077378353 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+850.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 84983 91 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220304 134540488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+860.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 85982 92 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+870.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 86981 93 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220556 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+880.791 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 87981 93 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220384 1077378647 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+890.791 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 88980 95 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220472 134672932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+900.792 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 89979 95 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220332 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+910.793 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 90978 97 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220404 1077374550 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+920.792 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 91978 97 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220332 134535506 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+930.793 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 92977 98 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+940.792 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 93976 99 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220368 134538819 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+950.794 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 94976 99 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+960.793 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 95976 100 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220396 134613400 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+970.793 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 96974 102 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220372 1077374550 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+980.794 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 97973 103 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+990.794 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 98972 104 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+1000.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 99971 106 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220368 134535419 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+1010.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1510 0 0 0 100970 106 0 0 25 0 1 0 754750762 9445376 1405 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2306 1405 1111 63 0 2243 0 vsize: 9224 [startup+1020.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 101969 107 0 0 25 0 1 0 754750762 9494528 1417 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2318 1417 1111 63 0 2255 0 vsize: 9272 [startup+1030.79 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 102969 108 0 0 25 0 1 0 754750762 9494528 1417 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2318 1417 1111 63 0 2255 0 vsize: 9272 [startup+1040.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 103968 109 0 0 25 0 1 0 754750762 9494528 1417 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2318 1417 1111 63 0 2255 0 vsize: 9272 [startup+1050.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 104968 110 0 0 25 0 1 0 754750762 9453568 1407 4294967295 134512640 134714540 3221221776 3221220384 134538828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2308 1407 1111 63 0 2245 0 vsize: 9232 [startup+1060.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 105967 111 0 0 25 0 1 0 754750762 9453568 1407 4294967295 134512640 134714540 3221221776 3221220432 134524415 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2308 1407 1111 63 0 2245 0 vsize: 9232 [startup+1070.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 106966 112 0 0 25 0 1 0 754750762 9453568 1407 4294967295 134512640 134714540 3221221776 3221220336 134523399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2308 1407 1111 63 0 2245 0 vsize: 9232 [startup+1080.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 107965 113 0 0 25 0 1 0 754750762 9453568 1407 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2308 1407 1111 63 0 2245 0 vsize: 9232 [startup+1090.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1529 0 0 0 108965 113 0 0 25 0 1 0 754750762 9453568 1407 4294967295 134512640 134714540 3221221776 3221220492 134535488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2308 1407 1111 63 0 2245 0 vsize: 9232 [startup+1100.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 109964 114 0 0 25 0 1 0 754750762 9469952 1408 4294967295 134512640 134714540 3221221776 3221220296 1077377159 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2312 1408 1111 63 0 2249 0 vsize: 9248 [startup+1110.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 110964 114 0 0 25 0 1 0 754750762 9469952 1408 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2312 1408 1111 63 0 2249 0 vsize: 9248 [startup+1120.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 111964 115 0 0 25 0 1 0 754750762 9469952 1408 4294967295 134512640 134714540 3221221776 3221220436 134524392 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2312 1408 1111 63 0 2249 0 vsize: 9248 [startup+1130.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 112963 115 0 0 25 0 1 0 754750762 9469952 1408 4294967295 134512640 134714540 3221221776 3221220376 134535482 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2312 1408 1111 63 0 2249 0 vsize: 9248 [startup+1140.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 113963 116 0 0 25 0 1 0 754750762 9469952 1408 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2312 1408 1111 63 0 2249 0 vsize: 9248 [startup+1150.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 114962 117 0 0 25 0 1 0 754750762 9449472 1406 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2307 1406 1111 63 0 2244 0 vsize: 9228 [startup+1160.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 115961 118 0 0 25 0 1 0 754750762 9449472 1406 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2307 1406 1111 63 0 2244 0 vsize: 9228 [startup+1170.8 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 116961 119 0 0 25 0 1 0 754750762 9449472 1406 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2307 1406 1111 63 0 2244 0 vsize: 9228 [startup+1175.03 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 4500 Raw data (stat): 4443 (bsolo_mis) R 4442 7876 7672 0 -1 0 1530 0 0 0 116961 119 0 0 25 0 1 0 754750762 9449472 1406 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2307 1406 1111 63 0 2244 0 vsize: 0 Child status: 10 Real time (s): 1175.03 CPU time (s): 1175.03 CPU user time (s): 1173.83 CPU system time (s): 1.20182 CPU usage (%): 100 Max. virtual memory (Kb): 9280 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 486 #### END VERIFIER DATA ####