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-3pb.opb
MD5SUM	c267b57d74142f6538ad16680277f9bf
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
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	648
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.02984
Number of variables	648
Total number of constraints	1954
Number of constraints which are clauses	1930
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	27
Trace number 29261

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 05:52:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20649 boxname=wulflinc28 idbench=239 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c267b57d74142f6538ad16680277f9bf  /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-3pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-3pb.opb
IDLAUNCH: 20649
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        734336 kB
Buffers:         18720 kB
Cached:         260660 kB
SwapCached:       1052 kB
Active:          31992 kB
Inactive:       249860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        734084 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            12744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:13:37 (client local time) WITH STATUS 143 IN 1257.24 SECONDS
stats: 20649 0 1257.24 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/wulflinc28/normalized-s4-4-3-3pb.opb
c reading problem ... done. Time 2.906 ms.
c #vars     648
c #constraints  1954
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 831.69 ms
c starts	: 11
c conflicts	: 3395
c decisions	: 18212
c propagations	: 146606
c inspects	: 3392367
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3395
c root simplifications	: 15
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 -v625 -v626 -v627 -v628 -v629 -v630 -v631 -v632 v633 -v634 -v635 -v636 -v637 -v638 -v639 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 
c objectif function=72
c Total CPU time (ms) : 1259.085
#### 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.94 1.01 0.98 2/54 2598
Raw data (stat): 2598 (runsolver) R 2597 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836511348 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+9.99985 s]
Raw data (loadavg): 1.10 1.05 0.99 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18076 0 1 0 683 40 0 0 24 0 11 0 836511348 861298688 21156 4294967295 134512640 134569956 3221224384 3221214688 1131272066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210278 21156 13086 16 0 210262 0
vsize: 841112
[startup+19.9995 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18078 0 1 0 1616 40 0 0 25 0 11 0 836511348 860397568 21515 4294967295 134512640 134569956 3221224384 3221214664 1131369658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 21515 13086 16 0 210042 0
vsize: 840232
[startup+30.0007 s]
Raw data (loadavg): 1.15 1.06 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18078 0 1 0 2564 41 0 0 25 0 11 0 836511348 860397568 22085 4294967295 134512640 134569956 3221224384 3221214768 1131460840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 22085 13086 16 0 210042 0
vsize: 840232
[startup+40.0009 s]
Raw data (loadavg): 1.13 1.06 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 3502 41 0 0 25 0 11 0 836511348 860397568 22087 4294967295 134512640 134569956 3221224384 3221214664 1131298721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22087 13086 16 0 210042 0
vsize: 840232
[startup+50.0005 s]
Raw data (loadavg): 1.11 1.05 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 4432 41 0 0 25 0 11 0 836511348 860397568 22220 4294967295 134512640 134569956 3221224384 3221214664 1131299020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 22220 13086 16 0 210042 0
vsize: 840232
[startup+60.0008 s]
Raw data (loadavg): 1.09 1.05 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 5360 41 0 0 25 0 11 0 836511348 860397568 22513 4294967295 134512640 134569956 3221224384 3221214664 1131299257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22513 13086 16 0 210042 0
vsize: 840232
[startup+70.001 s]
Raw data (loadavg): 1.08 1.05 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 6300 42 0 0 25 0 11 0 836511348 860397568 22609 4294967295 134512640 134569956 3221224384 3221214676 1131226272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22609 13086 16 0 210042 0
vsize: 840232
[startup+80.0015 s]
Raw data (loadavg): 1.07 1.05 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 7233 42 0 0 25 0 11 0 836511348 860397568 22797 4294967295 134512640 134569956 3221224384 3221214624 1131302478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 22797 13086 16 0 210042 0
vsize: 840232
[startup+90.0018 s]
Raw data (loadavg): 1.06 1.05 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 8167 42 0 0 25 0 11 0 836511348 860397568 22994 4294967295 134512640 134569956 3221224384 3221214440 1078032327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 22994 13086 16 0 210042 0
vsize: 840232
[startup+100.001 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 9103 42 0 0 25 0 11 0 836511348 860397568 23248 4294967295 134512640 134569956 3221224384 3221214656 1131226374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23248 13086 16 0 210042 0
vsize: 840232
[startup+110.002 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 10050 43 0 0 25 0 11 0 836511348 860397568 23418 4294967295 134512640 134569956 3221224384 3221214664 1131298662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23418 13086 16 0 210042 0
vsize: 840232
[startup+120.002 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 10991 43 0 0 25 0 11 0 836511348 860397568 23538 4294967295 134512640 134569956 3221224384 3221214676 1131475635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23538 13086 16 0 210042 0
vsize: 840232
[startup+130.002 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 11935 43 0 0 25 0 11 0 836511348 860397568 23667 4294967295 134512640 134569956 3221224384 3221214676 1131267881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 23667 13086 16 0 210042 0
vsize: 840232
[startup+140.002 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 12868 43 0 0 25 0 11 0 836511348 860397568 23823 4294967295 134512640 134569956 3221224384 3221214768 1131462470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 23823 13086 16 0 210042 0
vsize: 840232
[startup+150.002 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 13799 44 0 0 25 0 11 0 836511348 860397568 23989 4294967295 134512640 134569956 3221224384 3221214664 1131369652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 23989 13086 16 0 210042 0
vsize: 840232
[startup+160.002 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 14734 44 0 0 24 0 11 0 836511348 860397568 24187 4294967295 134512640 134569956 3221224384 3221214656 1131216627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24187 13086 16 0 210042 0
vsize: 840232
[startup+170.002 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 15678 44 0 0 25 0 11 0 836511348 860397568 24324 4294967295 134512640 134569956 3221224384 3221214656 1131216590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24324 13086 16 0 210042 0
vsize: 840232
[startup+180.003 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 16622 44 0 0 25 0 11 0 836511348 860397568 24498 4294967295 134512640 134569956 3221224384 3221214664 1131298759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24498 13086 16 0 210042 0
vsize: 840232
[startup+190.003 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 17556 45 0 0 25 0 11 0 836511348 860397568 24665 4294967295 134512640 134569956 3221224384 3221214664 1131298780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24665 13086 16 0 210042 0
vsize: 840232
[startup+200.003 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 18497 45 0 0 25 0 11 0 836511348 860397568 24802 4294967295 134512640 134569956 3221224384 3221214656 1131216568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 24802 13086 16 0 210042 0
vsize: 840232
[startup+210.003 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 19428 45 0 0 25 0 11 0 836511348 860397568 24974 4294967295 134512640 134569956 3221224384 3221214560 1131298401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 24974 13086 16 0 210042 0
vsize: 840232
[startup+220.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 20374 46 0 0 25 0 11 0 836511348 860397568 25119 4294967295 134512640 134569956 3221224384 3221214584 1131272266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25119 13086 16 0 210042 0
vsize: 840232
[startup+230.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 21313 46 0 0 25 0 11 0 836511348 860397568 25301 4294967295 134512640 134569956 3221224384 3221214768 1131460992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25301 13086 16 0 210042 0
vsize: 840232
[startup+240.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 22261 47 0 0 25 0 11 0 836511348 860397568 25506 4294967295 134512640 134569956 3221224384 3221214664 1131298359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25506 13086 16 0 210042 0
vsize: 840232
[startup+250.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 23212 47 0 0 25 0 11 0 836511348 860397568 25638 4294967295 134512640 134569956 3221224384 3221214416 1078830561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25638 13086 16 0 210042 0
vsize: 840232
[startup+260.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 24165 47 0 0 25 0 11 0 836511348 860397568 25721 4294967295 134512640 134569956 3221224384 3221214576 1131272153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25721 13086 16 0 210042 0
vsize: 840232
[startup+270.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 25117 47 0 0 25 0 11 0 836511348 860397568 25799 4294967295 134512640 134569956 3221224384 3221214768 1131461604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25799 13086 16 0 210042 0
vsize: 840232
[startup+280.005 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 26067 48 0 0 25 0 11 0 836511348 860397568 25961 4294967295 134512640 134569956 3221224384 3221214768 1131460840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 25961 13086 16 0 210042 0
vsize: 840232
[startup+290.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 27017 48 0 0 25 0 11 0 836511348 860397568 26137 4294967295 134512640 134569956 3221224384 3221214664 1131298401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26137 13086 16 0 210042 0
vsize: 840232
[startup+300.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 27968 49 0 0 25 0 11 0 836511348 860397568 26232 4294967295 134512640 134569956 3221224384 3221214576 1131272266 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26232 13086 16 0 210042 0
vsize: 840232
[startup+310.006 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 28907 49 0 0 25 0 11 0 836511348 860397568 26341 4294967295 134512640 134569956 3221224384 3221214768 1131460923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26341 13086 16 0 210042 0
vsize: 840232
[startup+320.005 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 29854 49 0 0 25 0 11 0 836511348 860397568 26442 4294967295 134512640 134569956 3221224384 3221214656 1131216606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26442 13086 16 0 210042 0
vsize: 840232
[startup+330.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 30795 49 0 0 25 0 11 0 836511348 860397568 26591 4294967295 134512640 134569956 3221224384 3221214664 1131299308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26591 13086 16 0 210042 0
vsize: 840232
[startup+340.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 31743 50 0 0 25 0 11 0 836511348 860397568 26755 4294967295 134512640 134569956 3221224384 3221214664 1131298623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26755 13086 16 0 210042 0
vsize: 840232
[startup+350.008 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 32704 50 0 0 25 0 11 0 836511348 860397568 26875 4294967295 134512640 134569956 3221224384 3221214656 1131226328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 26875 13086 16 0 210042 0
vsize: 840232
[startup+360.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 33664 50 0 0 25 0 11 0 836511348 860397568 26967 4294967295 134512640 134569956 3221224384 3221214672 1131345175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 26967 13086 16 0 210042 0
vsize: 840232
[startup+370.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 34625 50 0 0 25 0 11 0 836511348 860397568 27055 4294967295 134512640 134569956 3221224384 3221214768 1131460849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27055 13086 16 0 210042 0
vsize: 840232
[startup+380.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 35580 50 0 0 25 0 11 0 836511348 860397568 27187 4294967295 134512640 134569956 3221224384 3221214676 1131226284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27187 13086 16 0 210042 0
vsize: 840232
[startup+390.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 36545 50 0 0 25 0 11 0 836511348 860397568 27305 4294967295 134512640 134569956 3221224384 3221214584 1131272153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27305 13086 16 0 210042 0
vsize: 840232
[startup+400.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 37525 50 0 0 25 0 11 0 836511348 860397568 27348 4294967295 134512640 134569956 3221224384 3221214048 1131577689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27348 13086 16 0 210042 0
vsize: 840232
[startup+410.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 38498 50 0 0 25 0 11 0 836511348 860397568 27410 4294967295 134512640 134569956 3221224384 3221214664 1131298711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27410 13086 16 0 210042 0
vsize: 840232
[startup+420.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 39457 50 0 0 25 0 11 0 836511348 860397568 27529 4294967295 134512640 134569956 3221224384 3221214584 1131271910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27529 13086 16 0 210042 0
vsize: 840232
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 40416 50 0 0 25 0 11 0 836511348 860397568 27635 4294967295 134512640 134569956 3221224384 3221214612 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27635 13086 16 0 210042 0
vsize: 840232
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2608
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 41383 50 0 0 25 0 11 0 836511348 860397568 27709 4294967295 134512640 134569956 3221224384 3221214344 1131571000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27709 13086 16 0 210042 0
vsize: 840232
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 2620
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 42347 51 0 0 25 0 11 0 836511348 860397568 27761 4294967295 134512640 134569956 3221224384 3221213984 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27761 13086 16 0 210042 0
vsize: 840232
[startup+460.011 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 43285 58 0 0 24 0 11 0 836511348 860397568 27887 4294967295 134512640 134569956 3221224384 3221214656 1131216621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27887 13086 16 0 210042 0
vsize: 840232
[startup+470.012 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 44242 58 0 0 25 0 11 0 836511348 860397568 27972 4294967295 134512640 134569956 3221224384 3221214768 1131460837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 27972 13086 16 0 210042 0
vsize: 840232
[startup+480.012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 45204 58 0 0 25 0 11 0 836511348 860397568 28074 4294967295 134512640 134569956 3221224384 3221214768 1131462512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28074 13086 16 0 210042 0
vsize: 840232
[startup+490.012 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 46168 58 0 0 25 0 11 0 836511348 860397568 28137 4294967295 134512640 134569956 3221224384 3221214664 1131298729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28137 13086 16 0 210042 0
vsize: 840232
[startup+500.011 s]
Raw data (loadavg): 1.10 1.03 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 47124 58 0 0 25 0 11 0 836511348 860397568 28246 4294967295 134512640 134569956 3221224384 3221214664 1131298427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28246 13086 16 0 210042 0
vsize: 840232
[startup+510.011 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 48083 58 0 0 25 0 11 0 836511348 860397568 28347 4294967295 134512640 134569956 3221224384 3221214776 1131313145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 28347 13086 16 0 210042 0
vsize: 840232
[startup+520.011 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 2661
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 49042 58 0 0 25 0 11 0 836511348 860397568 28458 4294967295 134512640 134569956 3221224384 3221214764 1131299481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28458 13086 16 0 210042 0
vsize: 840232
[startup+530.012 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 50003 58 0 0 25 0 11 0 836511348 860397568 28571 4294967295 134512640 134569956 3221224384 3221214584 1131271813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28571 13086 16 0 210042 0
vsize: 840232
[startup+540.012 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 50971 58 0 0 25 0 11 0 836511348 860397568 28670 4294967295 134512640 134569956 3221224384 3221214768 1131461331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28670 13086 16 0 210042 0
vsize: 840232
[startup+550.012 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 51934 58 0 0 25 0 11 0 836511348 860397568 28756 4294967295 134512640 134569956 3221224384 3221214664 1131369945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28756 13086 16 0 210042 0
vsize: 840232
[startup+560.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 52897 58 0 0 25 0 11 0 836511348 860397568 28827 4294967295 134512640 134569956 3221224384 3221214768 1131460840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28827 13086 16 0 210042 0
vsize: 840232
[startup+570.011 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 53859 58 0 0 24 0 11 0 836511348 860397568 28915 4294967295 134512640 134569956 3221224384 3221214664 1131298431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28915 13086 16 0 210042 0
vsize: 840232
[startup+580.012 s]
Raw data (loadavg): 1.10 1.04 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 54828 59 0 0 25 0 11 0 836511348 860397568 28976 4294967295 134512640 134569956 3221224384 3221214768 1131382635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 28976 13086 16 0 210042 0
vsize: 840232
[startup+590.012 s]
Raw data (loadavg): 1.08 1.04 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 55790 59 0 0 25 0 11 0 836511348 860397568 29054 4294967295 134512640 134569956 3221224384 3221214768 1131460840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29054 13086 16 0 210042 0
vsize: 840232
[startup+600.011 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 56747 59 0 0 25 0 11 0 836511348 860397568 29142 4294967295 134512640 134569956 3221224384 3221214064 1131576592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29142 13086 16 0 210042 0
vsize: 840232
[startup+610.012 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 57705 59 0 0 24 0 11 0 836511348 860397568 29254 4294967295 134512640 134569956 3221224384 3221214512 1131571025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29254 13086 16 0 210042 0
vsize: 840232
[startup+620.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 58676 59 0 0 25 0 11 0 836511348 860397568 29321 4294967295 134512640 134569956 3221224384 3221214748 1131191344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29321 13086 16 0 210042 0
vsize: 840232
[startup+630.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 59641 59 0 0 25 0 11 0 836511348 860397568 29400 4294967295 134512640 134569956 3221224384 3221214776 1131382610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29400 13086 16 0 210042 0
vsize: 840232
[startup+640.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 60602 59 0 0 25 0 11 0 836511348 860397568 29489 4294967295 134512640 134569956 3221224384 3221214768 1131461368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29489 13086 16 0 210042 0
vsize: 840232
[startup+650.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 61561 59 0 0 25 0 11 0 836511348 860397568 29555 4294967295 134512640 134569956 3221224384 3221214612 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29555 13086 16 0 210042 0
vsize: 840232
[startup+660.013 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 62518 59 0 0 25 0 11 0 836511348 860397568 29656 4294967295 134512640 134569956 3221224384 3221214664 1131369579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29656 13086 16 0 210042 0
vsize: 840232
[startup+670.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 63481 59 0 0 25 0 11 0 836511348 860397568 29750 4294967295 134512640 134569956 3221224384 3221214792 1131305287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29750 13086 16 0 210042 0
vsize: 840232
[startup+680.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 64448 59 0 0 25 0 11 0 836511348 860397568 29779 4294967295 134512640 134569956 3221224384 3221214764 1131298252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29779 13086 16 0 210042 0
vsize: 840232
[startup+690.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 65414 59 0 0 25 0 11 0 836511348 860397568 29842 4294967295 134512640 134569956 3221224384 3221214336 1131576425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29842 13086 16 0 210042 0
vsize: 840232
[startup+700.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 66380 59 0 0 25 0 11 0 836511348 860397568 29924 4294967295 134512640 134569956 3221224384 3221214664 1131298642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 29924 13086 16 0 210042 0
vsize: 840232
[startup+710.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 67347 59 0 0 25 0 11 0 836511348 860397568 30003 4294967295 134512640 134569956 3221224384 3221214664 1131298943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30003 13086 16 0 210042 0
vsize: 840232
[startup+720.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 68308 59 0 0 25 0 11 0 836511348 860397568 30075 4294967295 134512640 134569956 3221224384 3221214656 1131216568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30075 13086 16 0 210042 0
vsize: 840232
[startup+730.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 69275 59 0 0 25 0 11 0 836511348 860397568 30164 4294967295 134512640 134569956 3221224384 3221214728 1131191420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30164 13086 16 0 210042 0
vsize: 840232
[startup+740.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 70250 59 0 0 25 0 11 0 836511348 860397568 30231 4294967295 134512640 134569956 3221224384 3221214664 1131299218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30231 13086 16 0 210042 0
vsize: 840232
[startup+750.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 71213 59 0 0 25 0 11 0 836511348 860397568 30309 4294967295 134512640 134569956 3221224384 3221214672 1131345130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30309 13086 16 0 210042 0
vsize: 840232
[startup+760.014 s]
Raw data (loadavg): 1.30 1.08 1.02 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 72176 59 0 0 25 0 11 0 836511348 860397568 30384 4294967295 134512640 134569956 3221224384 3221214176 1131571025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30384 13086 16 0 210042 0
vsize: 840232
[startup+770.014 s]
Raw data (loadavg): 1.26 1.08 1.02 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 73138 60 0 0 24 0 11 0 836511348 860397568 30474 4294967295 134512640 134569956 3221224384 3221214612 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30474 13086 16 0 210042 0
vsize: 840232
[startup+780.014 s]
Raw data (loadavg): 1.22 1.08 1.02 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 74105 60 0 0 25 0 11 0 836511348 860397568 30528 4294967295 134512640 134569956 3221224384 3221214176 1131571099 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30528 13086 16 0 210042 0
vsize: 840232
[startup+790.014 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 2663
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 75071 60 0 0 25 0 11 0 836511348 860397568 30592 4294967295 134512640 134569956 3221224384 3221214764 1131298252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30592 13086 16 0 210042 0
vsize: 840232
[startup+800.014 s]
Raw data (loadavg): 1.15 1.07 1.02 2/64 2665
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 76035 60 0 0 25 0 11 0 836511348 860397568 30660 4294967295 134512640 134569956 3221224384 3221214576 1131272153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30660 13086 16 0 210042 0
vsize: 840232
[startup+810.014 s]
Raw data (loadavg): 1.13 1.07 1.02 2/64 2665
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 77007 60 0 0 25 0 11 0 836511348 860397568 30708 4294967295 134512640 134569956 3221224384 3221214664 1131298273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30708 13086 16 0 210042 0
vsize: 840232
[startup+820.014 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 2665
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 77978 60 0 0 25 0 11 0 836511348 860397568 30756 4294967295 134512640 134569956 3221224384 3221214696 1131271981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30756 13086 16 0 210042 0
vsize: 840232
[startup+830.015 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 2665
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18079 0 1 0 78934 60 0 0 25 0 11 0 836511348 860397568 30873 4294967295 134512640 134569956 3221224384 3221213928 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30873 13086 16 0 210042 0
vsize: 840232
[startup+840.015 s]
Raw data (loadavg): 1.08 1.06 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 79915 61 0 0 25 0 11 0 836511348 860397568 30945 4294967295 134512640 134569956 3221224384 3221214600 1131299296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 30945 13086 16 0 210042 0
vsize: 840232
[startup+850.015 s]
Raw data (loadavg): 1.07 1.06 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 80893 61 0 0 25 0 11 0 836511348 860397568 30995 4294967295 134512640 134569956 3221224384 3221214528 1131272153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 30995 13086 16 0 210042 0
vsize: 840232
[startup+860.015 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 81868 61 0 0 25 0 11 0 836511348 860397568 31038 4294967295 134512640 134569956 3221224384 3221214052 1131571024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31038 13086 16 0 210042 0
vsize: 840232
[startup+870.014 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 82841 61 0 0 25 0 11 0 836511348 860397568 31086 4294967295 134512640 134569956 3221224384 3221214592 1131216500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31086 13086 16 0 210042 0
vsize: 840232
[startup+880.015 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 83806 61 0 0 25 0 11 0 836511348 860397568 31166 4294967295 134512640 134569956 3221224384 3221214608 1131226335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31166 13086 16 0 210042 0
vsize: 840232
[startup+890.015 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 84762 61 0 0 25 0 11 0 836511348 860397568 31222 4294967295 134512640 134569956 3221224384 3221214536 1131272153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31222 13086 16 0 210042 0
vsize: 840232
[startup+900.014 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 85728 61 0 0 25 0 11 0 836511348 860397568 31299 4294967295 134512640 134569956 3221224384 3221214592 1131216596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31299 13086 16 0 210042 0
vsize: 840232
[startup+910.015 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 86685 61 0 0 25 0 11 0 836511348 860397568 31362 4294967295 134512640 134569956 3221224384 3221214504 1131217120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31362 13086 16 0 210042 0
vsize: 840232
[startup+920.015 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 87649 61 0 0 25 0 11 0 836511348 860397568 31416 4294967295 134512640 134569956 3221224384 3221214704 1131460840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31416 13086 16 0 210042 0
vsize: 840232
[startup+930.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 88608 62 0 0 25 0 11 0 836511348 860397568 31593 4294967295 134512640 134569956 3221224384 3221214632 1131287267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31593 13086 16 0 210042 0
vsize: 840232
[startup+940.016 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 89573 62 0 0 25 0 11 0 836511348 860397568 31725 4294967295 134512640 134569956 3221224384 3221214512 1131279860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31725 13086 16 0 210042 0
vsize: 840232
[startup+950.019 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 2666
Raw data (stat): 2598 (java) S 2597 24821 24820 0 -1 0 18125 4 1 0 90545 62 0 0 25 0 11 0 836511348 860397568 31785 4294967295 134512640 134569956 3221224384 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31785 13086 16 0 210042 0
vsize: 840232
[startup+960.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 91512 62 0 0 25 0 11 0 836511348 860397568 31849 4294967295 134512640 134569956 3221224384 3221214612 1131528702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31849 13086 16 0 210042 0
vsize: 840232
[startup+970.019 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 92485 62 0 0 25 0 11 0 836511348 860397568 31906 4294967295 134512640 134569956 3221224384 3221214592 1131216500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 31906 13086 16 0 210042 0
vsize: 840232
[startup+980.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 93452 62 0 0 24 0 11 0 836511348 860397568 32005 4294967295 134512640 134569956 3221224384 3221214600 1131298415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32005 13086 16 0 210042 0
vsize: 840232
[startup+990.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 94434 62 0 0 25 0 11 0 836511348 860397568 32060 4294967295 134512640 134569956 3221224384 3221214324 1131570848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32060 13086 16 0 210042 0
vsize: 840232
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 95407 62 0 0 25 0 11 0 836511348 860397568 32083 4294967295 134512640 134569956 3221224384 3221214624 1131345138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32083 13086 16 0 210042 0
vsize: 840232
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 96367 62 0 0 25 0 11 0 836511348 860397568 32161 4294967295 134512640 134569956 3221224384 3221213952 1131571018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32161 13086 16 0 210042 0
vsize: 840232
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 97333 62 0 0 25 0 11 0 836511348 860397568 32259 4294967295 134512640 134569956 3221224384 3221214600 1131298998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32259 13086 16 0 210042 0
vsize: 840232
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 98299 62 0 0 25 0 11 0 836511348 860397568 32334 4294967295 134512640 134569956 3221224384 3221214704 1131461167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32334 13086 16 0 210042 0
vsize: 840232
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 99264 62 0 0 25 0 11 0 836511348 860397568 32363 4294967295 134512640 134569956 3221224384 3221214280 1131571031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32363 13086 16 0 210042 0
vsize: 840232
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 100235 62 0 0 25 0 11 0 836511348 860397568 32422 4294967295 134512640 134569956 3221224384 3221214600 1131298273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32422 13086 16 0 210042 0
vsize: 840232
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 101199 62 0 0 25 0 11 0 836511348 860397568 32510 4294967295 134512640 134569956 3221224384 3221213976 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32510 13086 16 0 210042 0
vsize: 840232
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 102162 63 0 0 25 0 11 0 836511348 860397568 32580 4294967295 134512640 134569956 3221224384 3221214592 1131216500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32580 13086 16 0 210042 0
vsize: 840232
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 103132 63 0 0 25 0 11 0 836511348 860397568 32636 4294967295 134512640 134569956 3221224384 3221214600 1131298479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32636 13086 16 0 210042 0
vsize: 840232
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 104094 63 0 0 25 0 11 0 836511348 860397568 32705 4294967295 134512640 134569956 3221224384 3221214592 1131216505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32705 13086 16 0 210042 0
vsize: 840232
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 105057 63 0 0 25 0 11 0 836511348 860397568 32784 4294967295 134512640 134569956 3221224384 3221214600 1131298485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32784 13086 16 0 210042 0
vsize: 840232
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 106034 63 0 0 25 0 11 0 836511348 860397568 32823 4294967295 134512640 134569956 3221224384 3221213968 1085679747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32823 13086 16 0 210042 0
vsize: 840232
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 107019 63 0 0 25 0 11 0 836511348 860397568 32864 4294967295 134512640 134569956 3221224384 3221214772 1130885157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32864 13086 16 0 210042 0
vsize: 840232
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 107976 63 0 0 25 0 11 0 836511348 860397568 32960 4294967295 134512640 134569956 3221224384 3221214600 1131298885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 32960 13086 16 0 210042 0
vsize: 840232
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 108941 63 0 0 25 0 11 0 836511348 860397568 33053 4294967295 134512640 134569956 3221224384 3221214528 1131272113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33053 13086 16 0 210042 0
vsize: 840232
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 109909 63 0 0 25 0 11 0 836511348 860397568 33112 4294967295 134512640 134569956 3221224384 3221214628 1131226272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33112 13086 16 0 210042 0
vsize: 840232
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 110876 63 0 0 25 0 11 0 836511348 860397568 33203 4294967295 134512640 134569956 3221224384 3221214156 1131572288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33203 13086 16 0 210042 0
vsize: 840232
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 111844 63 0 0 25 0 11 0 836511348 860397568 33257 4294967295 134512640 134569956 3221224384 3221214704 1131460840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33257 13086 16 0 210042 0
vsize: 840232
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 112807 63 0 0 25 0 11 0 836511348 860397568 33348 4294967295 134512640 134569956 3221224384 3221214536 1131272202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33348 13086 16 0 210042 0
vsize: 840232
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 113776 63 0 0 25 0 11 0 836511348 860397568 33395 4294967295 134512640 134569956 3221224384 3221214264 1131576584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210058 33395 13086 16 0 210042 0
vsize: 840232
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 114740 63 0 0 25 0 11 0 836511348 860397568 33462 4294967295 134512640 134569956 3221224384 3221214208 1131566426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33462 13086 16 0 210042 0
vsize: 840232
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 115710 64 0 0 25 0 11 0 836511348 860397568 33512 4294967295 134512640 134569956 3221224384 3221214000 1131571025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33512 13086 16 0 210042 0
vsize: 840232
[startup+1220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 116674 64 0 0 25 0 11 0 836511348 860397568 33593 4294967295 134512640 134569956 3221224384 3221214600 1131298318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33593 13086 16 0 210042 0
vsize: 840232
[startup+1230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 2666
Raw data (stat): 2598 (java) S 2597 24821 24820 0 -1 0 18125 4 1 0 117643 64 0 0 25 0 11 0 836511348 860397568 33649 4294967295 134512640 134569956 3221224384 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33649 13086 16 0 210042 0
vsize: 840232
[startup+1240.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 118611 65 0 0 25 0 11 0 836511348 860397568 33714 4294967295 134512640 134569956 3221224384 3221214592 1131216500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33714 13086 16 0 210042 0
vsize: 840232
[startup+1250.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 119582 65 0 0 25 0 11 0 836511348 860397568 33770 4294967295 134512640 134569956 3221224384 3221214704 1131460840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33770 13086 16 0 210042 0
vsize: 840232
[startup+1260.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 2666
Raw data (stat): 2598 (java) R 2597 24821 24820 0 -1 0 18125 4 1 0 120550 65 0 0 25 0 11 0 836511348 860397568 33806 4294967295 134512640 134569956 3221224384 3221214008 1131571000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210058 33806 13086 16 0 210042 0
vsize: 840232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2668
Raw data (stat): 2598 (java) Z 2597 24821 24820 0 -1 1036 18125 14007 1 0 120555 65 5066 36 25 0 1 0 836511348 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): 1260.14
CPU time (s): 1257.24
CPU user time (s): 1256.22
CPU system time (s): 1.01984
CPU usage (%): 99.7699
Max. virtual memory (Kb): 841112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	72
#### END VERIFIER DATA ####