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-net12.opb
MD5SUM1e83ed64f0fd862e44095daf089e38c2
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 benchmark1239.36
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 8983

Launcher Data

LAUNCH ON wulflinc6 THE 2005-09-23 10:14:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7009 boxname=wulflinc6 idbench=1149 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1e83ed64f0fd862e44095daf089e38c2  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-net12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-net12.opb
IDLAUNCH: 7009
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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:        953188 kB
Buffers:          9180 kB
Cached:          55284 kB
SwapCached:          0 kB
Active:          39532 kB
Inactive:        27872 kB
HighTotal:      131008 kB
HighFree:        71736 kB
LowTotal:       903652 kB
LowFree:        881452 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8428 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 10:35:05 (client local time) WITH STATUS 143 IN 1239.36 SECONDS
stats: 7009 0 1239.36 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/wulflinc6/normalized-mps-v2-13-7-net12.opb
c reading problem ... done. Time 4.016 ms.
c #vars     653
c #constraints  441
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=       1046540285957 		Current CPU time: 20.80 ms
c CURRENT OPTIMUM=        983048548590 		Current CPU time: 39.69 ms
c CURRENT OPTIMUM=        983046359866 		Current CPU time: 93.30 ms
c CURRENT OPTIMUM=        974855833840 		Current CPU time: 232.63 ms
c CURRENT OPTIMUM=        970759950691 		Current CPU time: 297.85 ms
c CURRENT OPTIMUM=        929795645081 		Current CPU time: 376.31 ms
c CURRENT OPTIMUM=        917508393969 		Current CPU time: 460.69 ms
c CURRENT OPTIMUM=        915975259291 		Current CPU time: 934.62 ms
c CURRENT OPTIMUM=        863236227986 		Current CPU time: 1097.61 ms
c starts		: 32
c conflicts		: 3577
c decisions		: 16920
c propagations		: 66416
c inspects		: 1319845
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 3576
c root simplifications	: 32
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 15602
c speed (decisions/second)	: 129.0106136391363
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.926

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/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19401418 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 39 3 38 16 0 23 0
[pid=4373] 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/4373
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=4374
New thread pid=4375
New thread pid=4376
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=4377
New thread pid=4378
New thread pid=4379
New thread pid=4380
New thread pid=4381
New thread pid=4382
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/wulflinc6/normalized-mps-v2-13-7-net12.opb
New thread pid=4383

[startup+10.0023 s]
Raw data (loadavg): 1.02 0.99 0.73 2/65 4383
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18171 0 1 0 638 50 0 0 25 0 11 0 19401418 864620544 21128 4294967295 134512640 134569956 3221224336 3221214600 1131448196 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211089 21128 13129 16 0 211073 0
[pid=4373] vsize: 844356
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (Kb) 844356

[startup+20.003 s]
Raw data (loadavg): 1.09 1.00 0.73 2/65 4383
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18181 0 1 0 1572 50 0 0 25 0 11 0 19401418 864587776 22394 4294967295 134512640 134569956 3221224336 3221214512 1131551363 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 22394 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 16.22
Current children cumulated vsize (Kb) 844324
One traced child (pid=4383) exited with status: 0
New thread pid=4384

[startup+30.0038 s]
Raw data (loadavg): 1.07 1.00 0.74 2/65 4384
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18237 4 1 0 2459 51 0 0 25 0 11 0 19401418 864587776 23026 4294967295 134512640 134569956 3221224336 3221214512 1131739916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 23026 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (Kb) 844324

[startup+40.0045 s]
Raw data (loadavg): 1.14 1.02 0.74 2/65 4384
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18244 4 1 0 3419 51 0 0 25 0 11 0 19401418 864587776 23026 4294967295 134512640 134569956 3221224336 3221214592 1131380240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 23026 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 34.7
Current children cumulated vsize (Kb) 844324
One traced child (pid=4384) exited with status: 0
New thread pid=4385

[startup+50.0052 s]
Raw data (loadavg): 1.11 1.02 0.75 2/65 4385
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18252 4 1 0 4364 51 0 0 25 0 11 0 19401418 864587776 23291 4294967295 134512640 134569956 3221224336 3221214696 1131511719 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 23291 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 44.15
Current children cumulated vsize (Kb) 844324

[startup+60.005 s]
Raw data (loadavg): 1.10 1.02 0.75 2/65 4385
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18257 4 1 0 5329 51 0 0 25 0 11 0 19401418 864587776 23556 4294967295 134512640 134569956 3221224336 3221214216 1131711828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 23556 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 53.8
Current children cumulated vsize (Kb) 844324

[startup+70.0057 s]
Raw data (loadavg): 1.08 1.02 0.75 2/65 4385
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18264 4 1 0 6284 51 0 0 17 0 11 0 19401418 864587776 23973 4294967295 134512640 134569956 3221224336 3221214504 1131549051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 23973 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 63.35
Current children cumulated vsize (Kb) 844324

[startup+80.0065 s]
Raw data (loadavg): 1.07 1.01 0.75 2/65 4385
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18270 4 1 0 7240 51 0 0 19 0 11 0 19401418 864587776 24278 4294967295 134512640 134569956 3221224336 3221214480 1131515752 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 24278 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 72.91
Current children cumulated vsize (Kb) 844324

[startup+90.0062 s]
Raw data (loadavg): 1.06 1.01 0.75 2/65 4385
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18274 4 1 0 8203 51 0 0 25 0 11 0 19401418 864587776 24779 4294967295 134512640 134569956 3221224336 3221214136 1085759268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 24779 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 82.54
Current children cumulated vsize (Kb) 844324
One traced child (pid=4385) exited with status: 0
New thread pid=4386

[startup+100.007 s]
Raw data (loadavg): 1.05 1.01 0.76 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18279 4 1 0 9171 52 0 0 24 0 11 0 19401418 864587776 24998 4294967295 134512640 134569956 3221224336 3221214592 1131515779 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 24998 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 92.23
Current children cumulated vsize (Kb) 844324

[startup+110.007 s]
Raw data (loadavg): 1.04 1.01 0.76 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18281 4 1 0 10155 52 0 0 25 0 11 0 19401418 864587776 25204 4294967295 134512640 134569956 3221224336 3221214368 1131635817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 25204 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (Kb) 844324

[startup+120.008 s]
Raw data (loadavg): 1.03 1.01 0.76 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18284 4 1 0 11133 52 0 0 25 0 11 0 19401418 864587776 25773 4294967295 134512640 134569956 3221224336 3221214576 1131448633 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 25773 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 111.85
Current children cumulated vsize (Kb) 844324

[startup+130.008 s]
Raw data (loadavg): 1.03 1.01 0.76 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18285 4 1 0 12126 52 0 0 25 0 11 0 19401418 864587776 25869 4294967295 134512640 134569956 3221224336 3221214368 1131599846 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 25869 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (Kb) 844324

[startup+140.008 s]
Raw data (loadavg): 1.02 1.01 0.76 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18285 4 1 0 13126 52 0 0 25 0 11 0 19401418 864587776 25869 4294967295 134512640 134569956 3221224336 3221214576 1131367513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 25869 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 131.78
Current children cumulated vsize (Kb) 844324

[startup+150.009 s]
Raw data (loadavg): 1.02 1.01 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18286 4 1 0 14120 52 0 0 25 0 11 0 19401418 864587776 26054 4294967295 134512640 134569956 3221224336 3221214688 1131336192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 26054 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 141.72
Current children cumulated vsize (Kb) 844324

[startup+160.009 s]
Raw data (loadavg): 1.02 1.01 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18290 4 1 0 15095 52 0 0 25 0 11 0 19401418 864587776 26625 4294967295 134512640 134569956 3221224336 3221214616 1131481401 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 26625 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 151.47
Current children cumulated vsize (Kb) 844324

[startup+170.01 s]
Raw data (loadavg): 1.01 1.01 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18295 4 1 0 16069 52 0 0 25 0 11 0 19401418 864587776 26910 4294967295 134512640 134569956 3221224336 3221214488 1131481465 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 26910 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (Kb) 844324

[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18301 4 1 0 17031 52 0 0 23 0 11 0 19401418 864587776 27157 4294967295 134512640 134569956 3221224336 3221214672 1131589868 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 27157 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 170.83
Current children cumulated vsize (Kb) 844324

[startup+190.012 s]
Raw data (loadavg): 1.01 1.00 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) S 4372 4373 4060 0 -1 0 18305 4 1 0 17990 53 0 0 16 0 11 0 19401418 864587776 27320 4294967295 134512640 134569956 3221224336 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 27320 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 180.43
Current children cumulated vsize (Kb) 844324

[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 0.77 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18310 4 1 0 18944 53 0 0 25 0 11 0 19401418 864587776 27571 4294967295 134512640 134569956 3221224336 3221214368 1131599353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 27571 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 844324

[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.78 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18315 4 1 0 19893 53 0 0 25 0 11 0 19401418 864587776 27914 4294967295 134512640 134569956 3221224336 3221214688 1131336209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 27914 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 199.46
Current children cumulated vsize (Kb) 844324

[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 0.78 1/65 4386
Raw data (/proc/4373/stat): 4373 (java) S 4372 4373 4060 0 -1 0 18320 4 1 0 20834 53 0 0 25 0 11 0 19401418 864587776 28322 4294967295 134512640 134569956 3221224336 3221213416 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 28322 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 208.87
Current children cumulated vsize (Kb) 844324

[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.78 2/65 4386
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18325 4 1 0 21798 53 0 0 25 0 11 0 19401418 864587776 28533 4294967295 134512640 134569956 3221224336 3221214288 1131599449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 28533 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 218.51
Current children cumulated vsize (Kb) 844324
One traced child (pid=4386) exited with status: 0
New thread pid=4387

[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.78 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18329 4 1 0 22769 53 0 0 17 0 11 0 19401418 864587776 28694 4294967295 134512640 134569956 3221224336 3221214448 1131481655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 28694 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 228.22
Current children cumulated vsize (Kb) 844324

[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.78 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18333 4 1 0 23731 53 0 0 25 0 11 0 19401418 864587776 28946 4294967295 134512640 134569956 3221224336 3221214736 1131528284 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 28946 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 237.84
Current children cumulated vsize (Kb) 844324

[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 0.79 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18334 4 1 0 24722 53 0 0 25 0 11 0 19401418 864587776 29019 4294967295 134512640 134569956 3221224336 3221214288 1131600031 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 29019 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 247.75
Current children cumulated vsize (Kb) 844324

[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 0.79 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18336 4 1 0 25705 53 0 0 25 0 11 0 19401418 864587776 29303 4294967295 134512640 134569956 3221224336 3221214576 1131448333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 29303 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 257.58
Current children cumulated vsize (Kb) 844324

[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.79 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18341 4 1 0 26669 53 0 0 25 0 11 0 19401418 864587776 29526 4294967295 134512640 134569956 3221224336 3221214688 1131336192 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 29526 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 267.22
Current children cumulated vsize (Kb) 844324

[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 0.79 2/65 4387
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18346 4 1 0 27633 54 0 0 25 0 11 0 19401418 864587776 29806 4294967295 134512640 134569956 3221224336 3221214352 1131741464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 29806 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 276.87
Current children cumulated vsize (Kb) 844324
One traced child (pid=4387) exited with status: 0
New thread pid=4388

[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 0.79 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18348 4 1 0 28619 54 0 0 25 0 11 0 19401418 864587776 29806 4294967295 134512640 134569956 3221224336 3221214440 1131741496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 29806 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 286.73
Current children cumulated vsize (Kb) 844324

[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 0.80 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18352 4 1 0 29588 54 0 0 25 0 11 0 19401418 864587776 30000 4294967295 134512640 134569956 3221224336 3221214288 1131599653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 30000 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 296.42
Current children cumulated vsize (Kb) 844324

[startup+320.02 s]
Raw data (loadavg): 1.00 1.00 0.80 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18357 4 1 0 30547 54 0 0 25 0 11 0 19401418 864587776 30232 4294967295 134512640 134569956 3221224336 3221214384 1131516204 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 30232 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 306.01
Current children cumulated vsize (Kb) 844324

[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 0.80 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) S 4372 4373 4060 0 -1 0 18361 4 1 0 31513 54 0 0 25 0 11 0 19401418 864587776 30357 4294967295 134512640 134569956 3221224336 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 30357 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 315.67
Current children cumulated vsize (Kb) 844324

[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 0.80 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18366 4 1 0 32487 54 0 0 25 0 11 0 19401418 864587776 30564 4294967295 134512640 134569956 3221224336 3221214088 1077618144 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 30564 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 325.41
Current children cumulated vsize (Kb) 844324

[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 0.80 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18369 4 1 0 33463 54 0 0 25 0 11 0 19401418 864587776 30771 4294967295 134512640 134569956 3221224336 3221214544 1131742842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 30771 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 335.17
Current children cumulated vsize (Kb) 844324

[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 0.81 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18373 4 1 0 34433 54 0 0 25 0 11 0 19401418 864587776 31005 4294967295 134512640 134569956 3221224336 3221214568 1131523824 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 31005 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 344.87
Current children cumulated vsize (Kb) 844324

[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.81 2/65 4388
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18376 4 1 0 35411 54 0 0 25 0 11 0 19401418 864587776 31170 4294967295 134512640 134569956 3221224336 3221214448 1131741346 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 31170 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 354.65
Current children cumulated vsize (Kb) 844324
One traced child (pid=4388) exited with status: 0
New thread pid=4389

[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 0.81 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18379 4 1 0 36388 54 0 0 17 0 11 0 19401418 864587776 31324 4294967295 134512640 134569956 3221224336 3221214544 1131742242 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 31324 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 364.42
Current children cumulated vsize (Kb) 844324

[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 0.81 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18383 4 1 0 37358 55 0 0 16 0 11 0 19401418 864587776 31544 4294967295 134512640 134569956 3221224336 3221214256 1131740009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 31544 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 374.13
Current children cumulated vsize (Kb) 844324

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.81 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18386 4 1 0 38335 55 0 0 25 0 11 0 19401418 864587776 31723 4294967295 134512640 134569956 3221224336 3221214576 1131380140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 31723 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 383.9
Current children cumulated vsize (Kb) 844324

[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18391 4 1 0 39299 55 0 0 25 0 11 0 19401418 864587776 31815 4294967295 134512640 134569956 3221224336 3221214584 1131373340 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 31815 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 393.54
Current children cumulated vsize (Kb) 844324

[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18396 4 1 0 40262 55 0 0 25 0 11 0 19401418 864587776 31870 4294967295 134512640 134569956 3221224336 3221214576 1131448165 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 31870 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 403.17
Current children cumulated vsize (Kb) 844324

[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18401 4 1 0 41222 55 0 0 25 0 11 0 19401418 864587776 31983 4294967295 134512640 134569956 3221224336 3221214304 1076697425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 31983 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 412.77
Current children cumulated vsize (Kb) 844324

[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18406 4 1 0 42180 55 0 0 25 0 11 0 19401418 864587776 32040 4294967295 134512640 134569956 3221224336 3221214480 1131481507 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 32040 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 422.35
Current children cumulated vsize (Kb) 844324

[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18410 4 1 0 43147 55 0 0 25 0 11 0 19401418 864587776 32200 4294967295 134512640 134569956 3221224336 3221214216 1085806332 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 32200 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 432.02
Current children cumulated vsize (Kb) 844324

[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4389
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18414 4 1 0 44116 55 0 0 25 0 11 0 19401418 864587776 32411 4294967295 134512640 134569956 3221224336 3221214576 1131448020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 32411 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 441.71
Current children cumulated vsize (Kb) 844324
One traced child (pid=4389) exited with status: 0
New thread pid=4390

[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18416 4 1 0 45101 55 0 0 19 0 11 0 19401418 864587776 32520 4294967295 134512640 134569956 3221224336 3221214672 1131511763 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 32520 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 451.56
Current children cumulated vsize (Kb) 844324

[startup+480.031 s]
Raw data (loadavg): 1.00 1.00 0.82 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18417 4 1 0 46093 55 0 0 25 0 11 0 19401418 864587776 32580 4294967295 134512640 134569956 3221224336 3221214360 1131599968 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 32580 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 461.48
Current children cumulated vsize (Kb) 844324

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18418 4 1 0 47084 55 0 0 25 0 11 0 19401418 864587776 32592 4294967295 134512640 134569956 3221224336 3221214472 1131515853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 32592 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 471.39
Current children cumulated vsize (Kb) 844324

[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18419 4 1 0 48076 55 0 0 25 0 11 0 19401418 864587776 32698 4294967295 134512640 134569956 3221224336 3221214472 1131515927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 32698 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 481.31
Current children cumulated vsize (Kb) 844324

[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18420 4 1 0 49066 55 0 0 25 0 11 0 19401418 864587776 33043 4294967295 134512640 134569956 3221224336 3221214424 1131570888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 33043 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 491.21
Current children cumulated vsize (Kb) 844324

[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18420 4 1 0 50066 55 0 0 25 0 11 0 19401418 864587776 33043 4294967295 134512640 134569956 3221224336 3221214480 1131515637 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 33043 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 501.21
Current children cumulated vsize (Kb) 844324

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18421 4 1 0 51058 55 0 0 25 0 11 0 19401418 864587776 33360 4294967295 134512640 134569956 3221224336 3221214472 1131515736 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 33360 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 511.13
Current children cumulated vsize (Kb) 844324

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18422 4 1 0 52053 55 0 0 25 0 11 0 19401418 864587776 33692 4294967295 134512640 134569956 3221224336 3221214424 1131570928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 33692 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 521.08
Current children cumulated vsize (Kb) 844324

[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18422 4 1 0 53053 55 0 0 25 0 11 0 19401418 864587776 33692 4294967295 134512640 134569956 3221224336 3221214472 1131515794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 33692 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 531.08
Current children cumulated vsize (Kb) 844324

[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18424 4 1 0 54042 55 0 0 25 0 11 0 19401418 864587776 34197 4294967295 134512640 134569956 3221224336 3221214360 1131637174 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 34197 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 540.97
Current children cumulated vsize (Kb) 844324

[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18424 4 1 0 55043 55 0 0 25 0 11 0 19401418 864587776 34197 4294967295 134512640 134569956 3221224336 3221214584 1131515841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 34197 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 550.98
Current children cumulated vsize (Kb) 844324

[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18425 4 1 0 56038 55 0 0 25 0 11 0 19401418 864587776 34377 4294967295 134512640 134569956 3221224336 3221214360 1131599902 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 34377 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 560.93
Current children cumulated vsize (Kb) 844324

[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.83 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18426 4 1 0 57033 55 0 0 18 0 11 0 19401418 864587776 34695 4294967295 134512640 134569956 3221224336 3221214584 1131515905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 34695 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 570.88
Current children cumulated vsize (Kb) 844324

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18426 4 1 0 58033 55 0 0 25 0 11 0 19401418 864587776 34695 4294967295 134512640 134569956 3221224336 3221214424 1131570883 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 34695 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 580.88
Current children cumulated vsize (Kb) 844324

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18427 4 1 0 59028 55 0 0 25 0 11 0 19401418 864587776 34718 4294967295 134512640 134569956 3221224336 3221214472 1131514700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 34718 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 590.83
Current children cumulated vsize (Kb) 844324

[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18428 4 1 0 60023 55 0 0 25 0 11 0 19401418 864587776 34986 4294967295 134512640 134569956 3221224336 3221214360 1131599884 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 34986 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 600.78
Current children cumulated vsize (Kb) 844324

[startup+630.037 s]
Raw data (loadavg): 1.15 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18428 4 1 0 61023 55 0 0 25 0 11 0 19401418 864587776 34986 4294967295 134512640 134569956 3221224336 3221214360 1131599886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 34986 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 610.78
Current children cumulated vsize (Kb) 844324

[startup+640.037 s]
Raw data (loadavg): 1.12 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18429 4 1 0 62018 55 0 0 25 0 11 0 19401418 864587776 35181 4294967295 134512640 134569956 3221224336 3221214424 1131570932 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 35181 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 620.73
Current children cumulated vsize (Kb) 844324

[startup+650.038 s]
Raw data (loadavg): 1.10 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18429 4 1 0 63018 55 0 0 25 0 11 0 19401418 864587776 35181 4294967295 134512640 134569956 3221224336 3221214472 1131515814 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 35181 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 630.73
Current children cumulated vsize (Kb) 844324

[startup+660.038 s]
Raw data (loadavg): 1.09 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18429 4 1 0 64018 55 0 0 25 0 11 0 19401418 864587776 35181 4294967295 134512640 134569956 3221224336 3221214480 1131515887 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 35181 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 640.73
Current children cumulated vsize (Kb) 844324

[startup+670.039 s]
Raw data (loadavg): 1.07 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18429 4 1 0 65019 55 0 0 25 0 11 0 19401418 864587776 35181 4294967295 134512640 134569956 3221224336 3221214472 1131515887 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 35181 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 650.74
Current children cumulated vsize (Kb) 844324

[startup+680.038 s]
Raw data (loadavg): 1.06 1.03 0.85 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18429 4 1 0 66019 55 0 0 25 0 11 0 19401418 864587776 35181 4294967295 134512640 134569956 3221224336 3221214256 1131739044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 35181 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 660.74
Current children cumulated vsize (Kb) 844324

[startup+690.038 s]
Raw data (loadavg): 1.05 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18431 4 1 0 67006 55 0 0 25 0 11 0 19401418 864587776 36039 4294967295 134512640 134569956 3221224336 3221214480 1131515934 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 36039 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 670.61
Current children cumulated vsize (Kb) 844324

[startup+700.039 s]
Raw data (loadavg): 1.04 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18431 4 1 0 68007 55 0 0 25 0 11 0 19401418 864587776 36039 4294967295 134512640 134569956 3221224336 3221214424 1131570932 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 36039 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 680.62
Current children cumulated vsize (Kb) 844324

[startup+710.039 s]
Raw data (loadavg): 1.04 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18431 4 1 0 69007 55 0 0 25 0 11 0 19401418 864587776 36039 4294967295 134512640 134569956 3221224336 3221214456 1131515736 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 36039 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 690.62
Current children cumulated vsize (Kb) 844324

[startup+720.039 s]
Raw data (loadavg): 1.03 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18432 4 1 0 70002 55 0 0 23 0 11 0 19401418 864587776 36387 4294967295 134512640 134569956 3221224336 3221214424 1131570940 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 36387 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 700.57
Current children cumulated vsize (Kb) 844324

[startup+730.04 s]
Raw data (loadavg): 1.02 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18432 4 1 0 71002 55 0 0 25 0 11 0 19401418 864587776 36387 4294967295 134512640 134569956 3221224336 3221214472 1131515960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 36387 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 710.57
Current children cumulated vsize (Kb) 844324

[startup+740.04 s]
Raw data (loadavg): 1.02 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18433 4 1 0 71998 55 0 0 25 0 11 0 19401418 864587776 36804 4294967295 134512640 134569956 3221224336 3221214480 1131515724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 36804 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 720.53
Current children cumulated vsize (Kb) 844324

[startup+750.041 s]
Raw data (loadavg): 1.02 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18433 4 1 0 72998 55 0 0 25 0 11 0 19401418 864587776 36804 4294967295 134512640 134569956 3221224336 3221214304 1131637295 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 36804 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 730.53
Current children cumulated vsize (Kb) 844324

[startup+760.041 s]
Raw data (loadavg): 1.01 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18436 4 1 0 73986 55 0 0 25 0 11 0 19401418 864587776 37022 4294967295 134512640 134569956 3221224336 3221214448 1131740273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 37022 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 740.41
Current children cumulated vsize (Kb) 844324

[startup+770.041 s]
Raw data (loadavg): 1.01 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18441 4 1 0 74965 56 0 0 25 0 11 0 19401418 864587776 37022 4294967295 134512640 134569956 3221224336 3221214576 1131448341 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 37022 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 750.21
Current children cumulated vsize (Kb) 844324

[startup+780.042 s]
Raw data (loadavg): 1.01 1.02 0.86 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18448 4 1 0 75930 56 0 0 19 0 11 0 19401418 864587776 37293 4294967295 134512640 134569956 3221224336 3221214496 1131549103 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 37293 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 759.86
Current children cumulated vsize (Kb) 844324

[startup+790.042 s]
Raw data (loadavg): 1.01 1.02 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18455 4 1 0 76890 56 0 0 18 0 11 0 19401418 864587776 37293 4294967295 134512640 134569956 3221224336 3221214576 1131448428 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 37293 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 769.46
Current children cumulated vsize (Kb) 844324

[startup+800.043 s]
Raw data (loadavg): 1.01 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18458 4 1 0 77870 56 0 0 25 0 11 0 19401418 864587776 37572 4294967295 134512640 134569956 3221224336 3221214112 1131709375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 37572 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 779.26
Current children cumulated vsize (Kb) 844324

[startup+810.043 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18462 4 1 0 78839 56 0 0 25 0 11 0 19401418 864587776 37737 4294967295 134512640 134569956 3221224336 3221214688 1131336185 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 37737 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 788.95
Current children cumulated vsize (Kb) 844324

[startup+820.044 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18466 4 1 0 79804 56 0 0 25 0 11 0 19401418 864587776 37889 4294967295 134512640 134569956 3221224336 3221214576 1131448165 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 37889 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 798.6
Current children cumulated vsize (Kb) 844324

[startup+830.045 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18470 4 1 0 80772 56 0 0 25 0 11 0 19401418 864587776 38274 4294967295 134512640 134569956 3221224336 3221214472 1131515814 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 38274 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 808.28
Current children cumulated vsize (Kb) 844324

[startup+840.045 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18473 4 1 0 81751 56 0 0 25 0 11 0 19401418 864587776 38562 4294967295 134512640 134569956 3221224336 3221214256 1079817036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 38562 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 818.07
Current children cumulated vsize (Kb) 844324

[startup+850.046 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18474 4 1 0 82744 56 0 0 25 0 11 0 19401418 864587776 38619 4294967295 134512640 134569956 3221224336 3221214360 1131637449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 38619 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 828
Current children cumulated vsize (Kb) 844324

[startup+860.047 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18475 4 1 0 83736 57 0 0 25 0 11 0 19401418 864587776 38803 4294967295 134512640 134569956 3221224336 3221214456 1131515833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 38803 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (Kb) 844324

[startup+870.047 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18475 4 1 0 84736 57 0 0 25 0 11 0 19401418 864587776 38803 4294967295 134512640 134569956 3221224336 3221214472 1131515814 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 38803 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 847.93
Current children cumulated vsize (Kb) 844324

[startup+880.047 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18476 4 1 0 85727 57 0 0 25 0 11 0 19401418 864587776 39230 4294967295 134512640 134569956 3221224336 3221214360 1131599928 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 39230 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 857.84
Current children cumulated vsize (Kb) 844324

[startup+890.047 s]
Raw data (loadavg): 1.00 1.01 0.87 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18476 4 1 0 86727 57 0 0 25 0 11 0 19401418 864587776 39230 4294967295 134512640 134569956 3221224336 3221214456 1131515788 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 39230 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 867.84
Current children cumulated vsize (Kb) 844324

[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18476 4 1 0 87728 57 0 0 25 0 11 0 19401418 864587776 39230 4294967295 134512640 134569956 3221224336 3221214360 1131600073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 39230 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 877.85
Current children cumulated vsize (Kb) 844324

[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18476 4 1 0 88728 57 0 0 25 0 11 0 19401418 864587776 39230 4294967295 134512640 134569956 3221224336 3221214472 1131515879 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 39230 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 887.85
Current children cumulated vsize (Kb) 844324

[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18478 4 1 0 89715 57 0 0 25 0 11 0 19401418 864587776 40098 4294967295 134512640 134569956 3221224336 3221214416 1131569896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 40098 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 897.72
Current children cumulated vsize (Kb) 844324

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4390
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18480 4 1 0 90706 57 0 0 25 0 11 0 19401418 864587776 40098 4294967295 134512640 134569956 3221224336 3221214576 1131448031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 40098 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 907.63
Current children cumulated vsize (Kb) 844324
One traced child (pid=4390) exited with status: 0
New thread pid=4391

[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.88 3/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18482 4 1 0 91695 57 0 0 25 0 11 0 19401418 864587776 40392 4294967295 134512640 134569956 3221224336 3221214304 1131711878 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 40392 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 917.52
Current children cumulated vsize (Kb) 844324

[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18485 4 1 0 92680 57 0 0 25 0 11 0 19401418 864587776 40392 4294967295 134512640 134569956 3221224336 3221214480 1131516155 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 40392 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 927.37
Current children cumulated vsize (Kb) 844324

[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18488 4 1 0 93660 57 0 0 25 0 11 0 19401418 864587776 40696 4294967295 134512640 134569956 3221224336 3221214496 1131549655 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 40696 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 937.17
Current children cumulated vsize (Kb) 844324

[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18491 4 1 0 94640 57 0 0 25 0 11 0 19401418 864587776 40965 4294967295 134512640 134569956 3221224336 3221214472 1131515948 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 40965 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 946.97
Current children cumulated vsize (Kb) 844324

[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18494 4 1 0 95619 57 0 0 21 0 11 0 19401418 864587776 41240 4294967295 134512640 134569956 3221224336 3221214576 1131448365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 41240 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 956.76
Current children cumulated vsize (Kb) 844324

[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18497 4 1 0 96602 57 0 0 25 0 11 0 19401418 864587776 41394 4294967295 134512640 134569956 3221224336 3221214576 1131448674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 41394 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 966.59
Current children cumulated vsize (Kb) 844324

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18500 4 1 0 97585 57 0 0 25 0 11 0 19401418 864587776 41479 4294967295 134512640 134569956 3221224336 3221214576 1131448165 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 41479 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 976.42
Current children cumulated vsize (Kb) 844324

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18505 4 1 0 98554 57 0 0 19 0 11 0 19401418 864587776 41784 4294967295 134512640 134569956 3221224336 3221214688 1131336192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 41784 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 986.11
Current children cumulated vsize (Kb) 844324

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18510 4 1 0 99523 58 0 0 25 0 11 0 19401418 864587776 41937 4294967295 134512640 134569956 3221224336 3221214352 1131739656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 41937 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 995.81
Current children cumulated vsize (Kb) 844324

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18516 4 1 0 100484 58 0 0 25 0 11 0 19401418 864587776 42040 4294967295 134512640 134569956 3221224336 3221214568 1131523775 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 42040 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1005.42
Current children cumulated vsize (Kb) 844324

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18519 4 1 0 101462 58 0 0 25 0 11 0 19401418 864587776 42222 4294967295 134512640 134569956 3221224336 3221214360 1131599871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 42222 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1015.2
Current children cumulated vsize (Kb) 844324

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18521 4 1 0 102447 58 0 0 25 0 11 0 19401418 864587776 42345 4294967295 134512640 134569956 3221224336 3221214424 1131570883 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 42345 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1025.05
Current children cumulated vsize (Kb) 844324

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18524 4 1 0 103428 58 0 0 25 0 11 0 19401418 864587776 42672 4294967295 134512640 134569956 3221224336 3221214116 1131711200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 42672 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1034.86
Current children cumulated vsize (Kb) 844324

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18527 4 1 0 104407 58 0 0 25 0 11 0 19401418 864587776 42822 4294967295 134512640 134569956 3221224336 3221214672 1131511733 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 42822 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1044.65
Current children cumulated vsize (Kb) 844324

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18531 4 1 0 105378 58 0 0 25 0 11 0 19401418 864587776 43110 4294967295 134512640 134569956 3221224336 3221214688 1131336299 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 43110 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1054.36
Current children cumulated vsize (Kb) 844324

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4391
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18534 4 1 0 106355 58 0 0 24 0 11 0 19401418 864587776 43312 4294967295 134512640 134569956 3221224336 3221214344 1131711186 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 43312 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1064.13
Current children cumulated vsize (Kb) 844324
One traced child (pid=4391) exited with status: 0
New thread pid=4392

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18535 4 1 0 107347 58 0 0 25 0 11 0 19401418 864587776 43312 4294967295 134512640 134569956 3221224336 3221214352 1131739719 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 43312 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1074.05
Current children cumulated vsize (Kb) 844324

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) S 4372 4373 4060 0 -1 0 18538 4 1 0 108328 58 0 0 25 0 11 0 19401418 864587776 43452 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 43452 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1083.86
Current children cumulated vsize (Kb) 844324

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18540 4 1 0 109302 58 0 0 25 0 11 0 19401418 864587776 43696 4294967295 134512640 134569956 3221224336 3221214552 1131448549 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 43696 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1093.6
Current children cumulated vsize (Kb) 844324

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18541 4 1 0 110293 58 0 0 25 0 11 0 19401418 864587776 43773 4294967295 134512640 134569956 3221224336 3221214360 1131600036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 43773 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1103.51
Current children cumulated vsize (Kb) 844324

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18542 4 1 0 111284 58 0 0 25 0 11 0 19401418 864587776 43901 4294967295 134512640 134569956 3221224336 3221214304 1131637031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 43901 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1113.42
Current children cumulated vsize (Kb) 844324

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18542 4 1 0 112284 58 0 0 25 0 11 0 19401418 864587776 43901 4294967295 134512640 134569956 3221224336 3221214584 1131515863 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 43901 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1123.42
Current children cumulated vsize (Kb) 844324

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18542 4 1 0 113284 58 0 0 25 0 11 0 19401418 864587776 43901 4294967295 134512640 134569956 3221224336 3221214456 1131515871 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 43901 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1133.42
Current children cumulated vsize (Kb) 844324

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18543 4 1 0 114276 58 0 0 25 0 11 0 19401418 864587776 44096 4294967295 134512640 134569956 3221224336 3221214360 1131599954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 44096 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1143.34
Current children cumulated vsize (Kb) 844324

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18543 4 1 0 115276 58 0 0 25 0 11 0 19401418 864587776 44096 4294967295 134512640 134569956 3221224336 3221214480 1131515837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 44096 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1153.34
Current children cumulated vsize (Kb) 844324

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18543 4 1 0 116276 58 0 0 25 0 11 0 19401418 864587776 44096 4294967295 134512640 134569956 3221224336 3221214472 1131515895 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 44096 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1163.34
Current children cumulated vsize (Kb) 844324

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18544 4 1 0 117268 58 0 0 25 0 11 0 19401418 864587776 44382 4294967295 134512640 134569956 3221224336 3221214304 1131637056 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 44382 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1173.26
Current children cumulated vsize (Kb) 844324

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18544 4 1 0 118268 58 0 0 25 0 11 0 19401418 864587776 44382 4294967295 134512640 134569956 3221224336 3221214472 1131515833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 44382 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1183.26
Current children cumulated vsize (Kb) 844324

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18545 4 1 0 119262 58 0 0 25 0 11 0 19401418 864587776 44752 4294967295 134512640 134569956 3221224336 3221214360 1131599968 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4373/statm): 211081 44752 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1193.2
Current children cumulated vsize (Kb) 844324

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18546 4 1 0 120257 58 0 0 25 0 11 0 19401418 864587776 44962 4294967295 134512640 134569956 3221224336 3221214624 1131367513 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 44962 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1203.15
Current children cumulated vsize (Kb) 844324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4392
Raw data (/proc/4373/stat): 4373 (java) R 4372 4373 4060 0 -1 0 18546 4 1 0 120257 58 0 0 25 0 11 0 19401418 864587776 44962 4294967295 134512640 134569956 3221224336 3221214584 1131515833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4373/statm): 211081 44962 13129 16 0 211065 0
[pid=4373] vsize: 844324
Current children cumulated CPU time (s) 1203.15
Current children cumulated vsize (Kb) 844324

Sending SIGTERM to -4373
Sleeping 2 seconds
New thread pid=4394
New thread pid=4395
One traced child (pid=4395) exited with status: 0
One traced child (pid=4382) exited with status: 0
One traced child (pid=4377) exited with status: 0
One traced child (pid=4376) exited with status: 143
One traced child (pid=4381) exited with status: 143
One traced child (pid=4378) exited with status: 143
One traced child (pid=4379) exited with status: 143
One traced child (pid=4392) exited with status: 143
One traced child (pid=4375) exited with status: 143
One traced child (pid=4394) exited with status: 143
One traced child (pid=4374) exited with status: 143
One traced child (pid=4380) exited with status: 143
One traced child (pid=4373) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.37
CPU time (s): 1239.36
CPU user time (s): 1237.68
CPU system time (s): 1.67774
CPU usage (%): 100.731
Max. virtual memory (cumulated for all children) (Kb): 844356

Verifier Data

Verifier:	OK	863236227986