Name | normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb |
MD5SUM | 3ce91e964f348d481da3f7741c5768eb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25102 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03084 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 06:09:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20672 boxname=wulflinc23 idbench=262 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 3ce91e964f348d481da3f7741c5768eb /oldhome/oroussel/tmp/wulflinc23/normalized-data6_3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-data6_3.opb IDLAUNCH: 20672 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 771176 kB Buffers: 31044 kB Cached: 211076 kB SwapCached: 640 kB Active: 72340 kB Inactive: 172236 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 770924 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 64 kB Writeback: 0 kB Mapped: 5628 kB Slab: 13172 kB Committed_AS: 63568 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:30:50 (client local time) WITH STATUS 143 IN 1277.77 SECONDS stats: 20672 0 1277.77 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc23/normalized-data6_3.opb c reading problem ... done. Time 3.382 ms. c #vars 540 c #constraints 4626 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 29556 Current CPU time: 4.75 ms c CURRENT OPTIMUM= 28985 Current CPU time: 13.58 ms c CURRENT OPTIMUM= 28761 Current CPU time: 76.97 ms c CURRENT OPTIMUM= 28442 Current CPU time: 779.75 ms c starts : 20 c conflicts : 5282 c decisions : 12836 c propagations : 305536 c inspects : 12188472 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5282 c root simplifications : 20 s SATISFIABLE v -v361 -v362 -v363 v364 v365 -v366 -v367 v368 -v369 -v370 v371 -v372 -v373 -v374 -v375 v376 -v377 -v378 -v379 -v380 -v381 -v382 v383 -v384 -v385 -v386 v387 -v388 -v389 -v390 v391 -v392 -v393 -v394 -v395 -v396 v397 v398 -v399 v400 -v401 -v402 -v403 v404 -v405 -v406 v407 -v408 -v409 -v410 v411 -v412 -v413 -v414 -v415 -v416 v417 -v418 -v419 -v420 -v421 v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 -v430 v431 -v432 v433 v434 v435 -v436 -v437 v438 -v439 -v440 -v441 v442 -v443 -v444 -v445 -v446 -v447 v448 -v449 -v450 -v451 v452 -v453 -v454 -v455 -v456 -v457 v458 -v459 -v460 -v461 v462 -v463 -v464 -v465 v466 -v467 -v468 -v469 v470 -v471 -v472 -v473 v474 -v475 -v476 -v477 -v478 -v479 v480 -v481 -v482 -v483 v484 -v485 -v486 -v487 v488 -v489 -v490 -v491 -v492 -v493 v494 -v495 -v496 -v497 -v498 v499 -v500 v501 v502 -v503 -v504 v505 -v506 -v507 v508 -v509 -v510 -v511 -v512 -v513 -v514 v515 -v516 -v517 v518 -v519 -v520 -v521 -v522 -v523 -v524 v525 -v526 -v527 -v528 -v529 v530 -v531 -v532 v533 -v534 -v535 v536 v537 -v538 -v539 v540 -v2 -v38 -v74 -v110 -v146 -v182 -v218 v254 -v290 -v326 -v3 -v39 v75 -v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 -v5 v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 -v329 -v6 -v42 -v78 -v114 -v150 -v186 v222 -v258 -v294 -v330 -v7 -v43 -v79 -v115 -v151 v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 v117 -v153 -v189 -v225 -v261 -v297 -v333 v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 -v298 -v334 -v11 -v47 -v83 -v119 v155 -v191 -v227 -v263 -v299 -v335 -v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 v336 -v13 -v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 v337 -v14 v50 -v86 -v122 -v158 -v194 -v230 -v266 -v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 v268 -v304 -v340 v17 -v53 -v89 -v125 -v161 -v197 -v233 -v269 -v305 -v341 -v18 -v54 -v90 -v126 v162 -v198 -v234 -v270 -v306 -v342 -v19 -v55 -v91 -v127 v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 -v200 v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 -v165 v201 -v237 -v273 -v309 -v345 -v23 -v59 v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 v60 -v96 -v132 -v168 -v204 -v240 -v276 -v312 -v348 -v25 -v61 -v97 v133 -v169 -v205 -v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 -v278 v314 -v350 -v27 -v63 -v99 -v135 -v171 -v207 v243 -v279 -v315 -v351 -v28 -v64 -v100 -v136 -v172 -v208 -v244 -v280 -v316 v352 -v30 -v66 -v102 -v138 -v174 v210 -v246 -v282 -v318 -v354 v31 -v67 -v103 -v139 -v175 -v211 -v247 -v283 -v319 -v355 -v32 -v68 v104 -v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 v321 -v357 -v34 -v70 -v106 v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 v287 -v323 -v359 -v8 v44 v80 -v116 -v152 -v188 v224 v260 v296 -v332 -v15 -v51 v87 v123 -v159 v195 v231 -v267 v303 -v339 v22 -v58 -v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 v101 -v137 v173 -v209 -v245 v281 -v317 -v353 -v36 v72 -v108 -v144 v180 v216 v252 -v288 -v324 v360 v1 -v37 -v73 v109 v145 v181 -v217 -v253 -v289 v325 c objectif function=28442 c Total CPU time (ms) : 1269.111 #### 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): 1.02 1.02 1.01 2/54 13732 Raw data (stat): 13732 (runsolver) R 13731 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836609467 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0046 s] Raw data (loadavg): 1.25 1.07 1.02 2/64 13743 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18112 3 1 0 741 41 0 0 25 0 11 0 836609467 857939968 20806 4294967295 134512640 134569956 3221224384 3221213344 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209458 20807 13086 16 0 209442 0 vsize: 837832 [startup+20.0047 s] Raw data (loadavg): 1.21 1.07 1.02 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18112 3 1 0 1686 42 0 0 25 0 11 0 836609467 856801280 21800 4294967295 134512640 134569956 3221224384 3221214560 1131294783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209180 21800 13086 16 0 209164 0 vsize: 836720 [startup+30.0057 s] Raw data (loadavg): 1.18 1.07 1.02 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18112 3 1 0 2635 42 0 0 25 0 11 0 836609467 856408064 21719 4294967295 134512640 134569956 3221224384 3221214676 1131314537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 21719 13086 16 0 209068 0 vsize: 836336 [startup+40.0065 s] Raw data (loadavg): 1.15 1.06 1.02 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 3578 42 0 0 25 0 11 0 836609467 856408064 22080 4294967295 134512640 134569956 3221224384 3221214688 1131274891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 22080 13086 16 0 209068 0 vsize: 836336 [startup+50.0065 s] Raw data (loadavg): 1.13 1.06 1.02 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 4511 42 0 0 25 0 11 0 836609467 856408064 22391 4294967295 134512640 134569956 3221224384 3221214712 1131317096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 22391 13086 16 0 209068 0 vsize: 836336 [startup+60.0067 s] Raw data (loadavg): 1.11 1.06 1.02 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 5442 42 0 0 25 0 11 0 836609467 856408064 22629 4294967295 134512640 134569956 3221224384 3221214576 1131274867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 22629 13086 16 0 209068 0 vsize: 836336 [startup+70.0074 s] Raw data (loadavg): 1.09 1.06 1.01 2/64 13744 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 6374 42 0 0 25 0 11 0 836609467 856408064 22893 4294967295 134512640 134569956 3221224384 3221214788 1131179488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 22893 13086 16 0 209068 0 vsize: 836336 [startup+80.0116 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 7315 43 0 0 25 0 11 0 836609467 856408064 23045 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 23045 13086 16 0 209068 0 vsize: 836336 [startup+90.0126 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 8251 43 0 0 25 0 11 0 836609467 856408064 23299 4294967295 134512640 134569956 3221224384 3221214848 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 23299 13086 16 0 209068 0 vsize: 836336 [startup+100.013 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 9182 43 0 0 25 0 11 0 836609467 856408064 23577 4294967295 134512640 134569956 3221224384 3221214792 1131143327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 23577 13086 16 0 209068 0 vsize: 836336 [startup+110.013 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 10113 43 0 0 25 0 11 0 836609467 856408064 23784 4294967295 134512640 134569956 3221224384 3221214704 1131267686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 23784 13086 16 0 209068 0 vsize: 836336 [startup+120.013 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 11043 43 0 0 25 0 11 0 836609467 856408064 24067 4294967295 134512640 134569956 3221224384 3221214760 1131309168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24067 13086 16 0 209068 0 vsize: 836336 [startup+130.013 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 11975 44 0 0 25 0 11 0 836609467 856408064 24257 4294967295 134512640 134569956 3221224384 3221214784 1131314616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24257 13086 16 0 209068 0 vsize: 836336 [startup+140.013 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 12909 44 0 0 25 0 11 0 836609467 856408064 24402 4294967295 134512640 134569956 3221224384 3221214648 1131314566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24402 13086 16 0 209068 0 vsize: 836336 [startup+150.013 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 13841 44 0 0 25 0 11 0 836609467 856408064 24581 4294967295 134512640 134569956 3221224384 3221214680 1131179508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24581 13086 16 0 209068 0 vsize: 836336 [startup+160.013 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 14774 44 0 0 25 0 11 0 836609467 856408064 24745 4294967295 134512640 134569956 3221224384 3221214560 1131296411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24745 13086 16 0 209068 0 vsize: 836336 [startup+170.013 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 15708 44 0 0 25 0 11 0 836609467 856408064 24897 4294967295 134512640 134569956 3221224384 3221214680 1131326243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 24897 13086 16 0 209068 0 vsize: 836336 [startup+180.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 16640 44 0 0 25 0 11 0 836609467 856408064 25061 4294967295 134512640 134569956 3221224384 3221214808 1131343557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25061 13086 16 0 209068 0 vsize: 836336 [startup+190.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 17573 44 0 0 25 0 11 0 836609467 856408064 25227 4294967295 134512640 134569956 3221224384 3221214808 1131343804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25227 13086 16 0 209068 0 vsize: 836336 [startup+200.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 18505 44 0 0 25 0 11 0 836609467 856408064 25409 4294967295 134512640 134569956 3221224384 3221214656 1131314585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25409 13086 16 0 209068 0 vsize: 836336 [startup+210.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 19439 44 0 0 25 0 11 0 836609467 856408064 25563 4294967295 134512640 134569956 3221224384 3221214808 1131343542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25563 13086 16 0 209068 0 vsize: 836336 [startup+220.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 20371 44 0 0 25 0 11 0 836609467 856408064 25719 4294967295 134512640 134569956 3221224384 3221214704 1131267717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25719 13086 16 0 209068 0 vsize: 836336 [startup+230.019 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 21303 44 0 0 25 0 11 0 836609467 856408064 25881 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 25881 13086 16 0 209068 0 vsize: 836336 [startup+240.02 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 22229 44 0 0 25 0 11 0 836609467 856408064 26067 4294967295 134512640 134569956 3221224384 3221214616 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26067 13086 16 0 209068 0 vsize: 836336 [startup+250.021 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 23165 45 0 0 25 0 11 0 836609467 856408064 26224 4294967295 134512640 134569956 3221224384 3221214704 1131267283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26224 13086 16 0 209068 0 vsize: 836336 [startup+260.021 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 24101 45 0 0 25 0 11 0 836609467 856408064 26397 4294967295 134512640 134569956 3221224384 3221214792 1131143299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26397 13086 16 0 209068 0 vsize: 836336 [startup+270.021 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 25037 45 0 0 25 0 11 0 836609467 856408064 26542 4294967295 134512640 134569956 3221224384 3221214808 1131343665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26542 13086 16 0 209068 0 vsize: 836336 [startup+280.022 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 25973 45 0 0 25 0 11 0 836609467 856408064 26680 4294967295 134512640 134569956 3221224384 3221214704 1131267770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26680 13086 16 0 209068 0 vsize: 836336 [startup+290.022 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 26909 45 0 0 25 0 11 0 836609467 856408064 26822 4294967295 134512640 134569956 3221224384 3221214568 1131274891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26822 13086 16 0 209068 0 vsize: 836336 [startup+300.022 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 27846 46 0 0 25 0 11 0 836609467 856408064 26969 4294967295 134512640 134569956 3221224384 3221214648 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 26969 13086 16 0 209068 0 vsize: 836336 [startup+310.022 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 28783 46 0 0 25 0 11 0 836609467 856408064 27118 4294967295 134512640 134569956 3221224384 3221214788 1131179488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 27118 13086 16 0 209068 0 vsize: 836336 [startup+320.023 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 29719 46 0 0 25 0 11 0 836609467 856408064 27290 4294967295 134512640 134569956 3221224384 3221214704 1131266864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 27290 13086 16 0 209068 0 vsize: 836336 [startup+330.023 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 30646 46 0 0 25 0 11 0 836609467 856408064 27441 4294967295 134512640 134569956 3221224384 3221214704 1131266789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 27441 13086 16 0 209068 0 vsize: 836336 [startup+340.024 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 31585 46 0 0 25 0 11 0 836609467 856408064 27569 4294967295 134512640 134569956 3221224384 3221214704 1131267283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 27569 13086 16 0 209068 0 vsize: 836336 [startup+350.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 32523 46 0 0 25 0 11 0 836609467 856408064 27702 4294967295 134512640 134569956 3221224384 3221214680 1131179508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 27702 13086 16 0 209068 0 vsize: 836336 [startup+360.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 33454 46 0 0 25 0 11 0 836609467 856408064 27882 4294967295 134512640 134569956 3221224384 3221214664 1131368875 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 27882 13086 16 0 209068 0 vsize: 836336 [startup+370.025 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 34387 46 0 0 25 0 11 0 836609467 856408064 28076 4294967295 134512640 134569956 3221224384 3221214552 1131179565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28076 13086 16 0 209068 0 vsize: 836336 [startup+380.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 35332 46 0 0 25 0 11 0 836609467 856408064 28262 4294967295 134512640 134569956 3221224384 3221214680 1131326243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28262 13086 16 0 209068 0 vsize: 836336 [startup+390.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 36270 46 0 0 25 0 11 0 836609467 856408064 28424 4294967295 134512640 134569956 3221224384 3221214568 1131274592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28424 13086 16 0 209068 0 vsize: 836336 [startup+400.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 37222 47 0 0 25 0 11 0 836609467 856408064 28545 4294967295 134512640 134569956 3221224384 3221214784 1131314609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28545 13086 16 0 209068 0 vsize: 836336 [startup+410.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 38162 47 0 0 25 0 11 0 836609467 856408064 28657 4294967295 134512640 134569956 3221224384 3221214704 1131266789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28657 13086 16 0 209068 0 vsize: 836336 [startup+420.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 39103 47 0 0 25 0 11 0 836609467 856408064 28831 4294967295 134512640 134569956 3221224384 3221214680 1131179511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 28831 13086 16 0 209068 0 vsize: 836336 [startup+430.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 40044 47 0 0 25 0 11 0 836609467 856408064 29080 4294967295 134512640 134569956 3221224384 3221214704 1131267413 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29080 13086 16 0 209068 0 vsize: 836336 [startup+440.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 40980 47 0 0 25 0 11 0 836609467 856408064 29266 4294967295 134512640 134569956 3221224384 3221214704 1131267283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29266 13086 16 0 209068 0 vsize: 836336 [startup+450.028 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 41927 47 0 0 25 0 11 0 836609467 856408064 29363 4294967295 134512640 134569956 3221224384 3221214704 1131267544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29363 13086 16 0 209068 0 vsize: 836336 [startup+460.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 42872 47 0 0 25 0 11 0 836609467 856408064 29505 4294967295 134512640 134569956 3221224384 3221214792 1131322772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29505 13086 16 0 209068 0 vsize: 836336 [startup+470.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 43809 47 0 0 25 0 11 0 836609467 856408064 29674 4294967295 134512640 134569956 3221224384 3221214680 1131326376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29674 13086 16 0 209068 0 vsize: 836336 [startup+480.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 44757 47 0 0 25 0 11 0 836609467 856408064 29794 4294967295 134512640 134569956 3221224384 3221214768 1131201534 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29794 13086 16 0 209068 0 vsize: 836336 [startup+490.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 45704 47 0 0 25 0 11 0 836609467 856408064 29879 4294967295 134512640 134569956 3221224384 3221214760 1131309168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29879 13086 16 0 209068 0 vsize: 836336 [startup+500.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 46650 48 0 0 25 0 11 0 836609467 856408064 29991 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 29991 13086 16 0 209068 0 vsize: 836336 [startup+510.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 47599 48 0 0 25 0 11 0 836609467 856408064 30085 4294967295 134512640 134569956 3221224384 3221214848 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30085 13086 16 0 209068 0 vsize: 836336 [startup+520.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 48530 48 0 0 25 0 11 0 836609467 856408064 30205 4294967295 134512640 134569956 3221224384 3221214672 1131333971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30205 13086 16 0 209068 0 vsize: 836336 [startup+530.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 49472 48 0 0 25 0 11 0 836609467 856408064 30342 4294967295 134512640 134569956 3221224384 3221214704 1131266785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30342 13086 16 0 209068 0 vsize: 836336 [startup+540.032 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 50414 48 0 0 25 0 11 0 836609467 856408064 30483 4294967295 134512640 134569956 3221224384 3221214808 1131343880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30483 13086 16 0 209068 0 vsize: 836336 [startup+550.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 51356 48 0 0 25 0 11 0 836609467 856408064 30643 4294967295 134512640 134569956 3221224384 3221214848 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30643 13086 16 0 209068 0 vsize: 836336 [startup+560.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 52299 48 0 0 25 0 11 0 836609467 856408064 30781 4294967295 134512640 134569956 3221224384 3221214712 1131317189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30781 13086 16 0 209068 0 vsize: 836336 [startup+570.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 53243 48 0 0 25 0 11 0 836609467 856408064 30876 4294967295 134512640 134569956 3221224384 3221214148 1077378400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30876 13086 16 0 209068 0 vsize: 836336 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 54173 49 0 0 25 0 11 0 836609467 856408064 30992 4294967295 134512640 134569956 3221224384 3221214704 1131267337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 30992 13086 16 0 209068 0 vsize: 836336 [startup+590.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 55116 49 0 0 25 0 11 0 836609467 856408064 31138 4294967295 134512640 134569956 3221224384 3221214728 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31138 13086 16 0 209068 0 vsize: 836336 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 56052 49 0 0 25 0 11 0 836609467 856408064 31287 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31287 13086 16 0 209068 0 vsize: 836336 [startup+610.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 57003 49 0 0 25 0 11 0 836609467 856408064 31403 4294967295 134512640 134569956 3221224384 3221214848 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31403 13086 16 0 209068 0 vsize: 836336 [startup+620.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 57937 49 0 0 25 0 11 0 836609467 856408064 31557 4294967295 134512640 134569956 3221224384 3221214680 1131179508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31557 13086 16 0 209068 0 vsize: 836336 [startup+630.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 58883 49 0 0 25 0 11 0 836609467 856408064 31674 4294967295 134512640 134569956 3221224384 3221214680 1131179513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31674 13086 16 0 209068 0 vsize: 836336 [startup+640.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 59829 50 0 0 25 0 11 0 836609467 856408064 31794 4294967295 134512640 134569956 3221224384 3221214640 1131229817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31794 13086 16 0 209068 0 vsize: 836336 [startup+650.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 60772 50 0 0 25 0 11 0 836609467 856408064 31901 4294967295 134512640 134569956 3221224384 3221214680 1131179508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 31901 13086 16 0 209068 0 vsize: 836336 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 61717 50 0 0 25 0 11 0 836609467 856408064 32020 4294967295 134512640 134569956 3221224384 3221214680 1131179513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32020 13086 16 0 209068 0 vsize: 836336 [startup+670.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 62664 50 0 0 25 0 11 0 836609467 856408064 32152 4294967295 134512640 134569956 3221224384 3221214872 1131312062 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32152 13086 16 0 209068 0 vsize: 836336 [startup+680.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 63603 50 0 0 25 0 11 0 836609467 856408064 32266 4294967295 134512640 134569956 3221224384 3221214704 1131267469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32266 13086 16 0 209068 0 vsize: 836336 [startup+690.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 64550 51 0 0 25 0 11 0 836609467 856408064 32390 4294967295 134512640 134569956 3221224384 3221214768 1131355567 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32390 13086 16 0 209068 0 vsize: 836336 [startup+700.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 65500 51 0 0 25 0 11 0 836609467 856408064 32531 4294967295 134512640 134569956 3221224384 3221214792 1131322736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32531 13086 16 0 209068 0 vsize: 836336 [startup+710.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 66456 51 0 0 25 0 11 0 836609467 856408064 32596 4294967295 134512640 134569956 3221224384 3221214020 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 32596 13086 16 0 209068 0 vsize: 836336 [startup+720.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 67414 52 0 0 25 0 11 0 836609467 856408064 32664 4294967295 134512640 134569956 3221224384 3221214704 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32664 13086 16 0 209068 0 vsize: 836336 [startup+730.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 68372 52 0 0 25 0 11 0 836609467 856408064 32758 4294967295 134512640 134569956 3221224384 3221214792 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32758 13086 16 0 209068 0 vsize: 836336 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 69330 52 0 0 25 0 11 0 836609467 856408064 32821 4294967295 134512640 134569956 3221224384 3221214808 1131343542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32821 13086 16 0 209068 0 vsize: 836336 [startup+750.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 70290 52 0 0 25 0 11 0 836609467 856408064 32900 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 32900 13086 16 0 209068 0 vsize: 836336 [startup+760.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 71250 52 0 0 25 0 11 0 836609467 856408064 32996 4294967295 134512640 134569956 3221224384 3221214848 1131210841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 32996 13086 16 0 209068 0 vsize: 836336 [startup+770.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 72212 52 0 0 25 0 11 0 836609467 856408064 33038 4294967295 134512640 134569956 3221224384 3221214704 1131266893 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33038 13086 16 0 209068 0 vsize: 836336 [startup+780.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13745 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 73154 53 0 0 25 0 11 0 836609467 856408064 33134 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33134 13086 16 0 209068 0 vsize: 836336 [startup+790.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 74116 53 0 0 25 0 11 0 836609467 856408064 33220 4294967295 134512640 134569956 3221224384 3221214352 1131411966 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33220 13086 16 0 209068 0 vsize: 836336 [startup+800.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 75078 53 0 0 25 0 11 0 836609467 856408064 33278 4294967295 134512640 134569956 3221224384 3221214656 1131179570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33278 13086 16 0 209068 0 vsize: 836336 [startup+810.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 76020 54 0 0 25 0 11 0 836609467 856408064 33405 4294967295 134512640 134569956 3221224384 3221214704 1131229795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33405 13086 16 0 209068 0 vsize: 836336 [startup+820.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 76982 54 0 0 25 0 11 0 836609467 856408064 33480 4294967295 134512640 134569956 3221224384 3221214656 1131179508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33480 13086 16 0 209068 0 vsize: 836336 [startup+830.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 77946 55 0 0 25 0 11 0 836609467 856408064 33605 4294967295 134512640 134569956 3221224384 3221214680 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33605 13086 16 0 209068 0 vsize: 836336 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 78912 55 0 0 25 0 11 0 836609467 856408064 33701 4294967295 134512640 134569956 3221224384 3221214680 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33701 13086 16 0 209068 0 vsize: 836336 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 79878 55 0 0 25 0 11 0 836609467 856408064 33766 4294967295 134512640 134569956 3221224384 3221214680 1131267763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33766 13086 16 0 209068 0 vsize: 836336 [startup+860.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 80845 55 0 0 25 0 11 0 836609467 856408064 33810 4294967295 134512640 134569956 3221224384 3221214784 1131343557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33810 13086 16 0 209068 0 vsize: 836336 [startup+870.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 81811 55 0 0 25 0 11 0 836609467 856408064 33880 4294967295 134512640 134569956 3221224384 3221214680 1131274656 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33880 13086 16 0 209068 0 vsize: 836336 [startup+880.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 82766 56 0 0 25 0 11 0 836609467 856408064 33951 4294967295 134512640 134569956 3221224384 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 33951 13086 16 0 209068 0 vsize: 836336 [startup+890.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 83723 56 0 0 25 0 11 0 836609467 856408064 34044 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34044 13086 16 0 209068 0 vsize: 836336 [startup+900.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 84682 56 0 0 25 0 11 0 836609467 856408064 34116 4294967295 134512640 134569956 3221224384 3221214768 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34116 13086 16 0 209068 0 vsize: 836336 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 85639 57 0 0 25 0 11 0 836609467 856408064 34209 4294967295 134512640 134569956 3221224384 3221214696 1131550978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34209 13086 16 0 209068 0 vsize: 836336 [startup+920.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 86597 57 0 0 25 0 11 0 836609467 856408064 34270 4294967295 134512640 134569956 3221224384 3221214680 1131267157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34270 13086 16 0 209068 0 vsize: 836336 [startup+930.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 87565 58 0 0 25 0 11 0 836609467 856408064 34336 4294967295 134512640 134569956 3221224384 3221213656 1131497045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34336 13086 16 0 209068 0 vsize: 836336 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 88526 58 0 0 24 0 11 0 836609467 856408064 34440 4294967295 134512640 134569956 3221224384 3221214276 1131497036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34440 13086 16 0 209068 0 vsize: 836336 [startup+950.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 89497 59 0 0 25 0 11 0 836609467 856408064 34498 4294967295 134512640 134569956 3221224384 3221214312 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34498 13086 16 0 209068 0 vsize: 836336 [startup+960.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 90454 59 0 0 24 0 11 0 836609467 856408064 34593 4294967295 134512640 134569956 3221224384 3221214656 1131179539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34593 13086 16 0 209068 0 vsize: 836336 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 91418 59 0 0 25 0 11 0 836609467 856408064 34656 4294967295 134512640 134569956 3221224384 3221213920 1085679296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34656 13086 16 0 209068 0 vsize: 836336 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 92389 60 0 0 25 0 11 0 836609467 856408064 34699 4294967295 134512640 134569956 3221224384 3221214768 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34699 13086 16 0 209068 0 vsize: 836336 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 93352 60 0 0 25 0 11 0 836609467 856408064 34747 4294967295 134512640 134569956 3221224384 3221214680 1131266785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34747 13086 16 0 209068 0 vsize: 836336 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 94315 60 0 0 25 0 11 0 836609467 856408064 34802 4294967295 134512640 134569956 3221224384 3221214680 1131267720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34802 13086 16 0 209068 0 vsize: 836336 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 95281 61 0 0 25 0 11 0 836609467 856408064 34842 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34842 13086 16 0 209068 0 vsize: 836336 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 96239 61 0 0 25 0 11 0 836609467 856408064 34905 4294967295 134512640 134569956 3221224384 3221214560 1131268032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34905 13086 16 0 209068 0 vsize: 836336 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 97208 61 0 0 25 0 11 0 836609467 856408064 34958 4294967295 134512640 134569956 3221224384 3221214768 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 34958 13086 16 0 209068 0 vsize: 836336 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 98169 62 0 0 25 0 11 0 836609467 856408064 35021 4294967295 134512640 134569956 3221224384 3221214720 1131355612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35021 13086 16 0 209068 0 vsize: 836336 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 99131 62 0 0 25 0 11 0 836609467 856408064 35109 4294967295 134512640 134569956 3221224384 3221214680 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35109 13086 16 0 209068 0 vsize: 836336 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 100101 63 0 0 25 0 11 0 836609467 856408064 35150 4294967295 134512640 134569956 3221224384 3221214680 1131267245 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35150 13086 16 0 209068 0 vsize: 836336 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 101056 63 0 0 25 0 11 0 836609467 856408064 35218 4294967295 134512640 134569956 3221224384 3221214656 1131180124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35218 13086 16 0 209068 0 vsize: 836336 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 102026 63 0 0 25 0 11 0 836609467 856408064 35258 4294967295 134512640 134569956 3221224384 3221214680 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35258 13086 16 0 209068 0 vsize: 836336 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 102996 63 0 0 25 0 11 0 836609467 856408064 35315 4294967295 134512640 134569956 3221224384 3221214764 1131179488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209084 35315 13086 16 0 209068 0 vsize: 836336 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 103966 64 0 0 25 0 11 0 836609467 856408064 35365 4294967295 134512640 134569956 3221224384 3221214680 1131267283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35365 13086 16 0 209068 0 vsize: 836336 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 104920 64 0 0 25 0 11 0 836609467 856408064 35436 4294967295 134512640 134569956 3221224384 3221214504 1131179596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35436 13086 16 0 209068 0 vsize: 836336 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 105889 64 0 0 25 0 11 0 836609467 856408064 35481 4294967295 134512640 134569956 3221224384 3221214680 1131267677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35481 13086 16 0 209068 0 vsize: 836336 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 106850 65 0 0 25 0 11 0 836609467 856408064 35535 4294967295 134512640 134569956 3221224384 3221213756 1131399376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35535 13086 16 0 209068 0 vsize: 836336 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 107811 65 0 0 25 0 11 0 836609467 856408064 35612 4294967295 134512640 134569956 3221224384 3221214824 1131210841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35612 13086 16 0 209068 0 vsize: 836336 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 108766 66 0 0 25 0 11 0 836609467 856408064 35682 4294967295 134512640 134569956 3221224384 3221214680 1131266857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35682 13086 16 0 209068 0 vsize: 836336 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 109729 66 0 0 25 0 11 0 836609467 856408064 35736 4294967295 134512640 134569956 3221224384 3221214784 1131343397 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35736 13086 16 0 209068 0 vsize: 836336 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 110706 66 0 0 25 0 11 0 836609467 856408064 35801 4294967295 134512640 134569956 3221224384 3221214680 1131267405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35801 13086 16 0 209068 0 vsize: 836336 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 111669 67 0 0 25 0 11 0 836609467 856408064 35861 4294967295 134512640 134569956 3221224384 3221214060 1131399376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35861 13086 16 0 209068 0 vsize: 836336 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 112648 67 0 0 25 0 11 0 836609467 856408064 35900 4294967295 134512640 134569956 3221224384 3221214656 1131179508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35900 13086 16 0 209068 0 vsize: 836336 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 113620 68 0 0 25 0 11 0 836609467 856408064 35939 4294967295 134512640 134569956 3221224384 3221214656 1131179508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 35939 13086 16 0 209068 0 vsize: 836336 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 114576 68 0 0 25 0 11 0 836609467 856408064 36000 4294967295 134512640 134569956 3221224384 3221214768 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36000 13086 16 0 209068 0 vsize: 836336 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 13746 Raw data (stat): 13732 (java) S 13731 5562 5561 0 -1 0 18113 3 1 0 115544 68 0 0 25 0 11 0 836609467 856408064 36035 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36035 13086 16 0 209068 0 vsize: 836336 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 116507 68 0 0 25 0 11 0 836609467 856408064 36072 4294967295 134512640 134569956 3221224384 3221213840 1131399377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36072 13086 16 0 209068 0 vsize: 836336 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 117476 69 0 0 25 0 11 0 836609467 856408064 36126 4294967295 134512640 134569956 3221224384 3221214784 1131343844 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36126 13086 16 0 209068 0 vsize: 836336 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 118428 69 0 0 25 0 11 0 836609467 856408064 36215 4294967295 134512640 134569956 3221224384 3221214680 1131267058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36215 13086 16 0 209068 0 vsize: 836336 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 119398 70 0 0 25 0 11 0 836609467 856408064 36248 4294967295 134512640 134569956 3221224384 3221214768 1131143299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36248 13086 16 0 209068 0 vsize: 836336 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13746 Raw data (stat): 13732 (java) R 13731 5562 5561 0 -1 0 18113 3 1 0 120359 70 0 0 25 0 11 0 836609467 856408064 36324 4294967295 134512640 134569956 3221224384 3221214768 1131143292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209084 36324 13086 16 0 209068 0 vsize: 836336 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1270.18 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13748 Raw data (stat): 13732 (java) Z 13731 5562 5561 0 -1 1036 18113 20105 1 0 120363 77 7286 49 25 0 1 0 836609467 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1270.18 CPU time (s): 1277.77 CPU user time (s): 1276.5 CPU system time (s): 1.26881 CPU usage (%): 100.598 Max. virtual memory (Kb): 837832 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 28442 #### END VERIFIER DATA ####