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

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM6049145b9f1adfd7114adf044503d587
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark965.053
Number of variables907
Total number of constraints1309
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)1183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134

Trace number 3310

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-18 23:43:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6244 boxname=wulflinc20 idbench=384 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-ws97-5.opb
IDLAUNCH: 6244
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        896360 kB
Buffers:         35948 kB
Cached:          73584 kB
SwapCached:        832 kB
Active:          70756 kB
Inactive:        41452 kB
HighTotal:      131008 kB
HighFree:        54068 kB
LowTotal:       903652 kB
LowFree:        842292 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20440 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 23:59:07 (client local time) WITH STATUS 30 IN 965.053 SECONDS
stats: 6244 0 965.053 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/wulflinc20/normalized-ws97-5.opb
c reading problem ... done. Time 1.73 ms.
c #vars     907
c #constraints  663
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               13382 		Current CPU time: 4.94 ms
c CURRENT OPTIMUM=                4981 		Current CPU time: 8.92 ms
c CURRENT OPTIMUM=                4865 		Current CPU time: 23.59 ms
c CURRENT OPTIMUM=                4358 		Current CPU time: 45.69 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 74.58 ms
c CURRENT OPTIMUM=                2954 		Current CPU time: 128.40 ms
c CURRENT OPTIMUM=                2855 		Current CPU time: 251.23 ms
c CURRENT OPTIMUM=                2853 		Current CPU time: 310.51 ms
c CURRENT OPTIMUM=                2847 		Current CPU time: 381.69 ms
c CURRENT OPTIMUM=                2846 		Current CPU time: 417.82 ms
c CURRENT OPTIMUM=                2651 		Current CPU time: 462.82 ms
c CURRENT OPTIMUM=                2650 		Current CPU time: 553.95 ms
c CURRENT OPTIMUM=                2648 		Current CPU time: 701.46 ms
c CURRENT OPTIMUM=                2642 		Current CPU time: 812.66 ms
c starts		: 28
c conflicts		: 2042
c decisions		: 20546
c propagations		: 68310
c inspects		: 1761303
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 2041
c root simplifications	: 30
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 16684
c speed (decisions/second)	: 137.40110878535174
c non guided choices	6306
c random choices	0
s OPTIMUM FOUND
v v1 -v127 -v505 v640 -v774 -v4 v256 v508 -v5 -v131 v257 -v383 -v509 -v6 -v132 v258 v510 v7 -v133 -v512 -v8 v134 v513 v388 -v516 v11 -v137 -v517 -v12 v138 v518 -v14 v392 v520 -v15 -v141 v267 -v521 -v16 v394 v522 v17 -v143 -v523 -v18 v396 v524 v19 -v525 v659 -v20 v146 -v526 -v21 v273 -v527 v22 -v528 v662 -v23 v149 v529 -v24 v150 v530 -v25 -v151 v403 v531 -v26 v152 v532 v27 -v153 -v533 -v28 v406 v534 -v29 v407 v535 v30 -v156 -v536 -v31 v157 v537 v32 -v158 -v672 v806 -v33 -v159 v285 -v539 -v34 v160 v540 v287 -v413 v36 -v162 -v542 -v37 v163 v543 -v38 v164 v544 v39 -v545 -v679 v813 -v40 v166 v546 -v41 v419 -v547 -v42 v168 v548 -v43 v421 v549 -v44 v170 v550 v551 v45 -v171 -v552 v686 v46 -v172 -v553 -v47 -v173 v425 v554 -v48 -v174 v426 v555 -v49 v175 v556 v428 -v51 v177 v558 v52 -v178 -v559 v431 -v694 v828 -v54 -v180 v432 v561 -v55 v433 v562 -v56 v308 -v563 v697 -v831 -v57 v435 v564 -v58 v436 -v565 v566 -v59 v185 v567 -v568 v60 -v569 v703 -v837 -v61 v187 v570 -v62 v314 -v440 -v571 v705 -v839 v63 -v189 -v572 -v64 v316 -v573 -v65 v317 -v574 -v66 v318 -v575 v67 -v193 -v576 v710 -v68 -v194 v320 -v577 -v711 v845 -v69 -v195 v447 -v578 -v70 v196 v579 v71 -v580 v714 -v72 v198 v581 v73 -v582 -v74 v200 -v583 v75 -v201 -v584 -v76 v202 -v585 -v78 -v204 v330 -v456 v587 -v79 v457 -v588 v722 -v589 -v81 -v207 v333 -v459 v590 -v82 v334 -v591 -v83 v335 -v461 -v592 v726 -v727 v861 v85 -v211 -v594 -v728 v862 -v86 -v212 v464 -v595 v87 -v213 -v596 v730 -v864 -v88 v214 v597 -v89 v467 -v598 v732 -v90 -v216 v468 v599 -v600 -v92 v218 v602 -v93 v219 v603 v94 -v220 -v604 -v738 v872 -v96 v222 v606 v349 -v475 v741 -v98 v224 -v608 -v99 v351 -v477 -v609 v743 -v877 v226 v744 -v878 v227 -v745 v879 -v102 -v228 v354 -v480 v612 -v103 -v229 v355 -v481 -v613 v104 -v614 v748 -v105 -v231 v357 -v483 -v615 v106 -v616 -v107 -v233 v485 -v617 -v108 v234 v618 v109 -v235 -v619 v753 -v110 -v236 v362 -v488 -v620 v754 -v888 v756 -v890 -v113 v365 v623 v240 -v115 -v241 v493 -v625 v759 -v116 v242 v626 -v627 -v761 v895 -v117 v495 v628 -v118 v370 -v630 v764 -v898 v119 -v631 v765 -v899 v120 -v246 -v632 v766 -v900 -v121 v373 v633 -v122 v374 -v500 -v634 v123 -v635 v903 -v124 -v376 v502 -v636 v770 -v904 -v771 v905 v126 -v638 v772 -v2 -v128 -v506 -v3 -v507 -v641 -v130 -v642 -v776 -v643 v777 -v384 -v644 -v778 -v645 v779 -v259 -v646 v780 -v260 -v386 -v647 -v781 -v261 -v387 -v136 -v389 -v264 -v390 -v652 -v786 -v654 -v788 -v655 v789 -v142 -v656 -v790 -v269 -v657 v791 -v270 -v658 -v792 -v145 -v271 -v272 -v398 -v660 v794 -v147 -v399 -v661 v795 -v148 -v400 -v275 -v663 -v797 -v276 -v402 -v664 -v798 -v277 -v665 -v799 -v278 -v404 -v666 -v800 -v279 -v405 -v667 v801 -v154 -v280 -v668 -v802 -v155 -v281 -v669 -v803 -v283 -v409 -v671 -v805 -v411 -v286 -v412 -v674 -v808 -v675 v809 -v289 -v415 -v677 -v811 -v290 -v416 -v678 -v812 -v165 -v291 -v417 -v292 -v680 -v814 -v294 -v420 -v682 -v816 -v169 -v683 -v817 -v296 -v422 -v684 -v818 -v685 -v819 -v297 -v423 -v820 -v299 -v688 -v822 -v300 -v689 -v823 -v301 -v427 -v690 -v824 -v50 -v176 -v302 -v557 -v691 v825 -v303 -v429 -v692 -v826 -v304 -v430 -v693 v827 -v53 -v179 -v305 -v560 -v306 -v695 -v829 -v181 -v696 -v830 -v182 -v434 -v183 -v309 -v698 -v832 -v184 -v310 -v700 -v834 -v311 -v437 -v701 -v835 v702 -v836 -v186 -v312 -v438 -v313 -v439 -v704 -v838 -v188 -v315 -v706 v840 -v190 -v442 -v707 v841 -v191 -v443 -v192 -v444 -v709 v843 -v319 -v445 -v844 -v446 -v321 -v846 -v322 -v448 -v713 -v847 -v197 -v323 -v449 -v324 -v450 -v715 -v849 -v325 -v716 v850 -v326 -v452 -v717 v851 -v327 -v453 -v718 v852 -v328 -v454 -v719 v853 -v721 -v855 -v205 -v331 -v856 -v206 -v724 -v858 -v208 -v460 -v337 -v463 -v338 v729 -v863 -v339 -v465 -v340 -v466 -v731 -v865 -v215 -v341 -v866 -v342 -v733 -v867 -v217 -v344 -v736 -v870 -v345 -v471 -v737 -v871 -v346 -v472 -v347 -v739 v873 -v348 -v740 -v874 -v350 -v476 v742 -v876 -v225 -v352 -v478 -v353 -v479 -v746 -v880 v747 -v881 v749 -v883 -v484 -v750 v884 -v359 -v360 -v486 -v752 -v886 -v361 -v487 -v887 -v755 v889 -v238 -v490 -v491 -v757 -v891 -v114 -v366 -v492 -v624 -v367 -v893 -v368 -v494 -v760 -v894 -v243 -v369 -v762 -v896 -v245 -v497 -v372 -v498 -v247 -v499 -v767 -v901 -v375 -v501 -v125 -v637 -v252 -v378 -v504 -v906 one v9 -v10 -v13 -v35 -v77 -v80 -v84 -v91 -v95 -v97 -v100 -v101 -v111 -v112 -v129 -v135 -v139 -v140 -v144 -v161 -v167 -v199 -v203 -v209 -v210 -v221 -v223 -v230 -v232 -v237 -v239 -v244 -v248 -v249 -v250 -v251 -v253 -v254 -v255 -v262 -v263 v265 -v266 -v268 -v274 -v282 -v284 -v288 -v293 -v295 -v298 -v307 -v329 v332 v336 v343 -v356 -v358 v363 v364 -v371 v377 -v379 v380 v381 -v382 -v385 -v391 -v393 -v395 -v397 -v401 -v408 -v410 -v414 -v418 -v424 -v441 -v451 v455 -v458 -v462 -v469 -v470 v473 -v474 -v482 -v489 -v496 -v503 -v511 -v514 -v515 -v519 -v538 -v541 v586 -v593 -v601 -v605 -v607 -v610 -v611 -v621 -v622 -v629 -v639 -v648 -v649 -v650 -v651 -v653 -v670 -v673 -v676 -v681 -v687 -v699 -v708 v712 -v720 -v723 -v725 v734 v735 v751 v758 v763 v768 -v769 v773 v775 v782 v783 v784 v785 v787 -v793 -v796 v804 v807 v810 v815 v821 v833 v842 -v848 -v854 v857 v859 -v860 -v868 -v869 -v875 -v882 -v885 -v892 -v897 -v902 
c objective function=2642
c Total CPU time (ms) : 962.232

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/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845304247 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 39 3 38 16 0 23 0
[pid=18309] 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/18309
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=18310
New thread pid=18311
New thread pid=18312
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=18313
New thread pid=18314
New thread pid=18315
New thread pid=18316
New thread pid=18317
New thread pid=18318
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/wulflinc20/normalized-ws97-5.opb
New thread pid=18319
One traced child (pid=18319) exited with status: 0
New thread pid=18320

[startup+10.0019 s]
Raw data (loadavg): 1.09 1.02 1.01 2/66 18320
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18202 4 1 0 788 52 0 0 16 0 11 0 1845304247 856072192 21441 4294967295 134512640 134569956 3221224352 3221214672 1131409671 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209002 21441 13129 16 0 208986 0
[pid=18309] vsize: 836008
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (Kb) 836008
One traced child (pid=18320) exited with status: 0
New thread pid=18321

[startup+20.0027 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 18321
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18215 4 1 0 1709 53 0 0 23 0 11 0 1845304247 855851008 22466 4294967295 134512640 134569956 3221224352 3221214640 1131348950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 22466 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 17.62
Current children cumulated vsize (Kb) 835792
One traced child (pid=18321) exited with status: 0
New thread pid=18322

[startup+30.0034 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 18322
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18225 4 1 0 2636 53 0 0 17 0 11 0 1845304247 855851008 23694 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 23694 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 26.89
Current children cumulated vsize (Kb) 835792

[startup+40.0041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 18322
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18233 4 1 0 3560 53 0 0 17 0 11 0 1845304247 855851008 24788 4294967295 134512640 134569956 3221224352 3221214132 1131600288 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 24788 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 36.13
Current children cumulated vsize (Kb) 835792
One traced child (pid=18322) exited with status: 0
New thread pid=18323

[startup+50.0058 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 18323
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18238 4 1 0 4521 53 0 0 25 0 11 0 1845304247 855851008 25120 4294967295 134512640 134569956 3221224352 3221214752 1131439586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 25120 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 45.74
Current children cumulated vsize (Kb) 835792

[startup+60.0056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 18323
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18244 4 1 0 5474 53 0 0 23 0 11 0 1845304247 855851008 25120 4294967295 134512640 134569956 3221224352 3221214748 1131348896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 25120 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 55.27
Current children cumulated vsize (Kb) 835792

[startup+70.0063 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 18323
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18248 4 1 0 6425 54 0 0 25 0 11 0 1845304247 855851008 25556 4294967295 134512640 134569956 3221224352 3221214704 1131516209 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 25556 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 64.79
Current children cumulated vsize (Kb) 835792
One traced child (pid=18323) exited with status: 0
New thread pid=18324

[startup+80.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18324
Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18253 4 1 0 7372 54 0 0 25 0 11 0 1845304247 855851008 25967 4294967295 134512640 134569956 3221224352 3221213296 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 25967 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 74.26
Current children cumulated vsize (Kb) 835792

[startup+90.0068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18324
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18262 4 1 0 8292 54 0 0 23 0 11 0 1845304247 855851008 25967 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 25967 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 83.46
Current children cumulated vsize (Kb) 835792

[startup+100.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18324
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18271 4 1 0 9197 55 0 0 19 0 11 0 1845304247 855851008 26237 4294967295 134512640 134569956 3221224352 3221214656 1131410533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 26237 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 92.52
Current children cumulated vsize (Kb) 835792

[startup+110.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18324
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18280 4 1 0 10121 55 0 0 22 0 11 0 1845304247 855851008 26764 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 26764 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (Kb) 835792

[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18324
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18289 4 1 0 11034 55 0 0 21 0 11 0 1845304247 855851008 26878 4294967295 134512640 134569956 3221224352 3221214656 1131409686 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 26878 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 110.89
Current children cumulated vsize (Kb) 835792
One traced child (pid=18324) exited with status: 0
New thread pid=18325

[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18293 4 1 0 11992 56 0 0 22 0 11 0 1845304247 855851008 27035 4294967295 134512640 134569956 3221224352 3221214120 1131480168 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 27035 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 120.48
Current children cumulated vsize (Kb) 835792

[startup+140.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18300 4 1 0 12921 56 0 0 21 0 11 0 1845304247 855851008 27144 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 27144 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 129.77
Current children cumulated vsize (Kb) 835792

[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18310 4 1 0 13835 56 0 0 20 0 11 0 1845304247 855851008 27425 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 27425 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 138.91
Current children cumulated vsize (Kb) 835792

[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18319 4 1 0 14781 57 0 0 25 0 11 0 1845304247 855851008 27773 4294967295 134512640 134569956 3221224352 3221214656 1131410590 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 27773 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 148.38
Current children cumulated vsize (Kb) 835792

[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18329 4 1 0 15745 57 0 0 25 0 11 0 1845304247 855851008 27940 4294967295 134512640 134569956 3221224352 3221214656 1131410520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 27940 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 158.02
Current children cumulated vsize (Kb) 835792

[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18339 4 1 0 16710 58 0 0 24 0 11 0 1845304247 855851008 28003 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 28003 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 167.68
Current children cumulated vsize (Kb) 835792

[startup+190.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18348 4 1 0 17677 58 0 0 25 0 11 0 1845304247 855851008 28058 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 28058 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 177.35
Current children cumulated vsize (Kb) 835792

[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18358 4 1 0 18641 59 0 0 25 0 11 0 1845304247 855851008 28168 4294967295 134512640 134569956 3221224352 3221214656 1131409598 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 28168 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 187
Current children cumulated vsize (Kb) 835792

[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18366 4 1 0 19612 59 0 0 25 0 11 0 1845304247 855851008 28232 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 208948 28232 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 835792

[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18377 4 1 0 20575 59 0 0 16 0 11 0 1845304247 855851008 28309 4294967295 134512640 134569956 3221224352 3221214512 1131082397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 208948 28309 13129 16 0 208932 0
[pid=18309] vsize: 835792
Current children cumulated CPU time (s) 206.34
Current children cumulated vsize (Kb) 835792

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18385 4 1 0 21536 60 0 0 25 0 11 0 1845304247 856899584 28474 4294967295 134512640 134569956 3221224352 3221214640 1131483097 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209204 28474 13129 16 0 209188 0
[pid=18309] vsize: 836816
Current children cumulated CPU time (s) 215.96
Current children cumulated vsize (Kb) 836816

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18391 4 1 0 22495 60 0 0 25 0 11 0 1845304247 857948160 28757 4294967295 134512640 134569956 3221224352 3221214080 1131479100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 28757 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 225.55
Current children cumulated vsize (Kb) 837840

[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18325
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18394 4 1 0 23469 60 0 0 25 0 11 0 1845304247 857948160 28757 4294967295 134512640 134569956 3221224352 3221214080 1131479048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 28757 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 235.29
Current children cumulated vsize (Kb) 837840
One traced child (pid=18325) exited with status: 0
New thread pid=18326

[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18399 4 1 0 24408 61 0 0 25 0 11 0 1845304247 857948160 29198 4294967295 134512640 134569956 3221224352 3221214504 1131602916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 29198 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 244.69
Current children cumulated vsize (Kb) 837840

[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18406 4 1 0 25333 62 0 0 19 0 11 0 1845304247 857948160 29242 4294967295 134512640 134569956 3221224352 3221214552 1131381554 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 29242 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 253.95
Current children cumulated vsize (Kb) 837840

[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18414 4 1 0 26263 62 0 0 20 0 11 0 1845304247 857948160 29782 4294967295 134512640 134569956 3221224352 3221214752 1131439635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 29782 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 263.25
Current children cumulated vsize (Kb) 837840

[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18420 4 1 0 27220 63 0 0 25 0 11 0 1845304247 857948160 29782 4294967295 134512640 134569956 3221224352 3221214640 1131506407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 29782 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 272.83
Current children cumulated vsize (Kb) 837840

[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18426 4 1 0 28157 63 0 0 22 0 11 0 1845304247 857948160 30066 4294967295 134512640 134569956 3221224352 3221214648 1131381684 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 30066 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (Kb) 837840

[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18326
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18428 4 1 0 29132 63 0 0 25 0 11 0 1845304247 857948160 30268 4294967295 134512640 134569956 3221224352 3221214752 1131439169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 30268 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 291.95
Current children cumulated vsize (Kb) 837840
One traced child (pid=18326) exited with status: 0
New thread pid=18327

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18433 4 1 0 30081 63 0 0 25 0 11 0 1845304247 857948160 30268 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 30268 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 301.44
Current children cumulated vsize (Kb) 837840

[startup+330.022 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18440 4 1 0 30995 63 0 0 25 0 11 0 1845304247 857948160 30407 4294967295 134512640 134569956 3221224352 3221213296 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 30407 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 310.58
Current children cumulated vsize (Kb) 837840

[startup+340.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18446 4 1 0 31941 63 0 0 21 0 11 0 1845304247 857948160 30521 4294967295 134512640 134569956 3221224352 3221214752 1131439289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 30521 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 320.04
Current children cumulated vsize (Kb) 837840

[startup+350.024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18454 4 1 0 32858 64 0 0 25 0 11 0 1845304247 857948160 30640 4294967295 134512640 134569956 3221224352 3221214032 1131600412 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 30640 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 329.22
Current children cumulated vsize (Kb) 837840

[startup+360.024 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18455 4 1 0 33844 64 0 0 25 0 11 0 1845304247 857948160 30758 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 30758 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 339.08
Current children cumulated vsize (Kb) 837840

[startup+370.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18458 4 1 0 34804 64 0 0 25 0 11 0 1845304247 857948160 31248 4294967295 134512640 134569956 3221224352 3221214264 1085806237 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 31248 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 348.68
Current children cumulated vsize (Kb) 837840

[startup+380.025 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 18327
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18464 4 1 0 35746 64 0 0 25 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 358.1
Current children cumulated vsize (Kb) 837840
One traced child (pid=18327) exited with status: 0
New thread pid=18328

[startup+390.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 18328
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18466 4 1 0 36729 64 0 0 25 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214304 1131600412 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 367.93
Current children cumulated vsize (Kb) 837840

[startup+400.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18328
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18471 4 1 0 37678 64 0 0 20 0 11 0 1845304247 857948160 31809 4294967295 134512640 134569956 3221224352 3221214408 1131479100 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 31809 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 377.42
Current children cumulated vsize (Kb) 837840

[startup+410.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18328
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18474 4 1 0 38641 64 0 0 24 0 11 0 1845304247 857948160 32065 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 32065 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 387.05
Current children cumulated vsize (Kb) 837840
One traced child (pid=18328) exited with status: 0
New thread pid=18329

[startup+420.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 18329
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18480 4 1 0 39570 65 0 0 25 0 11 0 1845304247 857948160 32516 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 32516 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 396.35
Current children cumulated vsize (Kb) 837840

[startup+430.025 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18329
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18484 4 1 0 40527 65 0 0 25 0 11 0 1845304247 857948160 32601 4294967295 134512640 134569956 3221224352 3221214240 1131373753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 32601 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 405.92
Current children cumulated vsize (Kb) 837840

[startup+440.026 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 18329
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18488 4 1 0 41475 65 0 0 25 0 11 0 1845304247 857948160 33274 4294967295 134512640 134569956 3221224352 3221214752 1131438977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 33274 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 415.4
Current children cumulated vsize (Kb) 837840

[startup+450.027 s]
Raw data (loadavg): 1.01 1.00 1.00 3/66 18329
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18491 4 1 0 42438 65 0 0 21 0 11 0 1845304247 857948160 33606 4294967295 134512640 134569956 3221224352 3221214656 1131410583 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 33606 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 425.03
Current children cumulated vsize (Kb) 837840

[startup+460.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 18329
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18497 4 1 0 43376 66 0 0 17 0 11 0 1845304247 857948160 33635 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 33635 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 434.42
Current children cumulated vsize (Kb) 837840
One traced child (pid=18329) exited with status: 0
New thread pid=18330

[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18505 4 1 0 44294 67 0 0 18 0 11 0 1845304247 857948160 33776 4294967295 134512640 134569956 3221224352 3221214656 1131409978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 33776 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 443.61
Current children cumulated vsize (Kb) 837840

[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18513 4 1 0 45215 68 0 0 24 0 11 0 1845304247 857948160 33776 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 33776 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 452.83
Current children cumulated vsize (Kb) 837840

[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18522 4 1 0 46125 68 0 0 18 0 11 0 1845304247 857948160 34415 4294967295 134512640 134569956 3221224352 3221214656 1131410064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 34415 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (Kb) 837840

[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18531 4 1 0 47053 68 0 0 16 0 11 0 1845304247 857948160 34524 4294967295 134512640 134569956 3221224352 3221214752 1131440601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 34524 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 471.21
Current children cumulated vsize (Kb) 837840

[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18539 4 1 0 47976 69 0 0 21 0 11 0 1845304247 857948160 34560 4294967295 134512640 134569956 3221224352 3221214656 1131410569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 34560 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 480.45
Current children cumulated vsize (Kb) 837840

[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18543 4 1 0 48932 70 0 0 25 0 11 0 1845304247 857948160 34612 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 34612 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 490.02
Current children cumulated vsize (Kb) 837840

[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) S 18308 18309 2660 0 -1 0 18547 4 1 0 49891 70 0 0 25 0 11 0 1845304247 857948160 34748 4294967295 134512640 134569956 3221224352 3221213256 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 34748 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 499.61
Current children cumulated vsize (Kb) 837840

[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18552 4 1 0 50816 70 0 0 25 0 11 0 1845304247 857948160 35811 4294967295 134512640 134569956 3221224352 3221214456 1131601941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 35811 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 508.86
Current children cumulated vsize (Kb) 837840

[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18330
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18560 4 1 0 51761 71 0 0 25 0 11 0 1845304247 857948160 36431 4294967295 134512640 134569956 3221224352 3221214748 1131381363 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 36431 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (Kb) 837840
One traced child (pid=18330) exited with status: 0
New thread pid=18331

[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18568 4 1 0 52712 71 0 0 25 0 11 0 1845304247 857948160 36432 4294967295 134512640 134569956 3221224352 3221214608 1131373250 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 36432 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 527.83
Current children cumulated vsize (Kb) 837840

[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18578 4 1 0 53648 72 0 0 24 0 11 0 1845304247 857948160 36432 4294967295 134512640 134569956 3221224352 3221214624 1131410201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 36432 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 537.2
Current children cumulated vsize (Kb) 837840

[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18587 4 1 0 54599 72 0 0 25 0 11 0 1845304247 857948160 36844 4294967295 134512640 134569956 3221224352 3221214656 1131410119 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 36844 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 546.71
Current children cumulated vsize (Kb) 837840

[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18597 4 1 0 55553 73 0 0 25 0 11 0 1845304247 857948160 36876 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 36876 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 556.26
Current children cumulated vsize (Kb) 837840

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18606 4 1 0 56502 73 0 0 21 0 11 0 1845304247 857948160 36887 4294967295 134512640 134569956 3221224352 3221214744 1131466632 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 36887 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 565.75
Current children cumulated vsize (Kb) 837840

[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18613 4 1 0 57459 74 0 0 25 0 11 0 1845304247 857948160 36977 4294967295 134512640 134569956 3221224352 3221214024 1131479100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 36977 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 575.33
Current children cumulated vsize (Kb) 837840

[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18623 4 1 0 58405 75 0 0 25 0 11 0 1845304247 857948160 37139 4294967295 134512640 134569956 3221224352 3221214640 1131348939 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37139 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 584.8
Current children cumulated vsize (Kb) 837840

[startup+630.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18630 4 1 0 59379 75 0 0 25 0 11 0 1845304247 857948160 37262 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37262 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 594.54
Current children cumulated vsize (Kb) 837840

[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18632 4 1 0 60371 75 0 0 25 0 11 0 1845304247 857948160 37263 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37263 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 604.46
Current children cumulated vsize (Kb) 837840

[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18637 4 1 0 61350 76 0 0 25 0 11 0 1845304247 857948160 37365 4294967295 134512640 134569956 3221224352 3221214800 1131351961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37365 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 614.26
Current children cumulated vsize (Kb) 837840

[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18642 4 1 0 62316 76 0 0 25 0 11 0 1845304247 857948160 37396 4294967295 134512640 134569956 3221224352 3221214352 1131479100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 37396 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 623.92
Current children cumulated vsize (Kb) 837840

[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18648 4 1 0 63257 76 0 0 25 0 11 0 1845304247 857948160 37452 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37452 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 633.33
Current children cumulated vsize (Kb) 837840

[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18655 4 1 0 64192 76 0 0 25 0 11 0 1845304247 857948160 37455 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 37455 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 642.68
Current children cumulated vsize (Kb) 837840

[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18662 4 1 0 65118 76 0 0 25 0 11 0 1845304247 857948160 37776 4294967295 134512640 134569956 3221224352 3221214656 1131410618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 37776 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 651.94
Current children cumulated vsize (Kb) 837840

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18331
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18670 4 1 0 66042 77 0 0 21 0 11 0 1845304247 857948160 37776 4294967295 134512640 134569956 3221224352 3221214752 1131440039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 37776 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 661.19
Current children cumulated vsize (Kb) 837840
One traced child (pid=18331) exited with status: 0
New thread pid=18332

[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18677 4 1 0 66989 77 0 0 23 0 11 0 1845304247 857948160 38200 4294967295 134512640 134569956 3221224352 3221214656 1131409831 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38200 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 670.66
Current children cumulated vsize (Kb) 837840

[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18686 4 1 0 67939 78 0 0 25 0 11 0 1845304247 857948160 38204 4294967295 134512640 134569956 3221224352 3221214808 1131546687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38204 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 680.17
Current children cumulated vsize (Kb) 837840

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18696 4 1 0 68908 78 0 0 22 0 11 0 1845304247 857948160 38547 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38547 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 689.86
Current children cumulated vsize (Kb) 837840

[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18707 4 1 0 69887 79 0 0 25 0 11 0 1845304247 857948160 38587 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38587 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 699.66
Current children cumulated vsize (Kb) 837840

[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18717 4 1 0 70873 80 0 0 25 0 11 0 1845304247 857948160 38608 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38608 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 709.53
Current children cumulated vsize (Kb) 837840

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18727 4 1 0 71860 80 0 0 19 0 11 0 1845304247 857948160 38615 4294967295 134512640 134569956 3221224352 3221214656 1131410039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38615 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 719.4
Current children cumulated vsize (Kb) 837840

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18737 4 1 0 72845 80 0 0 17 0 11 0 1845304247 857948160 38621 4294967295 134512640 134569956 3221224352 3221214752 1131439157 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38621 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 729.25
Current children cumulated vsize (Kb) 837840

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18747 4 1 0 73825 81 0 0 24 0 11 0 1845304247 857948160 38628 4294967295 134512640 134569956 3221224352 3221214640 1131348927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38628 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 739.06
Current children cumulated vsize (Kb) 837840

[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18757 4 1 0 74802 81 0 0 25 0 11 0 1845304247 857948160 38635 4294967295 134512640 134569956 3221224352 3221214640 1131348984 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38635 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 748.83
Current children cumulated vsize (Kb) 837840

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18766 4 1 0 75783 82 0 0 25 0 11 0 1845304247 857948160 38660 4294967295 134512640 134569956 3221224352 3221214768 1131689567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38660 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 758.65
Current children cumulated vsize (Kb) 837840

[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18332
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18770 4 1 0 76771 82 0 0 25 0 11 0 1845304247 857948160 38662 4294967295 134512640 134569956 3221224352 3221214464 1131478956 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38662 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 768.53
Current children cumulated vsize (Kb) 837840
One traced child (pid=18332) exited with status: 0
New thread pid=18333

[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18774 4 1 0 77761 82 0 0 25 0 11 0 1845304247 857948160 38681 4294967295 134512640 134569956 3221224352 3221214716 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38681 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 778.43
Current children cumulated vsize (Kb) 837840

[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18777 4 1 0 78748 82 0 0 25 0 11 0 1845304247 857948160 38681 4294967295 134512640 134569956 3221224352 3221214640 1131348916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38681 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 788.3
Current children cumulated vsize (Kb) 837840

[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18783 4 1 0 79709 82 0 0 25 0 11 0 1845304247 857948160 38703 4294967295 134512640 134569956 3221224352 3221214640 1131349039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 38703 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 797.91
Current children cumulated vsize (Kb) 837840

[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18787 4 1 0 80663 83 0 0 25 0 11 0 1845304247 857948160 38853 4294967295 134512640 134569956 3221224352 3221214656 1131409598 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 38853 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 807.46
Current children cumulated vsize (Kb) 837840

[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18795 4 1 0 81569 83 0 0 17 0 11 0 1845304247 857948160 39030 4294967295 134512640 134569956 3221224352 3221214416 1131500610 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 39030 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 816.52
Current children cumulated vsize (Kb) 837840

[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18798 4 1 0 82518 84 0 0 21 0 11 0 1845304247 857948160 40599 4294967295 134512640 134569956 3221224352 3221214296 1131479092 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 40599 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 826.02
Current children cumulated vsize (Kb) 837840

[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18802 4 1 0 83478 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 835.62
Current children cumulated vsize (Kb) 837840

[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18809 4 1 0 84415 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 844.99
Current children cumulated vsize (Kb) 837840

[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18817 4 1 0 85342 84 0 0 25 0 11 0 1845304247 857948160 40952 4294967295 134512640 134569956 3221224352 3221214752 1131440520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 40952 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 854.26
Current children cumulated vsize (Kb) 837840

[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18825 4 1 0 86275 85 0 0 24 0 11 0 1845304247 857948160 40953 4294967295 134512640 134569956 3221224352 3221214656 1131409997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 40953 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 863.6
Current children cumulated vsize (Kb) 837840

[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18831 4 1 0 87212 85 0 0 25 0 11 0 1845304247 857948160 41520 4294967295 134512640 134569956 3221224352 3221214656 1131410205 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 41520 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 872.97
Current children cumulated vsize (Kb) 837840

[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18837 4 1 0 88171 85 0 0 25 0 11 0 1845304247 857948160 41667 4294967295 134512640 134569956 3221224352 3221214640 1131348931 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18309/statm): 209460 41667 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 882.56
Current children cumulated vsize (Kb) 837840

[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18844 4 1 0 89106 85 0 0 19 0 11 0 1845304247 857948160 41672 4294967295 134512640 134569956 3221224352 3221214752 1131439393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 41672 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 891.91
Current children cumulated vsize (Kb) 837840

[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18850 4 1 0 90035 86 0 0 25 0 11 0 1845304247 857948160 41976 4294967295 134512640 134569956 3221224352 3221214616 1131433756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 41976 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 901.21
Current children cumulated vsize (Kb) 837840

[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 18333
Raw data (/proc/18309/stat): 18309 (java) R 18308 18309 2660 0 -1 0 18857 4 1 0 90962 86 0 0 16 0 11 0 1845304247 857948160 41976 4294967295 134512640 134569956 3221224352 3221214752 1131439160 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18309/statm): 209460 41976 13129 16 0 209444 0
[pid=18309] vsize: 837840
Current children cumulated CPU time (s) 910.48
Current children cumulated vsize (Kb) 837840
New thread pid=18334
One traced child (pid=18333) exited with status: 0
One traced child (pid=18334) exited with status: 0
One traced child (pid=18318) exited with status: 0
One traced child (pid=18313) exited with status: 0
One traced child (pid=18310) exited with status: 30
One traced child (pid=18315) exited with status: 30
One traced child (pid=18314) exited with status: 30
One traced child (pid=18311) exited with status: 30
One traced child (pid=18317) exited with status: 30
One traced child (pid=18312) exited with status: 30
One traced child (pid=18316) exited with status: 30
One traced child (pid=18309) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 963.629
CPU time (s): 965.053
CPU user time (s): 963.325
CPU system time (s): 1.72874
CPU usage (%): 100.148
Max. virtual memory (cumulated for all children) (Kb): 837840

Verifier Data

Verifier:	OK	2642