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-1pb.opb
MD5SUM9f27aad2edb50c2232eec4dba5ec2271
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 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 benchmark229.103
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
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 3176

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913380 kB
Buffers:         33800 kB
Cached:          60056 kB
SwapCached:        732 kB
Active:          50576 kB
Inactive:        45852 kB
HighTotal:      131008 kB
HighFree:        69104 kB
LowTotal:       903652 kB
LowFree:        844276 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19028 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 22:42:19 (client local time) WITH STATUS 143 IN 1256.82 SECONDS
stats: 6096 0 1256.82 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/wulflinc11/normalized-s4-4-3-1pb.opb
c reading problem ... done. Time 2.379 ms.
c #vars     672
c #constraints  2028
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  68 		Current CPU time: 4.85 ms
c CURRENT OPTIMUM=                  66 		Current CPU time: 6.41 ms
c CURRENT OPTIMUM=                  64 		Current CPU time: 84.30 ms
c starts		: 10
c conflicts		: 1573
c decisions		: 10346
c propagations		: 78111
c inspects		: 1410610
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1573
c root simplifications	: 16
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 267
c speed (decisions/second)	: 8.808734832049968
c non guided choices	627
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=64
c Total CPU time (ms) : 1258.848

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/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786582581 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 39 3 38 16 0 23 0
[pid=18290] 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/18290
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=18291
New thread pid=18292
New thread pid=18293
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=18294
New thread pid=18295
New thread pid=18296
New thread pid=18297
New thread pid=18298
New thread pid=18299
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/wulflinc11/normalized-s4-4-3-1pb.opb
New thread pid=18300
One traced child (pid=18300) exited with status: 0
New thread pid=18301
One traced child (pid=18301) exited with status: 0
New thread pid=18302

[startup+10.0034 s]
Raw data (loadavg): 1.16 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18190 4 1 0 728 49 0 0 21 0 11 0 1786582581 858488832 20622 4294967295 134512640 134569956 3221224336 3221214720 1131436421 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209592 20622 13129 16 0 209576 0
[pid=18290] vsize: 838368
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (Kb) 838368

[startup+20.0042 s]
Raw data (loadavg): 1.13 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18198 4 1 0 1667 49 0 0 22 0 11 0 1786582581 856391680 21297 4294967295 134512640 134569956 3221224336 3221214284 1078035176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 21297 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 17.16
Current children cumulated vsize (Kb) 836320

[startup+30.0049 s]
Raw data (loadavg): 1.11 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18205 4 1 0 2618 49 0 0 21 0 11 0 1786582581 856391680 21298 4294967295 134512640 134569956 3221224336 3221214680 1131389680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 21298 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 26.67
Current children cumulated vsize (Kb) 836320

[startup+40.0057 s]
Raw data (loadavg): 1.10 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18212 4 1 0 3566 50 0 0 20 0 11 0 1786582581 856391680 21298 4294967295 134512640 134569956 3221224336 3221214488 1131419325 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 21298 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 36.16
Current children cumulated vsize (Kb) 836320

[startup+50.0065 s]
Raw data (loadavg): 1.08 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18218 4 1 0 4514 50 0 0 25 0 11 0 1786582581 856391680 21298 4294967295 134512640 134569956 3221224336 3221214640 1131451634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 21298 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 45.64
Current children cumulated vsize (Kb) 836320

[startup+60.0073 s]
Raw data (loadavg): 1.07 1.03 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18225 4 1 0 5454 51 0 0 24 0 11 0 1786582581 856391680 21553 4294967295 134512640 134569956 3221224336 3221214616 1131361657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 21553 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 55.05
Current children cumulated vsize (Kb) 836320

[startup+70.0081 s]
Raw data (loadavg): 1.06 1.02 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18234 4 1 0 6395 51 0 0 25 0 11 0 1786582581 856391680 21780 4294967295 134512640 134569956 3221224336 3221214728 1131484441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 21780 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 64.46
Current children cumulated vsize (Kb) 836320

[startup+80.0089 s]
Raw data (loadavg): 1.05 1.02 0.96 2/66 18302
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18241 4 1 0 7339 51 0 0 20 0 11 0 1786582581 856391680 21904 4294967295 134512640 134569956 3221224336 3221214544 1131461029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 21904 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 73.9
Current children cumulated vsize (Kb) 836320
One traced child (pid=18302) exited with status: 0
New thread pid=18303

[startup+90.0097 s]
Raw data (loadavg): 1.04 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18248 4 1 0 8287 52 0 0 25 0 11 0 1786582581 856391680 22007 4294967295 134512640 134569956 3221224336 3221214616 1131362340 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 22007 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 83.39
Current children cumulated vsize (Kb) 836320

[startup+100.009 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18255 4 1 0 9215 52 0 0 17 0 11 0 1786582581 856391680 22604 4294967295 134512640 134569956 3221224336 3221214640 1131451634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 22604 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 92.67
Current children cumulated vsize (Kb) 836320

[startup+110.011 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18261 4 1 0 10151 52 0 0 24 0 11 0 1786582581 856391680 22818 4294967295 134512640 134569956 3221224336 3221214576 1131397639 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 22818 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (Kb) 836320

[startup+120.012 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18268 4 1 0 11078 52 0 0 18 0 11 0 1786582581 856391680 22886 4294967295 134512640 134569956 3221224336 3221214592 1131532757 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 22886 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 111.3
Current children cumulated vsize (Kb) 836320

[startup+130.012 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18274 4 1 0 12013 53 0 0 25 0 11 0 1786582581 856391680 23105 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 23105 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 120.66
Current children cumulated vsize (Kb) 836320

[startup+140.013 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18281 4 1 0 12951 53 0 0 23 0 11 0 1786582581 856391680 23281 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 23281 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 836320

[startup+150.013 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18287 4 1 0 13891 53 0 0 25 0 11 0 1786582581 856391680 23580 4294967295 134512640 134569956 3221224336 3221214728 1131484441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 23580 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 139.44
Current children cumulated vsize (Kb) 836320

[startup+160.014 s]
Raw data (loadavg): 1.01 1.02 0.96 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18293 4 1 0 14846 53 0 0 25 0 11 0 1786582581 856391680 23722 4294967295 134512640 134569956 3221224336 3221214728 1131485216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 23722 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 148.99
Current children cumulated vsize (Kb) 836320

[startup+170.015 s]
Raw data (loadavg): 1.08 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18299 4 1 0 15799 53 0 0 25 0 11 0 1786582581 856391680 23770 4294967295 134512640 134569956 3221224336 3221214640 1131360180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 23770 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 158.52
Current children cumulated vsize (Kb) 836320

[startup+180.015 s]
Raw data (loadavg): 1.07 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18306 4 1 0 16743 53 0 0 21 0 11 0 1786582581 856391680 23952 4294967295 134512640 134569956 3221224336 3221214552 1131389680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 23952 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 167.96
Current children cumulated vsize (Kb) 836320

[startup+190.016 s]
Raw data (loadavg): 1.06 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18312 4 1 0 17704 54 0 0 25 0 11 0 1786582581 856391680 24094 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24094 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 177.58
Current children cumulated vsize (Kb) 836320

[startup+200.016 s]
Raw data (loadavg): 1.05 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18320 4 1 0 18661 54 0 0 25 0 11 0 1786582581 856391680 24096 4294967295 134512640 134569956 3221224336 3221214496 1131419345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24096 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 187.15
Current children cumulated vsize (Kb) 836320

[startup+210.017 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18327 4 1 0 19621 54 0 0 25 0 11 0 1786582581 856391680 24192 4294967295 134512640 134569956 3221224336 3221214640 1131451657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24192 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 196.75
Current children cumulated vsize (Kb) 836320

[startup+220.018 s]
Raw data (loadavg): 1.03 1.03 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18334 4 1 0 20572 54 0 0 25 0 11 0 1786582581 856391680 24334 4294967295 134512640 134569956 3221224336 3221214592 1131533001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24334 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 206.26
Current children cumulated vsize (Kb) 836320

[startup+230.019 s]
Raw data (loadavg): 1.03 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18341 4 1 0 21521 55 0 0 23 0 11 0 1786582581 856391680 24398 4294967295 134512640 134569956 3221224336 3221214480 1131361754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 24398 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 215.76
Current children cumulated vsize (Kb) 836320

[startup+240.019 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18348 4 1 0 22466 55 0 0 23 0 11 0 1786582581 856391680 24452 4294967295 134512640 134569956 3221224336 3221214496 1131419196 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24452 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 225.21
Current children cumulated vsize (Kb) 836320

[startup+250.019 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) S 18289 18290 9854 0 -1 0 18354 4 1 0 23414 55 0 0 17 0 11 0 1786582581 856391680 24581 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 24581 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 234.69
Current children cumulated vsize (Kb) 836320

[startup+260.021 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18361 4 1 0 24349 56 0 0 17 0 11 0 1786582581 856391680 24812 4294967295 134512640 134569956 3221224336 3221214496 1131419186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 24812 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 244.05
Current children cumulated vsize (Kb) 836320

[startup+270.022 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18367 4 1 0 25295 56 0 0 18 0 11 0 1786582581 856391680 24894 4294967295 134512640 134569956 3221224336 3221214480 1131361779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 24894 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 253.51
Current children cumulated vsize (Kb) 836320

[startup+280.022 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18373 4 1 0 26242 56 0 0 22 0 11 0 1786582581 856391680 24979 4294967295 134512640 134569956 3221224336 3221214728 1131484581 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 24979 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 262.98
Current children cumulated vsize (Kb) 836320

[startup+290.023 s]
Raw data (loadavg): 1.01 1.02 0.97 1/66 18303
Raw data (/proc/18290/stat): 18290 (java) T 18289 18290 9854 0 -1 0 18379 4 1 0 27189 56 0 0 25 0 11 0 1786582581 856391680 25094 4294967295 134512640 134569956 3221224336 3221213812 1074594577 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 25094 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 272.45
Current children cumulated vsize (Kb) 836320

[startup+300.024 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18386 4 1 0 28133 56 0 0 22 0 11 0 1786582581 856391680 25342 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 25342 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (Kb) 836320

[startup+310.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18392 4 1 0 29092 57 0 0 25 0 11 0 1786582581 856391680 25509 4294967295 134512640 134569956 3221224336 3221214640 1131451577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 25509 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 291.49
Current children cumulated vsize (Kb) 836320

[startup+320.026 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18398 4 1 0 30054 57 0 0 25 0 11 0 1786582581 856391680 25590 4294967295 134512640 134569956 3221224336 3221214728 1131485216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 25590 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 301.11
Current children cumulated vsize (Kb) 836320

[startup+330.027 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18405 4 1 0 31010 57 0 0 18 0 11 0 1786582581 856391680 25693 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 25693 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 310.67
Current children cumulated vsize (Kb) 836320

[startup+340.027 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18410 4 1 0 31976 57 0 0 25 0 11 0 1786582581 856391680 25735 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 25735 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 320.33
Current children cumulated vsize (Kb) 836320

[startup+350.028 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18416 4 1 0 32936 57 0 0 25 0 11 0 1786582581 856391680 25822 4294967295 134512640 134569956 3221224336 3221214728 1131485704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 25822 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 329.93
Current children cumulated vsize (Kb) 836320

[startup+360.03 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18423 4 1 0 33891 58 0 0 19 0 11 0 1786582581 856391680 25923 4294967295 134512640 134569956 3221224336 3221214640 1131451560 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 25923 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (Kb) 836320

[startup+370.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18429 4 1 0 34855 59 0 0 18 0 11 0 1786582581 856391680 26045 4294967295 134512640 134569956 3221224336 3221214640 1131451608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26045 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 349.14
Current children cumulated vsize (Kb) 836320

[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18435 4 1 0 35822 59 0 0 25 0 11 0 1786582581 856391680 26120 4294967295 134512640 134569956 3221224336 3221214728 1131488228 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26120 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 358.81
Current children cumulated vsize (Kb) 836320

[startup+390.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18442 4 1 0 36789 60 0 0 18 0 11 0 1786582581 856391680 26225 4294967295 134512640 134569956 3221224336 3221214720 1131388978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26225 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 368.49
Current children cumulated vsize (Kb) 836320

[startup+400.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18448 4 1 0 37761 60 0 0 25 0 11 0 1786582581 856391680 26281 4294967295 134512640 134569956 3221224336 3221214504 1131419275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26281 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 378.21
Current children cumulated vsize (Kb) 836320

[startup+410.035 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18454 4 1 0 38731 61 0 0 25 0 11 0 1786582581 856391680 26349 4294967295 134512640 134569956 3221224336 3221214496 1131419342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26349 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 387.92
Current children cumulated vsize (Kb) 836320

[startup+420.036 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) S 18289 18290 9854 0 -1 0 18461 4 1 0 39695 61 0 0 25 0 11 0 1786582581 856391680 26403 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26403 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 397.56
Current children cumulated vsize (Kb) 836320

[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18467 4 1 0 40663 62 0 0 25 0 11 0 1786582581 856391680 26448 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26448 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 407.25
Current children cumulated vsize (Kb) 836320

[startup+440.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18473 4 1 0 41629 62 0 0 25 0 11 0 1786582581 856391680 26503 4294967295 134512640 134569956 3221224336 3221214728 1131486031 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26503 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 416.91
Current children cumulated vsize (Kb) 836320

[startup+450.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18479 4 1 0 42592 63 0 0 23 0 11 0 1786582581 856391680 26569 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26569 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 426.55
Current children cumulated vsize (Kb) 836320

[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18485 4 1 0 43555 63 0 0 25 0 11 0 1786582581 856391680 26659 4294967295 134512640 134569956 3221224336 3221214728 1131484566 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26659 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 436.18
Current children cumulated vsize (Kb) 836320

[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18491 4 1 0 44521 63 0 0 25 0 11 0 1786582581 856391680 26736 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26736 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 445.84
Current children cumulated vsize (Kb) 836320

[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18497 4 1 0 45486 63 0 0 25 0 11 0 1786582581 856391680 26804 4294967295 134512640 134569956 3221224336 3221214752 1131457562 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 26804 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 455.49
Current children cumulated vsize (Kb) 836320

[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18503 4 1 0 46452 64 0 0 25 0 11 0 1786582581 856391680 26868 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 26868 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 465.16
Current children cumulated vsize (Kb) 836320

[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18511 4 1 0 47410 64 0 0 20 0 11 0 1786582581 856391680 27013 4294967295 134512640 134569956 3221224336 3221214728 1131357847 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27013 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 474.74
Current children cumulated vsize (Kb) 836320

[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18518 4 1 0 48370 65 0 0 22 0 11 0 1786582581 856391680 27067 4294967295 134512640 134569956 3221224336 3221214496 1131419379 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 27067 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 484.35
Current children cumulated vsize (Kb) 836320

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18525 4 1 0 49331 65 0 0 25 0 11 0 1786582581 856391680 27140 4294967295 134512640 134569956 3221224336 3221214592 1131533115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27140 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 493.96
Current children cumulated vsize (Kb) 836320

[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18532 4 1 0 50292 65 0 0 25 0 11 0 1786582581 856391680 27205 4294967295 134512640 134569956 3221224336 3221214496 1131419417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 27205 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 503.57
Current children cumulated vsize (Kb) 836320

[startup+540.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18539 4 1 0 51255 65 0 0 18 0 11 0 1786582581 856391680 27268 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 27268 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 513.2
Current children cumulated vsize (Kb) 836320

[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18546 4 1 0 52215 66 0 0 22 0 11 0 1786582581 856391680 27406 4294967295 134512640 134569956 3221224336 3221214504 1131419379 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27406 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 522.81
Current children cumulated vsize (Kb) 836320

[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18553 4 1 0 53165 66 0 0 25 0 11 0 1786582581 856391680 27464 4294967295 134512640 134569956 3221224336 3221214640 1131451487 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27464 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 532.31
Current children cumulated vsize (Kb) 836320

[startup+570.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18560 4 1 0 54115 66 0 0 25 0 11 0 1786582581 856391680 27536 4294967295 134512640 134569956 3221224336 3221214616 1131361671 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27536 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 541.81
Current children cumulated vsize (Kb) 836320

[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18567 4 1 0 55065 66 0 0 25 0 11 0 1786582581 856391680 27596 4294967295 134512640 134569956 3221224336 3221214640 1131451861 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27596 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 551.31
Current children cumulated vsize (Kb) 836320

[startup+590.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18574 4 1 0 56017 67 0 0 21 0 11 0 1786582581 856391680 27702 4294967295 134512640 134569956 3221224336 3221214592 1131527767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 27702 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (Kb) 836320

[startup+600.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18581 4 1 0 56975 67 0 0 25 0 11 0 1786582581 856391680 27958 4294967295 134512640 134569956 3221224336 3221214548 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 27958 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 570.42
Current children cumulated vsize (Kb) 836320

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18588 4 1 0 57941 68 0 0 25 0 11 0 1786582581 856391680 28028 4294967295 134512640 134569956 3221224336 3221214592 1131527697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28028 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (Kb) 836320

[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18595 4 1 0 58909 68 0 0 25 0 11 0 1786582581 856391680 28090 4294967295 134512640 134569956 3221224336 3221214504 1131419470 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28090 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 589.77
Current children cumulated vsize (Kb) 836320

[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18602 4 1 0 59879 68 0 0 25 0 11 0 1786582581 856391680 28159 4294967295 134512640 134569956 3221224336 3221214592 1131532377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28159 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 599.47
Current children cumulated vsize (Kb) 836320

[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18609 4 1 0 60848 68 0 0 21 0 11 0 1786582581 856391680 28228 4294967295 134512640 134569956 3221224336 3221214624 1131419379 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28228 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 609.16
Current children cumulated vsize (Kb) 836320

[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18616 4 1 0 61809 68 0 0 25 0 11 0 1786582581 856391680 28305 4294967295 134512640 134569956 3221224336 3221214560 1131461029 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28305 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 618.77
Current children cumulated vsize (Kb) 836320

[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18623 4 1 0 62772 69 0 0 25 0 11 0 1786582581 856391680 28361 4294967295 134512640 134569956 3221224336 3221214592 1131527703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28361 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 628.41
Current children cumulated vsize (Kb) 836320

[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18630 4 1 0 63730 69 0 0 20 0 11 0 1786582581 856391680 28392 4294967295 134512640 134569956 3221224336 3221214728 1131484429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28392 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 637.99
Current children cumulated vsize (Kb) 836320

[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18637 4 1 0 64685 69 0 0 20 0 11 0 1786582581 856391680 28469 4294967295 134512640 134569956 3221224336 3221214592 1131533109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28469 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 647.54
Current children cumulated vsize (Kb) 836320

[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18643 4 1 0 65650 70 0 0 25 0 11 0 1786582581 856391680 28625 4294967295 134512640 134569956 3221224336 3221214592 1131527552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28625 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 657.2
Current children cumulated vsize (Kb) 836320

[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18650 4 1 0 66617 70 0 0 25 0 11 0 1786582581 856391680 28694 4294967295 134512640 134569956 3221224336 3221214592 1131527697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28694 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 666.87
Current children cumulated vsize (Kb) 836320

[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18657 4 1 0 67587 70 0 0 25 0 11 0 1786582581 856391680 28782 4294967295 134512640 134569956 3221224336 3221214728 1131484577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28782 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 676.57
Current children cumulated vsize (Kb) 836320

[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18664 4 1 0 68559 70 0 0 25 0 11 0 1786582581 856391680 28896 4294967295 134512640 134569956 3221224336 3221214504 1131419170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 28896 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 686.29
Current children cumulated vsize (Kb) 836320

[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18671 4 1 0 69535 70 0 0 25 0 11 0 1786582581 856391680 28922 4294967295 134512640 134569956 3221224336 3221214496 1131419379 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28922 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 696.05
Current children cumulated vsize (Kb) 836320

[startup+740.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18678 4 1 0 70509 71 0 0 16 0 11 0 1786582581 856391680 28957 4294967295 134512640 134569956 3221224336 3221214640 1131359725 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 28957 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 705.8
Current children cumulated vsize (Kb) 836320

[startup+750.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18685 4 1 0 71483 71 0 0 22 0 11 0 1786582581 856391680 29011 4294967295 134512640 134569956 3221224336 3221214696 1131626419 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29011 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 715.54
Current children cumulated vsize (Kb) 836320

[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18692 4 1 0 72455 71 0 0 25 0 11 0 1786582581 856391680 29067 4294967295 134512640 134569956 3221224336 3221214640 1131451717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29067 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 725.26
Current children cumulated vsize (Kb) 836320

[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18699 4 1 0 73424 71 0 0 25 0 11 0 1786582581 856391680 29082 4294967295 134512640 134569956 3221224336 3221214496 1131419417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29082 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 734.95
Current children cumulated vsize (Kb) 836320

[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18706 4 1 0 74390 72 0 0 25 0 11 0 1786582581 856391680 29166 4294967295 134512640 134569956 3221224336 3221214600 1131512364 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29166 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 744.62
Current children cumulated vsize (Kb) 836320

[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18714 4 1 0 75348 72 0 0 25 0 11 0 1786582581 856391680 29235 4294967295 134512640 134569956 3221224336 3221214496 1131419417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29235 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 754.2
Current children cumulated vsize (Kb) 836320

[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18721 4 1 0 76313 72 0 0 17 0 11 0 1786582581 856391680 29283 4294967295 134512640 134569956 3221224336 3221214496 1131419612 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29283 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 763.85
Current children cumulated vsize (Kb) 836320

[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18728 4 1 0 77273 72 0 0 21 0 11 0 1786582581 856391680 29332 4294967295 134512640 134569956 3221224336 3221214560 1131461029 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29332 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 773.45
Current children cumulated vsize (Kb) 836320

[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18735 4 1 0 78230 72 0 0 20 0 11 0 1786582581 856391680 29447 4294967295 134512640 134569956 3221224336 3221214548 1131057275 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29447 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 783.02
Current children cumulated vsize (Kb) 836320

[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18742 4 1 0 79193 72 0 0 21 0 11 0 1786582581 856391680 29553 4294967295 134512640 134569956 3221224336 3221214592 1131527697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29553 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 792.65
Current children cumulated vsize (Kb) 836320

[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18749 4 1 0 80157 73 0 0 19 0 11 0 1786582581 856391680 29595 4294967295 134512640 134569956 3221224336 3221214496 1131420108 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29595 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 802.3
Current children cumulated vsize (Kb) 836320

[startup+850.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18756 4 1 0 81121 73 0 0 25 0 11 0 1786582581 856391680 29701 4294967295 134512640 134569956 3221224336 3221214592 1131533052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29701 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 811.94
Current children cumulated vsize (Kb) 836320

[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18763 4 1 0 82090 74 0 0 21 0 11 0 1786582581 856391680 29816 4294967295 134512640 134569956 3221224336 3221214592 1131533196 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29816 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 821.64
Current children cumulated vsize (Kb) 836320

[startup+870.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18770 4 1 0 83061 75 0 0 25 0 11 0 1786582581 856391680 29860 4294967295 134512640 134569956 3221224336 3221214728 1131485216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29860 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 831.36
Current children cumulated vsize (Kb) 836320

[startup+880.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18777 4 1 0 84032 75 0 0 25 0 11 0 1786582581 856391680 29925 4294967295 134512640 134569956 3221224336 3221214512 1131635348 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 29925 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 841.07
Current children cumulated vsize (Kb) 836320

[startup+890.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18784 4 1 0 85002 75 0 0 23 0 11 0 1786582581 856391680 29995 4294967295 134512640 134569956 3221224336 3221214720 1131388961 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 29995 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 850.77
Current children cumulated vsize (Kb) 836320

[startup+900.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18791 4 1 0 85972 75 0 0 21 0 11 0 1786582581 856391680 30028 4294967295 134512640 134569956 3221224336 3221214656 1131419249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30028 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 860.47
Current children cumulated vsize (Kb) 836320

[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18798 4 1 0 86942 75 0 0 25 0 11 0 1786582581 856391680 30104 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30104 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 870.17
Current children cumulated vsize (Kb) 836320

[startup+920.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18805 4 1 0 87910 76 0 0 25 0 11 0 1786582581 856391680 30167 4294967295 134512640 134569956 3221224336 3221214592 1131527552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30167 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 879.86
Current children cumulated vsize (Kb) 836320

[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18812 4 1 0 88879 76 0 0 23 0 11 0 1786582581 856391680 30224 4294967295 134512640 134569956 3221224336 3221214616 1131361762 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30224 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 889.55
Current children cumulated vsize (Kb) 836320

[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18819 4 1 0 89848 76 0 0 25 0 11 0 1786582581 856391680 30285 4294967295 134512640 134569956 3221224336 3221214728 1131488392 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30285 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 899.24
Current children cumulated vsize (Kb) 836320

[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18826 4 1 0 90818 77 0 0 25 0 11 0 1786582581 856391680 30348 4294967295 134512640 134569956 3221224336 3221214496 1131419433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30348 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 908.95
Current children cumulated vsize (Kb) 836320

[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18833 4 1 0 91789 77 0 0 25 0 11 0 1786582581 856391680 30409 4294967295 134512640 134569956 3221224336 3221214728 1131484429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30409 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 918.66
Current children cumulated vsize (Kb) 836320

[startup+970.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18840 4 1 0 92757 78 0 0 23 0 11 0 1786582581 856391680 30481 4294967295 134512640 134569956 3221224336 3221214728 1131485655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30481 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 928.35
Current children cumulated vsize (Kb) 836320

[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18847 4 1 0 93727 78 0 0 25 0 11 0 1786582581 856391680 30544 4294967295 134512640 134569956 3221224336 3221214728 1131485216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30544 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 938.05
Current children cumulated vsize (Kb) 836320

[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18854 4 1 0 94696 79 0 0 25 0 11 0 1786582581 856391680 30566 4294967295 134512640 134569956 3221224336 3221214592 1131532380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30566 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 947.75
Current children cumulated vsize (Kb) 836320

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18861 4 1 0 95662 79 0 0 25 0 11 0 1786582581 856391680 30627 4294967295 134512640 134569956 3221224336 3221214616 1131361652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30627 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 957.41
Current children cumulated vsize (Kb) 836320

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18868 4 1 0 96623 79 0 0 25 0 11 0 1786582581 856391680 30713 4294967295 134512640 134569956 3221224336 3221214548 1131057201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30713 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 967.02
Current children cumulated vsize (Kb) 836320

[startup+1020.08 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18875 4 1 0 97584 80 0 0 25 0 11 0 1786582581 856391680 30749 4294967295 134512640 134569956 3221224336 3221214440 1131362346 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30749 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 976.64
Current children cumulated vsize (Kb) 836320

[startup+1030.08 s]
Raw data (loadavg): 1.06 1.02 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18882 4 1 0 98542 80 0 0 25 0 11 0 1786582581 856391680 30806 4294967295 134512640 134569956 3221224336 3221214640 1131451499 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 30806 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 986.22
Current children cumulated vsize (Kb) 836320

[startup+1040.09 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18889 4 1 0 99500 80 0 0 22 0 11 0 1786582581 856391680 30880 4294967295 134512640 134569956 3221224336 3221214504 1131419085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 30880 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 995.8
Current children cumulated vsize (Kb) 836320

[startup+1050.09 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18896 4 1 0 100463 81 0 0 22 0 11 0 1786582581 856391680 31057 4294967295 134512640 134569956 3221224336 3221214560 1131461117 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31057 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1005.44
Current children cumulated vsize (Kb) 836320

[startup+1060.09 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18903 4 1 0 101433 81 0 0 25 0 11 0 1786582581 856391680 31092 4294967295 134512640 134569956 3221224336 3221214576 1131397603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31092 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1015.14
Current children cumulated vsize (Kb) 836320

[startup+1070.09 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18910 4 1 0 102401 81 0 0 25 0 11 0 1786582581 856391680 31178 4294967295 134512640 134569956 3221224336 3221214640 1131451573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31178 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1024.82
Current children cumulated vsize (Kb) 836320

[startup+1080.09 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18917 4 1 0 103370 82 0 0 25 0 11 0 1786582581 856391680 31251 4294967295 134512640 134569956 3221224336 3221214600 1131512316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31251 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1034.52
Current children cumulated vsize (Kb) 836320

[startup+1090.09 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18925 4 1 0 104337 82 0 0 25 0 11 0 1786582581 856391680 31306 4294967295 134512640 134569956 3221224336 3221214592 1131533001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31306 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (Kb) 836320

[startup+1100.09 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18932 4 1 0 105304 82 0 0 25 0 11 0 1786582581 856391680 31343 4294967295 134512640 134569956 3221224336 3221214548 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31343 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1053.86
Current children cumulated vsize (Kb) 836320

[startup+1110.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18938 4 1 0 106274 83 0 0 25 0 11 0 1786582581 856391680 31401 4294967295 134512640 134569956 3221224336 3221214592 1131527709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31401 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1063.57
Current children cumulated vsize (Kb) 836320

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.01 0.97 1/66 18303
Raw data (/proc/18290/stat): 18290 (java) T 18289 18290 9854 0 -1 0 18945 4 1 0 107239 83 0 0 25 0 11 0 1786582581 856391680 31482 4294967295 134512640 134569956 3221224336 3221213684 1074594577 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31482 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1073.22
Current children cumulated vsize (Kb) 836320

[startup+1130.09 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18952 4 1 0 108201 83 0 0 25 0 11 0 1786582581 856391680 31512 4294967295 134512640 134569956 3221224336 3221214632 1131365740 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31512 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1082.84
Current children cumulated vsize (Kb) 836320

[startup+1140.09 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18959 4 1 0 109163 84 0 0 22 0 11 0 1786582581 856391680 31617 4294967295 134512640 134569956 3221224336 3221214592 1131533089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31617 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1092.47
Current children cumulated vsize (Kb) 836320

[startup+1150.09 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18967 4 1 0 110121 84 0 0 25 0 11 0 1786582581 856391680 31680 4294967295 134512640 134569956 3221224336 3221214616 1131357897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31680 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1102.05
Current children cumulated vsize (Kb) 836320

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18974 4 1 0 111085 85 0 0 17 0 11 0 1786582581 856391680 31764 4294967295 134512640 134569956 3221224336 3221214640 1131451472 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209080 31764 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1111.7
Current children cumulated vsize (Kb) 836320

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 18980 4 1 0 112056 85 0 0 25 0 11 0 1786582581 856391680 31861 4294967295 134512640 134569956 3221224336 3221214728 1131361652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31861 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1121.41
Current children cumulated vsize (Kb) 836320

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) S 18289 18290 9854 0 -1 0 18986 4 1 0 113027 86 0 0 25 0 11 0 1786582581 856391680 31920 4294967295 134512640 134569956 3221224336 3221213344 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31920 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1131.13
Current children cumulated vsize (Kb) 836320

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) S 18289 18290 9854 0 -1 0 18993 4 1 0 113993 86 0 0 25 0 11 0 1786582581 856391680 31961 4294967295 134512640 134569956 3221224336 3221213472 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209080 31961 13129 16 0 209064 0
[pid=18290] vsize: 836320
Current children cumulated CPU time (s) 1140.79
Current children cumulated vsize (Kb) 836320

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19000 4 1 0 114959 86 0 0 25 0 11 0 1786582581 856821760 32100 4294967295 134512640 134569956 3221224336 3221214504 1131419417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209185 32100 13129 16 0 209169 0
[pid=18290] vsize: 836740
Current children cumulated CPU time (s) 1150.45
Current children cumulated vsize (Kb) 836740

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19005 4 1 0 115932 86 0 0 25 0 11 0 1786582581 856457216 32091 4294967295 134512640 134569956 3221224336 3221214728 1131485609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18290/statm): 209096 32091 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1160.18
Current children cumulated vsize (Kb) 836384

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19013 4 1 0 116894 86 0 0 25 0 11 0 1786582581 856457216 32178 4294967295 134512640 134569956 3221224336 3221214560 1131461093 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32178 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1169.8
Current children cumulated vsize (Kb) 836384

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19020 4 1 0 117860 87 0 0 25 0 11 0 1786582581 856457216 32217 4294967295 134512640 134569956 3221224336 3221214728 1131484584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32217 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1179.47
Current children cumulated vsize (Kb) 836384

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) S 18289 18290 9854 0 -1 0 19027 4 1 0 118815 87 0 0 16 0 11 0 1786582581 856457216 32287 4294967295 134512640 134569956 3221224336 3221213344 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32287 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1189.02
Current children cumulated vsize (Kb) 836384

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19035 4 1 0 119781 87 0 0 25 0 11 0 1786582581 856457216 32376 4294967295 134512640 134569956 3221224336 3221214544 1131361652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32376 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1198.68
Current children cumulated vsize (Kb) 836384

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19040 4 1 0 120755 88 0 0 22 0 11 0 1786582581 856457216 32396 4294967295 134512640 134569956 3221224336 3221214656 1131484544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32396 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1208.43
Current children cumulated vsize (Kb) 836384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 18303
Raw data (/proc/18290/stat): 18290 (java) R 18289 18290 9854 0 -1 0 19040 4 1 0 120755 88 0 0 22 0 11 0 1786582581 856457216 32396 4294967295 134512640 134569956 3221224336 3221214656 1131484544 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18290/statm): 209096 32396 13129 16 0 209080 0
[pid=18290] vsize: 836384
Current children cumulated CPU time (s) 1208.43
Current children cumulated vsize (Kb) 836384

Sending SIGTERM to -18290
Sleeping 2 seconds
New thread pid=18305
New thread pid=18306
One traced child (pid=18306) exited with status: 0
One traced child (pid=18299) exited with status: 0
One traced child (pid=18291) exited with status: 143
One traced child (pid=18292) exited with status: 143
One traced child (pid=18293) exited with status: 143
One traced child (pid=18298) exited with status: 143
One traced child (pid=18295) exited with status: 143
One traced child (pid=18296) exited with status: 143
One traced child (pid=18297) exited with status: 143
One traced child (pid=18303) exited with status: 143
One traced child (pid=18305) exited with status: 143
One traced child (pid=18294) exited with status: 143
One traced child (pid=18290) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.22
CPU time (s): 1256.82
CPU user time (s): 1255.25
CPU system time (s): 1.57076
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (Kb): 838368

Verifier Data

Verifier:	OK	64