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-10pb.opb
MD5SUM3da806c3498bf979a43344fcf1dd59e3
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70
Optimality of the best value was proved YES
Number of terms in the objective function 840
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 840
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 840
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 benchmark2.29465
Number of variables840
Total number of constraints2528
Number of constraints which are clauses2504
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 constraint35

Trace number 3158

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917460 kB
Buffers:         33236 kB
Cached:          57164 kB
SwapCached:        516 kB
Active:          39940 kB
Inactive:        52856 kB
HighTotal:      131008 kB
HighFree:        69916 kB
LowTotal:       903652 kB
LowFree:        847544 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18648 kB
Committed_AS:    64148 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 22:34:12 (client local time) WITH STATUS 30 IN 810.454 SECONDS
stats: 6095 0 810.454 30

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/wulflinc17/normalized-s4-4-3-10pb.opb
c reading problem ... done. Time 2.725 ms.
c #vars     840
c #constraints  2528
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  72 		Current CPU time: 19.55 ms
c CURRENT OPTIMUM=                  70 		Current CPU time: 33.18 ms
c starts		: 8
c conflicts		: 1002
c decisions		: 10737
c propagations		: 66360
c inspects		: 608536
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 2
c learnt clauses	: 1001
c root simplifications	: 77
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 0
c speed (decisions/second)	: 14.053333821978015
c non guided choices	1441
c random choices	0
s OPTIMUM FOUND
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 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v680 -v681 -v682 -v683 -v684 v685 -v686 -v687 -v688 -v689 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v700 -v701 -v702 -v703 -v704 v705 -v706 -v707 -v708 -v709 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v720 -v721 v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 -v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 -v749 -v750 -v751 -v752 -v753 -v754 -v755 -v756 v757 -v758 -v759 -v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v770 -v771 v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v790 -v791 -v792 -v793 v794 -v795 -v796 -v797 -v798 -v799 -v800 -v801 -v802 -v803 -v804 -v805 -v806 -v807 -v808 -v809 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v840 
c objective function=70
c Total CPU time (ms) : 797.237

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/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1844836128 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 39 3 38 16 0 23 0
[pid=28337] 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/28337
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=28338
New thread pid=28339
New thread pid=28340
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=28341
New thread pid=28342
New thread pid=28343
New thread pid=28344
New thread pid=28345
New thread pid=28346
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/wulflinc17/normalized-s4-4-3-10pb.opb
New thread pid=28347

[startup+10.002 s]
Raw data (loadavg): 1.07 0.99 0.95 3/66 28347
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 13946 0 1 0 594 41 0 0 25 0 11 0 1844836128 875327488 18605 4294967295 134512640 134569956 3221224336 3221214624 1131419054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 213703 18607 13129 16 0 213687 0
[pid=28337] vsize: 854812
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (Kb) 854812

[startup+20.0016 s]
Raw data (loadavg): 1.06 0.99 0.95 1/66 28347
Raw data (/proc/28337/stat): 28337 (java) T 28336 28337 19316 0 -1 0 18166 0 1 0 1454 52 0 0 17 0 11 0 1844836128 875372544 24696 4294967295 134512640 134569956 3221224336 3221213796 1073943903 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/28337/statm): 213714 24696 13129 16 0 213698 0
[pid=28337] vsize: 854856
Current children cumulated CPU time (s) 15.06
Current children cumulated vsize (Kb) 854856
One traced child (pid=28347) exited with status: 0
New thread pid=28348

[startup+30.0031 s]
Raw data (loadavg): 1.05 0.99 0.95 2/66 28348
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18221 4 1 0 2390 52 0 0 25 0 11 0 1844836128 871342080 24483 4294967295 134512640 134569956 3221224336 3221214608 1131530604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 24483 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 24.42
Current children cumulated vsize (Kb) 850920
One traced child (pid=28348) exited with status: 0
New thread pid=28349

[startup+40.0037 s]
Raw data (loadavg): 1.04 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18229 4 1 0 3323 53 0 0 17 0 11 0 1844836128 871342080 24861 4294967295 134512640 134569956 3221224336 3221214600 1131567215 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 24861 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 33.76
Current children cumulated vsize (Kb) 850920

[startup+50.0044 s]
Raw data (loadavg): 1.04 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18235 4 1 0 4262 53 0 0 25 0 11 0 1844836128 871342080 24944 4294967295 134512640 134569956 3221224336 3221214584 1131363739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 24944 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 43.15
Current children cumulated vsize (Kb) 850920

[startup+60.0049 s]
Raw data (loadavg): 1.03 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18241 4 1 0 5204 53 0 0 25 0 11 0 1844836128 871342080 25013 4294967295 134512640 134569956 3221224336 3221214536 1131358580 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 25013 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 52.57
Current children cumulated vsize (Kb) 850920

[startup+70.0045 s]
Raw data (loadavg): 1.02 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18248 4 1 0 6132 53 0 0 19 0 11 0 1844836128 871342080 25160 4294967295 134512640 134569956 3221224336 3221214600 1131356616 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 25160 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 61.85
Current children cumulated vsize (Kb) 850920

[startup+80.0051 s]
Raw data (loadavg): 1.02 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18254 4 1 0 7077 53 0 0 25 0 11 0 1844836128 871342080 25284 4294967295 134512640 134569956 3221224336 3221214728 1131510642 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 25284 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 71.3
Current children cumulated vsize (Kb) 850920

[startup+90.0058 s]
Raw data (loadavg): 1.02 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18261 4 1 0 8028 54 0 0 25 0 11 0 1844836128 871342080 25774 4294967295 134512640 134569956 3221224336 3221214600 1131567867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 25774 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 80.82
Current children cumulated vsize (Kb) 850920

[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18267 4 1 0 8999 54 0 0 25 0 11 0 1844836128 871342080 25836 4294967295 134512640 134569956 3221224336 3221214512 1131418984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 25836 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 90.53
Current children cumulated vsize (Kb) 850920

[startup+110.006 s]
Raw data (loadavg): 1.01 0.99 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18274 4 1 0 9962 54 0 0 24 0 11 0 1844836128 871342080 25941 4294967295 134512640 134569956 3221224336 3221214648 1131642599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 25941 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 100.16
Current children cumulated vsize (Kb) 850920

[startup+120.007 s]
Raw data (loadavg): 1.09 1.01 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18280 4 1 0 10925 54 0 0 25 0 11 0 1844836128 871342080 26009 4294967295 134512640 134569956 3221224336 3221214592 1131554350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 26009 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 850920

[startup+130.009 s]
Raw data (loadavg): 1.07 1.01 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) S 28336 28337 19316 0 -1 0 18286 4 1 0 11880 55 0 0 25 0 11 0 1844836128 871342080 26043 4294967295 134512640 134569956 3221224336 3221213368 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 26043 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 850920

[startup+140.01 s]
Raw data (loadavg): 1.06 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18293 4 1 0 12821 55 0 0 25 0 11 0 1844836128 871342080 26128 4294967295 134512640 134569956 3221224336 3221214624 1131530447 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 26128 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 128.76
Current children cumulated vsize (Kb) 850920

[startup+150.01 s]
Raw data (loadavg): 1.05 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18299 4 1 0 13756 56 0 0 20 0 11 0 1844836128 871342080 26475 4294967295 134512640 134569956 3221224336 3221214584 1131363774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 26475 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 138.12
Current children cumulated vsize (Kb) 850920

[startup+160.011 s]
Raw data (loadavg): 1.04 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18305 4 1 0 14691 56 0 0 25 0 11 0 1844836128 871342080 26568 4294967295 134512640 134569956 3221224336 3221214592 1131554356 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 26568 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 147.47
Current children cumulated vsize (Kb) 850920

[startup+170.011 s]
Raw data (loadavg): 1.04 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18311 4 1 0 15628 57 0 0 25 0 11 0 1844836128 871342080 26651 4294967295 134512640 134569956 3221224336 3221214512 1131419454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 26651 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 156.85
Current children cumulated vsize (Kb) 850920

[startup+180.011 s]
Raw data (loadavg): 1.03 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) S 28336 28337 19316 0 -1 0 18317 4 1 0 16551 57 0 0 25 0 11 0 1844836128 871342080 26776 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 26779 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 166.08
Current children cumulated vsize (Kb) 850920

[startup+190.012 s]
Raw data (loadavg): 1.03 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18323 4 1 0 17496 57 0 0 25 0 11 0 1844836128 871342080 26895 4294967295 134512640 134569956 3221224336 3221214648 1131635993 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 26895 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 175.53
Current children cumulated vsize (Kb) 850920

[startup+200.011 s]
Raw data (loadavg): 1.02 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18330 4 1 0 18432 57 0 0 21 0 11 0 1844836128 871342080 27320 4294967295 134512640 134569956 3221224336 3221214648 1131642003 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 27320 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 184.89
Current children cumulated vsize (Kb) 850920

[startup+210.012 s]
Raw data (loadavg): 1.02 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18337 4 1 0 19376 58 0 0 18 0 11 0 1844836128 871342080 27442 4294967295 134512640 134569956 3221224336 3221214600 1131567730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 27442 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 194.34
Current children cumulated vsize (Kb) 850920

[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18343 4 1 0 20324 58 0 0 18 0 11 0 1844836128 871342080 27512 4294967295 134512640 134569956 3221224336 3221214520 1131419376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 27512 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (Kb) 850920

[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18349 4 1 0 21270 58 0 0 25 0 11 0 1844836128 871342080 27674 4294967295 134512640 134569956 3221224336 3221214584 1131363747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 27674 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 213.28
Current children cumulated vsize (Kb) 850920

[startup+240.014 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18355 4 1 0 22220 58 0 0 25 0 11 0 1844836128 871342080 27804 4294967295 134512640 134569956 3221224336 3221214620 1131470272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 27804 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 222.78
Current children cumulated vsize (Kb) 850920

[startup+250.013 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18362 4 1 0 23164 59 0 0 24 0 11 0 1844836128 871342080 27958 4294967295 134512640 134569956 3221224336 3221214728 1131510833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 27958 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 232.23
Current children cumulated vsize (Kb) 850920

[startup+260.014 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18368 4 1 0 24119 59 0 0 19 0 11 0 1844836128 871342080 28090 4294967295 134512640 134569956 3221224336 3221214584 1131363739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28090 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 241.78
Current children cumulated vsize (Kb) 850920

[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18374 4 1 0 25078 60 0 0 25 0 11 0 1844836128 871342080 28218 4294967295 134512640 134569956 3221224336 3221214728 1131510833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 28218 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 251.38
Current children cumulated vsize (Kb) 850920

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18380 4 1 0 26040 60 0 0 25 0 11 0 1844836128 871342080 28363 4294967295 134512640 134569956 3221224336 3221214624 1131530471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28363 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 261
Current children cumulated vsize (Kb) 850920

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18387 4 1 0 26999 61 0 0 21 0 11 0 1844836128 871342080 28485 4294967295 134512640 134569956 3221224336 3221214600 1131567219 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 28485 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 270.6
Current children cumulated vsize (Kb) 850920

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18393 4 1 0 27969 61 0 0 22 0 11 0 1844836128 871342080 28531 4294967295 134512640 134569956 3221224336 3221214520 1131419296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28531 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 280.3
Current children cumulated vsize (Kb) 850920

[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18400 4 1 0 28932 61 0 0 16 0 11 0 1844836128 871342080 28631 4294967295 134512640 134569956 3221224336 3221214520 1131419296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28631 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 289.93
Current children cumulated vsize (Kb) 850920

[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18406 4 1 0 29904 61 0 0 24 0 11 0 1844836128 871342080 28685 4294967295 134512640 134569956 3221224336 3221214624 1131530580 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28685 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 299.65
Current children cumulated vsize (Kb) 850920

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18413 4 1 0 30874 61 0 0 17 0 11 0 1844836128 871342080 28776 4294967295 134512640 134569956 3221224336 3221214600 1131356660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28776 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 309.35
Current children cumulated vsize (Kb) 850920

[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18419 4 1 0 31850 62 0 0 25 0 11 0 1844836128 871342080 28811 4294967295 134512640 134569956 3221224336 3221214592 1131554350 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 28811 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 319.12
Current children cumulated vsize (Kb) 850920

[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18426 4 1 0 32822 62 0 0 18 0 11 0 1844836128 871342080 28889 4294967295 134512640 134569956 3221224336 3221214512 1131419282 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28889 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 328.84
Current children cumulated vsize (Kb) 850920

[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18432 4 1 0 33800 63 0 0 25 0 11 0 1844836128 871342080 28935 4294967295 134512640 134569956 3221224336 3221214568 1131504548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 28935 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 338.63
Current children cumulated vsize (Kb) 850920

[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18439 4 1 0 34774 63 0 0 19 0 11 0 1844836128 871342080 29003 4294967295 134512640 134569956 3221224336 3221214520 1131419323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29003 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 348.37
Current children cumulated vsize (Kb) 850920

[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18445 4 1 0 35753 64 0 0 25 0 11 0 1844836128 871342080 29042 4294967295 134512640 134569956 3221224336 3221214520 1131419294 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29042 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 358.17
Current children cumulated vsize (Kb) 850920

[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18452 4 1 0 36726 64 0 0 25 0 11 0 1844836128 871342080 29085 4294967295 134512640 134569956 3221224336 3221214520 1131419282 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29085 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 367.9
Current children cumulated vsize (Kb) 850920

[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18458 4 1 0 37700 64 0 0 25 0 11 0 1844836128 871342080 29120 4294967295 134512640 134569956 3221224336 3221214648 1131641139 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29120 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 377.64
Current children cumulated vsize (Kb) 850920

[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18465 4 1 0 38663 65 0 0 25 0 11 0 1844836128 871342080 29171 4294967295 134512640 134569956 3221224336 3221214456 1131610562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29171 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 387.28
Current children cumulated vsize (Kb) 850920

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18471 4 1 0 39629 65 0 0 24 0 11 0 1844836128 871342080 29199 4294967295 134512640 134569956 3221224336 3221214648 1131636124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29199 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 396.94
Current children cumulated vsize (Kb) 850920

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18477 4 1 0 40592 66 0 0 25 0 11 0 1844836128 871342080 29238 4294967295 134512640 134569956 3221224336 3221214568 1131413924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29238 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 406.58
Current children cumulated vsize (Kb) 850920

[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18483 4 1 0 41551 66 0 0 25 0 11 0 1844836128 871342080 29295 4294967295 134512640 134569956 3221224336 3221214648 1131635917 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29295 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 416.17
Current children cumulated vsize (Kb) 850920

[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18490 4 1 0 42504 66 0 0 17 0 11 0 1844836128 871342080 29432 4294967295 134512640 134569956 3221224336 3221214624 1131530471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29432 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 425.7
Current children cumulated vsize (Kb) 850920

[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18496 4 1 0 43467 67 0 0 25 0 11 0 1844836128 871342080 29534 4294967295 134512640 134569956 3221224336 3221214648 1131637546 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29534 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 435.34
Current children cumulated vsize (Kb) 850920

[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18503 4 1 0 44423 67 0 0 17 0 11 0 1844836128 871342080 29608 4294967295 134512640 134569956 3221224336 3221214520 1131419513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 29608 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 444.9
Current children cumulated vsize (Kb) 850920

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18509 4 1 0 45385 67 0 0 25 0 11 0 1844836128 871342080 29691 4294967295 134512640 134569956 3221224336 3221214556 1131057218 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29691 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 454.52
Current children cumulated vsize (Kb) 850920

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18515 4 1 0 46351 67 0 0 25 0 11 0 1844836128 871342080 29782 4294967295 134512640 134569956 3221224336 3221214648 1131636152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29782 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 464.18
Current children cumulated vsize (Kb) 850920

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) S 28336 28337 19316 0 -1 0 18521 4 1 0 47314 68 0 0 25 0 11 0 1844836128 871342080 29871 4294967295 134512640 134569956 3221224336 3221213392 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29871 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 473.82
Current children cumulated vsize (Kb) 850920

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18528 4 1 0 48281 68 0 0 25 0 11 0 1844836128 871342080 29949 4294967295 134512640 134569956 3221224336 3221214624 1131530471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 29949 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 483.49
Current children cumulated vsize (Kb) 850920

[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18534 4 1 0 49251 69 0 0 17 0 11 0 1844836128 871342080 30045 4294967295 134512640 134569956 3221224336 3221214648 1131637421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30045 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 493.2
Current children cumulated vsize (Kb) 850920

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18541 4 1 0 50215 69 0 0 19 0 11 0 1844836128 871342080 30092 4294967295 134512640 134569956 3221224336 3221214520 1131419296 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30092 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 502.84
Current children cumulated vsize (Kb) 850920

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18547 4 1 0 51183 69 0 0 25 0 11 0 1844836128 871342080 30169 4294967295 134512640 134569956 3221224336 3221214520 1131419047 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30169 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 512.52
Current children cumulated vsize (Kb) 850920

[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18554 4 1 0 52145 69 0 0 25 0 11 0 1844836128 871342080 30231 4294967295 134512640 134569956 3221224336 3221214512 1131419323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30231 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (Kb) 850920

[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18561 4 1 0 53106 70 0 0 24 0 11 0 1844836128 871342080 30284 4294967295 134512640 134569956 3221224336 3221214648 1131642601 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30284 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 531.76
Current children cumulated vsize (Kb) 850920

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18567 4 1 0 54072 70 0 0 25 0 11 0 1844836128 871342080 30377 4294967295 134512640 134569956 3221224336 3221214644 1131358560 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30377 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 541.42
Current children cumulated vsize (Kb) 850920

[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18573 4 1 0 55041 71 0 0 25 0 11 0 1844836128 871342080 30455 4294967295 134512640 134569956 3221224336 3221214648 1131636152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30455 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 551.12
Current children cumulated vsize (Kb) 850920

[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18579 4 1 0 56009 71 0 0 25 0 11 0 1844836128 871342080 30513 4294967295 134512640 134569956 3221224336 3221214624 1131530604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30513 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 560.8
Current children cumulated vsize (Kb) 850920

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18585 4 1 0 56976 71 0 0 25 0 11 0 1844836128 871342080 30587 4294967295 134512640 134569956 3221224336 3221214648 1131640431 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30587 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 570.47
Current children cumulated vsize (Kb) 850920

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18591 4 1 0 57943 71 0 0 25 0 11 0 1844836128 871342080 30646 4294967295 134512640 134569956 3221224336 3221214648 1131643417 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 30646 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 580.14
Current children cumulated vsize (Kb) 850920

[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18597 4 1 0 58907 72 0 0 20 0 11 0 1844836128 871342080 30728 4294967295 134512640 134569956 3221224336 3221214624 1131530471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30728 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 589.79
Current children cumulated vsize (Kb) 850920

[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18604 4 1 0 59866 72 0 0 25 0 11 0 1844836128 871342080 30764 4294967295 134512640 134569956 3221224336 3221214648 1131639057 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30764 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 599.38
Current children cumulated vsize (Kb) 850920

[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18610 4 1 0 60826 72 0 0 25 0 11 0 1844836128 871342080 30838 4294967295 134512640 134569956 3221224336 3221214600 1131567856 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30838 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 608.98
Current children cumulated vsize (Kb) 850920

[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18616 4 1 0 61784 73 0 0 25 0 11 0 1844836128 871342080 30915 4294967295 134512640 134569956 3221224336 3221214520 1131419414 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 30915 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 618.57
Current children cumulated vsize (Kb) 850920

[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18623 4 1 0 62735 73 0 0 25 0 11 0 1844836128 871342080 31048 4294967295 134512640 134569956 3221224336 3221214600 1131567170 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 31048 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 628.08
Current children cumulated vsize (Kb) 850920

[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18629 4 1 0 63696 74 0 0 25 0 11 0 1844836128 871342080 31119 4294967295 134512640 134569956 3221224336 3221214600 1131567454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31119 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 637.7
Current children cumulated vsize (Kb) 850920

[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) S 28336 28337 19316 0 -1 0 18635 4 1 0 64656 74 0 0 25 0 11 0 1844836128 871342080 31197 4294967295 134512640 134569956 3221224336 3221213328 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31197 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 647.3
Current children cumulated vsize (Kb) 850920

[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18642 4 1 0 65618 74 0 0 25 0 11 0 1844836128 871342080 31355 4294967295 134512640 134569956 3221224336 3221214648 1131642432 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 31355 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 656.92
Current children cumulated vsize (Kb) 850920

[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18648 4 1 0 66587 75 0 0 25 0 11 0 1844836128 871342080 31455 4294967295 134512640 134569956 3221224336 3221214560 1131391292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31455 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 666.62
Current children cumulated vsize (Kb) 850920

[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18654 4 1 0 67558 75 0 0 25 0 11 0 1844836128 871342080 31501 4294967295 134512640 134569956 3221224336 3221214648 1131642424 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31501 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 676.33
Current children cumulated vsize (Kb) 850920

[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18660 4 1 0 68528 76 0 0 25 0 11 0 1844836128 871342080 31582 4294967295 134512640 134569956 3221224336 3221214616 1131563431 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31582 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 686.04
Current children cumulated vsize (Kb) 850920

[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18666 4 1 0 69498 76 0 0 25 0 11 0 1844836128 871342080 31632 4294967295 134512640 134569956 3221224336 3221214520 1131419097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31632 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 695.74
Current children cumulated vsize (Kb) 850920

[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18673 4 1 0 70462 77 0 0 25 0 11 0 1844836128 871342080 31711 4294967295 134512640 134569956 3221224336 3221214592 1131554288 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 31711 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 705.39
Current children cumulated vsize (Kb) 850920

[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18679 4 1 0 71433 77 0 0 25 0 11 0 1844836128 871342080 31746 4294967295 134512640 134569956 3221224336 3221214620 1131565792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 31746 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 715.1
Current children cumulated vsize (Kb) 850920

[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18686 4 1 0 72396 77 0 0 25 0 11 0 1844836128 871342080 31823 4294967295 134512640 134569956 3221224336 3221214512 1131419131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31823 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 724.73
Current children cumulated vsize (Kb) 850920

[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18692 4 1 0 73366 77 0 0 25 0 11 0 1844836128 871342080 31888 4294967295 134512640 134569956 3221224336 3221214520 1131419323 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31888 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 734.43
Current children cumulated vsize (Kb) 850920

[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) S 28336 28337 19316 0 -1 0 18698 4 1 0 74340 78 0 0 25 0 11 0 1844836128 871342080 31935 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28337/statm): 212730 31935 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 744.18
Current children cumulated vsize (Kb) 850920

[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 28349
Raw data (/proc/28337/stat): 28337 (java) R 28336 28337 19316 0 -1 0 18704 4 1 0 75306 78 0 0 16 0 11 0 1844836128 871342080 31990 4294967295 134512640 134569956 3221224336 3221214648 1131642424 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28337/statm): 212730 31990 13129 16 0 212714 0
[pid=28337] vsize: 850920
Current children cumulated CPU time (s) 753.84
Current children cumulated vsize (Kb) 850920
New thread pid=28350
One traced child (pid=28349) exited with status: 0
One traced child (pid=28350) exited with status: 0
One traced child (pid=28346) exited with status: 0
One traced child (pid=28341) exited with status: 0
One traced child (pid=28338) exited with status: 30
One traced child (pid=28339) exited with status: 30
One traced child (pid=28345) exited with status: 30
One traced child (pid=28340) exited with status: 30
One traced child (pid=28342) exited with status: 30
One traced child (pid=28344) exited with status: 30
One traced child (pid=28343) exited with status: 30
One traced child (pid=28337) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 798.621
CPU time (s): 810.454
CPU user time (s): 808.716
CPU system time (s): 1.73773
CPU usage (%): 101.482
Max. virtual memory (cumulated for all children) (Kb): 854856

Verifier Data

Verifier:	OK	70