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

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-glass4.opb
MD5SUM7ca49051adbbebe6e2c6f68e4bc64c63
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 863236227986
Optimality of the best value was proved NO
Number of terms in the objective function 351
Biggest coefficient in the objective function 524288000000
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 1048594922917
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 1075200000000000000
Number of bits of the biggest number in a constraint 60
Biggest sum of numbers in a constraint 2440670651161677657
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.23
Number of variables653
Total number of constraints707
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint1
Maximum length of a constraint75

Trace number 8982

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 10:14:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7008 boxname=wulflinc32 idbench=1148 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7ca49051adbbebe6e2c6f68e4bc64c63  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-glass4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-glass4.opb
IDLAUNCH: 7008
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        953916 kB
Buffers:          9036 kB
Cached:          54952 kB
SwapCached:          0 kB
Active:          39176 kB
Inactive:        27700 kB
HighTotal:      131072 kB
HighFree:        71680 kB
LowTotal:       903652 kB
LowFree:        882236 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:             8324 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 10:34:57 (client local time) WITH STATUS 143 IN 1226.23 SECONDS
stats: 7008 0 1226.23 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-glass4.opb
c reading problem ... done. Time 3.771 ms.
c #vars     653
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=       1046540285957 		Current CPU time: 21.89 ms
c CURRENT OPTIMUM=        983048548590 		Current CPU time: 40.44 ms
c CURRENT OPTIMUM=        983046359866 		Current CPU time: 94.74 ms
c CURRENT OPTIMUM=        974855833840 		Current CPU time: 236.08 ms
c CURRENT OPTIMUM=        970759950691 		Current CPU time: 301.92 ms
c CURRENT OPTIMUM=        929795645081 		Current CPU time: 380.90 ms
c CURRENT OPTIMUM=        917508393969 		Current CPU time: 466.10 ms
c CURRENT OPTIMUM=        915975259291 		Current CPU time: 954.56 ms
c CURRENT OPTIMUM=        863236227986 		Current CPU time: 1119.92 ms
c starts		: 32
c conflicts		: 3570
c decisions		: 16914
c propagations		: 66364
c inspects		: 1317776
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 3570
c root simplifications	: 32
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 15596
c speed (decisions/second)	: 155.37672931709199
c non guided choices	4829
c random choices	0
s SATISFIABLE
v x1_bit_7 x1_bit_6 x1_bit_5 x1_bit_4 x1_bit_3 x1_bit_2 x1_bit_1 x1_bit0 x1_bit1 x1_bit2 x1_bit3 x1_bit4 x1_bit5 x1_bit6 x1_bit7 x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x2_bit_7 -x2_bit_6 -x2_bit_5 -x2_bit_4 -x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 -x2_bit1 x2_bit2 x2_bit3 x2_bit4 x2_bit5 x2_bit6 x2_bit7 x2_bit8 -x2_bit9 -x2_bit10 -x2_bit11 -x2_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x4_bit_7 -x4_bit_6 -x4_bit_5 -x4_bit_4 x4_bit_3 x4_bit_2 x4_bit_1 x4_bit0 x4_bit1 x4_bit2 x4_bit3 x4_bit4 x4_bit5 x4_bit6 x4_bit7 x4_bit8 x4_bit9 x4_bit10 x4_bit11 -x4_bit12 x5_bit_7 x5_bit_6 x5_bit_5 x5_bit_4 x5_bit_3 x5_bit_2 x5_bit_1 x5_bit0 x5_bit1 x5_bit2 x5_bit3 x5_bit4 x5_bit5 x5_bit6 x5_bit7 x5_bit8 x5_bit9 x5_bit10 -x5_bit11 x5_bit12 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 -x6_bit1 -x6_bit2 -x6_bit3 -x6_bit4 -x6_bit5 -x6_bit6 -x6_bit7 -x6_bit8 -x6_bit9 -x6_bit10 -x6_bit11 -x6_bit12 x7_bit_7 x7_bit_6 x7_bit_5 x7_bit_4 x7_bit_3 x7_bit_2 x7_bit_1 x7_bit0 x7_bit1 x7_bit2 x7_bit3 x7_bit4 x7_bit5 x7_bit6 x7_bit7 x7_bit8 x7_bit9 x7_bit10 x7_bit11 -x7_bit12 -x8_bit_7 -x8_bit_6 -x8_bit_5 -x8_bit_4 -x8_bit_3 -x8_bit_2 -x8_bit_1 -x8_bit0 -x8_bit1 -x8_bit2 -x8_bit3 -x8_bit4 -x8_bit5 x8_bit6 x8_bit7 -x8_bit8 -x8_bit9 -x8_bit10 x8_bit11 -x8_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 -x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 x9_bit9 x9_bit10 -x9_bit11 -x9_bit12 lung_bit_7 lung_bit_6 lung_bit_5 lung_bit_4 lung_bit_3 lung_bit_2 lung_bit_1 lung_bit0 lung_bit1 lung_bit2 -lung_bit3 lung_bit4 -lung_bit5 lung_bit6 -lung_bit7 -lung_bit8 lung_bit9 -lung_bit10 lung_bit11 lung_bit12 -y1_bit_7 -y1_bit_6 -y1_bit_5 -y1_bit_4 -y1_bit_3 -y1_bit_2 -y1_bit_1 -y1_bit0 -y1_bit1 -y1_bit2 -y1_bit3 -y1_bit4 -y1_bit5 -y1_bit6 -y1_bit7 -y1_bit8 y1_bit9 -y2_bit_7 -y2_bit_6 -y2_bit_5 -y2_bit_4 -y2_bit_3 -y2_bit_2 -y2_bit_1 -y2_bit0 -y2_bit1 -y2_bit2 -y2_bit3 -y2_bit4 -y2_bit5 -y2_bit6 -y2_bit7 -y2_bit8 -y2_bit9 -y3_bit_7 -y3_bit_6 -y3_bit_5 -y3_bit_4 -y3_bit_3 -y3_bit_2 -y3_bit_1 -y3_bit0 -y3_bit1 -y3_bit2 -y3_bit3 -y3_bit4 -y3_bit5 -y3_bit6 -y3_bit7 -y3_bit8 y4_bit_7 y4_bit_6 y4_bit_5 y4_bit_4 y4_bit_3 y4_bit_2 y4_bit_1 y4_bit0 y4_bit1 y4_bit2 y4_bit3 -y4_bit4 y4_bit5 -y4_bit6 y4_bit7 y4_bit8 -y4_bit9 -y5_bit_7 -y5_bit_6 y5_bit_5 y5_bit_4 y5_bit_3 y5_bit_2 y5_bit_1 y5_bit0 y5_bit1 -y5_bit2 -y5_bit3 -y5_bit4 y5_bit5 y5_bit6 -y5_bit7 -y5_bit8 y5_bit9 -y6_bit_7 -y6_bit_6 -y6_bit_5 -y6_bit_4 -y6_bit_3 -y6_bit_2 -y6_bit_1 -y6_bit0 -y6_bit1 -y6_bit2 y6_bit3 y6_bit4 -y6_bit5 y6_bit6 -y6_bit7 -y6_bit8 y6_bit9 -y7_bit_7 -y7_bit_6 -y7_bit_5 -y7_bit_4 -y7_bit_3 -y7_bit_2 -y7_bit_1 -y7_bit0 -y7_bit1 -y7_bit2 -y7_bit3 -y7_bit4 -y7_bit5 -y7_bit6 -y7_bit7 -y7_bit8 -y7_bit9 -y8_bit_7 y8_bit_6 y8_bit_5 y8_bit_4 y8_bit_3 y8_bit_2 y8_bit_1 y8_bit0 y8_bit1 y8_bit2 y8_bit3 y8_bit4 y8_bit5 y8_bit6 y8_bit7 -y8_bit8 y9_bit_7 y9_bit_6 y9_bit_5 y9_bit_4 y9_bit_3 y9_bit_2 y9_bit_1 y9_bit0 y9_bit1 y9_bit2 -y9_bit3 -y9_bit4 y9_bit5 -y9_bit6 y9_bit7 -y9_bit8 -y9_bit9 -z1_0x26_2_0x2e_0_bit0 z1_0x26_2_0x2e_1_bit0 -z1_0x26_2_0x2e_2_bit0 -z1_0x26_2_0x2e_3_bit0 -z1_0x26_2_0x2e_4_bit0 -z1_0x26_2_0x2e_5_bit0 -z1_0x26_2_0x2e_6_bit0 -z1_0x26_2_0x2e_7_bit0 -z1_0x26_3_0x2e_0_bit0 -z1_0x26_3_0x2e_1_bit0 -z1_0x26_3_0x2e_2_bit0 -z1_0x26_3_0x2e_3_bit0 -z1_0x26_3_0x2e_4_bit0 -z1_0x26_3_0x2e_5_bit0 -z1_0x26_3_0x2e_6_bit0 -z1_0x26_3_0x2e_7_bit0 -z1_0x26_3_0x2e_8_bit0 z1_0x26_3_0x2e_9_bit0 -z1_0x26_4_0x2e_0_bit0 -z1_0x26_4_0x2e_1_bit0 -z1_0x26_4_0x2e_2_bit0 z1_0x26_4_0x2e_3_bit0 -z1_0x26_4_0x2e_4_bit0 -z1_0x26_4_0x2e_5_bit0 -z1_0x26_4_0x2e_6_bit0 -z1_0x26_4_0x2e_7_bit0 -z1_0x26_4_0x2e_8_bit0 -z1_0x26_5_0x2e_0_bit0 -z1_0x26_5_0x2e_1_bit0 -z1_0x26_5_0x2e_2_bit0 z1_0x26_5_0x2e_3_bit0 -z1_0x26_5_0x2e_4_bit0 -z1_0x26_5_0x2e_5_bit0 -z1_0x26_5_0x2e_6_bit0 -z1_0x26_5_0x2e_7_bit0 -z1_0x26_5_0x2e_8_bit0 -z1_0x26_6_0x2e_0_bit0 -z1_0x26_6_0x2e_1_bit0 -z1_0x26_6_0x2e_2_bit0 -z1_0x26_6_0x2e_3_bit0 -z1_0x26_6_0x2e_4_bit0 -z1_0x26_6_0x2e_5_bit0 z1_0x26_6_0x2e_6_bit0 -z1_0x26_6_0x2e_7_bit0 -z1_0x26_7_0x2e_0_bit0 -z1_0x26_7_0x2e_1_bit0 -z1_0x26_7_0x2e_2_bit0 -z1_0x26_7_0x2e_3_bit0 -z1_0x26_7_0x2e_4_bit0 z1_0x26_7_0x2e_5_bit0 -z1_0x26_7_0x2e_6_bit0 -z1_0x26_7_0x2e_7_bit0 -z1_0x26_7_0x2e_8_bit0 -z1_0x26_8_0x2e_0_bit0 -z1_0x26_8_0x2e_1_bit0 -z1_0x26_8_0x2e_2_bit0 -z1_0x26_8_0x2e_3_bit0 z1_0x26_8_0x2e_4_bit0 -z1_0x26_8_0x2e_5_bit0 -z1_0x26_8_0x2e_6_bit0 -z1_0x26_8_0x2e_7_bit0 -z1_0x26_8_0x2e_8_bit0 -z1_0x26_8_0x2e_9_bit0 -z1_0x26_8_0x2e_10_bit0 -z1_0x26_8_0x2e_11_bit0 -z1_0x26_8_0x2e_12_bit0 -z1_0x26_9_0x2e_0_bit0 -z1_0x26_9_0x2e_1_bit0 z1_0x26_9_0x2e_2_bit0 -z1_0x26_9_0x2e_3_bit0 -z1_0x26_9_0x2e_4_bit0 -z1_0x26_9_0x2e_5_bit0 -z1_0x26_9_0x2e_6_bit0 -z2_0x26_3_0x2e_0_bit0 -z2_0x26_3_0x2e_1_bit0 -z2_0x26_3_0x2e_2_bit0 -z2_0x26_3_0x2e_3_bit0 -z2_0x26_3_0x2e_4_bit0 -z2_0x26_3_0x2e_5_bit0 -z2_0x26_3_0x2e_6_bit0 z2_0x26_3_0x2e_7_bit0 -z2_0x26_4_0x2e_0_bit0 -z2_0x26_4_0x2e_1_bit0 -z2_0x26_4_0x2e_2_bit0 -z2_0x26_4_0x2e_3_bit0 z2_0x26_4_0x2e_4_bit0 -z2_0x26_4_0x2e_5_bit0 -z2_0x26_4_0x2e_6_bit0 -z2_0x26_4_0x2e_7_bit0 -z2_0x26_5_0x2e_0_bit0 -z2_0x26_5_0x2e_1_bit0 -z2_0x26_5_0x2e_2_bit0 -z2_0x26_5_0x2e_3_bit0 -z2_0x26_5_0x2e_4_bit0 z2_0x26_5_0x2e_5_bit0 -z2_0x26_5_0x2e_6_bit0 -z2_0x26_5_0x2e_7_bit0 -z2_0x26_5_0x2e_8_bit0 -z2_0x26_5_0x2e_9_bit0 -z2_0x26_6_0x2e_0_bit0 -z2_0x26_6_0x2e_1_bit0 -z2_0x26_6_0x2e_2_bit0 -z2_0x26_6_0x2e_3_bit0 -z2_0x26_6_0x2e_4_bit0 -z2_0x26_6_0x2e_5_bit0 -z2_0x26_6_0x2e_6_bit0 z2_0x26_6_0x2e_7_bit0 -z2_0x26_7_0x2e_0_bit0 -z2_0x26_7_0x2e_1_bit0 -z2_0x26_7_0x2e_2_bit0 -z2_0x26_7_0x2e_3_bit0 z2_0x26_7_0x2e_4_bit0 -z2_0x26_7_0x2e_5_bit0 -z2_0x26_7_0x2e_6_bit0 -z2_0x26_7_0x2e_7_bit0 -z2_0x26_8_0x2e_0_bit0 -z2_0x26_8_0x2e_1_bit0 -z2_0x26_8_0x2e_2_bit0 -z2_0x26_8_0x2e_3_bit0 -z2_0x26_8_0x2e_4_bit0 z2_0x26_8_0x2e_5_bit0 -z2_0x26_8_0x2e_6_bit0 -z2_0x26_8_0x2e_7_bit0 -z2_0x26_8_0x2e_8_bit0 -z2_0x26_8_0x2e_9_bit0 -z2_0x26_8_0x2e_10_bit0 -z2_0x26_9_0x2e_0_bit0 -z2_0x26_9_0x2e_1_bit0 z2_0x26_9_0x2e_2_bit0 -z2_0x26_9_0x2e_3_bit0 -z2_0x26_9_0x2e_4_bit0 -z2_0x26_9_0x2e_5_bit0 -z3_0x26_4_0x2e_0_bit0 -z3_0x26_4_0x2e_1_bit0 -z3_0x26_4_0x2e_2_bit0 z3_0x26_4_0x2e_3_bit0 -z3_0x26_4_0x2e_4_bit0 -z3_0x26_4_0x2e_5_bit0 -z3_0x26_4_0x2e_6_bit0 -z3_0x26_5_0x2e_0_bit0 -z3_0x26_5_0x2e_1_bit0 -z3_0x26_5_0x2e_2_bit0 z3_0x26_5_0x2e_3_bit0 -z3_0x26_5_0x2e_4_bit0 -z3_0x26_5_0x2e_5_bit0 -z3_0x26_5_0x2e_6_bit0 -z3_0x26_6_0x2e_0_bit0 -z3_0x26_6_0x2e_1_bit0 -z3_0x26_6_0x2e_2_bit0 -z3_0x26_6_0x2e_3_bit0 z3_0x26_6_0x2e_4_bit0 -z3_0x26_6_0x2e_5_bit0 -z3_0x26_6_0x2e_6_bit0 -z3_0x26_7_0x2e_0_bit0 -z3_0x26_7_0x2e_1_bit0 -z3_0x26_7_0x2e_2_bit0 z3_0x26_7_0x2e_3_bit0 -z3_0x26_7_0x2e_4_bit0 -z3_0x26_7_0x2e_5_bit0 -z3_0x26_7_0x2e_6_bit0 -z3_0x26_8_0x2e_0_bit0 -z3_0x26_8_0x2e_1_bit0 -z3_0x26_8_0x2e_2_bit0 -z3_0x26_8_0x2e_3_bit0 -z3_0x26_8_0x2e_4_bit0 -z3_0x26_8_0x2e_5_bit0 z3_0x26_8_0x2e_6_bit0 -z3_0x26_8_0x2e_7_bit0 -z3_0x26_8_0x2e_8_bit0 -z3_0x26_9_0x2e_0_bit0 -z3_0x26_9_0x2e_1_bit0 -z3_0x26_9_0x2e_2_bit0 z3_0x26_9_0x2e_3_bit0 -z3_0x26_9_0x2e_4_bit0 -z3_0x26_9_0x2e_5_bit0 -z4_0x26_5_0x2e_0_bit0 -z4_0x26_5_0x2e_1_bit0 -z4_0x26_5_0x2e_2_bit0 z4_0x26_5_0x2e_3_bit0 -z4_0x26_5_0x2e_4_bit0 -z4_0x26_5_0x2e_5_bit0 -z4_0x26_5_0x2e_6_bit0 -z4_0x26_5_0x2e_7_bit0 -z4_0x26_5_0x2e_8_bit0 -z4_0x26_6_0x2e_0_bit0 -z4_0x26_6_0x2e_1_bit0 -z4_0x26_6_0x2e_2_bit0 -z4_0x26_6_0x2e_3_bit0 -z4_0x26_6_0x2e_4_bit0 -z4_0x26_6_0x2e_5_bit0 -z4_0x26_6_0x2e_6_bit0 -z4_0x26_6_0x2e_7_bit0 -z4_0x26_6_0x2e_8_bit0 z4_0x26_6_0x2e_9_bit0 -z4_0x26_7_0x2e_0_bit0 -z4_0x26_7_0x2e_1_bit0 -z4_0x26_7_0x2e_2_bit0 -z4_0x26_7_0x2e_3_bit0 -z4_0x26_7_0x2e_4_bit0 z4_0x26_7_0x2e_5_bit0 -z4_0x26_8_0x2e_0_bit0 -z4_0x26_8_0x2e_1_bit0 -z4_0x26_8_0x2e_2_bit0 -z4_0x26_8_0x2e_3_bit0 -z4_0x26_8_0x2e_4_bit0 -z4_0x26_8_0x2e_5_bit0 -z4_0x26_8_0x2e_6_bit0 -z4_0x26_8_0x2e_7_bit0 -z4_0x26_8_0x2e_8_bit0 z4_0x26_8_0x2e_9_bit0 -z4_0x26_9_0x2e_0_bit0 -z4_0x26_9_0x2e_1_bit0 -z4_0x26_9_0x2e_2_bit0 -z4_0x26_9_0x2e_3_bit0 -z4_0x26_9_0x2e_4_bit0 z4_0x26_9_0x2e_5_bit0 -z5_0x26_6_0x2e_0_bit0 -z5_0x26_6_0x2e_1_bit0 -z5_0x26_6_0x2e_2_bit0 -z5_0x26_6_0x2e_3_bit0 -z5_0x26_6_0x2e_4_bit0 -z5_0x26_6_0x2e_5_bit0 -z5_0x26_6_0x2e_6_bit0 -z5_0x26_6_0x2e_7_bit0 z5_0x26_6_0x2e_8_bit0 -z5_0x26_7_0x2e_0_bit0 -z5_0x26_7_0x2e_1_bit0 -z5_0x26_7_0x2e_2_bit0 -z5_0x26_7_0x2e_3_bit0 -z5_0x26_7_0x2e_4_bit0 -z5_0x26_7_0x2e_5_bit0 -z5_0x26_7_0x2e_6_bit0 z5_0x26_7_0x2e_7_bit0 -z5_0x26_7_0x2e_8_bit0 -z5_0x26_8_0x2e_0_bit0 -z5_0x26_8_0x2e_1_bit0 -z5_0x26_8_0x2e_2_bit0 -z5_0x26_8_0x2e_3_bit0 -z5_0x26_8_0x2e_4_bit0 -z5_0x26_8_0x2e_5_bit0 -z5_0x26_8_0x2e_6_bit0 -z5_0x26_8_0x2e_7_bit0 -z5_0x26_8_0x2e_8_bit0 -z5_0x26_8_0x2e_9_bit0 z5_0x26_8_0x2e_10_bit0 -z5_0x26_9_0x2e_0_bit0 -z5_0x26_9_0x2e_1_bit0 -z5_0x26_9_0x2e_2_bit0 -z5_0x26_9_0x2e_3_bit0 -z5_0x26_9_0x2e_4_bit0 -z5_0x26_9_0x2e_5_bit0 z5_0x26_9_0x2e_6_bit0 -z6_0x26_7_0x2e_0_bit0 -z6_0x26_7_0x2e_1_bit0 -z6_0x26_7_0x2e_2_bit0 -z6_0x26_7_0x2e_3_bit0 z6_0x26_7_0x2e_4_bit0 -z6_0x26_7_0x2e_5_bit0 -z6_0x26_7_0x2e_6_bit0 -z6_0x26_7_0x2e_7_bit0 -z6_0x26_8_0x2e_0_bit0 -z6_0x26_8_0x2e_1_bit0 -z6_0x26_8_0x2e_2_bit0 -z6_0x26_8_0x2e_3_bit0 z6_0x26_8_0x2e_4_bit0 -z6_0x26_8_0x2e_5_bit0 -z6_0x26_8_0x2e_6_bit0 -z6_0x26_8_0x2e_7_bit0 -z6_0x26_8_0x2e_8_bit0 -z6_0x26_8_0x2e_9_bit0 -z6_0x26_9_0x2e_0_bit0 z6_0x26_9_0x2e_1_bit0 -z6_0x26_9_0x2e_2_bit0 -z6_0x26_9_0x2e_3_bit0 -z6_0x26_9_0x2e_4_bit0 -z6_0x26_9_0x2e_5_bit0 -z6_0x26_9_0x2e_6_bit0 -z7_0x26_8_0x2e_0_bit0 -z7_0x26_8_0x2e_1_bit0 -z7_0x26_8_0x2e_2_bit0 -z7_0x26_8_0x2e_3_bit0 -z7_0x26_8_0x2e_4_bit0 -z7_0x26_8_0x2e_5_bit0 -z7_0x26_8_0x2e_6_bit0 -z7_0x26_8_0x2e_7_bit0 -z7_0x26_8_0x2e_8_bit0 z7_0x26_8_0x2e_9_bit0 -z7_0x26_9_0x2e_0_bit0 -z7_0x26_9_0x2e_1_bit0 -z7_0x26_9_0x2e_2_bit0 -z7_0x26_9_0x2e_3_bit0 -z7_0x26_9_0x2e_4_bit0 -z7_0x26_9_0x2e_5_bit0 z7_0x26_9_0x2e_6_bit0 -z8_0x26_9_0x2e_0_bit0 -z8_0x26_9_0x2e_1_bit0 -z8_0x26_9_0x2e_2_bit0 -z8_0x26_9_0x2e_3_bit0 -z8_0x26_9_0x2e_4_bit0 -z8_0x26_9_0x2e_5_bit0 -z8_0x26_9_0x2e_6_bit0 z8_0x26_9_0x2e_7_bit0 
c objective function=863236227986
c Total CPU time (ms) : 1228.936

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/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19343677 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 39 3 38 16 0 23 0
[pid=4303] 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/4303
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=4304
New thread pid=4305
New thread pid=4306
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=4307
New thread pid=4308
New thread pid=4309
New thread pid=4310
New thread pid=4311
New thread pid=4312
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/wulflinc32/normalized-mps-v2-13-7-glass4.opb
New thread pid=4313

[startup+10.0027 s]
Raw data (loadavg): 1.36 1.05 0.74 4/65 4313
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18146 0 1 0 601 50 0 0 19 0 11 0 19343677 872890368 23376 4294967295 134512640 134569956 3221224336 3221214512 1131384518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 213108 23376 13129 16 0 213092 0
[pid=4303] vsize: 852432
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (Kb) 852432

[startup+20.0024 s]
Raw data (loadavg): 1.46 1.08 0.76 2/65 4313
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18158 0 1 0 1532 51 0 0 25 0 11 0 19343677 871022592 24087 4294967295 134512640 134569956 3221224336 3221214512 1131449820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 24087 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 15.83
Current children cumulated vsize (Kb) 850608
One traced child (pid=4313) exited with status: 0
New thread pid=4314

[startup+30.0042 s]
Raw data (loadavg): 1.46 1.10 0.76 2/65 4314
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18214 3 1 0 2467 51 0 0 23 0 11 0 19343677 871022592 24906 4294967295 134512640 134569956 3221224336 3221214632 1131643936 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 24906 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (Kb) 850608

[startup+40.0039 s]
Raw data (loadavg): 1.39 1.09 0.77 2/65 4314
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18219 3 1 0 3427 51 0 0 25 0 11 0 19343677 871022592 24907 4294967295 134512640 134569956 3221224336 3221214536 1131464685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 24907 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 34.78
Current children cumulated vsize (Kb) 850608
One traced child (pid=4314) exited with status: 0
New thread pid=4315

[startup+50.0057 s]
Raw data (loadavg): 1.33 1.09 0.77 2/65 4315
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18225 3 1 0 4379 51 0 0 25 0 11 0 19343677 871022592 25053 4294967295 134512640 134569956 3221224336 3221214552 1131449241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 25053 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 44.3
Current children cumulated vsize (Kb) 850608

[startup+60.0064 s]
Raw data (loadavg): 1.28 1.09 0.77 2/65 4315
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18231 3 1 0 5338 52 0 0 25 0 11 0 19343677 871022592 25432 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 25432 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 53.9
Current children cumulated vsize (Kb) 850608

[startup+70.0071 s]
Raw data (loadavg): 1.23 1.08 0.77 2/65 4315
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18235 3 1 0 6294 52 0 0 25 0 11 0 19343677 871022592 25733 4294967295 134512640 134569956 3221224336 3221214536 1131464812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 25733 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 63.46
Current children cumulated vsize (Kb) 850608

[startup+80.0079 s]
Raw data (loadavg): 1.20 1.08 0.77 2/65 4315
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18242 3 1 0 7248 52 0 0 25 0 11 0 19343677 871022592 26090 4294967295 134512640 134569956 3221224336 3221214632 1131639906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 26090 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 73
Current children cumulated vsize (Kb) 850608

[startup+90.0086 s]
Raw data (loadavg): 1.17 1.08 0.77 2/65 4315
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18247 3 1 0 8201 52 0 0 19 0 11 0 19343677 871022592 26660 4294967295 134512640 134569956 3221224336 3221214616 1131534759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 26660 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 82.53
Current children cumulated vsize (Kb) 850608
One traced child (pid=4315) exited with status: 0
New thread pid=4316

[startup+100.009 s]
Raw data (loadavg): 1.14 1.07 0.78 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18253 3 1 0 9176 52 0 0 25 0 11 0 19343677 871022592 26822 4294967295 134512640 134569956 3221224336 3221214512 1131377618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 26822 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 92.28
Current children cumulated vsize (Kb) 850608

[startup+110.01 s]
Raw data (loadavg): 1.12 1.07 0.78 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18256 3 1 0 10151 52 0 0 19 0 11 0 19343677 871022592 27085 4294967295 134512640 134569956 3221224336 3221214560 1131510015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 27085 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (Kb) 850608

[startup+120.011 s]
Raw data (loadavg): 1.10 1.07 0.78 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18259 3 1 0 11128 52 0 0 25 0 11 0 19343677 871022592 27654 4294967295 134512640 134569956 3221224336 3221214560 1131510011 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 27654 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 111.8
Current children cumulated vsize (Kb) 850608

[startup+130.012 s]
Raw data (loadavg): 1.08 1.06 0.78 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18260 3 1 0 12122 52 0 0 25 0 11 0 19343677 871022592 27750 4294967295 134512640 134569956 3221224336 3221214504 1131509788 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 27750 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 121.74
Current children cumulated vsize (Kb) 850608

[startup+140.012 s]
Raw data (loadavg): 1.07 1.06 0.78 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18260 3 1 0 13122 52 0 0 25 0 11 0 19343677 871022592 27750 4294967295 134512640 134569956 3221224336 3221214472 1131553250 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 27750 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 131.74
Current children cumulated vsize (Kb) 850608

[startup+150.013 s]
Raw data (loadavg): 1.06 1.06 0.79 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18261 3 1 0 14115 52 0 0 25 0 11 0 19343677 871022592 27935 4294967295 134512640 134569956 3221224336 3221214472 1131553250 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 27935 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 141.67
Current children cumulated vsize (Kb) 850608

[startup+160.013 s]
Raw data (loadavg): 1.05 1.06 0.79 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18265 3 1 0 15097 53 0 0 25 0 11 0 19343677 871022592 28390 4294967295 134512640 134569956 3221224336 3221214520 1131376592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 28390 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 151.5
Current children cumulated vsize (Kb) 850608

[startup+170.013 s]
Raw data (loadavg): 1.04 1.05 0.79 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18269 3 1 0 16074 53 0 0 25 0 11 0 19343677 871022592 28639 4294967295 134512640 134569956 3221224336 3221213248 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 28639 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (Kb) 850608

[startup+180.013 s]
Raw data (loadavg): 1.04 1.05 0.79 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18274 3 1 0 17037 53 0 0 25 0 11 0 19343677 871022592 28793 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 28793 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 170.9
Current children cumulated vsize (Kb) 850608

[startup+190.014 s]
Raw data (loadavg): 1.03 1.05 0.79 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18278 3 1 0 17994 53 0 0 25 0 11 0 19343677 871022592 29198 4294967295 134512640 134569956 3221224336 3221214480 1131574337 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 29198 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 180.47
Current children cumulated vsize (Kb) 850608

[startup+200.015 s]
Raw data (loadavg): 1.02 1.05 0.80 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18282 3 1 0 18954 53 0 0 25 0 11 0 19343677 871022592 29329 4294967295 134512640 134569956 3221224336 3221214160 1131404385 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 29329 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 190.07
Current children cumulated vsize (Kb) 850608

[startup+210.016 s]
Raw data (loadavg): 1.02 1.05 0.80 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18287 3 1 0 19901 53 0 0 25 0 11 0 19343677 871022592 29675 4294967295 134512640 134569956 3221224336 3221214512 1131464737 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 29675 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 199.54
Current children cumulated vsize (Kb) 850608

[startup+220.016 s]
Raw data (loadavg): 1.02 1.04 0.80 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18293 3 1 0 20840 53 0 0 19 0 11 0 19343677 871022592 30094 4294967295 134512640 134569956 3221224336 3221214032 1085806269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 30094 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 208.93
Current children cumulated vsize (Kb) 850608

[startup+230.017 s]
Raw data (loadavg): 1.01 1.04 0.80 2/65 4316
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18298 3 1 0 21792 53 0 0 25 0 11 0 19343677 871022592 30342 4294967295 134512640 134569956 3221224336 3221214408 1131619560 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 30342 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 218.45
Current children cumulated vsize (Kb) 850608
One traced child (pid=4316) exited with status: 0
New thread pid=4317

[startup+240.017 s]
Raw data (loadavg): 1.01 1.04 0.80 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18301 3 1 0 22771 53 0 0 25 0 11 0 19343677 871022592 30498 4294967295 134512640 134569956 3221224336 3221214352 1131753375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 30498 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 228.24
Current children cumulated vsize (Kb) 850608

[startup+250.018 s]
Raw data (loadavg): 1.01 1.04 0.81 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18305 3 1 0 23732 54 0 0 25 0 11 0 19343677 871022592 30644 4294967295 134512640 134569956 3221224336 3221214424 1131509935 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 30644 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 237.86
Current children cumulated vsize (Kb) 850608

[startup+260.018 s]
Raw data (loadavg): 1.01 1.04 0.81 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18308 3 1 0 24703 54 0 0 25 0 11 0 19343677 871022592 30901 4294967295 134512640 134569956 3221224336 3221214424 1131510054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 30901 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 247.57
Current children cumulated vsize (Kb) 850608

[startup+270.018 s]
Raw data (loadavg): 1.01 1.04 0.81 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18310 3 1 0 25685 54 0 0 25 0 11 0 19343677 871022592 31185 4294967295 134512640 134569956 3221224336 3221214512 1131464441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 31185 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 257.39
Current children cumulated vsize (Kb) 850608

[startup+280.019 s]
Raw data (loadavg): 1.00 1.03 0.81 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18313 3 1 0 26663 54 0 0 25 0 11 0 19343677 871022592 31359 4294967295 134512640 134569956 3221224336 3221214608 1131634809 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 31359 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 267.17
Current children cumulated vsize (Kb) 850608

[startup+290.02 s]
Raw data (loadavg): 1.00 1.03 0.81 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18318 3 1 0 27626 54 0 0 24 0 11 0 19343677 871022592 31559 4294967295 134512640 134569956 3221224336 3221214512 1131464441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 31559 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 276.8
Current children cumulated vsize (Kb) 850608

[startup+300.02 s]
Raw data (loadavg): 1.00 1.03 0.82 2/65 4317
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18322 3 1 0 28596 54 0 0 24 0 11 0 19343677 871022592 31688 4294967295 134512640 134569956 3221224336 3221214512 1131464733 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 31688 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 286.5
Current children cumulated vsize (Kb) 850608
One traced child (pid=4317) exited with status: 0
New thread pid=4318

[startup+310.021 s]
Raw data (loadavg): 1.00 1.03 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18325 3 1 0 29580 54 0 0 25 0 11 0 19343677 871022592 31761 4294967295 134512640 134569956 3221224336 3221214440 1131527001 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 31761 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 296.34
Current children cumulated vsize (Kb) 850608

[startup+320.022 s]
Raw data (loadavg): 1.00 1.03 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18330 3 1 0 30539 54 0 0 24 0 11 0 19343677 871022592 32030 4294967295 134512640 134569956 3221224336 3221214512 1131521368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 32030 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 305.93
Current children cumulated vsize (Kb) 850608

[startup+330.023 s]
Raw data (loadavg): 1.00 1.03 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18335 3 1 0 31501 54 0 0 25 0 11 0 19343677 871022592 32194 4294967295 134512640 134569956 3221224336 3221214216 1085806289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 32194 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 315.55
Current children cumulated vsize (Kb) 850608

[startup+340.022 s]
Raw data (loadavg): 1.00 1.03 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18338 3 1 0 32474 54 0 0 25 0 11 0 19343677 871022592 32286 4294967295 134512640 134569956 3221224336 3221214464 1131553134 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 32286 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 325.28
Current children cumulated vsize (Kb) 850608

[startup+350.023 s]
Raw data (loadavg): 1.00 1.02 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18342 3 1 0 33440 54 0 0 25 0 11 0 19343677 871022592 32537 4294967295 134512640 134569956 3221224336 3221214608 1131642834 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 32537 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 334.94
Current children cumulated vsize (Kb) 850608

[startup+360.024 s]
Raw data (loadavg): 1.00 1.02 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18346 3 1 0 34409 54 0 0 19 0 11 0 19343677 871022592 32829 4294967295 134512640 134569956 3221224336 3221214608 1131641860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 32829 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 344.63
Current children cumulated vsize (Kb) 850608

[startup+370.024 s]
Raw data (loadavg): 1.00 1.02 0.82 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18350 3 1 0 35379 54 0 0 25 0 11 0 19343677 871022592 33044 4294967295 134512640 134569956 3221224336 3221214264 1080339016 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 33044 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 354.33
Current children cumulated vsize (Kb) 850608

[startup+380.024 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4318
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18352 3 1 0 36363 55 0 0 25 0 11 0 19343677 871022592 33149 4294967295 134512640 134569956 3221224336 3221214520 1131376582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 33149 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 364.18
Current children cumulated vsize (Kb) 850608
One traced child (pid=4318) exited with status: 0
New thread pid=4319

[startup+390.025 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18355 3 1 0 37340 55 0 0 25 0 11 0 19343677 871022592 33288 4294967295 134512640 134569956 3221224336 3221214536 1131728853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 33288 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 373.95
Current children cumulated vsize (Kb) 850608

[startup+400.026 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18359 3 1 0 38308 55 0 0 25 0 11 0 19343677 871022592 33518 4294967295 134512640 134569956 3221224336 3221214552 1131509886 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 33518 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 383.63
Current children cumulated vsize (Kb) 850608

[startup+410.027 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18363 3 1 0 39283 55 0 0 25 0 11 0 19343677 871022592 33637 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 33637 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 393.38
Current children cumulated vsize (Kb) 850608

[startup+420.026 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18368 3 1 0 40239 55 0 0 25 0 11 0 19343677 871022592 33690 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 33690 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 402.94
Current children cumulated vsize (Kb) 850608

[startup+430.027 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18372 3 1 0 41206 55 0 0 25 0 11 0 19343677 871022592 33789 4294967295 134512640 134569956 3221224336 3221214352 1131755938 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 33789 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 412.61
Current children cumulated vsize (Kb) 850608

[startup+440.028 s]
Raw data (loadavg): 1.00 1.02 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18377 3 1 0 42164 55 0 0 25 0 11 0 19343677 871022592 33857 4294967295 134512640 134569956 3221224336 3221214512 1131464485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 33857 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 422.19
Current children cumulated vsize (Kb) 850608

[startup+450.029 s]
Raw data (loadavg): 1.00 1.01 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18383 3 1 0 43112 55 0 0 25 0 11 0 19343677 871022592 34048 4294967295 134512640 134569956 3221224336 3221214536 1131755186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34048 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 431.67
Current children cumulated vsize (Kb) 850608

[startup+460.028 s]
Raw data (loadavg): 1.00 1.01 0.83 2/65 4319
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18386 3 1 0 44088 55 0 0 25 0 11 0 19343677 871022592 34167 4294967295 134512640 134569956 3221224336 3221214512 1131464437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34167 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 441.43
Current children cumulated vsize (Kb) 850608
One traced child (pid=4319) exited with status: 0
New thread pid=4320

[startup+470.029 s]
Raw data (loadavg): 1.00 1.01 0.83 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18388 3 1 0 45071 55 0 0 25 0 11 0 19343677 871022592 34285 4294967295 134512640 134569956 3221224336 3221214448 1131755194 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 34285 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 451.26
Current children cumulated vsize (Kb) 850608

[startup+480.029 s]
Raw data (loadavg): 1.00 1.01 0.83 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18390 3 1 0 46055 55 0 0 25 0 11 0 19343677 871022592 34394 4294967295 134512640 134569956 3221224336 3221214496 1131509788 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34394 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 461.1
Current children cumulated vsize (Kb) 850608

[startup+490.029 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18392 3 1 0 47038 55 0 0 25 0 11 0 19343677 871022592 34466 4294967295 134512640 134569956 3221224336 3221214552 1131509776 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34466 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 470.93
Current children cumulated vsize (Kb) 850608

[startup+500.029 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18392 3 1 0 48038 55 0 0 25 0 11 0 19343677 871022592 34466 4294967295 134512640 134569956 3221224336 3221214496 1131509820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34466 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 480.93
Current children cumulated vsize (Kb) 850608

[startup+510.03 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18393 3 1 0 49029 55 0 0 25 0 11 0 19343677 871022592 34572 4294967295 134512640 134569956 3221224336 3221214400 1131619464 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 34572 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 490.84
Current children cumulated vsize (Kb) 850608

[startup+520.03 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18394 3 1 0 50019 56 0 0 25 0 11 0 19343677 871022592 34917 4294967295 134512640 134569956 3221224336 3221214400 1131619528 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 34917 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 500.75
Current children cumulated vsize (Kb) 850608

[startup+530.031 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18395 3 1 0 51010 56 0 0 25 0 11 0 19343677 871022592 35234 4294967295 134512640 134569956 3221224336 3221214552 1131510015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 35234 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 510.66
Current children cumulated vsize (Kb) 850608

[startup+540.031 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18395 3 1 0 52011 56 0 0 25 0 11 0 19343677 871022592 35234 4294967295 134512640 134569956 3221224336 3221214400 1131619460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 35234 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 520.67
Current children cumulated vsize (Kb) 850608

[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18396 3 1 0 53005 56 0 0 25 0 11 0 19343677 871022592 35566 4294967295 134512640 134569956 3221224336 3221214496 1131510042 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 35566 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 530.61
Current children cumulated vsize (Kb) 850608

[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18396 3 1 0 54005 56 0 0 25 0 11 0 19343677 871022592 35566 4294967295 134512640 134569956 3221224336 3221214488 1131510106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 35566 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 540.61
Current children cumulated vsize (Kb) 850608

[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18398 3 1 0 54994 56 0 0 25 0 11 0 19343677 871022592 36071 4294967295 134512640 134569956 3221224336 3221214368 1131588026 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 36071 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 550.5
Current children cumulated vsize (Kb) 850608

[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18398 3 1 0 55994 56 0 0 25 0 11 0 19343677 871022592 36071 4294967295 134512640 134569956 3221224336 3221213880 1131373520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 36071 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 560.5
Current children cumulated vsize (Kb) 850608

[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18399 3 1 0 56989 56 0 0 25 0 11 0 19343677 871022592 36251 4294967295 134512640 134569956 3221224336 3221214368 1131588515 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 36251 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 570.45
Current children cumulated vsize (Kb) 850608

[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18400 3 1 0 57984 56 0 0 25 0 11 0 19343677 871022592 36569 4294967295 134512640 134569956 3221224336 3221214552 1131509878 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 36569 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 580.4
Current children cumulated vsize (Kb) 850608

[startup+610.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18400 3 1 0 58984 56 0 0 25 0 11 0 19343677 871022592 36569 4294967295 134512640 134569956 3221224336 3221214496 1131509361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 36569 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 590.4
Current children cumulated vsize (Kb) 850608

[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18401 3 1 0 59979 56 0 0 25 0 11 0 19343677 871022592 36592 4294967295 134512640 134569956 3221224336 3221214464 1131553238 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 36592 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 600.35
Current children cumulated vsize (Kb) 850608

[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18402 3 1 0 60974 56 0 0 25 0 11 0 19343677 871022592 36860 4294967295 134512640 134569956 3221224336 3221214552 1131510015 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 36860 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 610.3
Current children cumulated vsize (Kb) 850608

[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18402 3 1 0 61974 56 0 0 25 0 11 0 19343677 871022592 36860 4294967295 134512640 134569956 3221224336 3221214592 1131464938 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 36860 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 620.3
Current children cumulated vsize (Kb) 850608

[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18403 3 1 0 62968 56 0 0 25 0 11 0 19343677 871022592 37055 4294967295 134512640 134569956 3221224336 3221214552 1131510004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37055 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 850608

[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18403 3 1 0 63968 56 0 0 25 0 11 0 19343677 871022592 37055 4294967295 134512640 134569956 3221224336 3221214552 1131510015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37055 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 640.24
Current children cumulated vsize (Kb) 850608

[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18403 3 1 0 64969 56 0 0 25 0 11 0 19343677 871022592 37055 4294967295 134512640 134569956 3221224336 3221214368 1131588436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37055 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 650.25
Current children cumulated vsize (Kb) 850608

[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18403 3 1 0 65969 56 0 0 25 0 11 0 19343677 871022592 37055 4294967295 134512640 134569956 3221224336 3221214552 1131510015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37055 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 660.25
Current children cumulated vsize (Kb) 850608

[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18403 3 1 0 66969 56 0 0 25 0 11 0 19343677 871022592 37055 4294967295 134512640 134569956 3221224336 3221214496 1131510100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37055 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 670.25
Current children cumulated vsize (Kb) 850608

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18404 3 1 0 67962 56 0 0 25 0 11 0 19343677 871022592 37524 4294967295 134512640 134569956 3221224336 3221214512 1131465322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 37524 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 680.18
Current children cumulated vsize (Kb) 850608

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18405 3 1 0 68957 56 0 0 25 0 11 0 19343677 871022592 37913 4294967295 134512640 134569956 3221224336 3221214552 1131509913 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37913 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 690.13
Current children cumulated vsize (Kb) 850608

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18405 3 1 0 69957 56 0 0 25 0 11 0 19343677 871022592 37913 4294967295 134512640 134569956 3221224336 3221214400 1131619564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37913 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 700.13
Current children cumulated vsize (Kb) 850608

[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18405 3 1 0 70957 56 0 0 25 0 11 0 19343677 871022592 37913 4294967295 134512640 134569956 3221224336 3221214400 1131619601 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 37913 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 710.13
Current children cumulated vsize (Kb) 850608

[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18406 3 1 0 71952 56 0 0 25 0 11 0 19343677 871022592 38261 4294967295 134512640 134569956 3221224336 3221214552 1131509957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 38261 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 720.08
Current children cumulated vsize (Kb) 850608

[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18407 3 1 0 72947 56 0 0 17 0 11 0 19343677 871022592 38678 4294967295 134512640 134569956 3221224336 3221214368 1131588350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 38678 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 730.03
Current children cumulated vsize (Kb) 850608

[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18407 3 1 0 73947 56 0 0 25 0 11 0 19343677 871022592 38678 4294967295 134512640 134569956 3221224336 3221214496 1131509965 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 38678 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 740.03
Current children cumulated vsize (Kb) 850608

[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18408 3 1 0 74944 56 0 0 25 0 11 0 19343677 871022592 38678 4294967295 134512640 134569956 3221224336 3221214496 1131728163 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 38678 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 750
Current children cumulated vsize (Kb) 850608

[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18412 3 1 0 75926 57 0 0 17 0 11 0 19343677 871022592 38896 4294967295 134512640 134569956 3221224336 3221214736 1131541586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 38896 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 759.83
Current children cumulated vsize (Kb) 850608

[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18418 3 1 0 76898 57 0 0 16 0 11 0 19343677 871022592 38896 4294967295 134512640 134569956 3221224336 3221214512 1131464837 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 38896 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 769.55
Current children cumulated vsize (Kb) 850608

[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18424 3 1 0 77867 57 0 0 25 0 11 0 19343677 871022592 39167 4294967295 134512640 134569956 3221224336 3221214792 1131736123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 39167 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 779.24
Current children cumulated vsize (Kb) 850608

[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18430 3 1 0 78829 57 0 0 25 0 11 0 19343677 871022592 39167 4294967295 134512640 134569956 3221224336 3221214544 1131756136 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 39167 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 788.86
Current children cumulated vsize (Kb) 850608

[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18433 3 1 0 79807 57 0 0 25 0 11 0 19343677 871022592 39446 4294967295 134512640 134569956 3221224336 3221214552 1131509949 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 39446 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 798.64
Current children cumulated vsize (Kb) 850608

[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) S 4302 4303 4005 0 -1 0 18438 3 1 0 80767 57 0 0 25 0 11 0 19343677 871022592 39611 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 39611 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 808.24
Current children cumulated vsize (Kb) 850608

[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18441 3 1 0 81737 57 0 0 25 0 11 0 19343677 871022592 39876 4294967295 134512640 134569956 3221224336 3221214256 1131753352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 39876 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 817.94
Current children cumulated vsize (Kb) 850608

[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18445 3 1 0 82706 58 0 0 25 0 11 0 19343677 871022592 40225 4294967295 134512640 134569956 3221224336 3221214552 1131509971 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 40225 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 827.64
Current children cumulated vsize (Kb) 850608

[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18448 3 1 0 83683 58 0 0 25 0 11 0 19343677 871022592 40493 4294967295 134512640 134569956 3221224336 3221214400 1131619511 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 40493 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 837.41
Current children cumulated vsize (Kb) 850608

[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18449 3 1 0 84675 58 0 0 19 0 11 0 19343677 871022592 40677 4294967295 134512640 134569956 3221224336 3221214512 1131464869 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 40677 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 847.33
Current children cumulated vsize (Kb) 850608

[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18449 3 1 0 85675 58 0 0 25 0 11 0 19343677 871022592 40677 4294967295 134512640 134569956 3221224336 3221214344 1131588241 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 40677 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 857.33
Current children cumulated vsize (Kb) 850608

[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18449 3 1 0 86675 58 0 0 25 0 11 0 19343677 871022592 40677 4294967295 134512640 134569956 3221224336 3221214552 1131509818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 40677 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 867.33
Current children cumulated vsize (Kb) 850608

[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18450 3 1 0 87666 58 0 0 25 0 11 0 19343677 871022592 41104 4294967295 134512640 134569956 3221224336 3221214400 1131619601 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41104 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 877.24
Current children cumulated vsize (Kb) 850608

[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18450 3 1 0 88667 58 0 0 25 0 11 0 19343677 871022592 41104 4294967295 134512640 134569956 3221224336 3221214400 1131619470 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41104 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 887.25
Current children cumulated vsize (Kb) 850608

[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18450 3 1 0 89667 58 0 0 25 0 11 0 19343677 871022592 41104 4294967295 134512640 134569956 3221224336 3221214400 1131619318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41104 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 897.25
Current children cumulated vsize (Kb) 850608

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18450 3 1 0 90667 58 0 0 25 0 11 0 19343677 871022592 41104 4294967295 134512640 134569956 3221224336 3221214488 1131509957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41104 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 907.25
Current children cumulated vsize (Kb) 850608

[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18452 3 1 0 91653 58 0 0 25 0 11 0 19343677 871022592 41972 4294967295 134512640 134569956 3221224336 3221214612 1131384361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41972 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 917.11
Current children cumulated vsize (Kb) 850608

[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4320
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18454 3 1 0 92644 58 0 0 25 0 11 0 19343677 871022592 41972 4294967295 134512640 134569956 3221224336 3221214512 1131464485 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 41972 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 927.02
Current children cumulated vsize (Kb) 850608
One traced child (pid=4320) exited with status: 0
New thread pid=4321

[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18456 3 1 0 93634 58 0 0 25 0 11 0 19343677 871022592 42266 4294967295 134512640 134569956 3221224336 3221214120 1131726175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 42266 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 936.92
Current children cumulated vsize (Kb) 850608

[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18459 3 1 0 94618 58 0 0 25 0 11 0 19343677 871022592 42266 4294967295 134512640 134569956 3221224336 3221214516 1131553471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 42266 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 946.76
Current children cumulated vsize (Kb) 850608

[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18462 3 1 0 95597 58 0 0 25 0 11 0 19343677 871022592 42570 4294967295 134512640 134569956 3221224336 3221214608 1131640679 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 42570 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 956.55
Current children cumulated vsize (Kb) 850608

[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18465 3 1 0 96576 58 0 0 25 0 11 0 19343677 871022592 42839 4294967295 134512640 134569956 3221224336 3221213880 1131373887 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 42839 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 966.34
Current children cumulated vsize (Kb) 850608

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18468 3 1 0 97554 59 0 0 16 0 11 0 19343677 871022592 43114 4294967295 134512640 134569956 3221224336 3221214400 1131619436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 43114 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 976.13
Current children cumulated vsize (Kb) 850608

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18471 3 1 0 98536 59 0 0 25 0 11 0 19343677 871022592 43268 4294967295 134512640 134569956 3221224336 3221214512 1131466374 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 43268 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 985.95
Current children cumulated vsize (Kb) 850608

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18474 3 1 0 99518 59 0 0 24 0 11 0 19343677 871022592 43353 4294967295 134512640 134569956 3221224336 3221214512 1131464558 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 43353 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 995.77
Current children cumulated vsize (Kb) 850608

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18478 3 1 0 100493 59 0 0 25 0 11 0 19343677 871022592 43562 4294967295 134512640 134569956 3221224336 3221214512 1131464485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 43562 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1005.52
Current children cumulated vsize (Kb) 850608

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18484 3 1 0 101454 59 0 0 25 0 11 0 19343677 871022592 43811 4294967295 134512640 134569956 3221224336 3221214472 1131464545 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 43811 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1015.13
Current children cumulated vsize (Kb) 850608

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18489 3 1 0 102420 59 0 0 21 0 11 0 19343677 871022592 43914 4294967295 134512640 134569956 3221224336 3221214520 1131377256 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 43914 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1024.79
Current children cumulated vsize (Kb) 850608

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.89 3/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18493 3 1 0 103391 59 0 0 25 0 11 0 19343677 871022592 44096 4294967295 134512640 134569956 3221224336 3221214400 1131619611 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 44096 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1034.5
Current children cumulated vsize (Kb) 850608

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18495 3 1 0 104376 60 0 0 25 0 11 0 19343677 871022592 44219 4294967295 134512640 134569956 3221224336 3221214552 1131510042 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 44219 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1044.36
Current children cumulated vsize (Kb) 850608

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18498 3 1 0 105356 60 0 0 18 0 11 0 19343677 871022592 44546 4294967295 134512640 134569956 3221224336 3221214512 1131464427 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 44546 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1054.16
Current children cumulated vsize (Kb) 850608

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18500 3 1 0 106342 60 0 0 25 0 11 0 19343677 871022592 44618 4294967295 134512640 134569956 3221224336 3221214512 1131449081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 44618 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1064.02
Current children cumulated vsize (Kb) 850608

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18504 3 1 0 107312 60 0 0 25 0 11 0 19343677 871022592 44911 4294967295 134512640 134569956 3221224336 3221214448 1131753796 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 44911 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1073.72
Current children cumulated vsize (Kb) 850608

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18507 3 1 0 108289 60 0 0 25 0 11 0 19343677 871022592 45186 4294967295 134512640 134569956 3221224336 3221214072 1131727989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45186 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1083.49
Current children cumulated vsize (Kb) 850608

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4321
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18509 3 1 0 109272 60 0 0 25 0 11 0 19343677 871022592 45186 4294967295 134512640 134569956 3221224336 3221214312 1085806281 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45186 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1093.32
Current children cumulated vsize (Kb) 850608
One traced child (pid=4321) exited with status: 0
New thread pid=4322

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18511 3 1 0 110254 60 0 0 18 0 11 0 19343677 871022592 45326 4294967295 134512640 134569956 3221224336 3221214616 1131519043 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 45326 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1103.14
Current children cumulated vsize (Kb) 850608

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18513 3 1 0 111235 60 0 0 20 0 11 0 19343677 871022592 45506 4294967295 134512640 134569956 3221224336 3221214496 1131510015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 45506 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1112.95
Current children cumulated vsize (Kb) 850608

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18515 3 1 0 112216 60 0 0 24 0 11 0 19343677 871022592 45647 4294967295 134512640 134569956 3221224336 3221214512 1131464441 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 45647 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1122.76
Current children cumulated vsize (Kb) 850608

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18516 3 1 0 113207 60 0 0 25 0 11 0 19343677 871022592 45775 4294967295 134512640 134569956 3221224336 3221214488 1131510106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45775 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1132.67
Current children cumulated vsize (Kb) 850608

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18516 3 1 0 114207 60 0 0 25 0 11 0 19343677 871022592 45775 4294967295 134512640 134569956 3221224336 3221214280 1079817097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 45775 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1142.67
Current children cumulated vsize (Kb) 850608

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18516 3 1 0 115207 60 0 0 25 0 11 0 19343677 871022592 45775 4294967295 134512640 134569956 3221224336 3221214496 1131509886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 45775 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1152.67
Current children cumulated vsize (Kb) 850608

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18517 3 1 0 116198 60 0 0 25 0 11 0 19343677 871022592 45970 4294967295 134512640 134569956 3221224336 3221214400 1131619341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45970 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1162.58
Current children cumulated vsize (Kb) 850608

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 3/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18517 3 1 0 117198 60 0 0 25 0 11 0 19343677 871022592 45970 4294967295 134512640 134569956 3221224336 3221214368 1131588178 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45970 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1172.58
Current children cumulated vsize (Kb) 850608

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18517 3 1 0 118199 60 0 0 25 0 11 0 19343677 871022592 45970 4294967295 134512640 134569956 3221224336 3221214552 1131510072 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45970 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1182.59
Current children cumulated vsize (Kb) 850608

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18517 3 1 0 119198 60 0 0 25 0 11 0 19343677 871022592 45970 4294967295 134512640 134569956 3221224336 3221214488 1131509866 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4303/statm): 212652 45970 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1192.58
Current children cumulated vsize (Kb) 850608

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18518 3 1 0 120190 60 0 0 25 0 11 0 19343677 871022592 46256 4294967295 134512640 134569956 3221224336 3221214512 1131464558 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 46256 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1202.5
Current children cumulated vsize (Kb) 850608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4322
Raw data (/proc/4303/stat): 4303 (java) R 4302 4303 4005 0 -1 0 18518 3 1 0 120190 60 0 0 25 0 11 0 19343677 871022592 46256 4294967295 134512640 134569956 3221224336 3221214608 1131633653 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4303/statm): 212652 46256 13129 16 0 212636 0
[pid=4303] vsize: 850608
Current children cumulated CPU time (s) 1202.5
Current children cumulated vsize (Kb) 850608

Sending SIGTERM to -4303
Sleeping 2 seconds
New thread pid=4324
New thread pid=4325
One traced child (pid=4325) exited with status: 0
One traced child (pid=4312) exited with status: 0
One traced child (pid=4307) exited with status: 0
One traced child (pid=4304) exited with status: 143
One traced child (pid=4311) exited with status: 143
One traced child (pid=4322) exited with status: 143
One traced child (pid=4309) exited with status: 143
One traced child (pid=4324) exited with status: 143
One traced child (pid=4308) exited with status: 143
One traced child (pid=4305) exited with status: 143
One traced child (pid=4306) exited with status: 143
One traced child (pid=4310) exited with status: 143
One traced child (pid=4303) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.36
CPU time (s): 1226.23
CPU user time (s): 1225
CPU system time (s): 1.23181
CPU usage (%): 99.6648
Max. virtual memory (cumulated for all children) (Kb): 852432

Verifier Data

Verifier:	OK	863236227986