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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell5.opb
MD5SUM69f4cc43076dd783d9debfd1c0708aef
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1958102199971817
Optimality of the best value was proved NO
Number of terms in the objective function 1268
Biggest coefficient in the objective function 50331648000000000
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 888722133694353611
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 50331648000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 888722133694353611
Number of bits of the biggest sum of numbers60
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1224.48
Number of variables1704
Total number of constraints149
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint1
Maximum length of a constraint135

Trace number 4789

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-19 19:48:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6478 boxname=wulflinc10 idbench=618 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  69f4cc43076dd783d9debfd1c0708aef  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-bell5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-bell5.opb
IDLAUNCH: 6478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        816228 kB
Buffers:         37780 kB
Cached:         153412 kB
SwapCached:        228 kB
Active:          72208 kB
Inactive:       121936 kB
HighTotal:      131008 kB
HighFree:        29176 kB
LowTotal:       903652 kB
LowFree:        787052 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18580 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 20:09:05 (client local time) WITH STATUS 143 IN 1224.48 SECONDS
stats: 6478 0 1224.48 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/wulflinc10/normalized-mps-v2-20-10-bell5.opb
c reading problem ... done. Time 1.727 ms.
c #vars     1704
c #constraints  118
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    9351975184552188 		Current CPU time: 33.67 ms
c CURRENT OPTIMUM=    6425917393596212 		Current CPU time: 52.57 ms
c CURRENT OPTIMUM=    3275629893267941 		Current CPU time: 134.72 ms
c CURRENT OPTIMUM=    2826173951197184 		Current CPU time: 165.65 ms
c CURRENT OPTIMUM=    2157874349977577 		Current CPU time: 198.15 ms
c CURRENT OPTIMUM=    2088276173147717 		Current CPU time: 235.07 ms
c CURRENT OPTIMUM=    2082717519501904 		Current CPU time: 446.80 ms
c CURRENT OPTIMUM=    1958102199971817 		Current CPU time: 533.08 ms
c starts		: 13
c conflicts		: 848
c decisions		: 54809
c propagations		: 85889
c inspects		: 524237
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 848
c root simplifications	: 129
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 53151
c speed (decisions/second)	: 78.77889762149793
c non guided choices	8031
c random choices	0
s SATISFIABLE
v -d1_bit0 d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 d6_bit0 -d7_bit0 -d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 d16_bit0 -h1_bit0 -h1_bit1 h1_bit2 -h1_bit3 h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 h2_bit0 h2_bit1 h2_bit2 h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 -h3_bit0 -h3_bit1 h3_bit2 -h3_bit3 h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 -h5_bit1 h5_bit2 -h5_bit3 h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 h7_bit0 h7_bit1 -h7_bit2 h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h9_bit0 -h9_bit1 h9_bit2 -h9_bit3 h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 -h11_bit2 -h11_bit3 -h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h14_bit0 -h14_bit1 -h14_bit2 -h14_bit3 -h14_bit4 -h14_bit5 -h14_bit6 -h14_bit7 -h14_bit8 -h14_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 g1_bit0 g1_bit1 g1_bit2 g1_bit3 g1_bit4 g1_bit5 g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 g2_bit0 g2_bit1 g2_bit2 g2_bit3 g2_bit4 g2_bit5 g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g3_bit0 -g3_bit1 g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 g5_bit2 g5_bit3 g5_bit4 g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g6_bit0 g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 g7_bit7 -g7_bit8 g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 g9_bit7 -g9_bit8 -g9_bit9 -g10_bit0 -g10_bit1 g10_bit2 -g10_bit3 g10_bit4 -g10_bit5 g10_bit6 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 -g11_bit5 -g11_bit6 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g13_bit0 -g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g14_bit0 -g14_bit1 -g14_bit2 -g14_bit3 -g14_bit4 -g14_bit5 -g14_bit6 g16_bit0 -g16_bit1 -g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 -a1_bit_10 a1_bit_9 -a1_bit_8 -a1_bit_7 a1_bit_6 a1_bit_5 a1_bit_4 -a1_bit_3 a1_bit_2 -a1_bit_1 a1_bit0 a1_bit1 -a1_bit2 -a1_bit3 a1_bit4 -a1_bit5 a1_bit6 a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 a2_bit_9 -a2_bit_8 -a2_bit_7 a2_bit_6 a2_bit_5 a2_bit_4 -a2_bit_3 a2_bit_2 -a2_bit_1 a2_bit0 a2_bit1 -a2_bit2 -a2_bit3 a2_bit4 -a2_bit5 a2_bit6 a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 -a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 -a3_bit5 -a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 a4_bit3 -a4_bit4 a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 -a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 -a8_bit6 -a8_bit7 -a8_bit8 -a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 -a9_bit_9 -a9_bit_8 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_bit19 -a10_bit_10 -a10_bit_9 -a10_bit_8 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a10_bit13 -a10_bit14 -a10_bit15 -a10_bit16 -a10_bit17 -a10_bit18 -a10_bit19 -a11_bit_10 -a11_bit_9 -a11_bit_8 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 -a11_bit1 -a11_bit2 -a11_bit3 -a11_bit4 -a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 a11_bit9 a11_bit10 -a11_bit11 -a11_bit12 -a11_bit13 -a11_bit14 -a11_bit15 -a11_bit16 -a11_bit17 -a11_bit18 -a11_bit19 -a12_bit_10 -a12_bit_9 -a12_bit_8 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 a12_bit3 -a12_bit4 a12_bit5 a12_bit6 a12_bit7 a12_bit8 a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a12_bit13 -a12_bit14 -a12_bit15 -a12_bit16 -a12_bit17 -a12_bit18 -a12_bit19 -a13_bit_10 -a13_bit_9 -a13_bit_8 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 -a13_bit3 -a13_bit4 a13_bit5 -a13_bit6 a13_bit7 a13_bit8 a13_bit9 -a13_bit10 -a13_bit11 a13_bit12 -a13_bit13 -a13_bit14 -a13_bit15 -a13_bit16 -a13_bit17 -a13_bit18 -a13_bit19 -a14_bit_10 -a14_bit_9 -a14_bit_8 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 -a14_bit2 -a14_bit3 -a14_bit4 -a14_bit5 -a14_bit6 -a14_bit7 -a14_bit8 -a14_bit9 a14_bit10 -a14_bit11 -a14_bit12 -a14_bit13 -a14_bit14 -a14_bit15 -a14_bit16 -a14_bit17 -a14_bit18 -a14_bit19 -a15_bit_10 -a15_bit_9 -a15_bit_8 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 a15_bit2 a15_bit3 a15_bit4 a15_bit5 -a15_bit6 a15_bit7 -a15_bit8 a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a15_bit13 -a15_bit14 -a15_bit15 -a15_bit16 -a15_bit17 -a15_bit18 -a15_bit19 -a16_bit_10 -a16_bit_9 -a16_bit_8 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a16_bit13 -a16_bit14 -a16_bit15 -a16_bit16 -a16_bit17 -a16_bit18 -a16_bit19 -b1_bit_10 -b1_bit_9 -b1_bit_8 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b2_bit13 -b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 b4_bit_10 b4_bit_9 b4_bit_8 b4_bit_7 b4_bit_6 b4_bit_5 b4_bit_4 b4_bit_3 b4_bit_2 b4_bit_1 b4_bit0 b4_bit1 b4_bit2 b4_bit3 b4_bit4 b4_bit5 b4_bit6 b4_bit7 b4_bit8 b4_bit9 b4_bit10 -b4_bit11 -b4_bit12 -b4_bit13 -b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 -b5_bit_10 -b5_bit_9 -b5_bit_8 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b5_bit13 -b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 -b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 -b7_bit_9 -b7_bit_8 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 -b7_bit_1 -b7_bit0 -b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 -b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 b7_bit13 b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 -b9_bit_9 -b9_bit_8 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 b10_bit_10 b10_bit_9 b10_bit_8 b10_bit_7 b10_bit_6 b10_bit_5 b10_bit_4 b10_bit_3 b10_bit_2 b10_bit_1 b10_bit0 b10_bit1 b10_bit2 b10_bit3 b10_bit4 b10_bit5 b10_bit6 b10_bit7 b10_bit8 b10_bit9 b10_bit10 -b10_bit11 -b10_bit12 -b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 -b12_bit_10 -b12_bit_9 -b12_bit_8 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 c1_bit0 c2_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 c8_bit0 c9_bit0 -c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 -c15_bit0 c16_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 f10_bit_10 f10_bit_9 f10_bit_8 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 f10_bit3 f10_bit4 -f10_bit5 f10_bit6 f10_bit7 f10_bit8 f10_bit9 f10_bit10 -f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f11_bit_10 -f11_bit_9 -f11_bit_8 -f11_bit_7 -f11_bit_6 -f11_bit_5 -f11_bit_4 -f11_bit_3 -f11_bit_2 -f11_bit_1 -f11_bit0 -f11_bit1 -f11_bit2 -f11_bit3 -f11_bit4 -f11_bit5 -f11_bit6 -f11_bit7 -f11_bit8 -f11_bit9 -f11_bit10 -f11_bit11 -f11_bit12 -f11_bit13 -f11_bit14 -f11_bit15 -f11_bit16 -f11_bit17 -f11_bit18 -f11_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 -f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 -f13_bit5 -f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f14_bit_10 -f14_bit_9 -f14_bit_8 -f14_bit_7 -f14_bit_6 -f14_bit_5 -f14_bit_4 -f14_bit_3 -f14_bit_2 -f14_bit_1 -f14_bit0 -f14_bit1 -f14_bit2 -f14_bit3 -f14_bit4 -f14_bit5 -f14_bit6 -f14_bit7 -f14_bit8 -f14_bit9 -f14_bit10 -f14_bit11 -f14_bit12 -f14_bit13 -f14_bit14 -f14_bit15 -f14_bit16 -f14_bit17 -f14_bit18 -f14_bit19 -f16_bit_10 -f16_bit_9 -f16_bit_8 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 f16_bit3 f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f16_bit13 -f16_bit14 -f16_bit15 -f16_bit16 -f16_bit17 -f16_bit18 -f16_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 -f2_bit4 -f2_bit5 -f2_bit6 -f2_bit7 -f2_bit8 -f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f2_bit13 -f2_bit14 -f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 f3_bit1 -f3_bit2 f3_bit3 f3_bit4 -f3_bit5 f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 f5_bit10 -f5_bit11 -f5_bit12 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 -f6_bit_10 -f6_bit_9 -f6_bit_8 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 f6_bit4 f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 f7_bit1 f7_bit2 f7_bit3 -f7_bit4 f7_bit5 f7_bit6 f7_bit7 f7_bit8 f7_bit9 -f7_bit10 f7_bit11 f7_bit12 f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 -f9_bit_10 -f9_bit_9 -f9_bit_8 -f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 -f9_bit1 -f9_bit2 -f9_bit3 -f9_bit4 -f9_bit5 -f9_bit6 -f9_bit7 -f9_bit8 -f9_bit9 f9_bit10 f9_bit11 -f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 
c objective function=1958102199971817
c Total CPU time (ms) : 1229.024

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/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794347476 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 39 3 38 16 0 23 0
[pid=9187] 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/9187
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=9188
New thread pid=9189
New thread pid=9190
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=9191
New thread pid=9192
New thread pid=9193
New thread pid=9194
New thread pid=9195
New thread pid=9196
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/wulflinc10/normalized-mps-v2-20-10-bell5.opb
New thread pid=9197

[startup+10.0034 s]
Raw data (loadavg): 0.62 0.80 0.85 2/66 9197
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18132 0 1 0 540 47 0 0 22 0 11 0 1794347476 862584832 20707 4294967295 134512640 134569956 3221224336 3221214496 1131415489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210592 20707 13129 16 0 210576 0
[pid=9187] vsize: 842368
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (Kb) 842368

[startup+20.0039 s]
Raw data (loadavg): 0.75 0.82 0.86 2/66 9197
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18145 0 1 0 1497 47 0 0 23 0 11 0 1794347476 862449664 21324 4294967295 134512640 134569956 3221224336 3221214496 1131506213 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 21324 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 15.44
Current children cumulated vsize (Kb) 842236

[startup+30.0045 s]
Raw data (loadavg): 0.87 0.84 0.87 2/66 9197
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18153 0 1 0 2449 48 0 0 18 0 11 0 1794347476 862449664 21840 4294967295 134512640 134569956 3221224336 3221214600 1131472224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 21840 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (Kb) 842236
One traced child (pid=9197) exited with status: 0
New thread pid=9198

[startup+40.0051 s]
Raw data (loadavg): 0.89 0.85 0.87 2/66 9198
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18205 4 1 0 3393 48 0 0 17 0 11 0 1794347476 862449664 22153 4294967295 134512640 134569956 3221224336 3221214560 1131431415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 22153 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 34.41
Current children cumulated vsize (Kb) 842236

[startup+50.0057 s]
Raw data (loadavg): 0.91 0.85 0.87 2/66 9198
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18213 4 1 0 4328 49 0 0 25 0 11 0 1794347476 862449664 22580 4294967295 134512640 134569956 3221224336 3221214648 1131445141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 22580 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 43.77
Current children cumulated vsize (Kb) 842236
One traced child (pid=9198) exited with status: 0
New thread pid=9199

[startup+60.0072 s]
Raw data (loadavg): 0.92 0.86 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18221 4 1 0 5271 49 0 0 25 0 11 0 1794347476 862449664 22615 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 22615 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 53.2
Current children cumulated vsize (Kb) 842236

[startup+70.0068 s]
Raw data (loadavg): 0.93 0.86 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18230 4 1 0 6216 50 0 0 17 0 11 0 1794347476 862449664 22904 4294967295 134512640 134569956 3221224336 3221214224 1131676137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 22904 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 62.66
Current children cumulated vsize (Kb) 842236

[startup+80.0073 s]
Raw data (loadavg): 0.94 0.87 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18239 4 1 0 7167 50 0 0 22 0 11 0 1794347476 862449664 23133 4294967295 134512640 134569956 3221224336 3221214496 1131676038 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23133 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 72.17
Current children cumulated vsize (Kb) 842236

[startup+90.0079 s]
Raw data (loadavg): 0.95 0.87 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18247 4 1 0 8131 50 0 0 25 0 11 0 1794347476 862449664 23200 4294967295 134512640 134569956 3221224336 3221214488 1131432286 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23200 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 81.81
Current children cumulated vsize (Kb) 842236

[startup+100.007 s]
Raw data (loadavg): 0.96 0.87 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18254 4 1 0 9104 51 0 0 25 0 11 0 1794347476 862449664 23339 4294967295 134512640 134569956 3221224336 3221214136 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23339 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 91.55
Current children cumulated vsize (Kb) 842236

[startup+110.009 s]
Raw data (loadavg): 0.96 0.88 0.87 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18263 4 1 0 10075 51 0 0 24 0 11 0 1794347476 862449664 23456 4294967295 134512640 134569956 3221224336 3221214488 1131431808 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23456 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (Kb) 842236

[startup+120.01 s]
Raw data (loadavg): 0.97 0.88 0.88 3/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18271 4 1 0 11055 52 0 0 25 0 11 0 1794347476 862449664 23533 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 23533 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 111.07
Current children cumulated vsize (Kb) 842236

[startup+130.009 s]
Raw data (loadavg): 0.97 0.89 0.88 2/66 9199
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18279 4 1 0 12038 52 0 0 25 0 11 0 1794347476 862449664 23579 4294967295 134512640 134569956 3221224336 3221214488 1131431942 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23579 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 120.9
Current children cumulated vsize (Kb) 842236
One traced child (pid=9199) exited with status: 0
New thread pid=9200

[startup+140.01 s]
Raw data (loadavg): 0.98 0.89 0.88 2/66 9200
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18287 4 1 0 13020 53 0 0 23 0 11 0 1794347476 862449664 23617 4294967295 134512640 134569956 3221224336 3221214576 1131448675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23617 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 130.73
Current children cumulated vsize (Kb) 842236

[startup+150.01 s]
Raw data (loadavg): 0.98 0.89 0.88 2/66 9200
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18295 4 1 0 14001 54 0 0 25 0 11 0 1794347476 862449664 23651 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23651 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 140.55
Current children cumulated vsize (Kb) 842236

[startup+160.011 s]
Raw data (loadavg): 0.98 0.89 0.88 2/66 9200
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18302 4 1 0 14985 54 0 0 25 0 11 0 1794347476 862449664 23673 4294967295 134512640 134569956 3221224336 3221214420 1085806240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23673 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 150.39
Current children cumulated vsize (Kb) 842236
One traced child (pid=9200) exited with status: 0
New thread pid=9201

[startup+170.011 s]
Raw data (loadavg): 1.06 0.91 0.89 2/66 9201
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18309 4 1 0 15965 55 0 0 25 0 11 0 1794347476 862449664 23695 4294967295 134512640 134569956 3221224336 3221214488 1131432276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23695 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (Kb) 842236

[startup+180.012 s]
Raw data (loadavg): 1.05 0.92 0.89 2/66 9201
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18319 4 1 0 16933 55 0 0 24 0 11 0 1794347476 862449664 23764 4294967295 134512640 134569956 3221224336 3221214576 1131447080 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 23764 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 169.88
Current children cumulated vsize (Kb) 842236

[startup+190.013 s]
Raw data (loadavg): 1.05 0.92 0.89 2/66 9201
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18328 4 1 0 17906 56 0 0 25 0 11 0 1794347476 862449664 23796 4294967295 134512640 134569956 3221224336 3221214488 1131431714 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 23796 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 179.62
Current children cumulated vsize (Kb) 842236
One traced child (pid=9201) exited with status: 0
New thread pid=9202

[startup+200.013 s]
Raw data (loadavg): 1.04 0.92 0.89 2/66 9202
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18337 4 1 0 18881 56 0 0 23 0 11 0 1794347476 862449664 23865 4294967295 134512640 134569956 3221224336 3221214620 1131676068 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23865 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 189.37
Current children cumulated vsize (Kb) 842236

[startup+210.014 s]
Raw data (loadavg): 1.03 0.92 0.89 2/66 9202
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18345 4 1 0 19859 56 0 0 24 0 11 0 1794347476 862449664 23933 4294967295 134512640 134569956 3221224336 3221214488 1131431756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23933 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 199.15
Current children cumulated vsize (Kb) 842236

[startup+220.014 s]
Raw data (loadavg): 1.03 0.92 0.89 2/66 9202
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18355 4 1 0 20834 57 0 0 25 0 11 0 1794347476 862449664 23989 4294967295 134512640 134569956 3221224336 3221214488 1131431961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 23989 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 208.91
Current children cumulated vsize (Kb) 842236

[startup+230.015 s]
Raw data (loadavg): 1.02 0.93 0.89 2/66 9202
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18365 4 1 0 21810 58 0 0 25 0 11 0 1794347476 862449664 24017 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24017 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 218.68
Current children cumulated vsize (Kb) 842236
One traced child (pid=9202) exited with status: 0
New thread pid=9203

[startup+240.015 s]
Raw data (loadavg): 1.02 0.93 0.89 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18374 4 1 0 22791 58 0 0 25 0 11 0 1794347476 862449664 24110 4294967295 134512640 134569956 3221224336 3221214488 1131431758 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24110 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 228.49
Current children cumulated vsize (Kb) 842236

[startup+250.016 s]
Raw data (loadavg): 1.02 0.93 0.89 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18383 4 1 0 23771 59 0 0 25 0 11 0 1794347476 862449664 24124 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24124 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 238.3
Current children cumulated vsize (Kb) 842236

[startup+260.017 s]
Raw data (loadavg): 1.01 0.93 0.89 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18393 4 1 0 24751 59 0 0 25 0 11 0 1794347476 862449664 24151 4294967295 134512640 134569956 3221224336 3221214576 1131444879 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24151 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 248.1
Current children cumulated vsize (Kb) 842236

[startup+270.018 s]
Raw data (loadavg): 1.01 0.93 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18403 4 1 0 25729 59 0 0 25 0 11 0 1794347476 862449664 24211 4294967295 134512640 134569956 3221224336 3221214400 1131367952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24211 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 257.88
Current children cumulated vsize (Kb) 842236

[startup+280.019 s]
Raw data (loadavg): 1.01 0.93 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18411 4 1 0 26717 60 0 0 25 0 11 0 1794347476 862449664 24258 4294967295 134512640 134569956 3221224336 3221214576 1131446278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24258 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 267.77
Current children cumulated vsize (Kb) 842236

[startup+290.019 s]
Raw data (loadavg): 1.01 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18421 4 1 0 27700 60 0 0 25 0 11 0 1794347476 862449664 24270 4294967295 134512640 134569956 3221224336 3221214488 1131432196 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24270 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 277.6
Current children cumulated vsize (Kb) 842236

[startup+300.02 s]
Raw data (loadavg): 1.00 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18431 4 1 0 28684 61 0 0 16 0 11 0 1794347476 862449664 24285 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24285 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 287.45
Current children cumulated vsize (Kb) 842236

[startup+310.02 s]
Raw data (loadavg): 1.00 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18440 4 1 0 29671 61 0 0 25 0 11 0 1794347476 862449664 24300 4294967295 134512640 134569956 3221224336 3221214576 1131448548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24300 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 297.32
Current children cumulated vsize (Kb) 842236

[startup+320.03 s]
Raw data (loadavg): 1.00 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18449 4 1 0 30656 61 0 0 25 0 11 0 1794347476 862449664 24346 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24346 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 307.17
Current children cumulated vsize (Kb) 842236

[startup+330.031 s]
Raw data (loadavg): 1.00 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18458 4 1 0 31639 62 0 0 24 0 11 0 1794347476 862449664 24352 4294967295 134512640 134569956 3221224336 3221214488 1131432027 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24352 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 317.01
Current children cumulated vsize (Kb) 842236

[startup+340.031 s]
Raw data (loadavg): 1.00 0.94 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18469 4 1 0 32618 62 0 0 25 0 11 0 1794347476 862449664 24367 4294967295 134512640 134569956 3221224336 3221214576 1131447194 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24367 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 326.8
Current children cumulated vsize (Kb) 842236

[startup+350.032 s]
Raw data (loadavg): 1.00 0.95 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) S 9186 9187 22582 0 -1 0 18480 4 1 0 33595 63 0 0 25 0 11 0 1794347476 862449664 24408 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24408 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 336.58
Current children cumulated vsize (Kb) 842236

[startup+360.033 s]
Raw data (loadavg): 1.00 0.95 0.90 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18490 4 1 0 34580 63 0 0 25 0 11 0 1794347476 862449664 24452 4294967295 134512640 134569956 3221224336 3221214320 1085759257 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24452 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 346.43
Current children cumulated vsize (Kb) 842236

[startup+370.034 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18498 4 1 0 35570 64 0 0 25 0 11 0 1794347476 862449664 24490 4294967295 134512640 134569956 3221224336 3221214192 1131683732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24490 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 356.34
Current children cumulated vsize (Kb) 842236

[startup+380.034 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18507 4 1 0 36553 64 0 0 25 0 11 0 1794347476 862449664 24499 4294967295 134512640 134569956 3221224336 3221214576 1131445141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24499 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 366.17
Current children cumulated vsize (Kb) 842236

[startup+390.036 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18516 4 1 0 37534 64 0 0 25 0 11 0 1794347476 862449664 24502 4294967295 134512640 134569956 3221224336 3221214488 1131431485 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24502 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 375.98
Current children cumulated vsize (Kb) 842236

[startup+400.036 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18525 4 1 0 38512 65 0 0 18 0 11 0 1794347476 862449664 24506 4294967295 134512640 134569956 3221224336 3221214488 1131431476 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24506 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 385.77
Current children cumulated vsize (Kb) 842236

[startup+410.037 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18534 4 1 0 39490 65 0 0 25 0 11 0 1794347476 862449664 24582 4294967295 134512640 134569956 3221224336 3221214488 1131431460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24582 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 395.55
Current children cumulated vsize (Kb) 842236

[startup+420.038 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18542 4 1 0 40474 66 0 0 21 0 11 0 1794347476 862449664 24615 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24615 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 405.4
Current children cumulated vsize (Kb) 842236

[startup+430.038 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18552 4 1 0 41453 66 0 0 25 0 11 0 1794347476 862449664 24651 4294967295 134512640 134569956 3221224336 3221214488 1131431393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24651 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 415.19
Current children cumulated vsize (Kb) 842236

[startup+440.039 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9203
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18562 4 1 0 42435 67 0 0 25 0 11 0 1794347476 862449664 24694 4294967295 134512640 134569956 3221224336 3221214576 1131445141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24694 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 425.02
Current children cumulated vsize (Kb) 842236
One traced child (pid=9203) exited with status: 0
New thread pid=9204

[startup+450.039 s]
Raw data (loadavg): 1.00 0.95 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18571 4 1 0 43417 67 0 0 25 0 11 0 1794347476 862449664 24717 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24717 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 434.84
Current children cumulated vsize (Kb) 842236

[startup+460.04 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18580 4 1 0 44400 68 0 0 18 0 11 0 1794347476 862449664 24753 4294967295 134512640 134569956 3221224336 3221214488 1131431397 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24753 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 444.68
Current children cumulated vsize (Kb) 842236

[startup+470.04 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18591 4 1 0 45378 68 0 0 24 0 11 0 1794347476 862449664 24767 4294967295 134512640 134569956 3221224336 3221214484 1131367904 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24767 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 454.46
Current children cumulated vsize (Kb) 842236

[startup+480.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18602 4 1 0 46357 69 0 0 17 0 11 0 1794347476 862449664 24824 4294967295 134512640 134569956 3221224336 3221214488 1131431415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24824 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 464.26
Current children cumulated vsize (Kb) 842236

[startup+490.041 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18611 4 1 0 47344 69 0 0 25 0 11 0 1794347476 862449664 24847 4294967295 134512640 134569956 3221224336 3221214488 1131431730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24847 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 474.13
Current children cumulated vsize (Kb) 842236

[startup+500.042 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18621 4 1 0 48329 70 0 0 25 0 11 0 1794347476 862449664 24862 4294967295 134512640 134569956 3221224336 3221214576 1131446232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24862 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 483.99
Current children cumulated vsize (Kb) 842236

[startup+510.044 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18632 4 1 0 49310 71 0 0 17 0 11 0 1794347476 862449664 24869 4294967295 134512640 134569956 3221224336 3221214488 1131431472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24869 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 493.81
Current children cumulated vsize (Kb) 842236

[startup+520.044 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18642 4 1 0 50294 71 0 0 25 0 11 0 1794347476 862449664 24901 4294967295 134512640 134569956 3221224336 3221214488 1131431758 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24901 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 503.65
Current children cumulated vsize (Kb) 842236

[startup+530.045 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9204
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18653 4 1 0 51280 71 0 0 25 0 11 0 1794347476 862449664 24925 4294967295 134512640 134569956 3221224336 3221214488 1131431402 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 24925 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 513.51
Current children cumulated vsize (Kb) 842236
One traced child (pid=9204) exited with status: 0
New thread pid=9205

[startup+540.046 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18661 4 1 0 52267 72 0 0 19 0 11 0 1794347476 862449664 24931 4294967295 134512640 134569956 3221224336 3221214480 1131472099 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24931 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 523.39
Current children cumulated vsize (Kb) 842236

[startup+550.047 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18669 4 1 0 53251 72 0 0 25 0 11 0 1794347476 862449664 24941 4294967295 134512640 134569956 3221224336 3221214488 1131431939 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24941 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 533.23
Current children cumulated vsize (Kb) 842236

[startup+560.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18680 4 1 0 54228 72 0 0 24 0 11 0 1794347476 862449664 24955 4294967295 134512640 134569956 3221224336 3221214488 1131431896 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 24955 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 543
Current children cumulated vsize (Kb) 842236

[startup+570.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18690 4 1 0 55207 72 0 0 25 0 11 0 1794347476 862449664 25007 4294967295 134512640 134569956 3221224336 3221214576 1131446232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25007 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 552.79
Current children cumulated vsize (Kb) 842236

[startup+580.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18701 4 1 0 56192 73 0 0 19 0 11 0 1794347476 862449664 25060 4294967295 134512640 134569956 3221224336 3221214488 1131431688 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25060 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 562.65
Current children cumulated vsize (Kb) 842236

[startup+590.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18711 4 1 0 57182 74 0 0 25 0 11 0 1794347476 862449664 25066 4294967295 134512640 134569956 3221224336 3221214576 1131448618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25066 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 572.56
Current children cumulated vsize (Kb) 842236

[startup+600.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18722 4 1 0 58171 74 0 0 18 0 11 0 1794347476 862449664 25073 4294967295 134512640 134569956 3221224336 3221214488 1131431551 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25073 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 582.45
Current children cumulated vsize (Kb) 842236

[startup+610.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18732 4 1 0 59161 75 0 0 25 0 11 0 1794347476 862449664 25081 4294967295 134512640 134569956 3221224336 3221214480 1131437749 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25081 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 592.36
Current children cumulated vsize (Kb) 842236

[startup+620.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18740 4 1 0 60149 75 0 0 25 0 11 0 1794347476 862449664 25086 4294967295 134512640 134569956 3221224336 3221214376 1131415323 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25086 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 602.24
Current children cumulated vsize (Kb) 842236

[startup+630.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18749 4 1 0 61137 76 0 0 25 0 11 0 1794347476 862449664 25094 4294967295 134512640 134569956 3221224336 3221214576 1131448642 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25094 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 612.13
Current children cumulated vsize (Kb) 842236

[startup+640.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18759 4 1 0 62124 76 0 0 25 0 11 0 1794347476 862449664 25105 4294967295 134512640 134569956 3221224336 3221214576 1131445909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25105 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 622
Current children cumulated vsize (Kb) 842236

[startup+650.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18769 4 1 0 63110 77 0 0 17 0 11 0 1794347476 862449664 25121 4294967295 134512640 134569956 3221224336 3221214376 1131506213 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25121 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 631.87
Current children cumulated vsize (Kb) 842236

[startup+660.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18776 4 1 0 64102 77 0 0 25 0 11 0 1794347476 862449664 25150 4294967295 134512640 134569956 3221224336 3221214488 1131431393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25150 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 641.79
Current children cumulated vsize (Kb) 842236

[startup+670.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18786 4 1 0 65093 78 0 0 25 0 11 0 1794347476 862449664 25152 4294967295 134512640 134569956 3221224336 3221214488 1131431402 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25152 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 651.71
Current children cumulated vsize (Kb) 842236

[startup+680.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18796 4 1 0 66082 78 0 0 21 0 11 0 1794347476 862449664 25153 4294967295 134512640 134569956 3221224336 3221214456 1131435686 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25153 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 661.6
Current children cumulated vsize (Kb) 842236

[startup+690.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18805 4 1 0 67072 78 0 0 25 0 11 0 1794347476 862449664 25154 4294967295 134512640 134569956 3221224336 3221214376 1131415489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25154 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 671.5
Current children cumulated vsize (Kb) 842236

[startup+700.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18812 4 1 0 68064 79 0 0 21 0 11 0 1794347476 862449664 25168 4294967295 134512640 134569956 3221224336 3221214236 1131676105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25168 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 681.43
Current children cumulated vsize (Kb) 842236

[startup+710.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18820 4 1 0 69050 79 0 0 25 0 11 0 1794347476 862449664 25171 4294967295 134512640 134569956 3221224336 3221214488 1131431712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25171 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 691.29
Current children cumulated vsize (Kb) 842236

[startup+720.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18829 4 1 0 70033 80 0 0 25 0 11 0 1794347476 862449664 25180 4294967295 134512640 134569956 3221224336 3221214488 1131432042 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25180 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 701.13
Current children cumulated vsize (Kb) 842236

[startup+730.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18837 4 1 0 71017 80 0 0 25 0 11 0 1794347476 862449664 25180 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25180 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 710.97
Current children cumulated vsize (Kb) 842236

[startup+740.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18845 4 1 0 71999 80 0 0 25 0 11 0 1794347476 862449664 25209 4294967295 134512640 134569956 3221224336 3221214576 1131448675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25209 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 720.79
Current children cumulated vsize (Kb) 842236

[startup+750.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18854 4 1 0 72981 80 0 0 25 0 11 0 1794347476 862449664 25250 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25250 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 730.61
Current children cumulated vsize (Kb) 842236

[startup+760.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18862 4 1 0 73964 81 0 0 22 0 11 0 1794347476 862449664 25279 4294967295 134512640 134569956 3221224336 3221214728 1131699883 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25279 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 740.45
Current children cumulated vsize (Kb) 842236

[startup+770.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18871 4 1 0 74943 81 0 0 25 0 11 0 1794347476 862449664 25293 4294967295 134512640 134569956 3221224336 3221214576 1131448732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25293 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 750.24
Current children cumulated vsize (Kb) 842236

[startup+780.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18882 4 1 0 75920 81 0 0 23 0 11 0 1794347476 862449664 25333 4294967295 134512640 134569956 3221224336 3221214576 1131444879 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25333 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 760.01
Current children cumulated vsize (Kb) 842236

[startup+790.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18890 4 1 0 76904 82 0 0 25 0 11 0 1794347476 862449664 25378 4294967295 134512640 134569956 3221224336 3221214488 1131431697 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25378 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 769.86
Current children cumulated vsize (Kb) 842236

[startup+800.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18900 4 1 0 77886 82 0 0 22 0 11 0 1794347476 862449664 25420 4294967295 134512640 134569956 3221224336 3221214576 1131445141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25420 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 779.68
Current children cumulated vsize (Kb) 842236

[startup+810.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18911 4 1 0 78868 83 0 0 17 0 11 0 1794347476 862449664 25427 4294967295 134512640 134569956 3221224336 3221214488 1131432352 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25427 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 789.51
Current children cumulated vsize (Kb) 842236

[startup+820.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18920 4 1 0 79851 84 0 0 25 0 11 0 1794347476 862449664 25466 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25466 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 799.35
Current children cumulated vsize (Kb) 842236

[startup+830.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18929 4 1 0 80838 84 0 0 25 0 11 0 1794347476 862449664 25477 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25477 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 809.22
Current children cumulated vsize (Kb) 842236

[startup+840.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18940 4 1 0 81821 84 0 0 25 0 11 0 1794347476 862449664 25482 4294967295 134512640 134569956 3221224336 3221214576 1131446098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25482 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 819.05
Current children cumulated vsize (Kb) 842236

[startup+850.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18948 4 1 0 82808 85 0 0 25 0 11 0 1794347476 862449664 25513 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25513 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 828.93
Current children cumulated vsize (Kb) 842236

[startup+860.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) S 9186 9187 22582 0 -1 0 18956 4 1 0 83794 85 0 0 25 0 11 0 1794347476 862449664 25521 4294967295 134512640 134569956 3221224336 3221213192 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25521 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 838.79
Current children cumulated vsize (Kb) 842236

[startup+870.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18964 4 1 0 84781 85 0 0 21 0 11 0 1794347476 862449664 25531 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25531 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 848.66
Current children cumulated vsize (Kb) 842236

[startup+880.069 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18973 4 1 0 85763 85 0 0 25 0 11 0 1794347476 862449664 25541 4294967295 134512640 134569956 3221224336 3221214488 1131431852 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25541 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 858.48
Current children cumulated vsize (Kb) 842236

[startup+890.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18982 4 1 0 86745 86 0 0 21 0 11 0 1794347476 862449664 25561 4294967295 134512640 134569956 3221224336 3221214488 1131431483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25561 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 868.31
Current children cumulated vsize (Kb) 842236

[startup+900.071 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 18993 4 1 0 87726 86 0 0 24 0 11 0 1794347476 862449664 25591 4294967295 134512640 134569956 3221224336 3221214488 1131431888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25591 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 878.12
Current children cumulated vsize (Kb) 842236

[startup+910.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19003 4 1 0 88712 87 0 0 25 0 11 0 1794347476 862449664 25634 4294967295 134512640 134569956 3221224336 3221214488 1131431801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25634 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 887.99
Current children cumulated vsize (Kb) 842236

[startup+920.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19012 4 1 0 89701 87 0 0 25 0 11 0 1794347476 862449664 25653 4294967295 134512640 134569956 3221224336 3221214488 1131431541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25653 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 897.88
Current children cumulated vsize (Kb) 842236

[startup+930.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19021 4 1 0 90685 88 0 0 25 0 11 0 1794347476 862449664 25654 4294967295 134512640 134569956 3221224336 3221214488 1131431758 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25654 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 907.73
Current children cumulated vsize (Kb) 842236

[startup+940.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19030 4 1 0 91666 89 0 0 21 0 11 0 1794347476 862449664 25654 4294967295 134512640 134569956 3221224336 3221214488 1131431953 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25654 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 842236

[startup+950.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19039 4 1 0 92643 89 0 0 19 0 11 0 1794347476 862449664 25661 4294967295 134512640 134569956 3221224336 3221214488 1131431929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25661 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 927.32
Current children cumulated vsize (Kb) 842236

[startup+960.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19048 4 1 0 93620 90 0 0 24 0 11 0 1794347476 862449664 25727 4294967295 134512640 134569956 3221224336 3221214488 1131432352 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25727 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 937.1
Current children cumulated vsize (Kb) 842236

[startup+970.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19058 4 1 0 94596 90 0 0 25 0 11 0 1794347476 862449664 25764 4294967295 134512640 134569956 3221224336 3221214488 1131431397 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25764 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 946.86
Current children cumulated vsize (Kb) 842236

[startup+980.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19068 4 1 0 95575 90 0 0 24 0 11 0 1794347476 862449664 25802 4294967295 134512640 134569956 3221224336 3221214576 1131445141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25802 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 956.65
Current children cumulated vsize (Kb) 842236

[startup+990.077 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19075 4 1 0 96561 91 0 0 25 0 11 0 1794347476 862449664 25834 4294967295 134512640 134569956 3221224336 3221214488 1131431389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25834 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 966.52
Current children cumulated vsize (Kb) 842236

[startup+1000.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19085 4 1 0 97543 91 0 0 25 0 11 0 1794347476 862449664 25897 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25897 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 976.34
Current children cumulated vsize (Kb) 842236

[startup+1010.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19093 4 1 0 98532 92 0 0 25 0 11 0 1794347476 862449664 25901 4294967295 134512640 134569956 3221224336 3221214376 1131505783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25901 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 986.24
Current children cumulated vsize (Kb) 842236

[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19102 4 1 0 99518 92 0 0 19 0 11 0 1794347476 862449664 25902 4294967295 134512640 134569956 3221224336 3221214488 1131432086 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25902 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 996.1
Current children cumulated vsize (Kb) 842236

[startup+1030.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19111 4 1 0 100504 93 0 0 25 0 11 0 1794347476 862449664 25919 4294967295 134512640 134569956 3221224336 3221214488 1131431756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25919 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1005.97
Current children cumulated vsize (Kb) 842236

[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19119 4 1 0 101493 93 0 0 25 0 11 0 1794347476 862449664 25926 4294967295 134512640 134569956 3221224336 3221214488 1131432094 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25926 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1015.86
Current children cumulated vsize (Kb) 842236

[startup+1050.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19127 4 1 0 102481 93 0 0 25 0 11 0 1794347476 862449664 25950 4294967295 134512640 134569956 3221224336 3221214340 1131678796 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25950 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1025.74
Current children cumulated vsize (Kb) 842236

[startup+1060.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19137 4 1 0 103467 94 0 0 18 0 11 0 1794347476 862449664 25953 4294967295 134512640 134569956 3221224336 3221214488 1131431468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25953 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1035.61
Current children cumulated vsize (Kb) 842236

[startup+1070.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19147 4 1 0 104452 94 0 0 25 0 11 0 1794347476 862449664 25954 4294967295 134512640 134569956 3221224336 3221214488 1131432090 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25954 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1045.46
Current children cumulated vsize (Kb) 842236

[startup+1080.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19158 4 1 0 105437 94 0 0 23 0 11 0 1794347476 862449664 25986 4294967295 134512640 134569956 3221224336 3221214480 1131437715 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25986 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1055.31
Current children cumulated vsize (Kb) 842236

[startup+1090.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19165 4 1 0 106426 94 0 0 25 0 11 0 1794347476 862449664 25990 4294967295 134512640 134569956 3221224336 3221214576 1131448588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 25990 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1065.2
Current children cumulated vsize (Kb) 842236

[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19174 4 1 0 107410 95 0 0 25 0 11 0 1794347476 862449664 25998 4294967295 134512640 134569956 3221224336 3221214400 1131367917 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 25998 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1075.05
Current children cumulated vsize (Kb) 842236

[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19185 4 1 0 108389 95 0 0 25 0 11 0 1794347476 862449664 26001 4294967295 134512640 134569956 3221224336 3221214488 1131431389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26001 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1084.84
Current children cumulated vsize (Kb) 842236

[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19194 4 1 0 109374 96 0 0 25 0 11 0 1794347476 862449664 26044 4294967295 134512640 134569956 3221224336 3221214576 1131445082 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26044 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1094.7
Current children cumulated vsize (Kb) 842236

[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19203 4 1 0 110364 96 0 0 25 0 11 0 1794347476 862449664 26054 4294967295 134512640 134569956 3221224336 3221214576 1131446232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26054 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1104.6
Current children cumulated vsize (Kb) 842236

[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19211 4 1 0 111351 97 0 0 20 0 11 0 1794347476 862449664 26059 4294967295 134512640 134569956 3221224336 3221214576 1131445141 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26059 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1114.48
Current children cumulated vsize (Kb) 842236

[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19219 4 1 0 112336 97 0 0 25 0 11 0 1794347476 862449664 26064 4294967295 134512640 134569956 3221224336 3221214488 1131431393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26064 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1124.33
Current children cumulated vsize (Kb) 842236

[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19227 4 1 0 113321 97 0 0 23 0 11 0 1794347476 862449664 26064 4294967295 134512640 134569956 3221224336 3221214488 1131431415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26064 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1134.18
Current children cumulated vsize (Kb) 842236

[startup+1170.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19235 4 1 0 114302 98 0 0 25 0 11 0 1794347476 862449664 26091 4294967295 134512640 134569956 3221224336 3221214488 1131431782 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26091 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1144
Current children cumulated vsize (Kb) 842236

[startup+1180.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19244 4 1 0 115282 98 0 0 25 0 11 0 1794347476 862449664 26103 4294967295 134512640 134569956 3221224336 3221214488 1131431472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26103 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1153.8
Current children cumulated vsize (Kb) 842236

[startup+1190.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19255 4 1 0 116262 98 0 0 25 0 11 0 1794347476 862449664 26138 4294967295 134512640 134569956 3221224336 3221214488 1131431793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26138 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1163.6
Current children cumulated vsize (Kb) 842236

[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19265 4 1 0 117250 99 0 0 25 0 11 0 1794347476 862449664 26184 4294967295 134512640 134569956 3221224336 3221214488 1131432027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26184 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1173.49
Current children cumulated vsize (Kb) 842236

[startup+1210.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19275 4 1 0 118241 100 0 0 18 0 11 0 1794347476 862449664 26186 4294967295 134512640 134569956 3221224336 3221214488 1131431491 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26186 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1183.41
Current children cumulated vsize (Kb) 842236

[startup+1220.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19284 4 1 0 119231 100 0 0 25 0 11 0 1794347476 862449664 26188 4294967295 134512640 134569956 3221224336 3221214488 1131431923 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9187/statm): 210559 26188 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1193.31
Current children cumulated vsize (Kb) 842236

[startup+1230.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19295 4 1 0 120213 101 0 0 20 0 11 0 1794347476 862449664 26192 4294967295 134512640 134569956 3221224336 3221214508 1131678796 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26192 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1203.14
Current children cumulated vsize (Kb) 842236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 9205
Raw data (/proc/9187/stat): 9187 (java) R 9186 9187 22582 0 -1 0 19295 4 1 0 120213 101 0 0 20 0 11 0 1794347476 862449664 26192 4294967295 134512640 134569956 3221224336 3221214240 1131675882 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9187/statm): 210559 26192 13129 16 0 210543 0
[pid=9187] vsize: 842236
Current children cumulated CPU time (s) 1203.14
Current children cumulated vsize (Kb) 842236

Sending SIGTERM to -9187
Sleeping 2 seconds
New thread pid=9207
New thread pid=9208
One traced child (pid=9208) exited with status: 0
One traced child (pid=9196) exited with status: 0
One traced child (pid=9191) exited with status: 0
One traced child (pid=9188) exited with status: 143
One traced child (pid=9189) exited with status: 143
One traced child (pid=9192) exited with status: 143
One traced child (pid=9195) exited with status: 143
One traced child (pid=9190) exited with status: 143
One traced child (pid=9194) exited with status: 143
One traced child (pid=9205) exited with status: 143
One traced child (pid=9207) exited with status: 143
One traced child (pid=9193) exited with status: 143
One traced child (pid=9187) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.42
CPU time (s): 1224.48
CPU user time (s): 1222.72
CPU system time (s): 1.75873
CPU usage (%): 99.5174
Max. virtual memory (cumulated for all children) (Kb): 842368

Verifier Data

Verifier:	OK	1958102199971817