Name | normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | 509cfdb6810b13d9963718243e9046cd |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.98 |
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 wulflinc11 THE 2005-05-25 06:09:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20668 boxname=wulflinc11 idbench=258 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 509cfdb6810b13d9963718243e9046cd /oldhome/oroussel/tmp/wulflinc11/normalized-circ6_3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-circ6_3.opb IDLAUNCH: 20668 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 872812 kB Buffers: 22816 kB Cached: 118192 kB SwapCached: 772 kB Active: 33384 kB Inactive: 109708 kB HighTotal: 131008 kB HighFree: 12936 kB LowTotal: 903652 kB LowFree: 859876 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13248 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:30:15 (client local time) WITH STATUS 143 IN 1268.88 SECONDS stats: 20668 0 1268.88 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/wulflinc11/normalized-circ6_3.opb c reading problem ... done. Time 3.32 ms. c #vars 540 c #constraints 4626 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 84 Current CPU time: 4.69 ms c CURRENT OPTIMUM= 82 Current CPU time: 12.54 ms c CURRENT OPTIMUM= 80 Current CPU time: 218.31 ms c CURRENT OPTIMUM= 78 Current CPU time: 433.25 ms c starts : 20 c conflicts : 4680 c decisions : 11140 c propagations : 293809 c inspects : 11158251 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4680 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=78 c Total CPU time (ms) : 1259.178 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/54 4651 Raw data (stat): 4651 (runsolver) R 4650 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778379580 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 4662 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 808 38 0 0 25 0 11 0 778379580 856567808 20888 4294967295 134512640 134569956 3221224384 3221214704 1131269729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209123 20888 13086 16 0 209107 0 vsize: 836492 [startup+20.0009 s] Raw data (loadavg): 1.09 1.02 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 1753 38 0 0 25 0 11 0 778379580 858390528 22141 4294967295 134512640 134569956 3221224384 3221214656 1131196286 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 22141 13086 16 0 209552 0 vsize: 838272 [startup+30.0008 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 2705 39 0 0 24 0 11 0 778379580 858390528 22141 4294967295 134512640 134569956 3221224384 3221214788 1131168224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 22141 13086 16 0 209552 0 vsize: 838272 [startup+40.0022 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 3653 39 0 0 25 0 11 0 778379580 858390528 22361 4294967295 134512640 134569956 3221224384 3221214640 1131330874 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 22361 13086 16 0 209552 0 vsize: 838272 [startup+50.0023 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 4591 39 0 0 25 0 11 0 778379580 858390528 22590 4294967295 134512640 134569956 3221224384 3221214680 1131168275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 22590 13086 16 0 209552 0 vsize: 838272 [startup+60.0021 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18118 3 1 0 5525 39 0 0 25 0 11 0 778379580 858390528 22869 4294967295 134512640 134569956 3221224384 3221214688 1131269811 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 22869 13086 16 0 209552 0 vsize: 838272 [startup+70.0033 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 6471 39 0 0 25 0 11 0 778379580 858390528 23125 4294967295 134512640 134569956 3221224384 3221214808 1131335027 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 23125 13086 16 0 209552 0 vsize: 838272 [startup+80.0036 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 7391 39 0 0 25 0 11 0 778379580 858390528 23402 4294967295 134512640 134569956 3221224384 3221214640 1131228670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 23402 13086 16 0 209552 0 vsize: 838272 [startup+90.0045 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 8327 39 0 0 24 0 11 0 778379580 858390528 23626 4294967295 134512640 134569956 3221224384 3221214680 1131168249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 23626 13086 16 0 209552 0 vsize: 838272 [startup+100.005 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 9273 39 0 0 25 0 11 0 778379580 858390528 23825 4294967295 134512640 134569956 3221224384 3221214412 1130912547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 23825 13086 16 0 209552 0 vsize: 838272 [startup+110.005 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 10209 39 0 0 25 0 11 0 778379580 858390528 23935 4294967295 134512640 134569956 3221224384 3221214664 1131374321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 23935 13086 16 0 209552 0 vsize: 838272 [startup+120.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 11145 39 0 0 25 0 11 0 778379580 858390528 24164 4294967295 134512640 134569956 3221224384 3221214576 1131279410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 24164 13086 16 0 209552 0 vsize: 838272 [startup+130.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 12091 39 0 0 25 0 11 0 778379580 858390528 24318 4294967295 134512640 134569956 3221224384 3221214704 1131270452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 24318 13086 16 0 209552 0 vsize: 838272 [startup+140.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 13026 39 0 0 25 0 11 0 778379580 858390528 24512 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 24512 13086 16 0 209552 0 vsize: 838272 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 13960 39 0 0 25 0 11 0 778379580 858390528 24703 4294967295 134512640 134569956 3221224384 3221214704 1131270419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 24703 13086 16 0 209552 0 vsize: 838272 [startup+160.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 14893 39 0 0 25 0 11 0 778379580 858390528 24947 4294967295 134512640 134569956 3221224384 3221214564 1131279915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 24947 13086 16 0 209552 0 vsize: 838272 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 15828 39 0 0 25 0 11 0 778379580 858390528 25107 4294967295 134512640 134569956 3221224384 3221214704 1131270442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25107 13086 16 0 209552 0 vsize: 838272 [startup+180.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 16762 40 0 0 25 0 11 0 778379580 858390528 25270 4294967295 134512640 134569956 3221224384 3221214640 1131330931 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25270 13086 16 0 209552 0 vsize: 838272 [startup+190.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 17699 40 0 0 25 0 11 0 778379580 858390528 25395 4294967295 134512640 134569956 3221224384 3221214768 1131196327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25395 13086 16 0 209552 0 vsize: 838272 [startup+200.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 18633 40 0 0 25 0 11 0 778379580 858390528 25556 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25556 13086 16 0 209552 0 vsize: 838272 [startup+210.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4663 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 19568 40 0 0 25 0 11 0 778379580 858390528 25803 4294967295 134512640 134569956 3221224384 3221214680 1131168237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25803 13086 16 0 209552 0 vsize: 838272 [startup+220.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 20506 40 0 0 25 0 11 0 778379580 858390528 25940 4294967295 134512640 134569956 3221224384 3221214680 1131168947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 25940 13086 16 0 209552 0 vsize: 838272 [startup+230.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 21443 41 0 0 25 0 11 0 778379580 858390528 26109 4294967295 134512640 134569956 3221224384 3221214704 1131279754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26109 13086 16 0 209552 0 vsize: 838272 [startup+240.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 22381 41 0 0 25 0 11 0 778379580 858390528 26241 4294967295 134512640 134569956 3221224384 3221214680 1131168359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26241 13086 16 0 209552 0 vsize: 838272 [startup+250.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 23318 41 0 0 25 0 11 0 778379580 858390528 26396 4294967295 134512640 134569956 3221224384 3221214704 1131270002 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26396 13086 16 0 209552 0 vsize: 838272 [startup+260.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 24256 41 0 0 25 0 11 0 778379580 858390528 26548 4294967295 134512640 134569956 3221224384 3221214616 1131194396 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 26548 13086 16 0 209552 0 vsize: 838272 [startup+270.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 25194 42 0 0 25 0 11 0 778379580 858390528 26695 4294967295 134512640 134569956 3221224384 3221214704 1131270721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26695 13086 16 0 209552 0 vsize: 838272 [startup+280.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 26136 42 0 0 25 0 11 0 778379580 858390528 26861 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26861 13086 16 0 209552 0 vsize: 838272 [startup+290.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 27071 42 0 0 25 0 11 0 778379580 858390528 26981 4294967295 134512640 134569956 3221224384 3221213344 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 26984 13086 16 0 209552 0 vsize: 838272 [startup+300.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 28017 43 0 0 25 0 11 0 778379580 858390528 27163 4294967295 134512640 134569956 3221224384 3221214704 1131269725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 27163 13086 16 0 209552 0 vsize: 838272 [startup+310.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 28957 43 0 0 25 0 11 0 778379580 858390528 27306 4294967295 134512640 134569956 3221224384 3221214760 1080204001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 27306 13086 16 0 209552 0 vsize: 838272 [startup+320.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 29905 43 0 0 25 0 11 0 778379580 858390528 27398 4294967295 134512640 134569956 3221224384 3221214704 1131269879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 27398 13086 16 0 209552 0 vsize: 838272 [startup+330.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 30851 44 0 0 25 0 11 0 778379580 858390528 27497 4294967295 134512640 134569956 3221224384 3221214704 1131205692 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 27497 13086 16 0 209552 0 vsize: 838272 [startup+340.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 31787 44 0 0 25 0 11 0 778379580 858390528 27666 4294967295 134512640 134569956 3221224384 3221214704 1131270227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 27666 13086 16 0 209552 0 vsize: 838272 [startup+350.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 32735 45 0 0 25 0 11 0 778379580 858390528 27761 4294967295 134512640 134569956 3221224384 3221214704 1131270227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 27761 13086 16 0 209552 0 vsize: 838272 [startup+360.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 33681 45 0 0 25 0 11 0 778379580 858390528 27867 4294967295 134512640 134569956 3221224384 3221214792 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 27867 13086 16 0 209552 0 vsize: 838272 [startup+370.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 34618 45 0 0 25 0 11 0 778379580 858390528 28010 4294967295 134512640 134569956 3221224384 3221214792 1131142012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28010 13086 16 0 209552 0 vsize: 838272 [startup+380.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 35566 45 0 0 25 0 11 0 778379580 858390528 28143 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28143 13086 16 0 209552 0 vsize: 838272 [startup+390.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 36506 45 0 0 25 0 11 0 778379580 858390528 28254 4294967295 134512640 134569956 3221224384 3221214792 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28254 13086 16 0 209552 0 vsize: 838272 [startup+400.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 37454 46 0 0 25 0 11 0 778379580 858390528 28377 4294967295 134512640 134569956 3221224384 3221214552 1131168399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28377 13086 16 0 209552 0 vsize: 838272 [startup+410.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 38402 46 0 0 25 0 11 0 778379580 858390528 28509 4294967295 134512640 134569956 3221224384 3221214648 1131311127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 28509 13086 16 0 209552 0 vsize: 838272 [startup+420.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 39348 46 0 0 25 0 11 0 778379580 858390528 28609 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28609 13086 16 0 209552 0 vsize: 838272 [startup+430.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4664 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 40290 47 0 0 25 0 11 0 778379580 858390528 28725 4294967295 134512640 134569956 3221224384 3221214704 1131269729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28725 13086 16 0 209552 0 vsize: 838272 [startup+440.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 41253 47 0 0 25 0 11 0 778379580 858390528 28805 4294967295 134512640 134569956 3221224384 3221214792 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28805 13086 16 0 209552 0 vsize: 838272 [startup+450.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 42217 47 0 0 24 0 11 0 778379580 858390528 28882 4294967295 134512640 134569956 3221224384 3221214804 1131269708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28882 13086 16 0 209552 0 vsize: 838272 [startup+460.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 43174 48 0 0 25 0 11 0 778379580 858390528 28969 4294967295 134512640 134569956 3221224384 3221214676 1131196256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 28969 13086 16 0 209552 0 vsize: 838272 [startup+470.048 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 44139 48 0 0 25 0 11 0 778379580 858390528 29059 4294967295 134512640 134569956 3221224384 3221214808 1131334693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 29059 13086 16 0 209552 0 vsize: 838272 [startup+480.049 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 45089 49 0 0 25 0 11 0 778379580 858390528 29176 4294967295 134512640 134569956 3221224384 3221214480 1131404890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29176 13086 16 0 209552 0 vsize: 838272 [startup+490.048 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 46049 49 0 0 22 0 11 0 778379580 858390528 29273 4294967295 134512640 134569956 3221224384 3221214704 1131269758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29273 13086 16 0 209552 0 vsize: 838272 [startup+500.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 47011 49 0 0 25 0 11 0 778379580 858390528 29351 4294967295 134512640 134569956 3221224384 3221214704 1131270150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29351 13086 16 0 209552 0 vsize: 838272 [startup+510.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 47966 50 0 0 25 0 11 0 778379580 858390528 29447 4294967295 134512640 134569956 3221224384 3221214704 1131270137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29447 13086 16 0 209552 0 vsize: 838272 [startup+520.05 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 48929 51 0 0 25 0 11 0 778379580 858390528 29514 4294967295 134512640 134569956 3221224384 3221214020 1131530512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29514 13086 16 0 209552 0 vsize: 838272 [startup+530.051 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 49893 51 0 0 25 0 11 0 778379580 858390528 29597 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29597 13086 16 0 209552 0 vsize: 838272 [startup+540.051 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 50863 51 0 0 25 0 11 0 778379580 858390528 29676 4294967295 134512640 134569956 3221224384 3221214672 1131270673 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29676 13086 16 0 209552 0 vsize: 838272 [startup+550.052 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 51822 52 0 0 25 0 11 0 778379580 858390528 29727 4294967295 134512640 134569956 3221224384 3221214672 1131269819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29727 13086 16 0 209552 0 vsize: 838272 [startup+560.052 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 52770 52 0 0 25 0 11 0 778379580 858390528 29790 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29790 13086 16 0 209552 0 vsize: 838272 [startup+570.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 53724 52 0 0 25 0 11 0 778379580 858390528 29853 4294967295 134512640 134569956 3221224384 3221214584 1131193360 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29853 13086 16 0 209552 0 vsize: 838272 [startup+580.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 54678 52 0 0 25 0 11 0 778379580 858390528 29908 4294967295 134512640 134569956 3221224384 3221214584 1131194388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29908 13086 16 0 209552 0 vsize: 838272 [startup+590.054 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 55631 53 0 0 25 0 11 0 778379580 858390528 29992 4294967295 134512640 134569956 3221224384 3221214144 1131531287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 29992 13086 16 0 209552 0 vsize: 838272 [startup+600.055 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 56586 53 0 0 25 0 11 0 778379580 858390528 30130 4294967295 134512640 134569956 3221224384 3221214672 1131269737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30130 13086 16 0 209552 0 vsize: 838272 [startup+610.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 57537 53 0 0 25 0 11 0 778379580 858390528 30266 4294967295 134512640 134569956 3221224384 3221214776 1131334914 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30266 13086 16 0 209552 0 vsize: 838272 [startup+620.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 58498 54 0 0 25 0 11 0 778379580 858390528 30364 4294967295 134512640 134569956 3221224384 3221214776 1131334849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30364 13086 16 0 209552 0 vsize: 838272 [startup+630.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 59459 55 0 0 25 0 11 0 778379580 858390528 30444 4294967295 134512640 134569956 3221224384 3221214776 1131335080 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30444 13086 16 0 209552 0 vsize: 838272 [startup+640.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 60422 55 0 0 25 0 11 0 778379580 858390528 30506 4294967295 134512640 134569956 3221224384 3221213912 1131530380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30506 13086 16 0 209552 0 vsize: 838272 [startup+650.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 61385 56 0 0 25 0 11 0 778379580 858390528 30611 4294967295 134512640 134569956 3221224384 3221214672 1131269725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30611 13086 16 0 209552 0 vsize: 838272 [startup+660.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 62350 56 0 0 25 0 11 0 778379580 858390528 30666 4294967295 134512640 134569956 3221224384 3221214496 1131530506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30666 13086 16 0 209552 0 vsize: 838272 [startup+670.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 63305 56 0 0 25 0 11 0 778379580 858390528 30742 4294967295 134512640 134569956 3221224384 3221214752 1131333609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30742 13086 16 0 209552 0 vsize: 838272 [startup+680.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 64261 57 0 0 25 0 11 0 778379580 858390528 30819 4294967295 134512640 134569956 3221224384 3221214776 1131334849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30819 13086 16 0 209552 0 vsize: 838272 [startup+690.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 65225 57 0 0 25 0 11 0 778379580 858390528 30888 4294967295 134512640 134569956 3221224384 3221214632 1131279403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30888 13086 16 0 209552 0 vsize: 838272 [startup+700.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 66180 57 0 0 25 0 11 0 778379580 858390528 30949 4294967295 134512640 134569956 3221224384 3221214672 1131270667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 30949 13086 16 0 209552 0 vsize: 838272 [startup+710.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 67150 57 0 0 25 0 11 0 778379580 858390528 31001 4294967295 134512640 134569956 3221224384 3221214648 1131168255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31001 13086 16 0 209552 0 vsize: 838272 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 68104 57 0 0 25 0 11 0 778379580 858390528 31087 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31087 13086 16 0 209552 0 vsize: 838272 [startup+730.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 69064 57 0 0 25 0 11 0 778379580 858390528 31163 4294967295 134512640 134569956 3221224384 3221214756 1131168224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31163 13086 16 0 209552 0 vsize: 838272 [startup+740.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 70032 58 0 0 25 0 11 0 778379580 858390528 31217 4294967295 134512640 134569956 3221224384 3221214712 1131358761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31217 13086 16 0 209552 0 vsize: 838272 [startup+750.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 70983 58 0 0 25 0 11 0 778379580 858390528 31304 4294967295 134512640 134569956 3221224384 3221214672 1131270065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31304 13086 16 0 209552 0 vsize: 838272 [startup+760.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 71943 58 0 0 25 0 11 0 778379580 858390528 31381 4294967295 134512640 134569956 3221224384 3221214072 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31381 13086 16 0 209552 0 vsize: 838272 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 4665 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 72900 59 0 0 25 0 11 0 778379580 858390528 31473 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31473 13086 16 0 209552 0 vsize: 838272 [startup+780.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 73856 59 0 0 25 0 11 0 778379580 858390528 31560 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31560 13086 16 0 209552 0 vsize: 838272 [startup+790.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 74816 59 0 0 25 0 11 0 778379580 858390528 31650 4294967295 134512640 134569956 3221224384 3221213932 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31650 13086 16 0 209552 0 vsize: 838272 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 75793 59 0 0 25 0 11 0 778379580 858390528 31714 4294967295 134512640 134569956 3221224384 3221214432 1131531879 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31714 13086 16 0 209552 0 vsize: 838272 [startup+810.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 76757 60 0 0 25 0 11 0 778379580 858390528 31784 4294967295 134512640 134569956 3221224384 3221214048 1131530488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31784 13086 16 0 209552 0 vsize: 838272 [startup+820.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 77708 60 0 0 25 0 11 0 778379580 858390528 31882 4294967295 134512640 134569956 3221224384 3221214672 1131270197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31882 13086 16 0 209552 0 vsize: 838272 [startup+830.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 78671 60 0 0 25 0 11 0 778379580 858390528 31931 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 31931 13086 16 0 209552 0 vsize: 838272 [startup+840.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 79632 61 0 0 25 0 11 0 778379580 858390528 32014 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32014 13086 16 0 209552 0 vsize: 838272 [startup+850.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 80586 61 0 0 25 0 11 0 778379580 858390528 32081 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32081 13086 16 0 209552 0 vsize: 838272 [startup+860.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 81547 61 0 0 25 0 11 0 778379580 858390528 32170 4294967295 134512640 134569956 3221224384 3221213740 1131530512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32170 13086 16 0 209552 0 vsize: 838272 [startup+870.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 82516 61 0 0 25 0 11 0 778379580 858390528 32219 4294967295 134512640 134569956 3221224384 3221213600 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32219 13086 16 0 209552 0 vsize: 838272 [startup+880.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 83469 62 0 0 25 0 11 0 778379580 858390528 32278 4294967295 134512640 134569956 3221224384 3221214672 1131270738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32278 13086 16 0 209552 0 vsize: 838272 [startup+890.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 84436 62 0 0 25 0 11 0 778379580 858390528 32421 4294967295 134512640 134569956 3221224384 3221214672 1131270083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32421 13086 16 0 209552 0 vsize: 838272 [startup+900.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 85389 62 0 0 25 0 11 0 778379580 858390528 32502 4294967295 134512640 134569956 3221224384 3221214324 1131297292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32502 13086 16 0 209552 0 vsize: 838272 [startup+910.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 86351 62 0 0 25 0 11 0 778379580 858390528 32609 4294967295 134512640 134569956 3221224384 3221214672 1131270227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32609 13086 16 0 209552 0 vsize: 838272 [startup+920.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 87320 62 0 0 25 0 11 0 778379580 858390528 32655 4294967295 134512640 134569956 3221224384 3221214672 1131270312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32655 13086 16 0 209552 0 vsize: 838272 [startup+930.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 88269 62 0 0 25 0 11 0 778379580 858390528 32725 4294967295 134512640 134569956 3221224384 3221214776 1131335168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32725 13086 16 0 209552 0 vsize: 838272 [startup+940.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 89235 62 0 0 25 0 11 0 778379580 858390528 32772 4294967295 134512640 134569956 3221224384 3221214672 1131270488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32772 13086 16 0 209552 0 vsize: 838272 [startup+950.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 90191 62 0 0 25 0 11 0 778379580 858390528 32899 4294967295 134512640 134569956 3221224384 3221214584 1131193381 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 32899 13086 16 0 209552 0 vsize: 838272 [startup+960.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 91158 62 0 0 25 0 11 0 778379580 858390528 32936 4294967295 134512640 134569956 3221224384 3221214496 1131269811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 32936 13086 16 0 209552 0 vsize: 838272 [startup+970.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 92121 63 0 0 25 0 11 0 778379580 858390528 33004 4294967295 134512640 134569956 3221224384 3221213712 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33004 13086 16 0 209552 0 vsize: 838272 [startup+980.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 93078 63 0 0 25 0 11 0 778379580 858390528 33065 4294967295 134512640 134569956 3221224384 3221214648 1131168244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33065 13086 16 0 209552 0 vsize: 838272 [startup+990.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 94029 64 0 0 25 0 11 0 778379580 858390528 33234 4294967295 134512640 134569956 3221224384 3221213792 1131539509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33234 13086 16 0 209552 0 vsize: 838272 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 94990 64 0 0 25 0 11 0 778379580 858390528 33299 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 33299 13086 16 0 209552 0 vsize: 838272 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 95946 64 0 0 25 0 11 0 778379580 858390528 33395 4294967295 134512640 134569956 3221224384 3221214696 1131311192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33395 13086 16 0 209552 0 vsize: 838272 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 96901 65 0 0 25 0 11 0 778379580 858390528 33502 4294967295 134512640 134569956 3221224384 3221214672 1131270150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33502 13086 16 0 209552 0 vsize: 838272 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 97861 65 0 0 25 0 11 0 778379580 858390528 33569 4294967295 134512640 134569956 3221224384 3221214600 1131374298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 33569 13086 16 0 209552 0 vsize: 838272 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 98827 65 0 0 25 0 11 0 778379580 858390528 33625 4294967295 134512640 134569956 3221224384 3221213800 1131530519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33625 13086 16 0 209552 0 vsize: 838272 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 99785 66 0 0 25 0 11 0 778379580 858390528 33688 4294967295 134512640 134569956 3221224384 3221214584 1131333574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33688 13086 16 0 209552 0 vsize: 838272 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 100751 66 0 0 25 0 11 0 778379580 858390528 33725 4294967295 134512640 134569956 3221224384 3221214672 1131270488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33725 13086 16 0 209552 0 vsize: 838272 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 101723 66 0 0 25 0 11 0 778379580 858390528 33797 4294967295 134512640 134569956 3221224384 3221214672 1131270363 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33797 13086 16 0 209552 0 vsize: 838272 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 102680 66 0 0 25 0 11 0 778379580 858390528 33868 4294967295 134512640 134569956 3221224384 3221214704 1131358700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33868 13086 16 0 209552 0 vsize: 838272 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 103644 67 0 0 25 0 11 0 778379580 858390528 33917 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33917 13086 16 0 209552 0 vsize: 838272 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 104615 67 0 0 25 0 11 0 778379580 858390528 33957 4294967295 134512640 134569956 3221224384 3221214776 1131334853 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 33957 13086 16 0 209552 0 vsize: 838272 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 105578 67 0 0 24 0 11 0 778379580 858390528 34016 4294967295 134512640 134569956 3221224384 3221214672 1131270409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34016 13086 16 0 209552 0 vsize: 838272 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 106555 67 0 0 25 0 11 0 778379580 858390528 34041 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34041 13086 16 0 209552 0 vsize: 838272 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 107515 67 0 0 25 0 11 0 778379580 858390528 34102 4294967295 134512640 134569956 3221224384 3221214648 1131168278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34102 13086 16 0 209552 0 vsize: 838272 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 108484 67 0 0 25 0 11 0 778379580 858390528 34165 4294967295 134512640 134569956 3221224384 3221214672 1131270330 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34165 13086 16 0 209552 0 vsize: 838272 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 109452 67 0 0 25 0 11 0 778379580 858390528 34213 4294967295 134512640 134569956 3221224384 3221214792 1131545113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209568 34213 13086 16 0 209552 0 vsize: 838272 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 110413 68 0 0 25 0 11 0 778379580 858390528 34263 4294967295 134512640 134569956 3221224384 3221214648 1131168244 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34263 13086 16 0 209552 0 vsize: 838272 [startup+1170.09 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 111366 68 0 0 25 0 11 0 778379580 858390528 34344 4294967295 134512640 134569956 3221224384 3221214672 1131270636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34344 13086 16 0 209552 0 vsize: 838272 [startup+1180.09 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 112318 68 0 0 25 0 11 0 778379580 858390528 34431 4294967295 134512640 134569956 3221224384 3221214728 1131312984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34431 13086 16 0 209552 0 vsize: 838272 [startup+1190.09 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 113280 68 0 0 25 0 11 0 778379580 858390528 34526 4294967295 134512640 134569956 3221224384 3221214624 1131279648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34526 13086 16 0 209552 0 vsize: 838272 [startup+1200.09 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) S 4650 25830 25829 0 -1 0 18119 3 1 0 114234 69 0 0 25 0 11 0 778379580 858390528 34585 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34585 13086 16 0 209552 0 vsize: 838272 [startup+1210.09 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 115192 69 0 0 25 0 11 0 778379580 858390528 34656 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34656 13086 16 0 209552 0 vsize: 838272 [startup+1220.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 116142 70 0 0 25 0 11 0 778379580 858390528 34754 4294967295 134512640 134569956 3221224384 3221214648 1131168947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34754 13086 16 0 209552 0 vsize: 838272 [startup+1230.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 117120 70 0 0 25 0 11 0 778379580 858390528 34801 4294967295 134512640 134569956 3221224384 3221214760 1131142019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34801 13086 16 0 209552 0 vsize: 838272 [startup+1240.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 118078 70 0 0 25 0 11 0 778379580 858390528 34875 4294967295 134512640 134569956 3221224384 3221214672 1131270385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34875 13086 16 0 209552 0 vsize: 838272 [startup+1250.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 119037 71 0 0 25 0 11 0 778379580 858390528 34929 4294967295 134512640 134569956 3221224384 3221213960 1131539524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34929 13086 16 0 209552 0 vsize: 838272 [startup+1260.09 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 4665 Raw data (stat): 4651 (java) R 4650 25830 25829 0 -1 0 18119 3 1 0 120000 71 0 0 25 0 11 0 778379580 858390528 34967 4294967295 134512640 134569956 3221224384 3221214088 1131531912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209568 34967 13086 16 0 209552 0 vsize: 838272 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.21 s] Raw data (loadavg): 1.01 1.01 1.00 1/54 4667 Raw data (stat): 4651 (java) Z 4650 25830 25829 0 -1 1036 18119 19224 1 0 120006 77 6752 51 25 0 1 0 778379580 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1260.21 CPU time (s): 1268.88 CPU user time (s): 1267.59 CPU system time (s): 1.2938 CPU usage (%): 100.688 Max. virtual memory (Kb): 838272 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 78 #### END VERIFIER DATA ####