PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb
MD5SUM	c12951e903009dc00793ce72594cf3ba
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	624
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	624
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	624
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03684
Number of variables	624
Total number of constraints	1884
Number of constraints which are clauses	1860
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	26
Trace number 29272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 05:55:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20652 boxname=wulflinc1 idbench=242 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c12951e903009dc00793ce72594cf3ba  /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-6pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-6pb.opb
IDLAUNCH: 20652
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        747528 kB
Buffers:         21228 kB
Cached:         236600 kB
SwapCached:       3972 kB
Active:          52256 kB
Inactive:       212516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747276 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16640 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 06:16:46 (client local time) WITH STATUS 143 IN 1246.92 SECONDS
stats: 20652 0 1246.92 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/wulflinc1/normalized-s4-4-3-6pb.opb
c reading problem ... done. Time 2.639 ms.
c #vars     624
c #constraints  1884
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 902.38 ms
c CURRENT OPTIMUM=                  70 		Current CPU time: 1180.86 ms
c starts	: 10
c conflicts	: 2382
c decisions	: 15053
c propagations	: 114311
c inspects	: 2089562
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 2
c learned clauses	: 2381
c root simplifications	: 10
s SATISFIABLE
v v1 v2 v3 -v4 -v5 -v6 -v7 -v8 -v9 -v10 -v11 -v12 -v13 -v14 -v15 -v16 -v17 -v18 -v19 -v20 -v21 -v22 -v23 -v24 -v25 -v26 -v27 -v28 -v29 -v30 -v31 -v32 -v33 -v34 -v35 v36 -v37 -v38 -v39 -v40 -v41 -v42 -v43 -v44 -v45 -v46 -v47 v48 -v49 -v50 -v51 -v52 -v53 -v54 -v55 -v56 -v57 -v58 -v59 v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 v78 -v79 -v80 -v81 -v82 v83 -v84 -v85 -v86 -v87 v88 -v89 -v90 v91 -v92 -v93 -v94 v95 -v96 -v97 -v98 -v99 -v100 v101 v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 v110 -v111 v112 -v113 -v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 v124 -v125 -v126 -v127 -v128 -v129 -v130 v131 v132 -v133 -v134 -v135 -v136 -v137 v138 -v139 -v140 -v141 v142 -v143 -v144 -v145 -v146 -v147 -v148 -v149 -v150 -v151 -v152 v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 -v161 -v162 v163 -v164 -v165 -v166 -v167 v168 -v169 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 -v180 -v181 v182 -v183 -v184 -v185 v186 -v187 -v188 -v189 -v190 -v191 -v192 v193 v194 v195 -v196 -v197 -v198 -v199 -v200 -v201 -v202 -v203 -v204 -v205 -v206 -v207 v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 -v221 -v222 -v223 -v224 -v225 v226 v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 v235 -v236 -v237 -v238 v239 -v240 -v241 -v242 -v243 -v244 -v245 -v246 -v247 -v248 -v249 -v250 -v251 -v252 v253 -v254 -v255 -v256 v257 -v258 -v259 -v260 v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v270 v271 v272 v273 -v274 -v275 -v276 v277 -v278 -v279 -v280 v281 -v282 -v283 -v284 -v285 -v286 -v287 v288 -v289 -v290 -v291 v292 v293 v294 -v295 -v296 v297 -v298 -v299 -v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307 v308 -v309 -v310 v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 v319 -v320 -v321 -v322 -v323 -v324 -v325 v326 -v327 -v328 -v329 v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 v346 -v347 -v348 v349 -v350 -v351 -v352 v353 -v354 -v355 -v356 v357 -v358 -v359 -v360 -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 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v590 v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v610 -v611 -v612 -v613 -v614 v615 -v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 
c objectif function=70
c Total CPU time (ms) : 1249.102
#### 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.92 0.98 0.97 2/55 18847
Raw data (stat): 18847 (runsolver) R 18846 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 721447130 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.0079 s]
Raw data (loadavg): 1.08 1.02 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18075 0 1 0 667 42 0 0 25 0 11 0 721447130 858910720 20431 4294967295 134512640 134569956 3221224384 3221214528 1131323367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209695 20431 13086 16 0 209679 0
vsize: 838780
[startup+20.0092 s]
Raw data (loadavg): 1.07 1.02 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18076 0 1 0 1601 43 0 0 25 0 11 0 721447130 858779648 21158 4294967295 134512640 134569956 3221224384 3221214760 1131209072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 21158 13086 16 0 209647 0
vsize: 838652
[startup+30.0105 s]
Raw data (loadavg): 1.06 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18076 0 1 0 2533 43 0 0 25 0 11 0 721447130 858779648 21761 4294967295 134512640 134569956 3221224384 3221214336 1076461295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 21761 13086 16 0 209647 0
vsize: 838652
[startup+40.0098 s]
Raw data (loadavg): 1.05 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18076 0 1 0 3463 43 0 0 25 0 11 0 721447130 858779648 21936 4294967295 134512640 134569956 3221224384 3221214552 1131265363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 21936 13086 16 0 209647 0
vsize: 838652
[startup+50.0105 s]
Raw data (loadavg): 1.04 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 4385 44 0 0 25 0 11 0 721447130 858779648 22092 4294967295 134512640 134569956 3221224384 3221214544 1131265579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 22092 13086 16 0 209647 0
vsize: 838652
[startup+60.0103 s]
Raw data (loadavg): 1.03 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 5322 44 0 0 25 0 11 0 721447130 858779648 22276 4294967295 134512640 134569956 3221224384 3221214688 1131351431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 22276 13086 16 0 209647 0
vsize: 838652
[startup+70.0111 s]
Raw data (loadavg): 1.03 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 6249 44 0 0 25 0 11 0 721447130 858779648 22541 4294967295 134512640 134569956 3221224384 3221214544 1131326480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 22541 13086 16 0 209647 0
vsize: 838652
[startup+80.0119 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 7186 44 0 0 25 0 11 0 721447130 858779648 22662 4294967295 134512640 134569956 3221224384 3221214800 1131293539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 22662 13086 16 0 209647 0
vsize: 838652
[startup+90.0121 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 8110 45 0 0 25 0 11 0 721447130 858779648 22915 4294967295 134512640 134569956 3221224384 3221214648 1131209010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 22915 13086 16 0 209647 0
vsize: 838652
[startup+100.013 s]
Raw data (loadavg): 1.02 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 9035 45 0 0 25 0 11 0 721447130 858779648 23118 4294967295 134512640 134569956 3221224384 3221214544 1131265617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 23118 13086 16 0 209647 0
vsize: 838652
[startup+110.013 s]
Raw data (loadavg): 1.01 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 9971 45 0 0 25 0 11 0 721447130 858779648 23269 4294967295 134512640 134569956 3221224384 3221214640 1131289731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 23269 13086 16 0 209647 0
vsize: 838652
[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 10896 45 0 0 25 0 11 0 721447130 858779648 23449 4294967295 134512640 134569956 3221224384 3221214584 1131280776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 23449 13086 16 0 209647 0
vsize: 838652
[startup+130.014 s]
Raw data (loadavg): 1.01 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 11823 45 0 0 25 0 11 0 721447130 858779648 23712 4294967295 134512640 134569956 3221224384 3221214552 1131265577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 23712 13086 16 0 209647 0
vsize: 838652
[startup+140.014 s]
Raw data (loadavg): 1.01 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 12749 45 0 0 25 0 11 0 721447130 858779648 23931 4294967295 134512640 134569956 3221224384 3221214688 1131350272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 23931 13086 16 0 209647 0
vsize: 838652
[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 13676 46 0 0 25 0 11 0 721447130 858779648 24195 4294967295 134512640 134569956 3221224384 3221214544 1131265451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 24195 13086 16 0 209647 0
vsize: 838652
[startup+160.015 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 14598 46 0 0 25 0 11 0 721447130 858779648 24310 4294967295 134512640 134569956 3221224384 3221214544 1131326847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 24310 13086 16 0 209647 0
vsize: 838652
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 15535 46 0 0 25 0 11 0 721447130 858779648 24504 4294967295 134512640 134569956 3221224384 3221214688 1131350348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 24504 13086 16 0 209647 0
vsize: 838652
[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 16480 46 0 0 25 0 11 0 721447130 858779648 24723 4294967295 134512640 134569956 3221224384 3221214696 1131280388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 24723 13086 16 0 209647 0
vsize: 838652
[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 17437 46 0 0 25 0 11 0 721447130 858779648 24981 4294967295 134512640 134569956 3221224384 3221214472 1131169110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 24981 13086 16 0 209647 0
vsize: 838652
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 18400 46 0 0 25 0 11 0 721447130 858779648 25119 4294967295 134512640 134569956 3221224384 3221214688 1131351657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25119 13086 16 0 209647 0
vsize: 838652
[startup+210.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 19361 47 0 0 25 0 11 0 721447130 858779648 25230 4294967295 134512640 134569956 3221224384 3221214440 1131513928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25230 13086 16 0 209647 0
vsize: 838652
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 20324 47 0 0 25 0 11 0 721447130 858779648 25337 4294967295 134512640 134569956 3221224384 3221214544 1131265617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 25337 13086 16 0 209647 0
vsize: 838652
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 21281 47 0 0 24 0 11 0 721447130 858779648 25434 4294967295 134512640 134569956 3221224384 3221214584 1131279795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25434 13086 16 0 209647 0
vsize: 838652
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18857
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 22244 47 0 0 25 0 11 0 721447130 858779648 25519 4294967295 134512640 134569956 3221224384 3221214552 1131265677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25519 13086 16 0 209647 0
vsize: 838652
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.98 3/68 18880
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 23209 48 0 0 25 0 11 0 721447130 858779648 25696 4294967295 134512640 134569956 3221224384 3221214584 1131280787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 25696 13086 16 0 209647 0
vsize: 838652
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18910
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 24173 48 0 0 25 0 11 0 721447130 858779648 25761 4294967295 134512640 134569956 3221224384 3221214380 1078032942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25761 13086 16 0 209647 0
vsize: 838652
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18910
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 25140 48 0 0 25 0 11 0 721447130 858779648 25864 4294967295 134512640 134569956 3221224384 3221214560 1131437256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25864 13086 16 0 209647 0
vsize: 838652
[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18910
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 26109 48 0 0 25 0 11 0 721447130 858779648 25940 4294967295 134512640 134569956 3221224384 3221214636 1131267302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 25940 13086 16 0 209647 0
vsize: 838652
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18910
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 27077 49 0 0 25 0 11 0 721447130 858779648 26008 4294967295 134512640 134569956 3221224384 3221214688 1131350348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26008 13086 16 0 209647 0
vsize: 838652
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18910
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 28045 49 0 0 25 0 11 0 721447130 858779648 26089 4294967295 134512640 134569956 3221224384 3221214544 1131265732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 26089 13086 16 0 209647 0
vsize: 838652
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18912
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 29012 49 0 0 25 0 11 0 721447130 858779648 26184 4294967295 134512640 134569956 3221224384 3221214704 1131265383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 26184 13086 16 0 209647 0
vsize: 838652
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 29981 50 0 0 25 0 11 0 721447130 858779648 26295 4294967295 134512640 134569956 3221224384 3221214544 1131326852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26295 13086 16 0 209647 0
vsize: 838652
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 30955 50 0 0 25 0 11 0 721447130 858779648 26355 4294967295 134512640 134569956 3221224384 3221214608 1131297680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26355 13086 16 0 209647 0
vsize: 838652
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 31922 50 0 0 25 0 11 0 721447130 858779648 26419 4294967295 134512640 134569956 3221224384 3221214440 1131279802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26419 13086 16 0 209647 0
vsize: 838652
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 32896 51 0 0 25 0 11 0 721447130 858779648 26497 4294967295 134512640 134569956 3221224384 3221214648 1131474183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26497 13086 16 0 209647 0
vsize: 838652
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 33868 51 0 0 25 0 11 0 721447130 858779648 26589 4294967295 134512640 134569956 3221224384 3221214552 1131265577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26589 13086 16 0 209647 0
vsize: 838652
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 34846 52 0 0 25 0 11 0 721447130 858779648 26658 4294967295 134512640 134569956 3221224384 3221214544 1131265698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26658 13086 16 0 209647 0
vsize: 838652
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 35825 52 0 0 25 0 11 0 721447130 858779648 26719 4294967295 134512640 134569956 3221224384 3221214640 1131334267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26719 13086 16 0 209647 0
vsize: 838652
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 36798 52 0 0 25 0 11 0 721447130 858779648 26795 4294967295 134512640 134569956 3221224384 3221214552 1131265687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26795 13086 16 0 209647 0
vsize: 838652
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) S 18846 8378 8377 0 -1 0 18077 0 1 0 37777 53 0 0 25 0 11 0 721447130 858779648 26840 4294967295 134512640 134569956 3221224384 3221213144 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26840 13086 16 0 209647 0
vsize: 838652
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 38753 53 0 0 25 0 11 0 721447130 858779648 26925 4294967295 134512640 134569956 3221224384 3221214544 1131265451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 26925 13086 16 0 209647 0
vsize: 838652
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 39730 53 0 0 25 0 11 0 721447130 858779648 27054 4294967295 134512640 134569956 3221224384 3221214544 1131265736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27054 13086 16 0 209647 0
vsize: 838652
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 40710 53 0 0 25 0 11 0 721447130 858779648 27133 4294967295 134512640 134569956 3221224384 3221214796 1131219808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 27133 13086 16 0 209647 0
vsize: 838652
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 41692 53 0 0 25 0 11 0 721447130 858779648 27174 4294967295 134512640 134569956 3221224384 3221214544 1131265698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27174 13086 16 0 209647 0
vsize: 838652
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 42669 54 0 0 25 0 11 0 721447130 858779648 27237 4294967295 134512640 134569956 3221224384 3221214544 1131265882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27237 13086 16 0 209647 0
vsize: 838652
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 43633 54 0 0 25 0 11 0 721447130 858779648 27309 4294967295 134512640 134569956 3221224384 3221214584 1131280332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27309 13086 16 0 209647 0
vsize: 838652
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 44599 54 0 0 25 0 11 0 721447130 858779648 27411 4294967295 134512640 134569956 3221224384 3221214552 1131265579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27411 13086 16 0 209647 0
vsize: 838652
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 45567 54 0 0 25 0 11 0 721447130 858779648 27535 4294967295 134512640 134569956 3221224384 3221214600 1131173396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27535 13086 16 0 209647 0
vsize: 838652
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 46538 55 0 0 25 0 11 0 721447130 858779648 27642 4294967295 134512640 134569956 3221224384 3221214688 1131351582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 27642 13086 16 0 209647 0
vsize: 838652
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 47509 55 0 0 25 0 11 0 721447130 858779648 27715 4294967295 134512640 134569956 3221224384 3221214688 1131350000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27715 13086 16 0 209647 0
vsize: 838652
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 48480 55 0 0 25 0 11 0 721447130 858779648 27733 4294967295 134512640 134569956 3221224384 3221214760 1131209086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27733 13086 16 0 209647 0
vsize: 838652
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 49443 56 0 0 24 0 11 0 721447130 858779648 27795 4294967295 134512640 134569956 3221224384 3221214496 1131218972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27795 13086 16 0 209647 0
vsize: 838652
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 50408 56 0 0 25 0 11 0 721447130 858779648 27878 4294967295 134512640 134569956 3221224384 3221214688 1131354772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27878 13086 16 0 209647 0
vsize: 838652
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 51373 56 0 0 25 0 11 0 721447130 858779648 27941 4294967295 134512640 134569956 3221224384 3221214584 1131280337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 27941 13086 16 0 209647 0
vsize: 838652
[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 0.98 3/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 52334 56 0 0 25 0 11 0 721447130 858779648 28017 4294967295 134512640 134569956 3221224384 3221214584 1131279781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209663 28017 13086 16 0 209647 0
vsize: 838652
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 53296 56 0 0 25 0 11 0 721447130 859271168 28214 4294967295 134512640 134569956 3221224384 3221214584 1131280239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28214 13086 16 0 209767 0
vsize: 839132
[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 54261 57 0 0 25 0 11 0 721447130 859271168 28292 4294967295 134512640 134569956 3221224384 3221214688 1131350411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28292 13086 16 0 209767 0
vsize: 839132
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18914
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 55224 57 0 0 25 0 11 0 721447130 859271168 28376 4294967295 134512640 134569956 3221224384 3221214640 1131334722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28376 13086 16 0 209767 0
vsize: 839132
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 56191 57 0 0 25 0 11 0 721447130 859271168 28478 4294967295 134512640 134569956 3221224384 3221214584 1131279802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28478 13086 16 0 209767 0
vsize: 839132
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 57164 58 0 0 25 0 11 0 721447130 859271168 28537 4294967295 134512640 134569956 3221224384 3221214416 1131529233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28537 13086 16 0 209767 0
vsize: 839132
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 58134 58 0 0 25 0 11 0 721447130 859271168 28587 4294967295 134512640 134569956 3221224384 3221214496 1131218964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28587 13086 16 0 209767 0
vsize: 839132
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 59105 58 0 0 25 0 11 0 721447130 859271168 28658 4294967295 134512640 134569956 3221224384 3221214136 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28658 13086 16 0 209767 0
vsize: 839132
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 60074 58 0 0 25 0 11 0 721447130 859271168 28679 4294967295 134512640 134569956 3221224384 3221214544 1131379680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28679 13086 16 0 209767 0
vsize: 839132
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 61036 59 0 0 24 0 11 0 721447130 859271168 28750 4294967295 134512640 134569956 3221224384 3221214608 1131304650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28750 13086 16 0 209767 0
vsize: 839132
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 62007 59 0 0 25 0 11 0 721447130 859271168 28816 4294967295 134512640 134569956 3221224384 3221214544 1131328655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209783 28816 13086 16 0 209767 0
vsize: 839132
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 62967 59 0 0 25 0 11 0 721447130 858779648 28811 4294967295 134512640 134569956 3221224384 3221214056 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 28811 13086 16 0 209647 0
vsize: 838652
[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 63943 60 0 0 25 0 11 0 721447130 858779648 28877 4294967295 134512640 134569956 3221224384 3221214552 1131265692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 28877 13086 16 0 209647 0
vsize: 838652
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 64914 60 0 0 25 0 11 0 721447130 858779648 28933 4294967295 134512640 134569956 3221224384 3221214032 1131529246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 28933 13086 16 0 209647 0
vsize: 838652
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 65883 60 0 0 25 0 11 0 721447130 858779648 28997 4294967295 134512640 134569956 3221224384 3221214552 1131266253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 28997 13086 16 0 209647 0
vsize: 838652
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 66857 60 0 0 25 0 11 0 721447130 858779648 29045 4294967295 134512640 134569956 3221224384 3221214688 1131352376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29045 13086 16 0 209647 0
vsize: 838652
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 67819 61 0 0 25 0 11 0 721447130 858779648 29164 4294967295 134512640 134569956 3221224384 3221214040 1131529233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29164 13086 16 0 209647 0
vsize: 838652
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 68784 61 0 0 25 0 11 0 721447130 858779648 29223 4294967295 134512640 134569956 3221224384 3221214556 1131413363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29223 13086 16 0 209647 0
vsize: 838652
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 69747 61 0 0 25 0 11 0 721447130 858779648 29371 4294967295 134512640 134569956 3221224384 3221214520 1131378776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29371 13086 16 0 209647 0
vsize: 838652
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 70720 62 0 0 25 0 11 0 721447130 858779648 29453 4294967295 134512640 134569956 3221224384 3221214368 1131547334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29453 13086 16 0 209647 0
vsize: 838652
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 71689 62 0 0 25 0 11 0 721447130 858779648 29561 4294967295 134512640 134569956 3221224384 3221214040 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29561 13086 16 0 209647 0
vsize: 838652
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 72664 62 0 0 25 0 11 0 721447130 858779648 29645 4294967295 134512640 134569956 3221224384 3221214496 1131217957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29645 13086 16 0 209647 0
vsize: 838652
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 73643 63 0 0 25 0 11 0 721447130 858779648 29672 4294967295 134512640 134569956 3221224384 3221214520 1131379653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29672 13086 16 0 209647 0
vsize: 838652
[startup+780.039 s]
Raw data (loadavg): 1.07 1.02 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 74616 63 0 0 25 0 11 0 721447130 858779648 29705 4294967295 134512640 134569956 3221224384 3221214584 1131280450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29705 13086 16 0 209647 0
vsize: 838652
[startup+790.039 s]
Raw data (loadavg): 1.06 1.02 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 75583 64 0 0 25 0 11 0 721447130 858779648 29745 4294967295 134512640 134569956 3221224384 3221214072 1131543712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29745 13086 16 0 209647 0
vsize: 838652
[startup+800.039 s]
Raw data (loadavg): 1.05 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 76545 64 0 0 25 0 11 0 721447130 858779648 29767 4294967295 134512640 134569956 3221224384 3221214584 1131279905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29767 13086 16 0 209647 0
vsize: 838652
[startup+810.041 s]
Raw data (loadavg): 1.04 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 77502 64 0 0 25 0 11 0 721447130 858779648 29862 4294967295 134512640 134569956 3221224384 3221214544 1131265814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29862 13086 16 0 209647 0
vsize: 838652
[startup+820.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 78472 64 0 0 25 0 11 0 721447130 858779648 29920 4294967295 134512640 134569956 3221224384 3221214584 1131280239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 29920 13086 16 0 209647 0
vsize: 838652
[startup+830.04 s]
Raw data (loadavg): 1.03 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 79442 64 0 0 25 0 11 0 721447130 858779648 30019 4294967295 134512640 134569956 3221224384 3221214552 1131265681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30019 13086 16 0 209647 0
vsize: 838652
[startup+840.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 80412 65 0 0 25 0 11 0 721447130 858779648 30112 4294967295 134512640 134569956 3221224384 3221214560 1131545352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30112 13086 16 0 209647 0
vsize: 838652
[startup+850.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 81379 65 0 0 25 0 11 0 721447130 858779648 30176 4294967295 134512640 134569956 3221224384 3221214608 1131297751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30176 13086 16 0 209647 0
vsize: 838652
[startup+860.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 82352 65 0 0 25 0 11 0 721447130 858779648 30226 4294967295 134512640 134569956 3221224384 3221214552 1131265706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30226 13086 16 0 209647 0
vsize: 838652
[startup+870.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 83330 65 0 0 25 0 11 0 721447130 858779648 30259 4294967295 134512640 134569956 3221224384 3221214620 1131173360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30259 13086 16 0 209647 0
vsize: 838652
[startup+880.041 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 84308 65 0 0 25 0 11 0 721447130 858779648 30356 4294967295 134512640 134569956 3221224384 3221214696 1131280458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30356 13086 16 0 209647 0
vsize: 838652
[startup+890.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 85288 66 0 0 25 0 11 0 721447130 858779648 30401 4294967295 134512640 134569956 3221224384 3221214000 1076461328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30401 13086 16 0 209647 0
vsize: 838652
[startup+900.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/65 18916
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18077 0 1 0 86268 66 0 0 25 0 11 0 721447130 858779648 30437 4294967295 134512640 134569956 3221224384 3221214688 1131353956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30437 13086 16 0 209647 0
vsize: 838652
[startup+910.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 87246 67 0 0 25 0 11 0 721447130 858779648 30503 4294967295 134512640 134569956 3221224384 3221214520 1131280428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30503 13086 16 0 209647 0
vsize: 838652
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 88229 67 0 0 25 0 11 0 721447130 858779648 30517 4294967295 134512640 134569956 3221224384 3221214416 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30517 13086 16 0 209647 0
vsize: 838652
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 89196 67 0 0 24 0 11 0 721447130 858779648 30553 4294967295 134512640 134569956 3221224384 3221214432 1131218364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30553 13086 16 0 209647 0
vsize: 838652
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 90171 68 0 0 25 0 11 0 721447130 858779648 30574 4294967295 134512640 134569956 3221224384 3221214308 1131529232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30574 13086 16 0 209647 0
vsize: 838652
[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 91144 68 0 0 25 0 11 0 721447130 858779648 30628 4294967295 134512640 134569956 3221224384 3221214600 1131474312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30628 13086 16 0 209647 0
vsize: 838652
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 92111 69 0 0 25 0 11 0 721447130 858779648 30683 4294967295 134512640 134569956 3221224384 3221214520 1131280726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30683 13086 16 0 209647 0
vsize: 838652
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 93088 69 0 0 25 0 11 0 721447130 858779648 30723 4294967295 134512640 134569956 3221224384 3221214520 1131280762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30723 13086 16 0 209647 0
vsize: 838652
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 94056 69 0 0 25 0 11 0 721447130 858779648 30766 4294967295 134512640 134569956 3221224384 3221214520 1131280480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30766 13086 16 0 209647 0
vsize: 838652
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 95027 70 0 0 25 0 11 0 721447130 858779648 30831 4294967295 134512640 134569956 3221224384 3221214360 1131547937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30831 13086 16 0 209647 0
vsize: 838652
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 95995 70 0 0 25 0 11 0 721447130 858779648 30918 4294967295 134512640 134569956 3221224384 3221214408 1131529208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30918 13086 16 0 209647 0
vsize: 838652
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 96957 70 0 0 17 0 11 0 721447130 858779648 30961 4294967295 134512640 134569956 3221224384 3221214520 1131280804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 30961 13086 16 0 209647 0
vsize: 838652
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 97921 71 0 0 25 0 11 0 721447130 858779648 31032 4294967295 134512640 134569956 3221224384 3221214520 1131280239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31032 13086 16 0 209647 0
vsize: 838652
[startup+1030.04 s]
Raw data (loadavg): 1.07 1.02 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 98888 71 0 0 25 0 11 0 721447130 858779648 31110 4294967295 134512640 134569956 3221224384 3221214368 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31110 13086 16 0 209647 0
vsize: 838652
[startup+1040.04 s]
Raw data (loadavg): 1.06 1.02 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 99863 71 0 0 25 0 11 0 721447130 858779648 31172 4294967295 134512640 134569956 3221224384 3221214496 1131265750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31172 13086 16 0 209647 0
vsize: 838652
[startup+1050.04 s]
Raw data (loadavg): 1.05 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 100845 72 0 0 25 0 11 0 721447130 858779648 31232 4294967295 134512640 134569956 3221224384 3221214588 1131209104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31232 13086 16 0 209647 0
vsize: 838652
[startup+1060.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 101823 72 0 0 25 0 11 0 721447130 858779648 31262 4294967295 134512640 134569956 3221224384 3221214224 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31262 13086 16 0 209647 0
vsize: 838652
[startup+1070.04 s]
Raw data (loadavg): 1.04 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 102802 73 0 0 25 0 11 0 721447130 858779648 31286 4294967295 134512640 134569956 3221224384 3221214504 1131265579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31286 13086 16 0 209647 0
vsize: 838652
[startup+1080.04 s]
Raw data (loadavg): 1.03 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 103781 73 0 0 25 0 11 0 721447130 858779648 31324 4294967295 134512640 134569956 3221224384 3221214520 1131280254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31324 13086 16 0 209647 0
vsize: 838652
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 104757 74 0 0 25 0 11 0 721447130 858779648 31335 4294967295 134512640 134569956 3221224384 3221214520 1131280239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31335 13086 16 0 209647 0
vsize: 838652
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 105730 74 0 0 25 0 11 0 721447130 858779648 31387 4294967295 134512640 134569956 3221224384 3221214600 1131474183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31387 13086 16 0 209647 0
vsize: 838652
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 106710 74 0 0 25 0 11 0 721447130 858779648 31401 4294967295 134512640 134569956 3221224384 3221214552 1131545826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31401 13086 16 0 209647 0
vsize: 838652
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 107695 74 0 0 25 0 11 0 721447130 858779648 31439 4294967295 134512640 134569956 3221224384 3221214496 1131265617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31439 13086 16 0 209647 0
vsize: 838652
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 108672 75 0 0 25 0 11 0 721447130 858779648 31453 4294967295 134512640 134569956 3221224384 3221214624 1131351227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31453 13086 16 0 209647 0
vsize: 838652
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 109649 75 0 0 25 0 11 0 721447130 858779648 31486 4294967295 134512640 134569956 3221224384 3221213916 1076874388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31486 13086 16 0 209647 0
vsize: 838652
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 110620 75 0 0 25 0 11 0 721447130 858779648 31548 4294967295 134512640 134569956 3221224384 3221214520 1131280365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31548 13086 16 0 209647 0
vsize: 838652
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 111592 75 0 0 25 0 11 0 721447130 858779648 31565 4294967295 134512640 134569956 3221224384 3221214520 1131280414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31565 13086 16 0 209647 0
vsize: 838652
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 112577 76 0 0 25 0 11 0 721447130 858779648 31565 4294967295 134512640 134569956 3221224384 3221214496 1131326917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31565 13086 16 0 209647 0
vsize: 838652
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18917
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 113552 76 0 0 25 0 11 0 721447130 858779648 31661 4294967295 134512640 134569956 3221224384 3221214520 1131279983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31661 13086 16 0 209647 0
vsize: 838652
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 114527 76 0 0 25 0 11 0 721447130 858779648 31752 4294967295 134512640 134569956 3221224384 3221214520 1131280258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31752 13086 16 0 209647 0
vsize: 838652
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 115498 76 0 0 25 0 11 0 721447130 858779648 31818 4294967295 134512640 134569956 3221224384 3221214688 1131173384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31818 13086 16 0 209647 0
vsize: 838652
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 116468 76 0 0 24 0 11 0 721447130 858779648 31860 4294967295 134512640 134569956 3221224384 3221214520 1131280988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31860 13086 16 0 209647 0
vsize: 838652
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 117445 76 0 0 24 0 11 0 721447130 858779648 31878 4294967295 134512640 134569956 3221224384 3221214520 1131279788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31878 13086 16 0 209647 0
vsize: 838652
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 118409 77 0 0 25 0 11 0 721447130 858779648 31896 4294967295 134512640 134569956 3221224384 3221214624 1131350279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31896 13086 16 0 209647 0
vsize: 838652
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 119378 77 0 0 25 0 11 0 721447130 858779648 31943 4294967295 134512640 134569956 3221224384 3221214520 1131279777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 31943 13086 16 0 209647 0
vsize: 838652
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/65 18918
Raw data (stat): 18847 (java) R 18846 8378 8377 0 -1 0 18123 3 1 0 120337 77 0 0 25 0 11 0 721447130 858779648 32122 4294967295 134512640 134569956 3221224384 3221214496 1131327939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209663 32122 13086 16 0 209647 0
vsize: 838652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 18920
Raw data (stat): 18847 (java) Z 18846 8378 8377 0 -1 1036 18123 12569 1 0 120340 77 4238 34 25 0 1 0 721447130 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): 1250.14
CPU time (s): 1246.92
CPU user time (s): 1245.79
CPU system time (s): 1.12783
CPU usage (%): 99.7426
Max. virtual memory (Kb): 839132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	70
#### END VERIFIER DATA ####