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-7pb.opb
MD5SUM24909033929a72aa74b2fd8b12f27bce
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of terms in the objective function 672
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 672
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 672
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 benchmark16.5375
Number of variables672
Total number of constraints2030
Number of constraints which are clauses2006
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 constraint28

Trace number 3189

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-18 22:24:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6105 boxname=wulflinc30 idbench=245 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  24909033929a72aa74b2fd8b12f27bce  /oldhome/oroussel/tmp/wulflinc30/normalized-s4-4-3-7pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc30/normalized-s4-4-3-7pb.opb
IDLAUNCH: 6105
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922020 kB
Buffers:         23812 kB
Cached:          58980 kB
SwapCached:        780 kB
Active:          31856 kB
Inactive:        53580 kB
HighTotal:      131008 kB
HighFree:        69048 kB
LowTotal:       903652 kB
LowFree:        852972 kB
SwapTotal:     2097892 kB
SwapFree:      2096636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21488 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 22:45:25 (client local time) WITH STATUS 143 IN 1267.27 SECONDS
stats: 6105 0 1267.27 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/wulflinc30/normalized-s4-4-3-7pb.opb
c reading problem ... done. Time 2.44 ms.
c #vars     672
c #constraints  2030
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 42.17 ms
c CURRENT OPTIMUM=                  68 		Current CPU time: 50.49 ms
c CURRENT OPTIMUM=                  66 		Current CPU time: 1022.31 ms
c starts		: 11
c conflicts		: 2028
c decisions		: 14533
c propagations		: 96154
c inspects		: 1543326
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 2
c learnt clauses	: 2028
c root simplifications	: 54
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 3518
c speed (decisions/second)	: 61.4292779217266
c non guided choices	2452
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 -v649 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v670 -v671 -v672 
c objective function=66
c Total CPU time (ms) : 1258.983

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/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1844819910 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 39 9 38 16 0 23 0
[pid=15784] 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/15784
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=15785
New thread pid=15786
New thread pid=15787
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=15788
New thread pid=15789
New thread pid=15790
New thread pid=15791
New thread pid=15792
New thread pid=15793
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/wulflinc30/normalized-s4-4-3-7pb.opb
New thread pid=15794

[startup+10.0022 s]
Raw data (loadavg): 0.90 0.97 0.91 2/66 15794
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18127 0 1 0 699 49 0 0 16 0 11 0 1844819910 858628096 20444 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209626 20447 13129 16 0 209610 0
[pid=15784] vsize: 838504
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (Kb) 838504

[startup+20.004 s]
Raw data (loadavg): 0.92 0.97 0.91 2/66 15794
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18137 0 1 0 1637 49 0 0 23 0 11 0 1844819910 856739840 20798 4294967295 134512640 134569956 3221224336 3221214632 1131503860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 20798 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 16.86
Current children cumulated vsize (Kb) 836660

[startup+30.0048 s]
Raw data (loadavg): 0.93 0.97 0.91 2/66 15794
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18147 0 1 0 2571 50 0 0 19 0 11 0 1844819910 856739840 21440 4294967295 134512640 134569956 3221224336 3221214712 1131369158 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 21440 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 26.21
Current children cumulated vsize (Kb) 836660

[startup+40.0065 s]
Raw data (loadavg): 0.94 0.97 0.91 2/66 15794
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18154 0 1 0 3512 51 0 0 17 0 11 0 1844819910 856739840 21508 4294967295 134512640 134569956 3221224336 3221213384 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 21508 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 35.63
Current children cumulated vsize (Kb) 836660
One traced child (pid=15794) exited with status: 0
New thread pid=15795

[startup+50.0083 s]
Raw data (loadavg): 0.95 0.97 0.91 2/66 15795
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18208 3 1 0 4435 52 0 0 22 0 11 0 1844819910 856739840 21896 4294967295 134512640 134569956 3221224336 3221214632 1131507467 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 21896 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 44.87
Current children cumulated vsize (Kb) 836660
One traced child (pid=15795) exited with status: 0
New thread pid=15796

[startup+60.0092 s]
Raw data (loadavg): 0.96 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18217 3 1 0 5356 52 0 0 16 0 11 0 1844819910 856739840 22228 4294967295 134512640 134569956 3221224336 3221214480 1131370417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 22228 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 54.08
Current children cumulated vsize (Kb) 836660

[startup+70.0099 s]
Raw data (loadavg): 0.96 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18223 3 1 0 6291 52 0 0 24 0 11 0 1844819910 856739840 22461 4294967295 134512640 134569956 3221224336 3221214528 1131444314 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 22461 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 63.43
Current children cumulated vsize (Kb) 836660

[startup+80.0107 s]
Raw data (loadavg): 0.97 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18230 3 1 0 7216 52 0 0 17 0 11 0 1844819910 856739840 22671 4294967295 134512640 134569956 3221224336 3221214424 1131451852 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 22671 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 72.68
Current children cumulated vsize (Kb) 836660

[startup+90.0115 s]
Raw data (loadavg): 0.97 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18237 3 1 0 8139 52 0 0 16 0 11 0 1844819910 856739840 22904 4294967295 134512640 134569956 3221224336 3221214424 1131451922 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 22904 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 81.91
Current children cumulated vsize (Kb) 836660

[startup+100.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18243 3 1 0 9067 53 0 0 17 0 11 0 1844819910 856739840 23110 4294967295 134512640 134569956 3221224336 3221213384 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 23110 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 91.2
Current children cumulated vsize (Kb) 836660

[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18250 3 1 0 9996 53 0 0 16 0 11 0 1844819910 856739840 23399 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 23399 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 100.49
Current children cumulated vsize (Kb) 836660

[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18257 3 1 0 10922 53 0 0 16 0 11 0 1844819910 856739840 23506 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 23506 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 836660

[startup+130.016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18264 3 1 0 11847 53 0 0 16 0 11 0 1844819910 856739840 23657 4294967295 134512640 134569956 3221224336 3221214432 1131451997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 23657 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 119
Current children cumulated vsize (Kb) 836660

[startup+140.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18270 3 1 0 12789 53 0 0 17 0 11 0 1844819910 856739840 23895 4294967295 134512640 134569956 3221224336 3221214432 1131451821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 23895 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 128.42
Current children cumulated vsize (Kb) 836660

[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18277 3 1 0 13722 53 0 0 16 0 11 0 1844819910 856739840 24050 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 24050 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 137.75
Current children cumulated vsize (Kb) 836660

[startup+160.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18284 3 1 0 14652 54 0 0 16 0 11 0 1844819910 856739840 24350 4294967295 134512640 134569956 3221224336 3221214424 1131452685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 24350 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (Kb) 836660

[startup+170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18291 3 1 0 15582 54 0 0 16 0 11 0 1844819910 856739840 24440 4294967295 134512640 134569956 3221224336 3221214520 1131527698 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 24440 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 156.36
Current children cumulated vsize (Kb) 836660

[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18297 3 1 0 16516 55 0 0 17 0 11 0 1844819910 856739840 24620 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 24620 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 165.71
Current children cumulated vsize (Kb) 836660

[startup+190.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18304 3 1 0 17442 55 0 0 16 0 11 0 1844819910 856739840 24803 4294967295 134512640 134569956 3221224336 3221214612 1131445113 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 24803 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 174.97
Current children cumulated vsize (Kb) 836660

[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18310 3 1 0 18382 55 0 0 16 0 11 0 1844819910 856739840 24951 4294967295 134512640 134569956 3221224336 3221214616 1131503925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 24951 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 184.37
Current children cumulated vsize (Kb) 836660

[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18316 3 1 0 19326 55 0 0 16 0 11 0 1844819910 856739840 25183 4294967295 134512640 134569956 3221224336 3221214480 1131381744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 25183 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 193.81
Current children cumulated vsize (Kb) 836660

[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18323 3 1 0 20267 55 0 0 16 0 11 0 1844819910 856739840 25411 4294967295 134512640 134569956 3221224336 3221214712 1131369132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 25411 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 203.22
Current children cumulated vsize (Kb) 836660

[startup+230.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18329 3 1 0 21219 56 0 0 17 0 11 0 1844819910 856739840 25549 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 25549 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 212.75
Current children cumulated vsize (Kb) 836660

[startup+240.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18337 3 1 0 22181 56 0 0 17 0 11 0 1844819910 856739840 25652 4294967295 134512640 134569956 3221224336 3221214616 1131507613 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 25652 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 222.37
Current children cumulated vsize (Kb) 836660

[startup+250.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18344 3 1 0 23137 56 0 0 16 0 11 0 1844819910 856739840 25791 4294967295 134512640 134569956 3221224336 3221214616 1131503925 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 25791 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 231.93
Current children cumulated vsize (Kb) 836660

[startup+260.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18351 3 1 0 24090 56 0 0 16 0 11 0 1844819910 856739840 25896 4294967295 134512640 134569956 3221224336 3221214616 1131505794 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 25896 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 241.46
Current children cumulated vsize (Kb) 836660

[startup+270.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18358 3 1 0 25043 56 0 0 16 0 11 0 1844819910 856739840 26006 4294967295 134512640 134569956 3221224336 3221214528 1131444353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26006 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 250.99
Current children cumulated vsize (Kb) 836660

[startup+280.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18364 3 1 0 25993 57 0 0 18 0 11 0 1844819910 856739840 26073 4294967295 134512640 134569956 3221224336 3221213176 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26073 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 260.5
Current children cumulated vsize (Kb) 836660

[startup+290.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18371 3 1 0 26945 57 0 0 17 0 11 0 1844819910 856739840 26165 4294967295 134512640 134569956 3221224336 3221214528 1131444202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26165 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 836660

[startup+300.116 s]
Raw data (loadavg): 1.14 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18378 3 1 0 27884 57 0 0 16 0 11 0 1844819910 856739840 26317 4294967295 134512640 134569956 3221224336 3221214520 1131528144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 26317 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 279.41
Current children cumulated vsize (Kb) 836660

[startup+310.117 s]
Raw data (loadavg): 1.12 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18385 3 1 0 28827 57 0 0 16 0 11 0 1844819910 856739840 26431 4294967295 134512640 134569956 3221224336 3221214520 1131527875 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26431 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 288.84
Current children cumulated vsize (Kb) 836660

[startup+320.118 s]
Raw data (loadavg): 1.10 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18392 3 1 0 29773 58 0 0 16 0 11 0 1844819910 856739840 26573 4294967295 134512640 134569956 3221224336 3221214424 1131451959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26573 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 298.31
Current children cumulated vsize (Kb) 836660

[startup+330.118 s]
Raw data (loadavg): 1.08 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18398 3 1 0 30730 58 0 0 17 0 11 0 1844819910 856739840 26696 4294967295 134512640 134569956 3221224336 3221214528 1131492327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26696 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 307.88
Current children cumulated vsize (Kb) 836660

[startup+340.119 s]
Raw data (loadavg): 1.07 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18405 3 1 0 31684 58 0 0 17 0 11 0 1844819910 856739840 26864 4294967295 134512640 134569956 3221224336 3221214424 1131544757 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 26864 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 317.42
Current children cumulated vsize (Kb) 836660

[startup+350.12 s]
Raw data (loadavg): 1.06 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18413 3 1 0 32631 59 0 0 17 0 11 0 1844819910 856739840 27052 4294967295 134512640 134569956 3221224336 3221214432 1131452141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27052 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 326.9
Current children cumulated vsize (Kb) 836660

[startup+360.121 s]
Raw data (loadavg): 1.05 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18420 3 1 0 33588 59 0 0 16 0 11 0 1844819910 856739840 27115 4294967295 134512640 134569956 3221224336 3221214516 1131346675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 27115 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 336.47
Current children cumulated vsize (Kb) 836660

[startup+370.123 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18427 3 1 0 34546 59 0 0 16 0 11 0 1844819910 856739840 27213 4294967295 134512640 134569956 3221224336 3221214424 1131451959 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27213 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 346.05
Current children cumulated vsize (Kb) 836660

[startup+380.123 s]
Raw data (loadavg): 1.04 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18434 3 1 0 35506 59 0 0 16 0 11 0 1844819910 856739840 27304 4294967295 134512640 134569956 3221224336 3221214424 1131451959 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27304 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 355.65
Current children cumulated vsize (Kb) 836660

[startup+390.125 s]
Raw data (loadavg): 1.03 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18439 3 1 0 36473 59 0 0 17 0 11 0 1844819910 856739840 27401 4294967295 134512640 134569956 3221224336 3221214800 1131632191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 27401 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 365.32
Current children cumulated vsize (Kb) 836660

[startup+400.126 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18446 3 1 0 37427 60 0 0 17 0 11 0 1844819910 856739840 27489 4294967295 134512640 134569956 3221224336 3221214504 1131380487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27489 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 374.87
Current children cumulated vsize (Kb) 836660

[startup+410.127 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18453 3 1 0 38378 60 0 0 17 0 11 0 1844819910 856739840 27549 4294967295 134512640 134569956 3221224336 3221214480 1131381721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 27549 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 384.38
Current children cumulated vsize (Kb) 836660

[startup+420.128 s]
Raw data (loadavg): 1.02 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18460 3 1 0 39326 60 0 0 17 0 11 0 1844819910 856739840 27639 4294967295 134512640 134569956 3221224336 3221214528 1131492351 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27639 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 393.86
Current children cumulated vsize (Kb) 836660

[startup+430.128 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18467 3 1 0 40269 61 0 0 16 0 11 0 1844819910 856739840 27807 4294967295 134512640 134569956 3221224336 3221214476 1131057164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 27807 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 403.3
Current children cumulated vsize (Kb) 836660

[startup+440.129 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18474 3 1 0 41217 61 0 0 16 0 11 0 1844819910 856739840 27943 4294967295 134512640 134569956 3221224336 3221214480 1131381721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 27943 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 412.78
Current children cumulated vsize (Kb) 836660

[startup+450.13 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18480 3 1 0 42171 61 0 0 17 0 11 0 1844819910 856739840 28028 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 28028 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 422.32
Current children cumulated vsize (Kb) 836660

[startup+460.131 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18487 3 1 0 43121 61 0 0 17 0 11 0 1844819910 856739840 28131 4294967295 134512640 134569956 3221224336 3221214424 1131453698 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 28131 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 431.82
Current children cumulated vsize (Kb) 836660

[startup+470.132 s]
Raw data (loadavg): 1.01 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18494 3 1 0 44072 62 0 0 16 0 11 0 1844819910 856739840 28279 4294967295 134512640 134569956 3221224336 3221214424 1131451959 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28279 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 441.34
Current children cumulated vsize (Kb) 836660

[startup+480.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18500 3 1 0 45033 62 0 0 17 0 11 0 1844819910 856739840 28384 4294967295 134512640 134569956 3221224336 3221214616 1131503627 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 28384 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 450.95
Current children cumulated vsize (Kb) 836660

[startup+490.134 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18507 3 1 0 45992 62 0 0 17 0 11 0 1844819910 856739840 28566 4294967295 134512640 134569956 3221224336 3221214640 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28566 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 460.54
Current children cumulated vsize (Kb) 836660

[startup+500.135 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18513 3 1 0 46961 63 0 0 17 0 11 0 1844819910 856739840 28609 4294967295 134512640 134569956 3221224336 3221214432 1131451903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 28609 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 470.24
Current children cumulated vsize (Kb) 836660

[startup+510.135 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18520 3 1 0 47923 63 0 0 17 0 11 0 1844819910 856739840 28720 4294967295 134512640 134569956 3221224336 3221214520 1131527519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28720 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 479.86
Current children cumulated vsize (Kb) 836660

[startup+520.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18527 3 1 0 48884 64 0 0 16 0 11 0 1844819910 856739840 28750 4294967295 134512640 134569956 3221224336 3221214520 1131527841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28750 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 489.48
Current children cumulated vsize (Kb) 836660

[startup+530.136 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18533 3 1 0 49850 64 0 0 16 0 11 0 1844819910 856739840 28856 4294967295 134512640 134569956 3221224336 3221214432 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28856 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 499.14
Current children cumulated vsize (Kb) 836660

[startup+540.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18539 3 1 0 50814 65 0 0 16 0 11 0 1844819910 856739840 28894 4294967295 134512640 134569956 3221224336 3221214424 1131451736 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 28894 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 508.79
Current children cumulated vsize (Kb) 836660

[startup+550.138 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18546 3 1 0 51770 65 0 0 16 0 11 0 1844819910 856739840 28966 4294967295 134512640 134569956 3221224336 3221214616 1131503925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 28966 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 518.35
Current children cumulated vsize (Kb) 836660

[startup+560.138 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18553 3 1 0 52729 65 0 0 16 0 11 0 1844819910 856739840 29080 4294967295 134512640 134569956 3221224336 3221214520 1131527571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29080 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 527.94
Current children cumulated vsize (Kb) 836660

[startup+570.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18559 3 1 0 53696 65 0 0 17 0 11 0 1844819910 856739840 29159 4294967295 134512640 134569956 3221224336 3221214712 1131369210 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29159 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 537.61
Current children cumulated vsize (Kb) 836660

[startup+580.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18566 3 1 0 54659 66 0 0 17 0 11 0 1844819910 856739840 29263 4294967295 134512640 134569956 3221224336 3221214424 1131452678 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29263 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 547.25
Current children cumulated vsize (Kb) 836660

[startup+590.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18573 3 1 0 55629 66 0 0 16 0 11 0 1844819910 856739840 29359 4294967295 134512640 134569956 3221224336 3221214616 1131503853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29359 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 556.95
Current children cumulated vsize (Kb) 836660

[startup+600.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18580 3 1 0 56598 66 0 0 17 0 11 0 1844819910 856739840 29419 4294967295 134512640 134569956 3221224336 3221214528 1131492327 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29419 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 566.64
Current children cumulated vsize (Kb) 836660

[startup+610.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18587 3 1 0 57569 66 0 0 17 0 11 0 1844819910 856739840 29500 4294967295 134512640 134569956 3221224336 3221214480 1131421723 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29500 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 576.35
Current children cumulated vsize (Kb) 836660

[startup+620.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18594 3 1 0 58544 66 0 0 17 0 11 0 1844819910 856739840 29560 4294967295 134512640 134569956 3221224336 3221214616 1131503635 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29560 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 586.1
Current children cumulated vsize (Kb) 836660

[startup+630.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18600 3 1 0 59521 66 0 0 17 0 11 0 1844819910 856739840 29596 4294967295 134512640 134569956 3221224336 3221214480 1131381739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29596 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 595.87
Current children cumulated vsize (Kb) 836660

[startup+640.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18607 3 1 0 60492 67 0 0 18 0 11 0 1844819910 856739840 29680 4294967295 134512640 134569956 3221224336 3221214424 1131451721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29680 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 605.59
Current children cumulated vsize (Kb) 836660

[startup+650.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18614 3 1 0 61466 68 0 0 19 0 11 0 1844819910 856739840 29696 4294967295 134512640 134569956 3221224336 3221214424 1131452202 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29696 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 615.34
Current children cumulated vsize (Kb) 836660

[startup+660.146 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18622 3 1 0 62433 68 0 0 16 0 11 0 1844819910 856739840 29730 4294967295 134512640 134569956 3221224336 3221214616 1131503925 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29730 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 625.01
Current children cumulated vsize (Kb) 836660

[startup+670.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18629 3 1 0 63402 68 0 0 17 0 11 0 1844819910 856739840 29817 4294967295 134512640 134569956 3221224336 3221214424 1131452192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29817 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 634.7
Current children cumulated vsize (Kb) 836660

[startup+680.148 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18635 3 1 0 64376 68 0 0 17 0 11 0 1844819910 856739840 29864 4294967295 134512640 134569956 3221224336 3221214432 1131451959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29864 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 644.44
Current children cumulated vsize (Kb) 836660

[startup+690.149 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18641 3 1 0 65346 68 0 0 17 0 11 0 1844819910 856739840 29878 4294967295 134512640 134569956 3221224336 3221214424 1131452678 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 29878 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 654.14
Current children cumulated vsize (Kb) 836660

[startup+700.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18648 3 1 0 66307 69 0 0 17 0 11 0 1844819910 856739840 29929 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 29929 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 663.76
Current children cumulated vsize (Kb) 836660

[startup+710.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18655 3 1 0 67267 69 0 0 16 0 11 0 1844819910 856739840 30038 4294967295 134512640 134569956 3221224336 3221214616 1131505943 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30038 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 673.36
Current children cumulated vsize (Kb) 836660

[startup+720.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18662 3 1 0 68228 69 0 0 17 0 11 0 1844819910 856739840 30051 4294967295 134512640 134569956 3221224336 3221214528 1131444376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30051 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 682.97
Current children cumulated vsize (Kb) 836660

[startup+730.152 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18669 3 1 0 69187 70 0 0 16 0 11 0 1844819910 856739840 30172 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30172 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 692.57
Current children cumulated vsize (Kb) 836660

[startup+740.153 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18676 3 1 0 70148 70 0 0 17 0 11 0 1844819910 856739840 30305 4294967295 134512640 134569956 3221224336 3221214424 1131451756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30305 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (Kb) 836660

[startup+750.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18683 3 1 0 71112 70 0 0 17 0 11 0 1844819910 856739840 30368 4294967295 134512640 134569956 3221224336 3221214424 1131544255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30368 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 711.82
Current children cumulated vsize (Kb) 836660

[startup+760.155 s]
Raw data (loadavg): 1.00 1.00 0.92 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18690 3 1 0 72077 71 0 0 17 0 11 0 1844819910 856739840 30416 4294967295 134512640 134569956 3221224336 3221214476 1131057236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30416 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 721.48
Current children cumulated vsize (Kb) 836660

[startup+770.155 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18697 3 1 0 73041 71 0 0 16 0 11 0 1844819910 856739840 30533 4294967295 134512640 134569956 3221224336 3221213136 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30533 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 731.12
Current children cumulated vsize (Kb) 836660

[startup+780.155 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18704 3 1 0 74018 71 0 0 18 0 11 0 1844819910 856739840 30623 4294967295 134512640 134569956 3221224336 3221214520 1131528087 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30623 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 740.89
Current children cumulated vsize (Kb) 836660

[startup+790.156 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18711 3 1 0 74993 71 0 0 18 0 11 0 1844819910 856739840 30686 4294967295 134512640 134569956 3221224336 3221214424 1131543877 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30686 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 750.64
Current children cumulated vsize (Kb) 836660

[startup+800.157 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18718 3 1 0 75970 71 0 0 18 0 11 0 1844819910 856739840 30743 4294967295 134512640 134569956 3221224336 3221214488 1131533156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30743 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 760.41
Current children cumulated vsize (Kb) 836660

[startup+810.158 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18724 3 1 0 76949 71 0 0 17 0 11 0 1844819910 856739840 30774 4294967295 134512640 134569956 3221224336 3221214432 1131452051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30774 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 770.2
Current children cumulated vsize (Kb) 836660

[startup+820.158 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18731 3 1 0 77921 72 0 0 17 0 11 0 1844819910 856739840 30798 4294967295 134512640 134569956 3221224336 3221214432 1131451959 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30798 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 779.93
Current children cumulated vsize (Kb) 836660

[startup+830.159 s]
Raw data (loadavg): 1.10 1.03 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18738 3 1 0 78891 72 0 0 17 0 11 0 1844819910 856739840 30837 4294967295 134512640 134569956 3221224336 3221214528 1131444878 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30837 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 789.63
Current children cumulated vsize (Kb) 836660

[startup+840.161 s]
Raw data (loadavg): 1.08 1.03 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18745 3 1 0 79859 73 0 0 17 0 11 0 1844819910 856739840 30895 4294967295 134512640 134569956 3221224336 3221214480 1131370073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 30895 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 799.32
Current children cumulated vsize (Kb) 836660

[startup+850.162 s]
Raw data (loadavg): 1.07 1.03 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18752 3 1 0 80825 73 0 0 17 0 11 0 1844819910 856739840 30981 4294967295 134512640 134569956 3221224336 3221214520 1131528120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 30981 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 808.98
Current children cumulated vsize (Kb) 836660

[startup+860.163 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18760 3 1 0 81788 73 0 0 16 0 11 0 1844819910 856739840 31041 4294967295 134512640 134569956 3221224336 3221214424 1131543851 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31041 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 818.61
Current children cumulated vsize (Kb) 836660

[startup+870.164 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18766 3 1 0 82761 73 0 0 17 0 11 0 1844819910 856739840 31112 4294967295 134512640 134569956 3221224336 3221214528 1131444586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31112 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 828.34
Current children cumulated vsize (Kb) 836660

[startup+880.164 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18773 3 1 0 83730 73 0 0 18 0 11 0 1844819910 856739840 31152 4294967295 134512640 134569956 3221224336 3221214424 1131452122 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31152 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 838.03
Current children cumulated vsize (Kb) 836660

[startup+890.164 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18780 3 1 0 84700 73 0 0 19 0 11 0 1844819910 856739840 31246 4294967295 134512640 134569956 3221224336 3221214528 1131444372 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31246 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 847.73
Current children cumulated vsize (Kb) 836660

[startup+900.165 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18786 3 1 0 85676 74 0 0 17 0 11 0 1844819910 856739840 31288 4294967295 134512640 134569956 3221224336 3221214616 1131504745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31288 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 857.5
Current children cumulated vsize (Kb) 836660

[startup+910.165 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18793 3 1 0 86648 74 0 0 18 0 11 0 1844819910 856739840 31341 4294967295 134512640 134569956 3221224336 3221214516 1131421708 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31341 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 867.22
Current children cumulated vsize (Kb) 836660

[startup+920.166 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18801 3 1 0 87614 74 0 0 16 0 11 0 1844819910 856739840 31404 4294967295 134512640 134569956 3221224336 3221214528 1131444809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31404 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 876.88
Current children cumulated vsize (Kb) 836660

[startup+930.167 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18808 3 1 0 88581 75 0 0 17 0 11 0 1844819910 856739840 31450 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31450 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 886.56
Current children cumulated vsize (Kb) 836660

[startup+940.168 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18814 3 1 0 89553 75 0 0 17 0 11 0 1844819910 856739840 31501 4294967295 134512640 134569956 3221224336 3221214112 1131481474 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31501 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 896.28
Current children cumulated vsize (Kb) 836660

[startup+950.168 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18822 3 1 0 90515 75 0 0 17 0 11 0 1844819910 856739840 31569 4294967295 134512640 134569956 3221224336 3221214424 1131452175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31569 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 905.9
Current children cumulated vsize (Kb) 836660

[startup+960.168 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18829 3 1 0 91482 75 0 0 16 0 11 0 1844819910 856739840 31650 4294967295 134512640 134569956 3221224336 3221214432 1131452130 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31650 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 915.57
Current children cumulated vsize (Kb) 836660

[startup+970.17 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18835 3 1 0 92455 75 0 0 17 0 11 0 1844819910 856739840 31703 4294967295 134512640 134569956 3221224336 3221214528 1131444864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31703 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 925.3
Current children cumulated vsize (Kb) 836660

[startup+980.171 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18843 3 1 0 93420 76 0 0 16 0 11 0 1844819910 856739840 31779 4294967295 134512640 134569956 3221224336 3221214424 1131544505 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31779 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 934.96
Current children cumulated vsize (Kb) 836660

[startup+990.171 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18849 3 1 0 94389 76 0 0 17 0 11 0 1844819910 856739840 31845 4294967295 134512640 134569956 3221224336 3221214708 1131380384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31845 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 944.65
Current children cumulated vsize (Kb) 836660

[startup+1000.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18856 3 1 0 95355 76 0 0 17 0 11 0 1844819910 856739840 31907 4294967295 134512640 134569956 3221224336 3221214520 1131527641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 31907 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 954.31
Current children cumulated vsize (Kb) 836660

[startup+1010.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18861 3 1 0 96328 76 0 0 19 0 11 0 1844819910 856739840 31975 4294967295 134512640 134569956 3221224336 3221214528 1131444454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 31975 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 964.04
Current children cumulated vsize (Kb) 836660

[startup+1020.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15796
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18868 3 1 0 97290 77 0 0 17 0 11 0 1844819910 856739840 32045 4294967295 134512640 134569956 3221224336 3221214528 1131444272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32045 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 973.67
Current children cumulated vsize (Kb) 836660
One traced child (pid=15796) exited with status: 0
New thread pid=15797

[startup+1030.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18872 3 1 0 98267 77 0 0 21 0 11 0 1844819910 856739840 32082 4294967295 134512640 134569956 3221224336 3221214616 1131503925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32082 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 983.44
Current children cumulated vsize (Kb) 836660

[startup+1040.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18876 3 1 0 99245 77 0 0 20 0 11 0 1844819910 856739840 32157 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32157 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 993.22
Current children cumulated vsize (Kb) 836660

[startup+1050.17 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18882 3 1 0 100211 77 0 0 17 0 11 0 1844819910 856739840 32203 4294967295 134512640 134569956 3221224336 3221214528 1131443948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32203 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1002.88
Current children cumulated vsize (Kb) 836660

[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18887 3 1 0 101180 78 0 0 18 0 11 0 1844819910 856739840 32255 4294967295 134512640 134569956 3221224336 3221214224 1131706740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32255 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1012.58
Current children cumulated vsize (Kb) 836660

[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18893 3 1 0 102144 78 0 0 17 0 11 0 1844819910 856739840 32329 4294967295 134512640 134569956 3221224336 3221214208 1131703642 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32329 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1022.22
Current children cumulated vsize (Kb) 836660

[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18901 3 1 0 103097 78 0 0 16 0 11 0 1844819910 856739840 32402 4294967295 134512640 134569956 3221224336 3221214424 1131544607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32402 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1031.75
Current children cumulated vsize (Kb) 836660

[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18908 3 1 0 104053 80 0 0 16 0 11 0 1844819910 856739840 32475 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32475 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1041.33
Current children cumulated vsize (Kb) 836660

[startup+1100.18 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18914 3 1 0 105016 80 0 0 16 0 11 0 1844819910 856739840 32592 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32592 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1050.96
Current children cumulated vsize (Kb) 836660

[startup+1110.18 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18920 3 1 0 105979 80 0 0 17 0 11 0 1844819910 856739840 32659 4294967295 134512640 134569956 3221224336 3221214424 1131451955 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32659 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1060.59
Current children cumulated vsize (Kb) 836660

[startup+1120.18 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18924 3 1 0 106954 80 0 0 19 0 11 0 1844819910 856739840 32700 4294967295 134512640 134569956 3221224336 3221214616 1131503860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32700 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1070.34
Current children cumulated vsize (Kb) 836660

[startup+1130.18 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18929 3 1 0 107920 81 0 0 17 0 11 0 1844819910 856739840 32705 4294967295 134512640 134569956 3221224336 3221214528 1131444427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32705 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1080.01
Current children cumulated vsize (Kb) 836660

[startup+1140.18 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18934 3 1 0 108886 81 0 0 16 0 11 0 1844819910 856739840 32784 4294967295 134512640 134569956 3221224336 3221214108 1131706761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32784 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1089.67
Current children cumulated vsize (Kb) 836660

[startup+1150.18 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18938 3 1 0 109859 81 0 0 16 0 11 0 1844819910 856739840 32855 4294967295 134512640 134569956 3221224336 3221214616 1131504859 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32855 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1099.4
Current children cumulated vsize (Kb) 836660

[startup+1160.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18943 3 1 0 110828 81 0 0 19 0 11 0 1844819910 856739840 32924 4294967295 134512640 134569956 3221224336 3221214560 1131452018 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 32924 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1109.09
Current children cumulated vsize (Kb) 836660

[startup+1170.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18947 3 1 0 111802 82 0 0 18 0 11 0 1844819910 856739840 32987 4294967295 134512640 134569956 3221224336 3221214616 1131503853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 32987 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1118.84
Current children cumulated vsize (Kb) 836660

[startup+1180.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18953 3 1 0 112767 82 0 0 17 0 11 0 1844819910 856739840 33073 4294967295 134512640 134569956 3221224336 3221214528 1131444353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33073 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1128.49
Current children cumulated vsize (Kb) 836660

[startup+1190.18 s]
Raw data (loadavg): 1.01 1.01 0.94 3/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18961 3 1 0 113729 83 0 0 17 0 11 0 1844819910 856739840 33171 4294967295 134512640 134569956 3221224336 3221214424 1131451997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33171 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1138.12
Current children cumulated vsize (Kb) 836660

[startup+1200.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18968 3 1 0 114698 84 0 0 18 0 11 0 1844819910 856739840 33256 4294967295 134512640 134569956 3221224336 3221214616 1131505926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33256 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1147.82
Current children cumulated vsize (Kb) 836660

[startup+1210.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18975 3 1 0 115662 84 0 0 17 0 11 0 1844819910 856739840 33314 4294967295 134512640 134569956 3221224336 3221214528 1131492369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 33314 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1157.46
Current children cumulated vsize (Kb) 836660

[startup+1220.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) S 15783 15784 5245 0 -1 0 18980 3 1 0 116631 84 0 0 19 0 11 0 1844819910 856739840 33358 4294967295 134512640 134569956 3221224336 3221213168 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33359 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1167.15
Current children cumulated vsize (Kb) 836660

[startup+1230.19 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18987 3 1 0 117582 84 0 0 16 0 11 0 1844819910 856739840 33385 4294967295 134512640 134569956 3221224336 3221214480 1131381721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33385 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1176.66
Current children cumulated vsize (Kb) 836660

[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18993 3 1 0 118532 84 0 0 16 0 11 0 1844819910 856739840 33399 4294967295 134512640 134569956 3221224336 3221214432 1131452078 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 33399 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1186.16
Current children cumulated vsize (Kb) 836660

[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 18999 3 1 0 119483 85 0 0 17 0 11 0 1844819910 856739840 33494 4294967295 134512640 134569956 3221224336 3221214528 1131443933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15784/statm): 209165 33494 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1195.68
Current children cumulated vsize (Kb) 836660

[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 19005 3 1 0 120436 85 0 0 17 0 11 0 1844819910 856739840 33600 4294967295 134512640 134569956 3221224336 3221214616 1131504027 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33600 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1205.21
Current children cumulated vsize (Kb) 836660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 15797
Raw data (/proc/15784/stat): 15784 (java) R 15783 15784 5245 0 -1 0 19005 3 1 0 120436 85 0 0 17 0 11 0 1844819910 856739840 33600 4294967295 134512640 134569956 3221224336 3221214528 1131443950 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15784/statm): 209165 33600 13129 16 0 209149 0
[pid=15784] vsize: 836660
Current children cumulated CPU time (s) 1205.21
Current children cumulated vsize (Kb) 836660

Sending SIGTERM to -15784
Sleeping 2 seconds
New thread pid=15799
New thread pid=15800
One traced child (pid=15800) exited with status: 0
One traced child (pid=15793) exited with status: 0
One traced child (pid=15788) exited with status: 0
One traced child (pid=15785) exited with status: 143
One traced child (pid=15786) exited with status: 143
One traced child (pid=15787) exited with status: 143
One traced child (pid=15791) exited with status: 143
One traced child (pid=15792) exited with status: 143
One traced child (pid=15790) exited with status: 143
One traced child (pid=15789) exited with status: 143
One traced child (pid=15797) exited with status: 143
One traced child (pid=15799) exited with status: 143
One traced child (pid=15784) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.32
CPU time (s): 1267.27
CPU user time (s): 1265.54
CPU system time (s): 1.72774
CPU usage (%): 100.552
Max. virtual memory (cumulated for all children) (Kb): 838504

Verifier Data

Verifier:	OK	66