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-6pb.opb
MD5SUMc12951e903009dc00793ce72594cf3ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 66
Optimality of the best value was proved YES
Number of terms in the objective function 624
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 624
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 624
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark47.9037
Number of variables624
Total number of constraints1884
Number of constraints which are clauses1860
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 constraint26

Trace number 3184

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-18 22:23:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6101 boxname=wulflinc9 idbench=241 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c12951e903009dc00793ce72594cf3ba  /oldhome/oroussel/tmp/wulflinc9/normalized-s4-4-3-6pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc9/normalized-s4-4-3-6pb.opb
IDLAUNCH: 6101
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        903440 kB
Buffers:         33156 kB
Cached:          71880 kB
SwapCached:       1044 kB
Active:          54796 kB
Inactive:        52992 kB
HighTotal:      131008 kB
HighFree:        55496 kB
LowTotal:       903652 kB
LowFree:        847944 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            17644 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 22:44:06 (client local time) WITH STATUS 143 IN 1256.55 SECONDS
stats: 6101 0 1256.55 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/wulflinc9/normalized-s4-4-3-6pb.opb
c reading problem ... done. Time 2.975 ms.
c #vars     624
c #constraints  1884
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 894.29 ms
c starts		: 9
c conflicts		: 2472
c decisions		: 14501
c propagations		: 113060
c inspects		: 2185932
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 2
c learnt clauses	: 2472
c root simplifications	: 9
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5245
c speed (decisions/second)	: 40.909078085812865
c non guided choices	2786
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 
c objective function=72
c Total CPU time (ms) : 1248.828

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/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786598087 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 39 3 38 16 0 23 0
[pid=10483] 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/10483
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=10484
New thread pid=10485
New thread pid=10486
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=10487
New thread pid=10488
New thread pid=10489
New thread pid=10490
New thread pid=10491
New thread pid=10492
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/wulflinc9/normalized-s4-4-3-6pb.opb
New thread pid=10493

[startup+10.0032 s]
Raw data (loadavg): 1.09 1.02 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) S 10482 10483 30740 0 -1 0 18176 0 1 0 676 47 0 0 16 0 11 0 1786598087 858894336 20172 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 20172 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (Kb) 838764

[startup+20.0039 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18189 0 1 0 1601 49 0 0 18 0 11 0 1786598087 858894336 21009 4294967295 134512640 134569956 3221224336 3221214752 1131502185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 21009 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (Kb) 838764

[startup+30.0057 s]
Raw data (loadavg): 1.07 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18198 0 1 0 2541 49 0 0 17 0 11 0 1786598087 858894336 21615 4294967295 134512640 134569956 3221224336 3221214576 1131514115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 21615 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 25.9
Current children cumulated vsize (Kb) 838764

[startup+40.0065 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18205 0 1 0 3473 49 0 0 17 0 11 0 1786598087 858894336 21698 4294967295 134512640 134569956 3221224336 3221214704 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 21698 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 35.22
Current children cumulated vsize (Kb) 838764

[startup+50.0072 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18212 0 1 0 4394 50 0 0 17 0 11 0 1786598087 858894336 21861 4294967295 134512640 134569956 3221224336 3221214704 1131463569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 21861 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 44.44
Current children cumulated vsize (Kb) 838764

[startup+60.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18219 0 1 0 5319 50 0 0 16 0 11 0 1786598087 858894336 22123 4294967295 134512640 134569956 3221224336 3221214704 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 22123 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 53.69
Current children cumulated vsize (Kb) 838764

[startup+70.0088 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18225 0 1 0 6258 50 0 0 17 0 11 0 1786598087 858894336 22273 4294967295 134512640 134569956 3221224336 3221214600 1131533829 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 22273 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 63.08
Current children cumulated vsize (Kb) 838764

[startup+80.0105 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18231 0 1 0 7194 51 0 0 17 0 11 0 1786598087 858894336 22477 4294967295 134512640 134569956 3221224336 3221214624 1131449634 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 22477 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 72.45
Current children cumulated vsize (Kb) 838764

[startup+90.0113 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18238 0 1 0 8118 51 0 0 17 0 11 0 1786598087 858894336 22727 4294967295 134512640 134569956 3221224336 3221214720 1131518942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 22727 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 81.69
Current children cumulated vsize (Kb) 838764

[startup+100.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18247 0 1 0 9042 51 0 0 16 0 11 0 1786598087 858894336 22919 4294967295 134512640 134569956 3221224336 3221214752 1131501893 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 22919 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 90.93
Current children cumulated vsize (Kb) 838764

[startup+110.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18254 0 1 0 9967 51 0 0 16 0 11 0 1786598087 858894336 23109 4294967295 134512640 134569956 3221224336 3221214528 1131432165 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 23109 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 100.18
Current children cumulated vsize (Kb) 838764

[startup+120.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18260 0 1 0 10902 51 0 0 17 0 11 0 1786598087 858894336 23262 4294967295 134512640 134569956 3221224336 3221214704 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 23262 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 109.53
Current children cumulated vsize (Kb) 838764

[startup+130.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18267 0 1 0 11829 52 0 0 16 0 11 0 1786598087 858894336 23519 4294967295 134512640 134569956 3221224336 3221214528 1131432148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 23519 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 118.81
Current children cumulated vsize (Kb) 838764

[startup+140.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18274 0 1 0 12756 52 0 0 16 0 11 0 1786598087 858894336 23719 4294967295 134512640 134569956 3221224336 3221214608 1131531890 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 23719 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 128.08
Current children cumulated vsize (Kb) 838764

[startup+150.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18282 0 1 0 13672 52 0 0 16 0 11 0 1786598087 858894336 24012 4294967295 134512640 134569956 3221224336 3221214752 1131502013 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 24012 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 137.24
Current children cumulated vsize (Kb) 838764

[startup+160.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18289 0 1 0 14603 53 0 0 16 0 11 0 1786598087 858894336 24141 4294967295 134512640 134569956 3221224336 3221214504 1131449841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 24141 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 146.56
Current children cumulated vsize (Kb) 838764

[startup+170.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) S 10482 10483 30740 0 -1 0 18296 0 1 0 15538 53 0 0 17 0 11 0 1786598087 858894336 24325 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 24325 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 155.91
Current children cumulated vsize (Kb) 838764

[startup+180.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18304 0 1 0 16475 54 0 0 16 0 11 0 1786598087 858894336 24575 4294967295 134512640 134569956 3221224336 3221214704 1131463640 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 24575 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 165.29
Current children cumulated vsize (Kb) 838764

[startup+190.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18311 0 1 0 17432 54 0 0 16 0 11 0 1786598087 858894336 24853 4294967295 134512640 134569956 3221224336 3221214608 1131531872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 24853 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 174.86
Current children cumulated vsize (Kb) 838764

[startup+200.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18318 0 1 0 18396 54 0 0 17 0 11 0 1786598087 858894336 24964 4294967295 134512640 134569956 3221224336 3221214664 1131493185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 24964 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 184.5
Current children cumulated vsize (Kb) 838764

[startup+210.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18324 0 1 0 19363 54 0 0 18 0 11 0 1786598087 858894336 25072 4294967295 134512640 134569956 3221224336 3221214512 1131449839 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25072 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 194.17
Current children cumulated vsize (Kb) 838764

[startup+220.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18332 0 1 0 20320 55 0 0 16 0 11 0 1786598087 858894336 25183 4294967295 134512640 134569956 3221224336 3221214752 1131502185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25183 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (Kb) 838764

[startup+230.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18339 0 1 0 21281 55 0 0 17 0 11 0 1786598087 858894336 25274 4294967295 134512640 134569956 3221224336 3221214664 1131493596 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25274 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 213.36
Current children cumulated vsize (Kb) 838764

[startup+240.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18347 0 1 0 22239 55 0 0 16 0 11 0 1786598087 858894336 25377 4294967295 134512640 134569956 3221224336 3221214512 1131449577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25377 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 222.94
Current children cumulated vsize (Kb) 838764

[startup+250.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18354 0 1 0 23204 56 0 0 16 0 11 0 1786598087 858894336 25541 4294967295 134512640 134569956 3221224336 3221214696 1131515322 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 25541 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 232.6
Current children cumulated vsize (Kb) 838764

[startup+260.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18362 0 1 0 24167 56 0 0 16 0 11 0 1786598087 858894336 25612 4294967295 134512640 134569956 3221224336 3221214664 1131493662 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 25612 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 242.23
Current children cumulated vsize (Kb) 838764

[startup+270.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18369 0 1 0 25134 56 0 0 17 0 11 0 1786598087 858894336 25709 4294967295 134512640 134569956 3221224336 3221214664 1131493473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25709 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 251.9
Current children cumulated vsize (Kb) 838764

[startup+280.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18376 0 1 0 26103 57 0 0 17 0 11 0 1786598087 858894336 25786 4294967295 134512640 134569956 3221224336 3221214608 1131531843 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25786 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 261.6
Current children cumulated vsize (Kb) 838764

[startup+290.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18382 0 1 0 27075 57 0 0 17 0 11 0 1786598087 858894336 25838 4294967295 134512640 134569956 3221224336 3221214528 1131432188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 25838 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 271.32
Current children cumulated vsize (Kb) 838764

[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18390 0 1 0 28038 58 0 0 18 0 11 0 1786598087 858894336 25935 4294967295 134512640 134569956 3221224336 3221214608 1131409092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 25935 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 280.96
Current children cumulated vsize (Kb) 838764

[startup+310.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18397 0 1 0 29005 58 0 0 17 0 11 0 1786598087 858894336 26033 4294967295 134512640 134569956 3221224336 3221214528 1131432171 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26033 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 290.63
Current children cumulated vsize (Kb) 838764

[startup+320.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18404 0 1 0 29974 58 0 0 17 0 11 0 1786598087 858894336 26141 4294967295 134512640 134569956 3221224336 3221214504 1131449889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 26141 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 300.32
Current children cumulated vsize (Kb) 838764

[startup+330.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18410 0 1 0 30947 59 0 0 18 0 11 0 1786598087 858894336 26201 4294967295 134512640 134569956 3221224336 3221214512 1131450094 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26201 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 310.06
Current children cumulated vsize (Kb) 838764

[startup+340.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18417 0 1 0 31916 59 0 0 17 0 11 0 1786598087 858894336 26265 4294967295 134512640 134569956 3221224336 3221214512 1131449713 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 26265 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 319.75
Current children cumulated vsize (Kb) 838764

[startup+350.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18423 0 1 0 32889 59 0 0 18 0 11 0 1786598087 858894336 26342 4294967295 134512640 134569956 3221224336 3221214464 1131651142 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26342 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 329.48
Current children cumulated vsize (Kb) 838764

[startup+360.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18429 0 1 0 33865 60 0 0 17 0 11 0 1786598087 858894336 26426 4294967295 134512640 134569956 3221224336 3221214664 1131493489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26426 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 339.25
Current children cumulated vsize (Kb) 838764

[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18435 0 1 0 34839 60 0 0 18 0 11 0 1786598087 858894336 26504 4294967295 134512640 134569956 3221224336 3221214512 1131450065 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26504 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 348.99
Current children cumulated vsize (Kb) 838764

[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18439 0 1 0 35821 60 0 0 18 0 11 0 1786598087 858894336 26565 4294967295 134512640 134569956 3221224336 3221214512 1131449926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26565 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 358.81
Current children cumulated vsize (Kb) 838764

[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18446 0 1 0 36793 60 0 0 18 0 11 0 1786598087 858894336 26640 4294967295 134512640 134569956 3221224336 3221214512 1131450061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 26640 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 368.53
Current children cumulated vsize (Kb) 838764

[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18452 0 1 0 37769 61 0 0 17 0 11 0 1786598087 858894336 26686 4294967295 134512640 134569956 3221224336 3221214608 1131531916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26686 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 378.3
Current children cumulated vsize (Kb) 838764

[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18458 0 1 0 38746 61 0 0 19 0 11 0 1786598087 858894336 26757 4294967295 134512640 134569956 3221224336 3221214504 1131450102 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 26757 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 388.07
Current children cumulated vsize (Kb) 838764

[startup+420.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18464 0 1 0 39723 61 0 0 18 0 11 0 1786598087 858894336 26852 4294967295 134512640 134569956 3221224336 3221214512 1131449998 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26852 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 397.84
Current children cumulated vsize (Kb) 838764

[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18470 0 1 0 40703 61 0 0 17 0 11 0 1786598087 858894336 26978 4294967295 134512640 134569956 3221224336 3221214664 1131493155 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 26978 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 407.64
Current children cumulated vsize (Kb) 838764

[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18476 0 1 0 41681 62 0 0 23 0 11 0 1786598087 858894336 27020 4294967295 134512640 134569956 3221224336 3221214576 1131514166 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27020 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 417.43
Current children cumulated vsize (Kb) 838764

[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18481 0 1 0 42661 62 0 0 16 0 11 0 1786598087 858894336 27083 4294967295 134512640 134569956 3221224336 3221214616 1131493618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 27083 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 427.23
Current children cumulated vsize (Kb) 838764

[startup+460.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18489 0 1 0 43628 62 0 0 17 0 11 0 1786598087 858894336 27150 4294967295 134512640 134569956 3221224336 3221214616 1131493699 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 27150 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 436.9
Current children cumulated vsize (Kb) 838764

[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18499 0 1 0 44589 63 0 0 17 0 11 0 1786598087 858894336 27257 4294967295 134512640 134569956 3221224336 3221214704 1131501733 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 27257 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 446.52
Current children cumulated vsize (Kb) 838764

[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18508 0 1 0 45556 63 0 0 17 0 11 0 1786598087 858894336 27380 4294967295 134512640 134569956 3221224336 3221214616 1131494030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 27380 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 456.19
Current children cumulated vsize (Kb) 838764

[startup+490.051 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18517 0 1 0 46527 64 0 0 18 0 11 0 1786598087 858894336 27480 4294967295 134512640 134569956 3221224336 3221214616 1131493514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27480 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 465.91
Current children cumulated vsize (Kb) 838764

[startup+500.052 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18526 0 1 0 47497 64 0 0 17 0 11 0 1786598087 858894336 27553 4294967295 134512640 134569956 3221224336 3221214568 1131533811 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27553 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 475.61
Current children cumulated vsize (Kb) 838764

[startup+510.052 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18534 0 1 0 48468 65 0 0 18 0 11 0 1786598087 858894336 27579 4294967295 134512640 134569956 3221224336 3221214616 1131493473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27579 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 485.33
Current children cumulated vsize (Kb) 838764

[startup+520.053 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18543 0 1 0 49431 65 0 0 16 0 11 0 1786598087 858894336 27628 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27628 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 494.96
Current children cumulated vsize (Kb) 838764

[startup+530.055 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18551 0 1 0 50396 66 0 0 17 0 11 0 1786598087 858894336 27724 4294967295 134512640 134569956 3221224336 3221214492 1131057195 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27724 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 504.62
Current children cumulated vsize (Kb) 838764

[startup+540.056 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18559 0 1 0 51361 66 0 0 18 0 11 0 1786598087 858894336 27777 4294967295 134512640 134569956 3221224336 3221214464 1131557679 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27777 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 514.27
Current children cumulated vsize (Kb) 838764

[startup+550.055 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18567 0 1 0 52323 66 0 0 19 0 11 0 1786598087 858894336 27850 4294967295 134512640 134569956 3221224336 3221214480 1131449889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27850 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 523.89
Current children cumulated vsize (Kb) 838764

[startup+560.056 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18579 0 1 0 53279 67 0 0 16 0 11 0 1786598087 858894336 27935 4294967295 134512640 134569956 3221224336 3221214128 1131710594 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 27935 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 533.46
Current children cumulated vsize (Kb) 838764

[startup+570.057 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18586 0 1 0 54244 67 0 0 18 0 11 0 1786598087 858894336 28017 4294967295 134512640 134569956 3221224336 3221214472 1131450012 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28017 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 543.11
Current children cumulated vsize (Kb) 838764

[startup+580.058 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18593 0 1 0 55212 67 0 0 18 0 11 0 1786598087 858894336 28080 4294967295 134512640 134569956 3221224336 3221214520 1131481344 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28080 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 552.79
Current children cumulated vsize (Kb) 838764

[startup+590.058 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18602 0 1 0 56174 68 0 0 18 0 11 0 1786598087 858894336 28199 4294967295 134512640 134569956 3221224336 3221214616 1131493440 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28199 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 562.42
Current children cumulated vsize (Kb) 838764

[startup+600.059 s]
Raw data (loadavg): 1.09 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18609 0 1 0 57146 68 0 0 17 0 11 0 1786598087 858894336 28257 4294967295 134512640 134569956 3221224336 3221214512 1131535511 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28257 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 572.14
Current children cumulated vsize (Kb) 838764

[startup+610.06 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18617 0 1 0 58111 68 0 0 17 0 11 0 1786598087 858894336 28328 4294967295 134512640 134569956 3221224336 3221214616 1131493632 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28328 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 581.79
Current children cumulated vsize (Kb) 838764

[startup+620.061 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18623 0 1 0 59080 69 0 0 17 0 11 0 1786598087 858894336 28386 4294967295 134512640 134569956 3221224336 3221214496 1131432159 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28386 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 591.49
Current children cumulated vsize (Kb) 838764

[startup+630.063 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18629 0 1 0 60047 69 0 0 17 0 11 0 1786598087 858894336 28400 4294967295 134512640 134569956 3221224336 3221214528 1131432153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28400 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 601.16
Current children cumulated vsize (Kb) 838764

[startup+640.063 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18635 0 1 0 61012 69 0 0 17 0 11 0 1786598087 858894336 28477 4294967295 134512640 134569956 3221224336 3221214616 1131493104 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28477 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 838764

[startup+650.064 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18641 0 1 0 61976 70 0 0 17 0 11 0 1786598087 858894336 28538 4294967295 134512640 134569956 3221224336 3221214588 1131449882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28538 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 620.46
Current children cumulated vsize (Kb) 838764

[startup+660.065 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) S 10482 10483 30740 0 -1 0 18647 0 1 0 62939 70 0 0 16 0 11 0 1786598087 858894336 28641 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28641 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 630.09
Current children cumulated vsize (Kb) 838764

[startup+670.066 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18652 0 1 0 63911 71 0 0 17 0 11 0 1786598087 858894336 28741 4294967295 134512640 134569956 3221224336 3221214616 1131493622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28741 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 639.82
Current children cumulated vsize (Kb) 838764

[startup+680.066 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18657 0 1 0 64881 71 0 0 18 0 11 0 1786598087 858894336 28773 4294967295 134512640 134569956 3221224336 3221214656 1131463588 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 28773 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 649.52
Current children cumulated vsize (Kb) 838764

[startup+690.067 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18662 0 1 0 65849 71 0 0 18 0 11 0 1786598087 858894336 28848 4294967295 134512640 134569956 3221224336 3221214472 1131449713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28848 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 659.2
Current children cumulated vsize (Kb) 838764

[startup+700.067 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18668 0 1 0 66809 72 0 0 17 0 11 0 1786598087 858894336 28912 4294967295 134512640 134569956 3221224336 3221214280 1076478363 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 28912 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 668.81
Current children cumulated vsize (Kb) 838764

[startup+710.068 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18673 0 1 0 67778 72 0 0 16 0 11 0 1786598087 858894336 29032 4294967295 134512640 134569956 3221224336 3221214616 1131493650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29032 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 678.5
Current children cumulated vsize (Kb) 838764

[startup+720.068 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18681 0 1 0 68733 72 0 0 16 0 11 0 1786598087 858894336 29134 4294967295 134512640 134569956 3221224336 3221214616 1131493448 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29134 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 688.05
Current children cumulated vsize (Kb) 838764

[startup+730.069 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18688 0 1 0 69699 73 0 0 17 0 11 0 1786598087 858894336 29249 4294967295 134512640 134569956 3221224336 3221214544 1131514166 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 29249 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 697.72
Current children cumulated vsize (Kb) 838764

[startup+740.07 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18694 0 1 0 70673 73 0 0 17 0 11 0 1786598087 858894336 29351 4294967295 134512640 134569956 3221224336 3221214704 1131502216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 29351 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 707.46
Current children cumulated vsize (Kb) 838764

[startup+750.071 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18703 0 1 0 71641 74 0 0 17 0 11 0 1786598087 858894336 29467 4294967295 134512640 134569956 3221224336 3221214616 1131493435 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29467 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 717.15
Current children cumulated vsize (Kb) 838764

[startup+760.072 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) S 10482 10483 30740 0 -1 0 18709 0 1 0 72617 74 0 0 16 0 11 0 1786598087 858894336 29487 4294967295 134512640 134569956 3221224336 3221213360 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29487 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 726.91
Current children cumulated vsize (Kb) 838764

[startup+770.072 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18717 0 1 0 73589 75 0 0 18 0 11 0 1786598087 858894336 29533 4294967295 134512640 134569956 3221224336 3221214056 1085806342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 29533 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 736.64
Current children cumulated vsize (Kb) 838764

[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18723 0 1 0 74562 75 0 0 18 0 11 0 1786598087 858894336 29572 4294967295 134512640 134569956 3221224336 3221214480 1131449862 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29572 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 746.37
Current children cumulated vsize (Kb) 838764

[startup+790.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18731 0 1 0 75521 75 0 0 16 0 11 0 1786598087 858894336 29590 4294967295 134512640 134569956 3221224336 3221214616 1131493646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29590 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 755.96
Current children cumulated vsize (Kb) 838764

[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18739 0 1 0 76476 75 0 0 16 0 11 0 1786598087 858894336 29669 4294967295 134512640 134569956 3221224336 3221214464 1131558077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29669 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 765.51
Current children cumulated vsize (Kb) 838764

[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18745 0 1 0 77444 76 0 0 17 0 11 0 1786598087 858894336 29748 4294967295 134512640 134569956 3221224336 3221214616 1131493237 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29748 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 775.2
Current children cumulated vsize (Kb) 838764

[startup+820.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18751 0 1 0 78414 76 0 0 17 0 11 0 1786598087 858894336 29795 4294967295 134512640 134569956 3221224336 3221214480 1131449976 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29795 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 784.9
Current children cumulated vsize (Kb) 838764

[startup+830.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18759 0 1 0 79377 77 0 0 16 0 11 0 1786598087 858894336 29941 4294967295 134512640 134569956 3221224336 3221214616 1131493514 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29941 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 794.54
Current children cumulated vsize (Kb) 838764

[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18766 0 1 0 80346 77 0 0 18 0 11 0 1786598087 858894336 29993 4294967295 134512640 134569956 3221224336 3221214456 1131493161 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 29993 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 804.23
Current children cumulated vsize (Kb) 838764

[startup+850.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18774 0 1 0 81314 78 0 0 16 0 11 0 1786598087 858894336 30055 4294967295 134512640 134569956 3221224336 3221214480 1131449739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30055 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 813.92
Current children cumulated vsize (Kb) 838764

[startup+860.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18780 0 1 0 82291 78 0 0 17 0 11 0 1786598087 858894336 30075 4294967295 134512640 134569956 3221224336 3221214656 1131463569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30075 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 823.69
Current children cumulated vsize (Kb) 838764

[startup+870.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18787 0 1 0 83268 78 0 0 17 0 11 0 1786598087 858894336 30186 4294967295 134512640 134569956 3221224336 3221214492 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30186 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 833.46
Current children cumulated vsize (Kb) 838764

[startup+880.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18793 0 1 0 84250 78 0 0 19 0 11 0 1786598087 858894336 30223 4294967295 134512640 134569956 3221224336 3221214440 1131626960 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30223 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 843.28
Current children cumulated vsize (Kb) 838764

[startup+890.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10493
Raw data (/proc/10483/stat): 10483 (java) S 10482 10483 30740 0 -1 0 18799 0 1 0 85230 79 0 0 19 0 11 0 1786598087 858894336 30254 4294967295 134512640 134569956 3221224336 3221213360 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30254 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 853.09
Current children cumulated vsize (Kb) 838764
One traced child (pid=10493) exited with status: 0
New thread pid=10494

[startup+900.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18852 5 1 0 86207 80 0 0 17 0 11 0 1786598087 858894336 30332 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30332 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 862.87
Current children cumulated vsize (Kb) 838764

[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18860 5 1 0 87180 80 0 0 18 0 11 0 1786598087 858894336 30346 4294967295 134512640 134569956 3221224336 3221214616 1131493335 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30346 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 872.6
Current children cumulated vsize (Kb) 838764

[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18869 5 1 0 88147 81 0 0 16 0 11 0 1786598087 858894336 30382 4294967295 134512640 134569956 3221224336 3221214616 1131493036 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30382 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (Kb) 838764

[startup+930.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18876 5 1 0 89119 81 0 0 17 0 11 0 1786598087 858894336 30434 4294967295 134512640 134569956 3221224336 3221214656 1131463659 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30434 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 892
Current children cumulated vsize (Kb) 838764

[startup+940.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18884 5 1 0 90086 82 0 0 17 0 11 0 1786598087 858894336 30489 4294967295 134512640 134569956 3221224336 3221214024 1131710450 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30489 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 901.68
Current children cumulated vsize (Kb) 838764

[startup+950.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18892 5 1 0 91051 83 0 0 17 0 11 0 1786598087 858894336 30537 4294967295 134512640 134569956 3221224336 3221214288 1131713348 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30537 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 911.34
Current children cumulated vsize (Kb) 838764

[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18899 5 1 0 92021 83 0 0 17 0 11 0 1786598087 858894336 30578 4294967295 134512640 134569956 3221224336 3221214576 1131531843 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30578 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 921.04
Current children cumulated vsize (Kb) 838764

[startup+970.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18907 5 1 0 92987 83 0 0 17 0 11 0 1786598087 858894336 30624 4294967295 134512640 134569956 3221224336 3221214656 1131463569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30624 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 930.7
Current children cumulated vsize (Kb) 838764

[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18914 5 1 0 93957 83 0 0 18 0 11 0 1786598087 858894336 30700 4294967295 134512640 134569956 3221224336 3221214020 1131716320 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30700 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 940.4
Current children cumulated vsize (Kb) 838764

[startup+990.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18918 5 1 0 94938 83 0 0 20 0 11 0 1786598087 858894336 30732 4294967295 134512640 134569956 3221224336 3221214408 1131710600 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30732 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 950.21
Current children cumulated vsize (Kb) 838764

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18924 5 1 0 95908 83 0 0 16 0 11 0 1786598087 858894336 30769 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30769 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 959.91
Current children cumulated vsize (Kb) 838764

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18931 5 1 0 96873 83 0 0 16 0 11 0 1786598087 858894336 30825 4294967295 134512640 134569956 3221224336 3221214576 1077664352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30825 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 969.56
Current children cumulated vsize (Kb) 838764

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18937 5 1 0 97842 84 0 0 18 0 11 0 1786598087 858894336 30866 4294967295 134512640 134569956 3221224336 3221214376 1131490363 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30866 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 838764

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18943 5 1 0 98812 84 0 0 17 0 11 0 1786598087 858894336 30913 4294967295 134512640 134569956 3221224336 3221214656 1131463555 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 30913 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 988.96
Current children cumulated vsize (Kb) 838764

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18948 5 1 0 99785 84 0 0 17 0 11 0 1786598087 858894336 30963 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 30963 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 998.69
Current children cumulated vsize (Kb) 838764

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18953 5 1 0 100759 85 0 0 19 0 11 0 1786598087 858894336 31051 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 31051 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1008.44
Current children cumulated vsize (Kb) 838764

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18960 5 1 0 101725 85 0 0 18 0 11 0 1786598087 858894336 31076 4294967295 134512640 134569956 3221224336 3221214664 1131720972 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31076 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1018.1
Current children cumulated vsize (Kb) 838764

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18967 5 1 0 102683 85 0 0 16 0 11 0 1786598087 858894336 31145 4294967295 134512640 134569956 3221224336 3221214656 1131463683 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 31145 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1027.68
Current children cumulated vsize (Kb) 838764

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18973 5 1 0 103646 85 0 0 16 0 11 0 1786598087 858894336 31180 4294967295 134512640 134569956 3221224336 3221214656 1131463569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31180 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1037.31
Current children cumulated vsize (Kb) 838764

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18979 5 1 0 104609 85 0 0 18 0 11 0 1786598087 858894336 31246 4294967295 134512640 134569956 3221224336 3221214472 1131408268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 31246 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1046.94
Current children cumulated vsize (Kb) 838764

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18986 5 1 0 105567 85 0 0 17 0 11 0 1786598087 858894336 31393 4294967295 134512640 134569956 3221224336 3221214476 1131489683 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 31393 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1056.52
Current children cumulated vsize (Kb) 838764

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18993 5 1 0 106528 85 0 0 17 0 11 0 1786598087 858894336 31507 4294967295 134512640 134569956 3221224336 3221213784 1085806313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31507 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1066.13
Current children cumulated vsize (Kb) 838764

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 18999 5 1 0 107496 86 0 0 18 0 11 0 1786598087 858894336 31559 4294967295 134512640 134569956 3221224336 3221214656 1131463569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31559 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1075.82
Current children cumulated vsize (Kb) 838764

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19006 5 1 0 108458 86 0 0 16 0 11 0 1786598087 858894336 31637 4294967295 134512640 134569956 3221224336 3221214464 1131558235 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31637 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1085.44
Current children cumulated vsize (Kb) 838764

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19012 5 1 0 109425 86 0 0 18 0 11 0 1786598087 858894336 31699 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31699 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1095.11
Current children cumulated vsize (Kb) 838764

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19018 5 1 0 110390 87 0 0 17 0 11 0 1786598087 858894336 31753 4294967295 134512640 134569956 3221224336 3221213960 1131696688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31753 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1104.77
Current children cumulated vsize (Kb) 838764

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19024 5 1 0 111355 87 0 0 16 0 11 0 1786598087 858894336 31804 4294967295 134512640 134569956 3221224336 3221214704 1131502104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 31804 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1114.42
Current children cumulated vsize (Kb) 838764

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19033 5 1 0 112307 87 0 0 16 0 11 0 1786598087 858894336 31929 4294967295 134512640 134569956 3221224336 3221214616 1131493586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 31929 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1123.94
Current children cumulated vsize (Kb) 838764

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19041 5 1 0 113267 88 0 0 17 0 11 0 1786598087 858894336 32028 4294967295 134512640 134569956 3221224336 3221214656 1131463573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 32028 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1133.55
Current children cumulated vsize (Kb) 838764

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19048 5 1 0 114236 88 0 0 18 0 11 0 1786598087 858894336 32128 4294967295 134512640 134569956 3221224336 3221214616 1131493321 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32128 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1143.24
Current children cumulated vsize (Kb) 838764

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19054 5 1 0 115212 88 0 0 17 0 11 0 1786598087 858894336 32186 4294967295 134512640 134569956 3221224336 3221214544 1131514238 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32186 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1153
Current children cumulated vsize (Kb) 838764

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19062 5 1 0 116179 89 0 0 16 0 11 0 1786598087 858894336 32213 4294967295 134512640 134569956 3221224336 3221214616 1131493029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32213 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1162.68
Current children cumulated vsize (Kb) 838764

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19070 5 1 0 117148 89 0 0 18 0 11 0 1786598087 858894336 32251 4294967295 134512640 134569956 3221224336 3221214480 1131450525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32251 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1172.37
Current children cumulated vsize (Kb) 838764

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19079 5 1 0 118116 90 0 0 17 0 11 0 1786598087 858894336 32314 4294967295 134512640 134569956 3221224336 3221214616 1131493021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 32314 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (Kb) 838764

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19088 5 1 0 119087 90 0 0 18 0 11 0 1786598087 858894336 32395 4294967295 134512640 134569956 3221224336 3221214616 1131493058 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/10483/statm): 209691 32395 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1191.77
Current children cumulated vsize (Kb) 838764

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19097 5 1 0 120060 90 0 0 18 0 11 0 1786598087 858894336 32424 4294967295 134512640 134569956 3221224336 3221214656 1131463577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32424 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1201.5
Current children cumulated vsize (Kb) 838764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 10494
Raw data (/proc/10483/stat): 10483 (java) R 10482 10483 30740 0 -1 0 19097 5 1 0 120060 90 0 0 18 0 11 0 1786598087 858894336 32424 4294967295 134512640 134569956 3221224336 3221214656 1131463552 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/10483/statm): 209691 32424 13129 16 0 209675 0
[pid=10483] vsize: 838764
Current children cumulated CPU time (s) 1201.5
Current children cumulated vsize (Kb) 838764

Sending SIGTERM to -10483
Sleeping 2 seconds
New thread pid=10496
New thread pid=10497
One traced child (pid=10497) exited with status: 0
One traced child (pid=10492) exited with status: 0
One traced child (pid=10487) exited with status: 0
One traced child (pid=10484) exited with status: 143
One traced child (pid=10485) exited with status: 143
One traced child (pid=10486) exited with status: 143
One traced child (pid=10491) exited with status: 143
One traced child (pid=10488) exited with status: 143
One traced child (pid=10489) exited with status: 143
One traced child (pid=10490) exited with status: 143
One traced child (pid=10494) exited with status: 143
One traced child (pid=10496) exited with status: 143
One traced child (pid=10483) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.25
CPU time (s): 1256.55
CPU user time (s): 1254.82
CPU system time (s): 1.72474
CPU usage (%): 100.504
Max. virtual memory (cumulated for all children) (Kb): 838764

Verifier Data

Verifier:	OK	72