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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namesubmitted/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc267b57d74142f6538ad16680277f9bf
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
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 numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark24.9102
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27

Trace number 3179

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-18 22:21:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6098 boxname=wulflinc3 idbench=238 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c267b57d74142f6538ad16680277f9bf  /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-3pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-3pb.opb
IDLAUNCH: 6098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        919700 kB
Buffers:         34584 kB
Cached:          54320 kB
SwapCached:        856 kB
Active:          63748 kB
Inactive:        27844 kB
HighTotal:      131008 kB
HighFree:        75152 kB
LowTotal:       903652 kB
LowFree:        844548 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            17692 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 22:42:51 (client local time) WITH STATUS 143 IN 1265.89 SECONDS
stats: 6098 0 1265.89 143

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 JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-3pb.opb
c reading problem ... done. Time 2.622 ms.
c #vars     648
c #constraints  1954
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 796.32 ms
c CURRENT OPTIMUM=                  70 		Current CPU time: 818.51 ms
c CURRENT OPTIMUM=                  68 		Current CPU time: 822.25 ms
c CURRENT OPTIMUM=                  66 		Current CPU time: 832.16 ms
c CURRENT OPTIMUM=                  64 		Current CPU time: 900.53 ms
c starts		: 14
c conflicts		: 3188
c decisions		: 17374
c propagations		: 142466
c inspects		: 3212773
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 3188
c root simplifications	: 18
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 7423
c speed (decisions/second)	: 47.1745245620323
c non guided choices	3063
c random choices	0
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 objective function=64
c Total CPU time (ms) : 1268.852

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786576625 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 39 3 38 16 0 23 0
[pid=21431] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/21431
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=21432
New thread pid=21433
New thread pid=21434
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=21435
New thread pid=21436
New thread pid=21437
New thread pid=21438
New thread pid=21439
New thread pid=21440
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-3pb.opb
New thread pid=21441

[startup+10.0023 s]
Raw data (loadavg): 1.31 1.05 0.96 3/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18147 0 1 0 630 57 0 0 22 0 11 0 1786576625 858963968 20180 4294967295 134512640 134569956 3221224336 3221214344 1131089522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209708 20180 13129 16 0 209692 0
[pid=21431] vsize: 838832
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (Kb) 838832

[startup+20.0031 s]
Raw data (loadavg): 1.26 1.05 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18159 0 1 0 1555 57 0 0 17 0 11 0 1786576625 858521600 21307 4294967295 134512640 134569956 3221224336 3221214536 1131529781 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 21307 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 16.12
Current children cumulated vsize (Kb) 838400

[startup+30.0039 s]
Raw data (loadavg): 1.22 1.05 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18165 0 1 0 2507 57 0 0 25 0 11 0 1786576625 858521600 21780 4294967295 134512640 134569956 3221224336 3221214460 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 21780 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 25.64
Current children cumulated vsize (Kb) 838400

[startup+40.0048 s]
Raw data (loadavg): 1.18 1.04 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18173 0 1 0 3444 58 0 0 25 0 11 0 1786576625 858521600 21726 4294967295 134512640 134569956 3221224336 3221214488 1131493355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 21726 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 35.02
Current children cumulated vsize (Kb) 838400

[startup+50.0056 s]
Raw data (loadavg): 1.16 1.04 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18180 0 1 0 4373 58 0 0 22 0 11 0 1786576625 858521600 21926 4294967295 134512640 134569956 3221224336 3221214460 1131057164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 21926 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 44.31
Current children cumulated vsize (Kb) 838400

[startup+60.0064 s]
Raw data (loadavg): 1.13 1.04 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18187 0 1 0 5299 58 0 0 19 0 11 0 1786576625 858521600 22224 4294967295 134512640 134569956 3221224336 3221214432 1131568762 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 22224 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 53.57
Current children cumulated vsize (Kb) 838400

[startup+70.0083 s]
Raw data (loadavg): 1.11 1.04 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18194 0 1 0 6228 59 0 0 17 0 11 0 1786576625 858521600 22355 4294967295 134512640 134569956 3221224336 3221214544 1131500931 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 22355 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 62.87
Current children cumulated vsize (Kb) 838400

[startup+80.0091 s]
Raw data (loadavg): 1.09 1.04 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18202 0 1 0 7159 59 0 0 16 0 11 0 1786576625 858521600 22516 4294967295 134512640 134569956 3221224336 3221214448 1131448760 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 22516 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 72.18
Current children cumulated vsize (Kb) 838400

[startup+90.0099 s]
Raw data (loadavg): 1.08 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18208 0 1 0 8101 59 0 0 25 0 11 0 1786576625 858521600 22709 4294967295 134512640 134569956 3221224336 3221214632 1131541276 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 22709 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 81.6
Current children cumulated vsize (Kb) 838400

[startup+100.011 s]
Raw data (loadavg): 1.07 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18215 0 1 0 9035 59 0 0 24 0 11 0 1786576625 858521600 22954 4294967295 134512640 134569956 3221224336 3221214536 1131495247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 22954 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 90.94
Current children cumulated vsize (Kb) 838400

[startup+110.012 s]
Raw data (loadavg): 1.06 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18222 0 1 0 9974 60 0 0 19 0 11 0 1786576625 858521600 23132 4294967295 134512640 134569956 3221224336 3221214544 1131500963 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 23132 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 100.34
Current children cumulated vsize (Kb) 838400

[startup+120.013 s]
Raw data (loadavg): 1.05 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18229 0 1 0 10917 60 0 0 25 0 11 0 1786576625 858521600 23239 4294967295 134512640 134569956 3221224336 3221214632 1131541374 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 23239 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 109.77
Current children cumulated vsize (Kb) 838400

[startup+130.014 s]
Raw data (loadavg): 1.04 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18237 0 1 0 11841 61 0 0 15 0 11 0 1786576625 858521600 23403 4294967295 134512640 134569956 3221224336 3221214512 1131503275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 23403 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 119.02
Current children cumulated vsize (Kb) 838400

[startup+140.014 s]
Raw data (loadavg): 1.03 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) S 21430 21431 31915 0 -1 0 18243 0 1 0 12777 61 0 0 17 0 11 0 1786576625 858521600 23551 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 23551 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 128.38
Current children cumulated vsize (Kb) 838400

[startup+150.016 s]
Raw data (loadavg): 1.03 1.03 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18250 0 1 0 13710 61 0 0 25 0 11 0 1786576625 858521600 23723 4294967295 134512640 134569956 3221224336 3221214512 1131503297 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 23723 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 137.71
Current children cumulated vsize (Kb) 838400

[startup+160.017 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18257 0 1 0 14643 61 0 0 22 0 11 0 1786576625 858521600 23922 4294967295 134512640 134569956 3221224336 3221214440 1131448745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 23922 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (Kb) 838400

[startup+170.018 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18263 0 1 0 15586 61 0 0 25 0 11 0 1786576625 858521600 24057 4294967295 134512640 134569956 3221224336 3221214448 1131448909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 24057 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 156.47
Current children cumulated vsize (Kb) 838400

[startup+180.018 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18270 0 1 0 16517 61 0 0 25 0 11 0 1786576625 858521600 24254 4294967295 134512640 134569956 3221224336 3221214544 1131501088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 24254 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 165.78
Current children cumulated vsize (Kb) 838400

[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) S 21430 21431 31915 0 -1 0 18277 0 1 0 17456 62 0 0 25 0 11 0 1786576625 858521600 24395 4294967295 134512640 134569956 3221224336 3221213088 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 24395 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 175.18
Current children cumulated vsize (Kb) 838400

[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18283 0 1 0 18386 62 0 0 22 0 11 0 1786576625 858521600 24551 4294967295 134512640 134569956 3221224336 3221214448 1131448909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 24551 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 184.48
Current children cumulated vsize (Kb) 838400

[startup+210.021 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18289 0 1 0 19326 62 0 0 25 0 11 0 1786576625 858521600 24707 4294967295 134512640 134569956 3221224336 3221214448 1131448871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 24707 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 193.88
Current children cumulated vsize (Kb) 838400

[startup+220.023 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18296 0 1 0 20261 62 0 0 22 0 11 0 1786576625 858521600 24873 4294967295 134512640 134569956 3221224336 3221214632 1131542366 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 24873 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 203.23
Current children cumulated vsize (Kb) 838400

[startup+230.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18304 0 1 0 21197 63 0 0 25 0 11 0 1786576625 858521600 25065 4294967295 134512640 134569956 3221224336 3221214448 1131448641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 25065 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 212.6
Current children cumulated vsize (Kb) 838400

[startup+240.023 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18310 0 1 0 22144 63 0 0 25 0 11 0 1786576625 858521600 25268 4294967295 134512640 134569956 3221224336 3221214448 1131449073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 25268 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (Kb) 838400

[startup+250.024 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18316 0 1 0 23096 63 0 0 25 0 11 0 1786576625 858521600 25374 4294967295 134512640 134569956 3221224336 3221214488 1131492920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 25374 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 231.59
Current children cumulated vsize (Kb) 838400

[startup+260.025 s]
Raw data (loadavg): 1.00 1.02 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18322 0 1 0 24046 63 0 0 25 0 11 0 1786576625 858521600 25464 4294967295 134512640 134569956 3221224336 3221214448 1131448664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 25464 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 241.09
Current children cumulated vsize (Kb) 838400

[startup+270.026 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18328 0 1 0 24995 63 0 0 25 0 11 0 1786576625 858521600 25561 4294967295 134512640 134569956 3221224336 3221214688 1131493343 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 25561 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 250.58
Current children cumulated vsize (Kb) 838400

[startup+280.027 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) S 21430 21431 31915 0 -1 0 18334 0 1 0 25940 64 0 0 25 0 11 0 1786576625 858521600 25726 4294967295 134512640 134569956 3221224336 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 25726 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 260.04
Current children cumulated vsize (Kb) 838400

[startup+290.03 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18341 0 1 0 26882 64 0 0 25 0 11 0 1786576625 858521600 25882 4294967295 134512640 134569956 3221224336 3221214540 1131510508 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 25882 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 269.46
Current children cumulated vsize (Kb) 838400

[startup+300.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18347 0 1 0 27828 64 0 0 25 0 11 0 1786576625 858521600 25987 4294967295 134512640 134569956 3221224336 3221214536 1131495475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 25987 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 278.92
Current children cumulated vsize (Kb) 838400

[startup+310.031 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18353 0 1 0 28774 64 0 0 24 0 11 0 1786576625 858521600 26216 4294967295 134512640 134569956 3221224336 3221214536 1131496414 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 26216 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 288.38
Current children cumulated vsize (Kb) 838400

[startup+320.032 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18360 0 1 0 29705 65 0 0 18 0 11 0 1786576625 858521600 26288 4294967295 134512640 134569956 3221224336 3221214632 1131541276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 26288 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 297.7
Current children cumulated vsize (Kb) 838400

[startup+330.033 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18368 0 1 0 30650 65 0 0 24 0 11 0 1786576625 858521600 26427 4294967295 134512640 134569956 3221224336 3221214432 1131568762 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 26427 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 307.15
Current children cumulated vsize (Kb) 838400

[startup+340.034 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18373 0 1 0 31607 65 0 0 25 0 11 0 1786576625 858521600 26549 4294967295 134512640 134569956 3221224336 3221214632 1131541276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 26549 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 316.72
Current children cumulated vsize (Kb) 838400

[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18379 0 1 0 32557 66 0 0 25 0 11 0 1786576625 858521600 26673 4294967295 134512640 134569956 3221224336 3221214632 1131541341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 26673 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 326.23
Current children cumulated vsize (Kb) 838400

[startup+360.035 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18384 0 1 0 33516 66 0 0 25 0 11 0 1786576625 858521600 26759 4294967295 134512640 134569956 3221224336 3221214536 1131495146 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 26759 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 335.82
Current children cumulated vsize (Kb) 838400

[startup+370.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18390 0 1 0 34466 66 0 0 24 0 11 0 1786576625 858521600 26894 4294967295 134512640 134569956 3221224336 3221214544 1131501088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 26894 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 345.32
Current children cumulated vsize (Kb) 838400

[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18395 0 1 0 35429 66 0 0 25 0 11 0 1786576625 858521600 26985 4294967295 134512640 134569956 3221224336 3221214448 1131448909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 26985 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 354.95
Current children cumulated vsize (Kb) 838400

[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18399 0 1 0 36401 66 0 0 25 0 11 0 1786576625 858521600 27037 4294967295 134512640 134569956 3221224336 3221214408 1131663519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27037 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 364.67
Current children cumulated vsize (Kb) 838400

[startup+400.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18404 0 1 0 37364 67 0 0 25 0 11 0 1786576625 858521600 27122 4294967295 134512640 134569956 3221224336 3221214540 1131503320 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 27122 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 374.31
Current children cumulated vsize (Kb) 838400

[startup+410.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18410 0 1 0 38321 67 0 0 25 0 11 0 1786576625 858521600 27238 4294967295 134512640 134569956 3221224336 3221214448 1131448871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 27238 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 383.88
Current children cumulated vsize (Kb) 838400

[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18415 0 1 0 39285 67 0 0 25 0 11 0 1786576625 858521600 27321 4294967295 134512640 134569956 3221224336 3221214440 1131448909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27321 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 393.52
Current children cumulated vsize (Kb) 838400

[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18421 0 1 0 40241 69 0 0 16 0 11 0 1786576625 858521600 27422 4294967295 134512640 134569956 3221224336 3221214512 1131503171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27422 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 403.1
Current children cumulated vsize (Kb) 838400

[startup+440.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18427 0 1 0 41197 69 0 0 25 0 11 0 1786576625 858521600 27484 4294967295 134512640 134569956 3221224336 3221214688 1131492958 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 27484 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 412.66
Current children cumulated vsize (Kb) 838400

[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18433 0 1 0 42152 69 0 0 21 0 11 0 1786576625 858521600 27596 4294967295 134512640 134569956 3221224336 3221214536 1131495384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27596 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 422.21
Current children cumulated vsize (Kb) 838400

[startup+460.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18439 0 1 0 43106 69 0 0 25 0 11 0 1786576625 858521600 27682 4294967295 134512640 134569956 3221224336 3221214176 1131718313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27682 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 431.75
Current children cumulated vsize (Kb) 838400

[startup+470.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18444 0 1 0 44067 69 0 0 25 0 11 0 1786576625 858521600 27788 4294967295 134512640 134569956 3221224336 3221214264 1078035335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27788 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 441.36
Current children cumulated vsize (Kb) 838400

[startup+480.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18450 0 1 0 45020 70 0 0 25 0 11 0 1786576625 858521600 27863 4294967295 134512640 134569956 3221224336 3221214448 1131495841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 27863 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 450.9
Current children cumulated vsize (Kb) 838400

[startup+490.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18456 0 1 0 45974 70 0 0 25 0 11 0 1786576625 858521600 27969 4294967295 134512640 134569956 3221224336 3221214544 1131500963 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 27969 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (Kb) 838400

[startup+500.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18463 0 1 0 46923 70 0 0 21 0 11 0 1786576625 858521600 28099 4294967295 134512640 134569956 3221224336 3221214488 1131492926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 28099 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 469.93
Current children cumulated vsize (Kb) 838400

[startup+510.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18469 0 1 0 47881 71 0 0 23 0 11 0 1786576625 858521600 28199 4294967295 134512640 134569956 3221224336 3221214632 1131541280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28199 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 479.52
Current children cumulated vsize (Kb) 838400

[startup+520.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18475 0 1 0 48840 71 0 0 25 0 11 0 1786576625 858521600 28321 4294967295 134512640 134569956 3221224336 3221214448 1131448664 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 28321 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 489.11
Current children cumulated vsize (Kb) 838400

[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18483 0 1 0 49800 71 0 0 25 0 11 0 1786576625 858521600 28412 4294967295 134512640 134569956 3221224336 3221214400 1131568106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 28412 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 498.71
Current children cumulated vsize (Kb) 838400

[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18489 0 1 0 50760 72 0 0 23 0 11 0 1786576625 858521600 28482 4294967295 134512640 134569956 3221224336 3221214584 1131541227 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28482 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 508.32
Current children cumulated vsize (Kb) 838400

[startup+550.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18495 0 1 0 51720 72 0 0 20 0 11 0 1786576625 858521600 28570 4294967295 134512640 134569956 3221224336 3221214416 1131449617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28570 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 517.92
Current children cumulated vsize (Kb) 838400

[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18501 0 1 0 52681 72 0 0 25 0 11 0 1786576625 858521600 28652 4294967295 134512640 134569956 3221224336 3221214456 1131492974 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28652 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 527.53
Current children cumulated vsize (Kb) 838400

[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18507 0 1 0 53640 73 0 0 25 0 11 0 1786576625 858521600 28720 4294967295 134512640 134569956 3221224336 3221214488 1131495695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 28720 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 537.13
Current children cumulated vsize (Kb) 838400

[startup+580.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18514 0 1 0 54593 73 0 0 25 0 11 0 1786576625 858521600 28809 4294967295 134512640 134569956 3221224336 3221214488 1131496428 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28809 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 546.66
Current children cumulated vsize (Kb) 838400

[startup+590.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18521 0 1 0 55548 74 0 0 25 0 11 0 1786576625 858521600 28913 4294967295 134512640 134569956 3221224336 3221214212 1079817063 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 28913 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 556.22
Current children cumulated vsize (Kb) 838400

[startup+600.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18527 0 1 0 56511 75 0 0 25 0 11 0 1786576625 858521600 29012 4294967295 134512640 134569956 3221224336 3221214584 1131542366 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29012 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 565.86
Current children cumulated vsize (Kb) 838400

[startup+610.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18534 0 1 0 57466 75 0 0 24 0 11 0 1786576625 858521600 29093 4294967295 134512640 134569956 3221224336 3221214488 1131495578 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29093 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 575.41
Current children cumulated vsize (Kb) 838400

[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18541 0 1 0 58425 76 0 0 23 0 11 0 1786576625 858521600 29182 4294967295 134512640 134569956 3221224336 3221214568 1131448755 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29182 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 585.01
Current children cumulated vsize (Kb) 838400

[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18548 0 1 0 59379 76 0 0 25 0 11 0 1786576625 858521600 29248 4294967295 134512640 134569956 3221224336 3221214616 1131449129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29248 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 594.55
Current children cumulated vsize (Kb) 838400

[startup+640.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18555 0 1 0 60334 76 0 0 25 0 11 0 1786576625 858521600 29349 4294967295 134512640 134569956 3221224336 3221214584 1131542215 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29349 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 604.1
Current children cumulated vsize (Kb) 838400

[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18561 0 1 0 61294 76 0 0 25 0 11 0 1786576625 858521600 29442 4294967295 134512640 134569956 3221224336 3221214488 1131495130 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29442 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 613.7
Current children cumulated vsize (Kb) 838400

[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18567 0 1 0 62252 77 0 0 25 0 11 0 1786576625 858521600 29490 4294967295 134512640 134569956 3221224336 3221214488 1131495097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29490 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 623.29
Current children cumulated vsize (Kb) 838400

[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18572 0 1 0 63217 77 0 0 25 0 11 0 1786576625 858521600 29546 4294967295 134512640 134569956 3221224336 3221214400 1131462664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29546 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 632.94
Current children cumulated vsize (Kb) 838400

[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18578 0 1 0 64174 77 0 0 25 0 11 0 1786576625 858521600 29638 4294967295 134512640 134569956 3221224336 3221213780 1085743747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29638 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 642.51
Current children cumulated vsize (Kb) 838400

[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18584 0 1 0 65132 77 0 0 19 0 11 0 1786576625 858521600 29737 4294967295 134512640 134569956 3221224336 3221214416 1131448869 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29737 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 652.09
Current children cumulated vsize (Kb) 838400

[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18589 0 1 0 66096 77 0 0 25 0 11 0 1786576625 858521600 29807 4294967295 134512640 134569956 3221224336 3221214016 1131718274 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29807 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 661.73
Current children cumulated vsize (Kb) 838400

[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18595 0 1 0 67057 78 0 0 22 0 11 0 1786576625 858521600 29907 4294967295 134512640 134569956 3221224336 3221214488 1131495105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 29907 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 671.35
Current children cumulated vsize (Kb) 838400

[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18601 0 1 0 68017 78 0 0 25 0 11 0 1786576625 858521600 29994 4294967295 134512640 134569956 3221224336 3221214512 1131501017 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 29994 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 680.95
Current children cumulated vsize (Kb) 838400

[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18607 0 1 0 68978 78 0 0 25 0 11 0 1786576625 858521600 30075 4294967295 134512640 134569956 3221224336 3221214512 1131501055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 30075 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 690.56
Current children cumulated vsize (Kb) 838400

[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18613 0 1 0 69937 78 0 0 21 0 11 0 1786576625 858521600 30161 4294967295 134512640 134569956 3221224336 3221214396 1131596460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30161 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 700.15
Current children cumulated vsize (Kb) 838400

[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18619 0 1 0 70897 79 0 0 20 0 11 0 1786576625 858521600 30221 4294967295 134512640 134569956 3221224336 3221213784 1085806711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30221 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 709.76
Current children cumulated vsize (Kb) 838400

[startup+760.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18624 0 1 0 71861 79 0 0 25 0 11 0 1786576625 858521600 30284 4294967295 134512640 134569956 3221224336 3221214456 1131493324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30284 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 719.4
Current children cumulated vsize (Kb) 838400

[startup+770.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18630 0 1 0 72817 79 0 0 25 0 11 0 1786576625 858521600 30359 4294967295 134512640 134569956 3221224336 3221214056 1085806269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30359 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 728.96
Current children cumulated vsize (Kb) 838400

[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18634 0 1 0 73786 79 0 0 25 0 11 0 1786576625 858521600 30408 4294967295 134512640 134569956 3221224336 3221214584 1131541276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30408 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (Kb) 838400

[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21441
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18639 0 1 0 74747 79 0 0 25 0 11 0 1786576625 858521600 30493 4294967295 134512640 134569956 3221224336 3221214408 1131449617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 30493 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 748.26
Current children cumulated vsize (Kb) 838400
One traced child (pid=21441) exited with status: 0
New thread pid=21442

[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21442
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18692 4 1 0 75698 80 0 0 16 0 11 0 1786576625 858521600 30638 4294967295 134512640 134569956 3221224336 3221214584 1131541370 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30638 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 757.78
Current children cumulated vsize (Kb) 838400

[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21442
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18697 4 1 0 76661 80 0 0 25 0 11 0 1786576625 858521600 30721 4294967295 134512640 134569956 3221224336 3221214584 1131542193 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 30721 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 767.41
Current children cumulated vsize (Kb) 838400
One traced child (pid=21442) exited with status: 0
New thread pid=21443

[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 21443
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18703 4 1 0 77619 81 0 0 25 0 11 0 1786576625 858521600 30815 4294967295 134512640 134569956 3221224336 3221214248 1131718121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30815 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 777
Current children cumulated vsize (Kb) 838400
One traced child (pid=21443) exited with status: 0
New thread pid=21444

[startup+830.072 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 21444
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18708 4 1 0 78584 81 0 0 25 0 11 0 1786576625 858521600 30890 4294967295 134512640 134569956 3221224336 3221214416 1131449562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 30890 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 786.65
Current children cumulated vsize (Kb) 838400
One traced child (pid=21444) exited with status: 0
New thread pid=21445

[startup+840.072 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18713 4 1 0 79547 82 0 0 25 0 11 0 1786576625 858521600 30984 4294967295 134512640 134569956 3221224336 3221214640 1131642010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 30984 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 796.29
Current children cumulated vsize (Kb) 838400

[startup+850.073 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18720 4 1 0 80497 82 0 0 25 0 11 0 1786576625 858521600 31064 4294967295 134512640 134569956 3221224336 3221214488 1131495559 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31064 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 805.79
Current children cumulated vsize (Kb) 838400

[startup+860.074 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18727 4 1 0 81445 82 0 0 19 0 11 0 1786576625 858521600 31146 4294967295 134512640 134569956 3221224336 3221214616 1131448954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 31146 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (Kb) 838400

[startup+870.076 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18734 4 1 0 82391 83 0 0 16 0 11 0 1786576625 858521600 31179 4294967295 134512640 134569956 3221224336 3221214584 1131541055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31179 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 824.74
Current children cumulated vsize (Kb) 838400

[startup+880.077 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18741 4 1 0 83338 83 0 0 16 0 11 0 1786576625 858521600 31337 4294967295 134512640 134569956 3221224336 3221214508 1131510505 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 31337 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 834.21
Current children cumulated vsize (Kb) 838400

[startup+890.078 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18747 4 1 0 84295 83 0 0 19 0 11 0 1786576625 858521600 31458 4294967295 134512640 134569956 3221224336 3221214652 1131357947 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31458 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 843.78
Current children cumulated vsize (Kb) 838400

[startup+900.079 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 21445
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18753 4 1 0 85253 83 0 0 25 0 11 0 1786576625 858521600 31541 4294967295 134512640 134569956 3221224336 3221214512 1131500963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31541 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 853.36
Current children cumulated vsize (Kb) 838400
One traced child (pid=21445) exited with status: 0
New thread pid=21446

[startup+910.079 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18759 4 1 0 86210 84 0 0 25 0 11 0 1786576625 858521600 31647 4294967295 134512640 134569956 3221224336 3221214416 1131448871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31647 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 862.94
Current children cumulated vsize (Kb) 838400

[startup+920.081 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18766 4 1 0 87160 84 0 0 19 0 11 0 1786576625 858521600 31743 4294967295 134512640 134569956 3221224336 3221214416 1131448760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 31743 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 872.44
Current children cumulated vsize (Kb) 838400

[startup+930.082 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18772 4 1 0 88116 84 0 0 25 0 11 0 1786576625 858521600 31826 4294967295 134512640 134569956 3221224336 3221214664 1131740044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 31826 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 882
Current children cumulated vsize (Kb) 838400

[startup+940.082 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18778 4 1 0 89069 85 0 0 25 0 11 0 1786576625 858521600 31894 4294967295 134512640 134569956 3221224336 3221214416 1131448857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 31894 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 891.54
Current children cumulated vsize (Kb) 838400

[startup+950.083 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18784 4 1 0 90023 85 0 0 25 0 11 0 1786576625 858521600 31984 4294967295 134512640 134569956 3221224336 3221214584 1131541276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 31984 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 901.08
Current children cumulated vsize (Kb) 838400

[startup+960.084 s]
Raw data (loadavg): 1.08 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18791 4 1 0 90971 85 0 0 22 0 11 0 1786576625 858521600 32120 4294967295 134512640 134569956 3221224336 3221214456 1131730609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 32120 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 910.56
Current children cumulated vsize (Kb) 838400

[startup+970.084 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18798 4 1 0 91921 85 0 0 17 0 11 0 1786576625 858521600 32215 4294967295 134512640 134569956 3221224336 3221214416 1131449562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32215 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 920.06
Current children cumulated vsize (Kb) 838400

[startup+980.085 s]
Raw data (loadavg): 1.06 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18804 4 1 0 92879 86 0 0 25 0 11 0 1786576625 858521600 32331 4294967295 134512640 134569956 3221224336 3221214408 1131448909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32331 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 929.65
Current children cumulated vsize (Kb) 838400

[startup+990.086 s]
Raw data (loadavg): 1.05 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18811 4 1 0 93834 86 0 0 25 0 11 0 1786576625 858521600 32454 4294967295 134512640 134569956 3221224336 3221214584 1131542319 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 32454 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 939.2
Current children cumulated vsize (Kb) 838400

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18818 4 1 0 94790 86 0 0 25 0 11 0 1786576625 858521600 32526 4294967295 134512640 134569956 3221224336 3221214584 1131541276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32526 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 948.76
Current children cumulated vsize (Kb) 838400

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.02 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) S 21430 21431 31915 0 -1 0 18825 4 1 0 95752 87 0 0 25 0 11 0 1786576625 858521600 32620 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32620 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 958.39
Current children cumulated vsize (Kb) 838400

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18828 4 1 0 96730 87 0 0 25 0 11 0 1786576625 858521600 32681 4294967295 134512640 134569956 3221224336 3221214496 1131609154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 32681 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 968.17
Current children cumulated vsize (Kb) 838400

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18833 4 1 0 97697 87 0 0 25 0 11 0 1786576625 858521600 32728 4294967295 134512640 134569956 3221224336 3221214584 1131545576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32728 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 977.84
Current children cumulated vsize (Kb) 838400

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18838 4 1 0 98664 88 0 0 25 0 11 0 1786576625 858521600 32793 4294967295 134512640 134569956 3221224336 3221214480 1131503262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32793 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 987.52
Current children cumulated vsize (Kb) 838400

[startup+1050.09 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18842 4 1 0 99637 88 0 0 25 0 11 0 1786576625 858521600 32840 4294967295 134512640 134569956 3221224336 3221214584 1131541360 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 32840 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 997.25
Current children cumulated vsize (Kb) 838400

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18848 4 1 0 100597 89 0 0 24 0 11 0 1786576625 858521600 32887 4294967295 134512640 134569956 3221224336 3221214584 1131541466 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 32887 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1006.86
Current children cumulated vsize (Kb) 838400

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18852 4 1 0 101570 89 0 0 25 0 11 0 1786576625 858521600 32935 4294967295 134512640 134569956 3221224336 3221213920 1131718255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32935 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1016.59
Current children cumulated vsize (Kb) 838400

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18856 4 1 0 102543 89 0 0 25 0 11 0 1786576625 858521600 32967 4294967295 134512640 134569956 3221224336 3221214488 1131495130 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 32967 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1026.32
Current children cumulated vsize (Kb) 838400

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18861 4 1 0 103509 90 0 0 25 0 11 0 1786576625 858521600 33045 4294967295 134512640 134569956 3221224336 3221214200 1131717566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33045 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1035.99
Current children cumulated vsize (Kb) 838400

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18865 4 1 0 104481 90 0 0 25 0 11 0 1786576625 858521600 33116 4294967295 134512640 134569956 3221224336 3221214584 1131541280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33116 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1045.71
Current children cumulated vsize (Kb) 838400

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18870 4 1 0 105448 91 0 0 25 0 11 0 1786576625 858521600 33170 4294967295 134512640 134569956 3221224336 3221214584 1131542366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33170 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1055.39
Current children cumulated vsize (Kb) 838400

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18876 4 1 0 106409 91 0 0 25 0 11 0 1786576625 858521600 33225 4294967295 134512640 134569956 3221224336 3221214488 1131495489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33225 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1065
Current children cumulated vsize (Kb) 838400

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18882 4 1 0 107368 91 0 0 25 0 11 0 1786576625 858521600 33297 4294967295 134512640 134569956 3221224336 3221214456 1131492886 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33297 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1074.59
Current children cumulated vsize (Kb) 838400

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18889 4 1 0 108320 92 0 0 25 0 11 0 1786576625 858521600 33377 4294967295 134512640 134569956 3221224336 3221214248 1131718268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33377 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1084.12
Current children cumulated vsize (Kb) 838400

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18895 4 1 0 109281 92 0 0 24 0 11 0 1786576625 858521600 33460 4294967295 134512640 134569956 3221224336 3221214400 1131566661 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33460 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1093.73
Current children cumulated vsize (Kb) 838400

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) S 21430 21431 31915 0 -1 0 18901 4 1 0 110245 92 0 0 25 0 11 0 1786576625 858521600 33534 4294967295 134512640 134569956 3221224336 3221213088 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33534 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1103.37
Current children cumulated vsize (Kb) 838400

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18907 4 1 0 111201 93 0 0 25 0 11 0 1786576625 858521600 33598 4294967295 134512640 134569956 3221224336 3221214688 1131510540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33598 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1112.94
Current children cumulated vsize (Kb) 838400

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18913 4 1 0 112161 93 0 0 25 0 11 0 1786576625 858521600 33674 4294967295 134512640 134569956 3221224336 3221214488 1131510577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33674 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1122.54
Current children cumulated vsize (Kb) 838400

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18919 4 1 0 113122 94 0 0 24 0 11 0 1786576625 858521600 33746 4294967295 134512640 134569956 3221224336 3221214584 1131542345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33746 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1132.16
Current children cumulated vsize (Kb) 838400

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18924 4 1 0 114089 94 0 0 25 0 11 0 1786576625 858521600 33818 4294967295 134512640 134569956 3221224336 3221214488 1131495109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33818 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1141.83
Current children cumulated vsize (Kb) 838400

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18930 4 1 0 115049 94 0 0 19 0 11 0 1786576625 858521600 33883 4294967295 134512640 134569956 3221224336 3221214416 1131448755 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 33883 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1151.43
Current children cumulated vsize (Kb) 838400

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18936 4 1 0 116010 94 0 0 25 0 11 0 1786576625 858521600 33969 4294967295 134512640 134569956 3221224336 3221214452 1131299984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 33969 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (Kb) 838400

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18941 4 1 0 116978 94 0 0 25 0 11 0 1786576625 858521600 34020 4294967295 134512640 134569956 3221224336 3221214488 1131495105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 34020 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1170.72
Current children cumulated vsize (Kb) 838400

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18947 4 1 0 117943 94 0 0 25 0 11 0 1786576625 858521600 34091 4294967295 134512640 134569956 3221224336 3221214400 1131566782 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 34091 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1180.37
Current children cumulated vsize (Kb) 838400

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18953 4 1 0 118909 95 0 0 23 0 11 0 1786576625 858521600 34150 4294967295 134512640 134569956 3221224336 3221214488 1131495191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 34150 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1190.04
Current children cumulated vsize (Kb) 838400

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18958 4 1 0 119880 95 0 0 25 0 11 0 1786576625 858521600 34224 4294967295 134512640 134569956 3221224336 3221214428 1131057254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/21431/statm): 209600 34224 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1199.75
Current children cumulated vsize (Kb) 838400

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18962 4 1 0 120857 95 0 0 25 0 11 0 1786576625 858521600 34267 4294967295 134512640 134569956 3221224336 3221213920 1131718260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 34267 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1209.52
Current children cumulated vsize (Kb) 838400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 21446
Raw data (/proc/21431/stat): 21431 (java) R 21430 21431 31915 0 -1 0 18962 4 1 0 120857 95 0 0 25 0 11 0 1786576625 858521600 34267 4294967295 134512640 134569956 3221224336 3221213872 1131717472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/21431/statm): 209600 34267 13129 16 0 209584 0
[pid=21431] vsize: 838400
Current children cumulated CPU time (s) 1209.52
Current children cumulated vsize (Kb) 838400

Sending SIGTERM to -21431
Sleeping 2 seconds
New thread pid=21448
New thread pid=21449
One traced child (pid=21449) exited with status: 0
One traced child (pid=21440) exited with status: 0
One traced child (pid=21435) exited with status: 0
One traced child (pid=21432) exited with status: 143
One traced child (pid=21434) exited with status: 143
One traced child (pid=21436) exited with status: 143
One traced child (pid=21438) exited with status: 143
One traced child (pid=21439) exited with status: 143
One traced child (pid=21437) exited with status: 143
One traced child (pid=21446) exited with status: 143
One traced child (pid=21433) exited with status: 143
One traced child (pid=21448) exited with status: 143
One traced child (pid=21431) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1270.27
CPU time (s): 1265.89
CPU user time (s): 1264.25
CPU system time (s): 1.64775
CPU usage (%): 99.6556
Max. virtual memory (cumulated for all children) (Kb): 838832

Verifier Data

Verifier:	OK	64