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 wulflinc6 THE 2005-06-07 19:22:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27813 boxname=wulflinc6 idbench=371 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: a89f4ed95903fddf213992506514bcf0 /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.95:98.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-10:20:4.5:0.95:98.opb IDLAUNCH: 27813 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 2 cpu MHz : 451.042 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 912388 kB Buffers: 34004 kB Cached: 65792 kB SwapCached: 1796 kB Active: 29636 kB Inactive: 73100 kB HighTotal: 131008 kB HighFree: 78960 kB LowTotal: 903652 kB LowFree: 833428 kB SwapTotal: 2097136 kB SwapFree: 2094416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 13864 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 19:42:32 (client local time) WITH STATUS 10 IN 1175.02 SECONDS stats: 27813 0 1175.02 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 906 variables and 1039 constraints. c After prepocess the problem consists of 905 variables and 1071 constraints. c preprocess terminated 0.878 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 0.2935 c Use computed LB before first solution. c NEW SOLUTION FOUND: 294 @ 46.233 c NEW SOLUTION FOUND: 292 @ 46.268 c NEW SOLUTION FOUND: 291 @ 46.307 c NEW SOLUTION FOUND: 287 @ 46.361 c NEW SOLUTION FOUND: 286 @ 46.416 c NEW SOLUTION FOUND: 285 @ 46.491 c NEW SOLUTION FOUND: 283 @ 46.577 c NEW SOLUTION FOUND: 281 @ 46.662 c NEW SOLUTION FOUND: 279 @ 46.756 c NEW SOLUTION FOUND: 278 @ 46.871 c NEW SOLUTION FOUND: 277 @ 47.198 c NEW SOLUTION FOUND: 276 @ 47.342 c NEW SOLUTION FOUND: 274 @ 47.584 c NEW SOLUTION FOUND: 273 @ 47.605 c NEW SOLUTION FOUND: 272 @ 48.023 c NEW SOLUTION FOUND: 271 @ 48.268 c NEW SOLUTION FOUND: 270 @ 48.62 c NEW SOLUTION FOUND: 269 @ 48.83 c NEW SOLUTION FOUND: 268 @ 51.389 c NEW SOLUTION FOUND: 267 @ 51.625 c NEW SOLUTION FOUND: 266 @ 53.945 c NEW SOLUTION FOUND: 265 @ 54.463 c NEW SOLUTION FOUND: 264 @ 54.721 c NEW SOLUTION FOUND: 263 @ 56.98 c NEW SOLUTION FOUND: 262 @ 64.214 c NEW SOLUTION FOUND: 261 @ 69.428 c NEW SOLUTION FOUND: 260 @ 73.868 c NEW SOLUTION FOUND: 259 @ 83.055 c NEW SOLUTION FOUND: 258 @ 99.996 c NEW SOLUTION FOUND: 257 @ 129.98 c NEW SOLUTION FOUND: 256 @ 130.556 c NEW SOLUTION FOUND: 255 @ 131.607 c NEW SOLUTION FOUND: 254 @ 132.583 c NEW SOLUTION FOUND: 253 @ 134.981 c NEW SOLUTION FOUND: 252 @ 146.256 c NEW SOLUTION FOUND: 251 @ 156.943 c NEW SOLUTION FOUND: 250 @ 299.75 c NEW SOLUTION FOUND: 249 @ 403.017 c NEW SOLUTION FOUND: 248 @ 516.829 c NEW SOLUTION FOUND: 247 @ 709.793 c NEW SOLUTION FOUND: 246 @ 997.48 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.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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 17478 Raw data (stat): 17478 (runsolver) R 17477 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895480731 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 3091 0 0 0 989 8 0 0 25 0 1 0 895480731 7946240 1096 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1940 1096 1111 63 0 1877 0 vsize: 7760 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 4605 0 0 0 1984 13 0 0 25 0 1 0 895480731 7192576 1063 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1756 1063 1111 63 0 1693 0 vsize: 7024 [startup+30.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 6090 0 0 0 2981 17 0 0 25 0 1 0 895480731 7954432 1110 4294967295 134512640 134716908 3221224576 3221220416 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1942 1110 1111 63 0 1879 0 vsize: 7768 [startup+40.0027 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 7977 0 0 0 3976 22 0 0 25 0 1 0 895480731 7172096 1058 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1751 1058 1111 63 0 1688 0 vsize: 7004 [startup+50.0033 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 17247 0 0 0 4949 49 0 0 25 0 1 0 895480731 9240576 1564 4294967295 134512640 134716908 3221224576 3221221448 1077782993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2256 1564 1111 63 0 2193 0 vsize: 9024 [startup+60.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 26910 0 0 0 5910 88 0 0 25 0 1 0 895480731 9453568 1618 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2359 1618 1111 63 0 2296 0 vsize: 9232 [startup+70.0038 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 33774 0 0 0 6882 116 0 0 25 0 1 0 895480731 9478144 1624 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2314 1624 1111 63 0 2251 0 vsize: 9256 [startup+80.0046 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 41221 0 0 0 7851 147 0 0 25 0 1 0 895480731 9478144 1624 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2314 1624 1111 63 0 2251 0 vsize: 9256 [startup+90.0048 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 50176 0 0 0 8817 182 0 0 25 0 1 0 895480731 9830400 1629 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2315 1625 1111 63 0 2252 0 vsize: 9600 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 59715 0 0 0 9779 220 0 0 25 0 1 0 895480731 9478144 1624 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2314 1624 1111 63 0 2251 0 vsize: 9256 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 69826 0 0 0 10742 258 0 0 25 0 1 0 895480731 9596928 1634 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2343 1634 1111 63 0 2280 0 vsize: 9372 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 80403 0 0 0 11704 296 0 0 25 0 1 0 895480731 9543680 1630 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2320 1630 1111 63 0 2257 0 vsize: 9320 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 90693 0 0 0 12671 329 0 0 25 0 1 0 895480731 9527296 1636 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2326 1636 1111 63 0 2263 0 vsize: 9304 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 100333 0 0 0 13638 362 0 0 25 0 1 0 895480731 9527296 1636 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2326 1636 1111 63 0 2263 0 vsize: 9304 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 111164 0 0 0 14600 400 0 0 25 0 1 0 895480731 9621504 1655 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2349 1655 1111 63 0 2286 0 vsize: 9396 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 121436 0 0 0 15562 439 0 0 25 0 1 0 895480731 9691136 1676 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2366 1676 1111 63 0 2303 0 vsize: 9464 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 129050 0 0 0 16534 467 0 0 25 0 1 0 895480731 10182656 1700 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2435 1698 1111 63 0 2372 0 vsize: 9944 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 135717 0 0 0 17506 495 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222528 1075655845 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 142422 0 0 0 18479 523 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222576 1074056003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 149806 0 0 0 19450 552 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222928 1074115311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 157040 0 0 0 20424 578 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222376 1077374896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 163788 0 0 0 21399 604 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 171263 0 0 0 22371 632 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 178284 0 0 0 23345 659 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223300 134542593 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 186118 0 0 0 24317 687 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 195704 0 0 0 25282 723 0 0 25 0 1 0 895480731 9887744 1695 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9656 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 205162 0 0 0 26249 756 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 214596 0 0 0 27215 790 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 224581 0 0 0 28179 827 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222848 1074056242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 233998 0 0 0 29146 860 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 243755 0 0 0 30113 893 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 252930 0 0 0 31085 921 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223180 134535483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 264087 0 0 0 32049 958 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 272233 0 0 0 33018 989 0 0 25 0 1 0 895480731 10182656 1702 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9944 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 279787 0 0 0 33988 1020 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 288226 0 0 0 34955 1053 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222224 1074247424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 297289 0 0 0 35921 1088 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223204 134651106 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 305761 0 0 0 36888 1121 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222480 1075460087 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 314203 0 0 0 37857 1153 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 323117 0 0 0 38825 1184 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 331771 0 0 0 39792 1218 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 340825 0 0 0 40758 1252 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221223112 1077378356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 349317 0 0 0 41725 1286 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 358604 0 0 0 42690 1321 0 0 25 0 1 0 895480731 9764864 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2384 1694 1111 63 0 2321 0 vsize: 9536 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 368515 0 0 0 43656 1356 0 0 25 0 1 0 895480731 10149888 1697 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2478 1698 1111 63 0 2415 0 vsize: 9912 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 378325 0 0 0 44623 1389 0 0 25 0 1 0 895480731 9781248 1698 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2388 1698 1111 63 0 2325 0 vsize: 9552 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 387764 0 0 0 45586 1426 0 0 25 0 1 0 895480731 9809920 1705 4294967295 134512640 134716908 3221224576 3221223244 134534084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2395 1705 1111 63 0 2332 0 vsize: 9580 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 397613 0 0 0 46550 1462 0 0 25 0 1 0 895480731 9789440 1700 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2390 1700 1111 63 0 2327 0 vsize: 9560 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 407034 0 0 0 47516 1497 0 0 25 0 1 0 895480731 9797632 1702 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1702 1111 63 0 2329 0 vsize: 9568 [startup+500.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 416641 0 0 0 48482 1532 0 0 25 0 1 0 895480731 9797632 1702 4294967295 134512640 134716908 3221224576 3221222992 1074116190 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1702 1111 63 0 2329 0 vsize: 9568 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 426072 0 0 0 49445 1568 0 0 25 0 1 0 895480731 9797632 1702 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1702 1111 63 0 2329 0 vsize: 9568 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 435418 0 0 0 50411 1603 0 0 25 0 1 0 895480731 9797632 1702 4294967295 134512640 134716908 3221224576 3221223172 134539580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1702 1111 63 0 2329 0 vsize: 9568 [startup+530.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 444821 0 0 0 51375 1639 0 0 25 0 1 0 895480731 9822208 1703 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2486 1708 1111 63 0 2423 0 vsize: 9592 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 454887 0 0 0 52338 1677 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223272 134675304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+550.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 464916 0 0 0 53310 1705 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 475307 0 0 0 54277 1739 0 0 25 0 1 0 895480731 10375168 1744 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1747 1111 63 0 2470 0 vsize: 10132 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 485898 0 0 0 55239 1777 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222464 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 496055 0 0 0 56205 1812 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222872 1074143410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+590.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 506329 0 0 0 57173 1844 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222440 1074205872 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 516430 0 0 0 58144 1874 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+610.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 526392 0 0 0 59112 1906 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 537099 0 0 0 60077 1941 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 547144 0 0 0 61046 1973 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+640.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 557123 0 0 0 62017 2002 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222880 1073987049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+650.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 568044 0 0 0 62981 2038 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223216 134651341 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 578573 0 0 0 63949 2070 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 589203 0 0 0 64917 2103 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 599510 0 0 0 65882 2139 0 0 25 0 1 0 895480731 10375168 1750 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 10132 [startup+690.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 609644 0 0 0 66851 2170 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1743 1111 63 0 2470 0 vsize: 9724 [startup+700.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 620177 0 0 0 67817 2204 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223280 134654863 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+710.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 629140 0 0 0 68786 2235 0 0 25 0 1 0 895480731 10375168 1747 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2533 1747 1111 63 0 2470 0 vsize: 10132 [startup+720.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 639340 0 0 0 69753 2269 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223112 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+730.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 650338 0 0 0 70717 2305 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222304 1075828682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+740.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 661772 0 0 0 71682 2340 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+750.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 672919 0 0 0 72648 2375 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222304 1075635480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+760.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 683882 0 0 0 73615 2408 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+770.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 695189 0 0 0 74579 2444 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+780.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 706119 0 0 0 75545 2479 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+790.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 717295 0 0 0 76512 2512 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+800.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 728236 0 0 0 77480 2545 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+810.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 738796 0 0 0 78445 2580 0 0 25 0 1 0 895480731 10375168 1749 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1751 1111 63 0 2470 0 vsize: 10132 [startup+820.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 748676 0 0 0 79410 2615 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+830.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 758857 0 0 0 80377 2648 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 770558 0 0 0 81339 2687 0 0 25 0 1 0 895480731 10375168 1744 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 10132 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 781153 0 0 0 82304 2722 0 0 25 0 1 0 895480731 10375168 1752 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1753 1111 63 0 2470 0 vsize: 10132 [startup+860.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 791290 0 0 0 83271 2755 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222584 1075006389 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+870.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 801328 0 0 0 84239 2788 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+880.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 811581 0 0 0 85203 2823 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+890.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 820791 0 0 0 86172 2855 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222576 1074056623 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+900.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 830009 0 0 0 87139 2889 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223184 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+910.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 840296 0 0 0 88105 2923 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222304 1075831094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+920.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 849633 0 0 0 89071 2957 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+930.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 858184 0 0 0 90038 2991 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+940.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 867944 0 0 0 91003 3025 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+950.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 876813 0 0 0 91969 3060 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222480 1075460161 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+960.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 885664 0 0 0 92941 3089 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+970.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 893774 0 0 0 93911 3119 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+980.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 902470 0 0 0 94880 3150 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223096 1077378387 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 911215 0 0 0 95845 3185 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222480 1075460070 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 919048 0 0 0 96814 3216 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222928 1074115539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 926880 0 0 0 97784 3247 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222972 1074152822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 934464 0 0 0 98751 3280 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222992 1074117093 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 942315 0 0 0 99723 3308 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 949664 0 0 0 100695 3336 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222992 1074116578 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 956567 0 0 0 101667 3364 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 964492 0 0 0 102636 3396 0 0 25 0 1 0 895480731 10375168 1744 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1744 1111 63 0 2470 0 vsize: 10132 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 972244 0 0 0 103608 3424 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222620 1077379872 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 979881 0 0 0 104577 3456 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223256 134532457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 988584 0 0 0 105547 3486 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 995868 0 0 0 106519 3514 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222496 1075799723 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1006162 0 0 0 107486 3548 0 0 25 0 1 0 895480731 10375168 1743 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2533 1744 1111 63 0 2470 0 vsize: 10132 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1015156 0 0 0 108453 3581 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222576 1074056563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1024299 0 0 0 109420 3614 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1032585 0 0 0 110389 3645 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223040 1073990141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1040022 0 0 0 111360 3675 0 0 25 0 1 0 895480731 10387456 1744 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2536 1744 1111 63 0 2473 0 vsize: 10144 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1049171 0 0 0 112328 3708 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221223040 1073990141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1057077 0 0 0 113298 3737 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 9724 [startup+1174.69 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 17478 Raw data (stat): 17478 (bsolo_lpr-v2) R 17477 25568 25567 0 -1 0 1057077 0 0 0 113298 3737 0 0 25 0 1 0 895480731 9957376 1741 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2431 1741 1111 63 0 2368 0 vsize: 0 Child status: 10 Real time (s): 1174.69 CPU time (s): 1175.02 CPU user time (s): 1137.49 CPU system time (s): 37.5273 CPU usage (%): 100.028 Max. virtual memory (Kb): 10144 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 246 #### END VERIFIER DATA ####