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/miplib/normalized-mps-v2-20-10-bell5.opb
MD5SUMe2343a1c48cef657bed9677a2fcc9921
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 benchmark1238.15
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 4144

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        835312 kB
Buffers:         39956 kB
Cached:         118688 kB
SwapCached:        544 kB
Active:          71444 kB
Inactive:        99420 kB
HighTotal:      131008 kB
HighFree:        48580 kB
LowTotal:       903652 kB
LowFree:        786732 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22728 kB
Committed_AS:    64144 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 05:20:55 (client local time) WITH STATUS 143 IN 1238.15 SECONDS
stats: 6363 0 1238.15 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/wulflinc12/normalized-mps-v2-20-10-bell5.opb
c reading problem ... done. Time 2.429 ms.
c #vars     1704
c #constraints  118
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    9351975184552188 		Current CPU time: 33.03 ms
c CURRENT OPTIMUM=    6425917393596212 		Current CPU time: 51.73 ms
c CURRENT OPTIMUM=    3275629893267941 		Current CPU time: 133.60 ms
c CURRENT OPTIMUM=    2826173951197184 		Current CPU time: 164.29 ms
c CURRENT OPTIMUM=    2157874349977577 		Current CPU time: 196.70 ms
c CURRENT OPTIMUM=    2088276173147717 		Current CPU time: 233.45 ms
c CURRENT OPTIMUM=    2082717519501904 		Current CPU time: 444.63 ms
c CURRENT OPTIMUM=    1958102199971817 		Current CPU time: 530.76 ms
c starts		: 13
c conflicts		: 848
c decisions		: 54847
c propagations		: 85930
c inspects		: 525379
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	: 53189
c speed (decisions/second)	: 78.5754501681191
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) : 1228.995

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/506/stat): 506 (java) R 505 506 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1788969242 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 39 3 38 16 0 23 0
[pid=506] 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/506
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=507
New thread pid=508
New thread pid=509
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=510
New thread pid=511
New thread pid=512
New thread pid=513
New thread pid=514
New thread pid=515
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/wulflinc12/normalized-mps-v2-20-10-bell5.opb
New thread pid=516

[startup+10.0017 s]
Raw data (loadavg): 1.33 0.86 0.87 2/66 516
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18121 0 2 0 611 51 0 0 25 0 11 0 1788969242 861278208 20433 4294967295 134512640 134569956 3221224336 3221214648 1131491184 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 210273 20433 13129 16 0 210257 0
[pid=506] vsize: 841092
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (Kb) 841092

[startup+20.0026 s]
Raw data (loadavg): 1.43 0.89 0.89 3/66 516
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18134 0 2 0 1560 52 0 0 23 0 11 0 1788969242 860004352 20828 4294967295 134512640 134569956 3221224336 3221214592 1131368447 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209962 20828 13129 16 0 209946 0
[pid=506] vsize: 839848
Current children cumulated CPU time (s) 16.12
Current children cumulated vsize (Kb) 839848

[startup+30.0034 s]
Raw data (loadavg): 1.52 0.93 0.90 2/66 516
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18141 0 2 0 2517 53 0 0 23 0 11 0 1788969242 859807744 21210 4294967295 134512640 134569956 3221224336 3221214552 1131384813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 21210 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 25.7
Current children cumulated vsize (Kb) 839656
One traced child (pid=516) exited with status: 0
New thread pid=517

[startup+40.0043 s]
Raw data (loadavg): 1.44 0.93 0.90 2/66 517
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18193 3 2 0 3459 53 0 0 23 0 11 0 1788969242 859807744 21529 4294967295 134512640 134569956 3221224336 3221214560 1131436487 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 21529 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 35.12
Current children cumulated vsize (Kb) 839656

[startup+50.0051 s]
Raw data (loadavg): 1.37 0.93 0.90 2/66 517
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18202 3 2 0 4389 53 0 0 23 0 11 0 1788969242 859807744 21952 4294967295 134512640 134569956 3221224336 3221214448 1131676994 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 21952 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 44.42
Current children cumulated vsize (Kb) 839656
One traced child (pid=517) exited with status: 0
New thread pid=518

[startup+60.0059 s]
Raw data (loadavg): 1.31 0.93 0.90 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18211 3 2 0 5331 53 0 0 19 0 11 0 1788969242 859807744 21998 4294967295 134512640 134569956 3221224336 3221214576 1131487841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 21998 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 53.84
Current children cumulated vsize (Kb) 839656

[startup+70.0067 s]
Raw data (loadavg): 1.26 0.94 0.90 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18220 3 2 0 6277 54 0 0 25 0 11 0 1788969242 859807744 22316 4294967295 134512640 134569956 3221224336 3221214488 1131436916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 22316 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 63.31
Current children cumulated vsize (Kb) 839656

[startup+80.0076 s]
Raw data (loadavg): 1.22 0.94 0.90 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18229 3 2 0 7230 55 0 0 19 0 11 0 1788969242 859807744 22522 4294967295 134512640 134569956 3221224336 3221214488 1131436487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 22522 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 72.85
Current children cumulated vsize (Kb) 839656

[startup+90.0085 s]
Raw data (loadavg): 1.19 0.94 0.90 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18236 3 2 0 8198 55 0 0 25 0 11 0 1788969242 859807744 22576 4294967295 134512640 134569956 3221224336 3221214308 1131677042 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 22576 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 82.53
Current children cumulated vsize (Kb) 839656

[startup+100.008 s]
Raw data (loadavg): 1.16 0.94 0.90 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18243 3 2 0 9171 55 0 0 18 0 11 0 1788969242 859807744 22714 4294967295 134512640 134569956 3221224336 3221214620 1131055868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 22714 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 92.26
Current children cumulated vsize (Kb) 839656

[startup+110.008 s]
Raw data (loadavg): 1.13 0.94 0.91 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18253 3 2 0 10139 56 0 0 24 0 11 0 1788969242 859807744 22836 4294967295 134512640 134569956 3221224336 3221214488 1131437025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 22836 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (Kb) 839656

[startup+120.009 s]
Raw data (loadavg): 1.11 0.94 0.91 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18261 3 2 0 11120 56 0 0 24 0 11 0 1788969242 859807744 22916 4294967295 134512640 134569956 3221224336 3221214576 1131492458 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 22916 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 111.76
Current children cumulated vsize (Kb) 839656

[startup+130.01 s]
Raw data (loadavg): 1.10 0.95 0.91 2/66 518
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18269 3 2 0 12104 56 0 0 23 0 11 0 1788969242 859807744 22956 4294967295 134512640 134569956 3221224336 3221214744 1131694772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 22956 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 121.6
Current children cumulated vsize (Kb) 839656
One traced child (pid=518) exited with status: 0
New thread pid=519

[startup+140.012 s]
Raw data (loadavg): 1.08 0.95 0.91 2/66 519
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18277 3 2 0 13087 57 0 0 25 0 11 0 1788969242 859807744 23005 4294967295 134512640 134569956 3221224336 3221214488 1131436429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23005 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 131.44
Current children cumulated vsize (Kb) 839656

[startup+150.013 s]
Raw data (loadavg): 1.07 0.95 0.91 2/66 519
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18285 3 2 0 14069 57 0 0 25 0 11 0 1788969242 859807744 23031 4294967295 134512640 134569956 3221224336 3221214520 1131679622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23031 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 141.26
Current children cumulated vsize (Kb) 839656

[startup+160.013 s]
Raw data (loadavg): 1.06 0.95 0.91 2/66 519
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18292 3 2 0 15052 58 0 0 25 0 11 0 1788969242 859807744 23050 4294967295 134512640 134569956 3221224336 3221214296 1131676975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23050 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 151.1
Current children cumulated vsize (Kb) 839656
One traced child (pid=519) exited with status: 0
New thread pid=520

[startup+170.014 s]
Raw data (loadavg): 1.05 0.95 0.91 2/66 520
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18299 3 2 0 16031 59 0 0 25 0 11 0 1788969242 859807744 23099 4294967295 134512640 134569956 3221224336 3221214488 1131436586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23099 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (Kb) 839656

[startup+180.015 s]
Raw data (loadavg): 1.04 0.95 0.91 2/66 520
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18309 3 2 0 16998 60 0 0 25 0 11 0 1788969242 859807744 23171 4294967295 134512640 134569956 3221224336 3221214576 1131488922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23171 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 170.58
Current children cumulated vsize (Kb) 839656

[startup+190.016 s]
Raw data (loadavg): 1.03 0.95 0.91 2/66 520
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18318 3 2 0 17972 60 0 0 25 0 11 0 1788969242 859807744 23204 4294967295 134512640 134569956 3221224336 3221214576 1131487796 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23204 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 180.32
Current children cumulated vsize (Kb) 839656
One traced child (pid=520) exited with status: 0
New thread pid=521

[startup+200.017 s]
Raw data (loadavg): 1.03 0.95 0.91 3/66 521
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18327 3 2 0 18946 61 0 0 25 0 11 0 1788969242 859807744 23272 4294967295 134512640 134569956 3221224336 3221214488 1131436724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23272 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 190.07
Current children cumulated vsize (Kb) 839656

[startup+210.018 s]
Raw data (loadavg): 1.02 0.95 0.91 2/66 521
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18336 3 2 0 19921 61 0 0 25 0 11 0 1788969242 859807744 23336 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23336 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 199.82
Current children cumulated vsize (Kb) 839656

[startup+220.018 s]
Raw data (loadavg): 1.02 0.95 0.91 2/66 521
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18346 3 2 0 20896 62 0 0 25 0 11 0 1788969242 859807744 23395 4294967295 134512640 134569956 3221224336 3221214288 1131677000 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23395 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 209.58
Current children cumulated vsize (Kb) 839656

[startup+230.018 s]
Raw data (loadavg): 1.02 0.95 0.91 2/66 521
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18356 3 2 0 21874 62 0 0 25 0 11 0 1788969242 859807744 23420 4294967295 134512640 134569956 3221224336 3221214576 1131488922 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23420 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 219.36
Current children cumulated vsize (Kb) 839656
One traced child (pid=521) exited with status: 0
New thread pid=522

[startup+240.019 s]
Raw data (loadavg): 1.01 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18364 3 2 0 22857 62 0 0 25 0 11 0 1788969242 859807744 23512 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23512 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 229.19
Current children cumulated vsize (Kb) 839656

[startup+250.02 s]
Raw data (loadavg): 1.01 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18374 3 2 0 23834 63 0 0 25 0 11 0 1788969242 859807744 23541 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23541 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 238.97
Current children cumulated vsize (Kb) 839656

[startup+260.021 s]
Raw data (loadavg): 1.01 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18384 3 2 0 24813 64 0 0 25 0 11 0 1788969242 859807744 23557 4294967295 134512640 134569956 3221224336 3221214488 1131436138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23557 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 248.77
Current children cumulated vsize (Kb) 839656

[startup+270.022 s]
Raw data (loadavg): 1.01 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18394 3 2 0 25793 65 0 0 25 0 11 0 1788969242 859807744 23614 4294967295 134512640 134569956 3221224336 3221214488 1131436771 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23614 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 258.58
Current children cumulated vsize (Kb) 839656

[startup+280.021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18402 3 2 0 26781 65 0 0 25 0 11 0 1788969242 859807744 23663 4294967295 134512640 134569956 3221224336 3221214488 1131436586 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23663 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 268.46
Current children cumulated vsize (Kb) 839656

[startup+290.022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18412 3 2 0 27765 65 0 0 17 0 11 0 1788969242 859807744 23677 4294967295 134512640 134569956 3221224336 3221214576 1131487775 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23677 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 278.3
Current children cumulated vsize (Kb) 839656

[startup+300.023 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18422 3 2 0 28749 66 0 0 24 0 11 0 1788969242 859807744 23693 4294967295 134512640 134569956 3221224336 3221214292 1131679456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23693 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 288.15
Current children cumulated vsize (Kb) 839656

[startup+310.024 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18431 3 2 0 29734 66 0 0 25 0 11 0 1788969242 859807744 23712 4294967295 134512640 134569956 3221224336 3221214392 1131677000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23712 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 298
Current children cumulated vsize (Kb) 839656

[startup+320.025 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18440 3 2 0 30720 67 0 0 25 0 11 0 1788969242 859807744 23749 4294967295 134512640 134569956 3221224336 3221214576 1131488766 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23749 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 307.87
Current children cumulated vsize (Kb) 839656

[startup+330.026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18449 3 2 0 31703 67 0 0 25 0 11 0 1788969242 859807744 23759 4294967295 134512640 134569956 3221224336 3221214576 1131488922 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23759 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 317.7
Current children cumulated vsize (Kb) 839656

[startup+340.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18459 3 2 0 32681 67 0 0 24 0 11 0 1788969242 859807744 23768 4294967295 134512640 134569956 3221224336 3221214488 1131436350 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23768 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 327.48
Current children cumulated vsize (Kb) 839656

[startup+350.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18469 3 2 0 33662 68 0 0 25 0 11 0 1788969242 859807744 23814 4294967295 134512640 134569956 3221224336 3221214728 1131373721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23814 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 337.3
Current children cumulated vsize (Kb) 839656

[startup+360.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18480 3 2 0 34644 68 0 0 25 0 11 0 1788969242 859807744 23855 4294967295 134512640 134569956 3221224336 3221214576 1131487841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 23855 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 347.12
Current children cumulated vsize (Kb) 839656

[startup+370.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18488 3 2 0 35634 69 0 0 23 0 11 0 1788969242 859807744 23894 4294967295 134512640 134569956 3221224336 3221214148 1085806240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23894 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 357.03
Current children cumulated vsize (Kb) 839656

[startup+380.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) S 505 506 8263 0 -1 0 18497 3 2 0 36615 69 0 0 16 0 11 0 1788969242 859807744 23900 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23900 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 366.84
Current children cumulated vsize (Kb) 839656

[startup+390.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18506 3 2 0 37597 69 0 0 23 0 11 0 1788969242 859807744 23903 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23903 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 376.66
Current children cumulated vsize (Kb) 839656

[startup+400.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18514 3 2 0 38576 69 0 0 25 0 11 0 1788969242 859807744 23907 4294967295 134512640 134569956 3221224336 3221214576 1131488908 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 23907 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 386.45
Current children cumulated vsize (Kb) 839656

[startup+410.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18524 3 2 0 39553 70 0 0 25 0 11 0 1788969242 859807744 24009 4294967295 134512640 134569956 3221224336 3221214352 1131418049 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24009 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 396.23
Current children cumulated vsize (Kb) 839656

[startup+420.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18532 3 2 0 40537 70 0 0 25 0 11 0 1788969242 859807744 24017 4294967295 134512640 134569956 3221224336 3221214576 1131489043 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24017 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 406.07
Current children cumulated vsize (Kb) 839656

[startup+430.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18542 3 2 0 41517 70 0 0 23 0 11 0 1788969242 859807744 24052 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24052 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 415.87
Current children cumulated vsize (Kb) 839656

[startup+440.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 522
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18552 3 2 0 42499 71 0 0 21 0 11 0 1788969242 859807744 24096 4294967295 134512640 134569956 3221224336 3221214576 1131491134 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24096 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 425.7
Current children cumulated vsize (Kb) 839656
One traced child (pid=522) exited with status: 0
New thread pid=523

[startup+450.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18561 3 2 0 43481 71 0 0 22 0 11 0 1788969242 859807744 24150 4294967295 134512640 134569956 3221224336 3221214312 1131216819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24150 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 435.52
Current children cumulated vsize (Kb) 839656

[startup+460.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18570 3 2 0 44464 71 0 0 25 0 11 0 1788969242 859807744 24157 4294967295 134512640 134569956 3221224336 3221214488 1131436916 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24157 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 445.35
Current children cumulated vsize (Kb) 839656

[startup+470.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18581 3 2 0 45441 72 0 0 25 0 11 0 1788969242 859807744 24172 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24172 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 455.13
Current children cumulated vsize (Kb) 839656

[startup+480.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18592 3 2 0 46421 72 0 0 25 0 11 0 1788969242 859807744 24233 4294967295 134512640 134569956 3221224336 3221214488 1131436487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24233 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 464.93
Current children cumulated vsize (Kb) 839656

[startup+490.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18602 3 2 0 47406 73 0 0 25 0 11 0 1788969242 859807744 24256 4294967295 134512640 134569956 3221224336 3221214576 1131487897 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24256 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 474.79
Current children cumulated vsize (Kb) 839656

[startup+500.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18611 3 2 0 48390 74 0 0 25 0 11 0 1788969242 859807744 24265 4294967295 134512640 134569956 3221224336 3221214576 1131489729 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24265 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 484.64
Current children cumulated vsize (Kb) 839656

[startup+510.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18622 3 2 0 49371 75 0 0 19 0 11 0 1788969242 859807744 24274 4294967295 134512640 134569956 3221224336 3221214488 1131436302 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24274 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 494.46
Current children cumulated vsize (Kb) 839656

[startup+520.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18633 3 2 0 50354 76 0 0 25 0 11 0 1788969242 859807744 24307 4294967295 134512640 134569956 3221224336 3221214488 1131436628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24307 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 504.3
Current children cumulated vsize (Kb) 839656

[startup+530.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 523
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18643 3 2 0 51342 76 0 0 21 0 11 0 1788969242 859807744 24327 4294967295 134512640 134569956 3221224336 3221214576 1131491278 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24327 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 514.18
Current children cumulated vsize (Kb) 839656
One traced child (pid=523) exited with status: 0
New thread pid=524

[startup+540.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18650 3 2 0 52329 77 0 0 25 0 11 0 1788969242 859807744 24337 4294967295 134512640 134569956 3221224336 3221214368 1131418088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24337 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 524.06
Current children cumulated vsize (Kb) 839656

[startup+550.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18660 3 2 0 53308 78 0 0 24 0 11 0 1788969242 859807744 24347 4294967295 134512640 134569956 3221224336 3221214488 1131436979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24347 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 533.86
Current children cumulated vsize (Kb) 839656

[startup+560.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18670 3 2 0 54287 79 0 0 22 0 11 0 1788969242 859807744 24357 4294967295 134512640 134569956 3221224336 3221214572 1131436108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24357 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 543.66
Current children cumulated vsize (Kb) 839656

[startup+570.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18681 3 2 0 55265 79 0 0 25 0 11 0 1788969242 859807744 24411 4294967295 134512640 134569956 3221224336 3221214488 1131437032 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24411 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 553.44
Current children cumulated vsize (Kb) 839656

[startup+580.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18691 3 2 0 56252 80 0 0 25 0 11 0 1788969242 859807744 24462 4294967295 134512640 134569956 3221224336 3221214576 1131492009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24462 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 563.32
Current children cumulated vsize (Kb) 839656

[startup+590.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18702 3 2 0 57242 80 0 0 18 0 11 0 1788969242 859807744 24468 4294967295 134512640 134569956 3221224336 3221214576 1131487841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24468 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 573.22
Current children cumulated vsize (Kb) 839656

[startup+600.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18712 3 2 0 58231 80 0 0 25 0 11 0 1788969242 859807744 24475 4294967295 134512640 134569956 3221224336 3221214488 1131436167 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24475 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 583.11
Current children cumulated vsize (Kb) 839656

[startup+610.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18722 3 2 0 59220 81 0 0 25 0 11 0 1788969242 859807744 24483 4294967295 134512640 134569956 3221224336 3221214352 1131418103 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24483 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 593.01
Current children cumulated vsize (Kb) 839656

[startup+620.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18729 3 2 0 60212 82 0 0 25 0 11 0 1788969242 859807744 24492 4294967295 134512640 134569956 3221224336 3221214488 1131436212 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24492 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 602.94
Current children cumulated vsize (Kb) 839656

[startup+630.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18740 3 2 0 61196 82 0 0 25 0 11 0 1788969242 859807744 24499 4294967295 134512640 134569956 3221224336 3221214600 1131417736 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24499 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 612.78
Current children cumulated vsize (Kb) 839656

[startup+640.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18750 3 2 0 62183 83 0 0 25 0 11 0 1788969242 859807744 24507 4294967295 134512640 134569956 3221224336 3221214576 1131487864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24507 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 622.66
Current children cumulated vsize (Kb) 839656

[startup+650.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18758 3 2 0 63174 83 0 0 25 0 11 0 1788969242 859807744 24532 4294967295 134512640 134569956 3221224336 3221214468 1131415363 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24532 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 632.57
Current children cumulated vsize (Kb) 839656

[startup+660.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18766 3 2 0 64165 83 0 0 25 0 11 0 1788969242 859807744 24552 4294967295 134512640 134569956 3221224336 3221214488 1131436146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24552 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 642.48
Current children cumulated vsize (Kb) 839656

[startup+670.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18777 3 2 0 65153 83 0 0 17 0 11 0 1788969242 859807744 24555 4294967295 134512640 134569956 3221224336 3221214576 1131487786 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24555 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 652.36
Current children cumulated vsize (Kb) 839656

[startup+680.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18786 3 2 0 66143 84 0 0 25 0 11 0 1788969242 859807744 24556 4294967295 134512640 134569956 3221224336 3221214728 1131373721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24556 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 662.27
Current children cumulated vsize (Kb) 839656

[startup+690.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18795 3 2 0 67132 84 0 0 25 0 11 0 1788969242 859807744 24567 4294967295 134512640 134569956 3221224336 3221214352 1131418182 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24567 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 672.16
Current children cumulated vsize (Kb) 839656

[startup+700.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18802 3 2 0 68123 85 0 0 22 0 11 0 1788969242 859807744 24571 4294967295 134512640 134569956 3221224336 3221214368 1131418103 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24571 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 682.08
Current children cumulated vsize (Kb) 839656

[startup+710.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18811 3 2 0 69107 85 0 0 25 0 11 0 1788969242 859807744 24574 4294967295 134512640 134569956 3221224336 3221214472 1131485031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24574 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 691.92
Current children cumulated vsize (Kb) 839656

[startup+720.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18819 3 2 0 70090 86 0 0 25 0 11 0 1788969242 859807744 24582 4294967295 134512640 134569956 3221224336 3221214400 1131370884 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24582 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 701.76
Current children cumulated vsize (Kb) 839656

[startup+730.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18827 3 2 0 71073 86 0 0 25 0 11 0 1788969242 859807744 24592 4294967295 134512640 134569956 3221224336 3221214576 1131489761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24592 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 711.59
Current children cumulated vsize (Kb) 839656

[startup+740.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18836 3 2 0 72053 87 0 0 25 0 11 0 1788969242 859807744 24647 4294967295 134512640 134569956 3221224336 3221214488 1131436208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24647 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 721.4
Current children cumulated vsize (Kb) 839656

[startup+750.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18844 3 2 0 73036 87 0 0 25 0 11 0 1788969242 859807744 24679 4294967295 134512640 134569956 3221224336 3221214576 1131489812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24679 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 731.23
Current children cumulated vsize (Kb) 839656

[startup+760.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18853 3 2 0 74016 88 0 0 25 0 11 0 1788969242 859807744 24681 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24681 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 741.04
Current children cumulated vsize (Kb) 839656

[startup+770.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18862 3 2 0 74994 88 0 0 25 0 11 0 1788969242 859807744 24726 4294967295 134512640 134569956 3221224336 3221214400 1131370905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24726 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 750.82
Current children cumulated vsize (Kb) 839656

[startup+780.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18872 3 2 0 75974 89 0 0 24 0 11 0 1788969242 859807744 24772 4294967295 134512640 134569956 3221224336 3221214576 1131490953 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24772 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 760.63
Current children cumulated vsize (Kb) 839656

[startup+790.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) S 505 506 8263 0 -1 0 18882 3 2 0 76955 89 0 0 25 0 11 0 1788969242 859807744 24789 4294967295 134512640 134569956 3221224336 3221213088 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24789 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 770.44
Current children cumulated vsize (Kb) 839656

[startup+800.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18892 3 2 0 77936 90 0 0 24 0 11 0 1788969242 859807744 24825 4294967295 134512640 134569956 3221224336 3221214488 1131436670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24825 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 780.26
Current children cumulated vsize (Kb) 839656

[startup+810.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18901 3 2 0 78921 91 0 0 24 0 11 0 1788969242 859807744 24829 4294967295 134512640 134569956 3221224336 3221214488 1131436670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24829 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 790.12
Current children cumulated vsize (Kb) 839656

[startup+820.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18912 3 2 0 79903 91 0 0 24 0 11 0 1788969242 859807744 24874 4294967295 134512640 134569956 3221224336 3221214488 1131436208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24874 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 799.94
Current children cumulated vsize (Kb) 839656

[startup+830.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18921 3 2 0 80889 91 0 0 24 0 11 0 1788969242 859807744 24880 4294967295 134512640 134569956 3221224336 3221214488 1131436716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24880 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 809.8
Current children cumulated vsize (Kb) 839656

[startup+840.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18930 3 2 0 81875 92 0 0 25 0 11 0 1788969242 859807744 24884 4294967295 134512640 134569956 3221224336 3221214576 1131491190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24884 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 819.67
Current children cumulated vsize (Kb) 839656

[startup+850.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18939 3 2 0 82861 92 0 0 25 0 11 0 1788969242 859807744 24922 4294967295 134512640 134569956 3221224336 3221214576 1131488919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24922 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 829.53
Current children cumulated vsize (Kb) 839656

[startup+860.066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18947 3 2 0 83847 93 0 0 25 0 11 0 1788969242 859807744 24923 4294967295 134512640 134569956 3221224336 3221214456 1131483448 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24923 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 839.4
Current children cumulated vsize (Kb) 839656

[startup+870.067 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18954 3 2 0 84834 93 0 0 25 0 11 0 1788969242 859807744 24934 4294967295 134512640 134569956 3221224336 3221214376 1085759263 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 24934 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 849.27
Current children cumulated vsize (Kb) 839656

[startup+880.068 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18964 3 2 0 85814 94 0 0 25 0 11 0 1788969242 859807744 24960 4294967295 134512640 134569956 3221224336 3221214280 1131674121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24960 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 859.08
Current children cumulated vsize (Kb) 839656

[startup+890.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18973 3 2 0 86797 94 0 0 25 0 11 0 1788969242 859807744 24991 4294967295 134512640 134569956 3221224336 3221214576 1131487841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 24991 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 868.91
Current children cumulated vsize (Kb) 839656

[startup+900.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18984 3 2 0 87777 94 0 0 21 0 11 0 1788969242 859807744 25030 4294967295 134512640 134569956 3221224336 3221214484 1131370848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25030 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 878.71
Current children cumulated vsize (Kb) 839656

[startup+910.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 18995 3 2 0 88764 95 0 0 25 0 11 0 1788969242 859807744 25039 4294967295 134512640 134569956 3221224336 3221214488 1131436253 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25039 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 888.59
Current children cumulated vsize (Kb) 839656

[startup+920.072 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19004 3 2 0 89750 95 0 0 24 0 11 0 1788969242 859807744 25055 4294967295 134512640 134569956 3221224336 3221214596 1131437120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25055 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 898.45
Current children cumulated vsize (Kb) 839656

[startup+930.073 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19012 3 2 0 90736 96 0 0 25 0 11 0 1788969242 859807744 25056 4294967295 134512640 134569956 3221224336 3221214576 1131491224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25056 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 908.32
Current children cumulated vsize (Kb) 839656

[startup+940.074 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19021 3 2 0 91716 96 0 0 25 0 11 0 1788969242 859807744 25058 4294967295 134512640 134569956 3221224336 3221214576 1131491224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25058 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 918.12
Current children cumulated vsize (Kb) 839656

[startup+950.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19030 3 2 0 92693 97 0 0 25 0 11 0 1788969242 859807744 25092 4294967295 134512640 134569956 3221224336 3221214488 1131436525 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25092 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 927.9
Current children cumulated vsize (Kb) 839656

[startup+960.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19039 3 2 0 93670 97 0 0 25 0 11 0 1788969242 859807744 25132 4294967295 134512640 134569956 3221224336 3221214576 1131489769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25132 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 937.67
Current children cumulated vsize (Kb) 839656

[startup+970.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19049 3 2 0 94646 97 0 0 25 0 11 0 1788969242 859807744 25168 4294967295 134512640 134569956 3221224336 3221214488 1131436151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25168 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 947.43
Current children cumulated vsize (Kb) 839656

[startup+980.076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19058 3 2 0 95627 99 0 0 25 0 11 0 1788969242 859807744 25233 4294967295 134512640 134569956 3221224336 3221214368 1131507219 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25233 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 957.26
Current children cumulated vsize (Kb) 839656

[startup+990.078 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19067 3 2 0 96610 99 0 0 25 0 11 0 1788969242 859807744 25265 4294967295 134512640 134569956 3221224336 3221214488 1131436138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25265 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 967.09
Current children cumulated vsize (Kb) 839656

[startup+1000.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19075 3 2 0 97598 99 0 0 25 0 11 0 1788969242 859807744 25299 4294967295 134512640 134569956 3221224336 3221214368 1131417933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25299 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 976.97
Current children cumulated vsize (Kb) 839656

[startup+1010.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19084 3 2 0 98584 99 0 0 20 0 11 0 1788969242 859807744 25304 4294967295 134512640 134569956 3221224336 3221214280 1131674152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25304 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 986.83
Current children cumulated vsize (Kb) 839656

[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19093 3 2 0 99570 100 0 0 25 0 11 0 1788969242 859807744 25316 4294967295 134512640 134569956 3221224336 3221214488 1131436151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25316 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 996.7
Current children cumulated vsize (Kb) 839656

[startup+1030.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19103 3 2 0 100556 100 0 0 25 0 11 0 1788969242 859807744 25325 4294967295 134512640 134569956 3221224336 3221214600 1131533793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25325 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1006.56
Current children cumulated vsize (Kb) 839656

[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19110 3 2 0 101546 100 0 0 25 0 11 0 1788969242 859807744 25340 4294967295 134512640 134569956 3221224336 3221214400 1131676975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25340 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1016.46
Current children cumulated vsize (Kb) 839656

[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19119 3 2 0 102534 101 0 0 24 0 11 0 1788969242 859807744 25355 4294967295 134512640 134569956 3221224336 3221214488 1131436129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25355 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1026.35
Current children cumulated vsize (Kb) 839656

[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19128 3 2 0 103520 102 0 0 25 0 11 0 1788969242 859807744 25355 4294967295 134512640 134569956 3221224336 3221214488 1131436140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25355 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1036.22
Current children cumulated vsize (Kb) 839656

[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) S 505 506 8263 0 -1 0 19138 3 2 0 104505 102 0 0 25 0 11 0 1788969242 859807744 25356 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25356 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1046.07
Current children cumulated vsize (Kb) 839656

[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19149 3 2 0 105493 103 0 0 25 0 11 0 1788969242 859807744 25390 4294967295 134512640 134569956 3221224336 3221214488 1131436518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25390 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1055.96
Current children cumulated vsize (Kb) 839656

[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19156 3 2 0 106480 103 0 0 25 0 11 0 1788969242 859807744 25394 4294967295 134512640 134569956 3221224336 3221214488 1131436609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25394 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1065.83
Current children cumulated vsize (Kb) 839656

[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19166 3 2 0 107461 104 0 0 24 0 11 0 1788969242 859807744 25400 4294967295 134512640 134569956 3221224336 3221214484 1131370848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25400 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1075.65
Current children cumulated vsize (Kb) 839656

[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19176 3 2 0 108443 105 0 0 24 0 11 0 1788969242 859807744 25409 4294967295 134512640 134569956 3221224336 3221214488 1131436983 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25409 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1085.48
Current children cumulated vsize (Kb) 839656

[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19186 3 2 0 109427 105 0 0 22 0 11 0 1788969242 859807744 25449 4294967295 134512640 134569956 3221224336 3221214576 1131490953 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25449 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1095.32
Current children cumulated vsize (Kb) 839656

[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19194 3 2 0 110417 106 0 0 24 0 11 0 1788969242 859807744 25458 4294967295 134512640 134569956 3221224336 3221214664 1131681927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25458 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1105.23
Current children cumulated vsize (Kb) 839656

[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19203 3 2 0 111403 106 0 0 25 0 11 0 1788969242 859807744 25461 4294967295 134512640 134569956 3221224336 3221214600 1131533638 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25461 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1115.09
Current children cumulated vsize (Kb) 839656

[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19210 3 2 0 112390 107 0 0 25 0 11 0 1788969242 859807744 25466 4294967295 134512640 134569956 3221224336 3221214488 1131436562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25466 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1124.97
Current children cumulated vsize (Kb) 839656

[startup+1160.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19218 3 2 0 113372 107 0 0 25 0 11 0 1788969242 859807744 25466 4294967295 134512640 134569956 3221224336 3221214488 1131436541 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25466 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1134.79
Current children cumulated vsize (Kb) 839656

[startup+1170.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19227 3 2 0 114353 108 0 0 25 0 11 0 1788969242 859807744 25496 4294967295 134512640 134569956 3221224336 3221214488 1131436670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25496 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1144.61
Current children cumulated vsize (Kb) 839656

[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19237 3 2 0 115331 108 0 0 24 0 11 0 1788969242 859807744 25534 4294967295 134512640 134569956 3221224336 3221214576 1131487864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25534 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1154.39
Current children cumulated vsize (Kb) 839656

[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19247 3 2 0 116315 109 0 0 18 0 11 0 1788969242 859807744 25576 4294967295 134512640 134569956 3221224336 3221214728 1131373721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25576 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (Kb) 839656

[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.91 1/66 524
Raw data (/proc/506/stat): 506 (java) S 505 506 8263 0 -1 0 19257 3 2 0 117306 109 0 0 25 0 11 0 1788969242 859807744 25588 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/506/statm): 209914 25588 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1174.15
Current children cumulated vsize (Kb) 839656

[startup+1210.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19267 3 2 0 118294 111 0 0 18 0 11 0 1788969242 859807744 25590 4294967295 134512640 134569956 3221224336 3221214576 1131491282 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25590 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1184.05
Current children cumulated vsize (Kb) 839656

[startup+1220.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19277 3 2 0 119279 111 0 0 18 0 11 0 1788969242 859807744 25590 4294967295 134512640 134569956 3221224336 3221214576 1131488748 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25590 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1193.9
Current children cumulated vsize (Kb) 839656

[startup+1230.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19287 3 2 0 120262 112 0 0 25 0 11 0 1788969242 859807744 25594 4294967295 134512640 134569956 3221224336 3221214488 1131437049 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25594 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 839656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/66 524
Raw data (/proc/506/stat): 506 (java) R 505 506 8263 0 -1 0 19287 3 2 0 120262 112 0 0 25 0 11 0 1788969242 859807744 25594 4294967295 134512640 134569956 3221224336 3221214488 1131437049 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/506/statm): 209914 25594 13129 16 0 209898 0
[pid=506] vsize: 839656
Current children cumulated CPU time (s) 1203.74
Current children cumulated vsize (Kb) 839656

Sending SIGTERM to -506
Sleeping 2 seconds
New thread pid=526
New thread pid=527
One traced child (pid=527) exited with status: 0
One traced child (pid=515) exited with status: 0
One traced child (pid=510) exited with status: 0
One traced child (pid=507) exited with status: 143
One traced child (pid=526) exited with status: 143
One traced child (pid=509) exited with status: 143
One traced child (pid=511) exited with status: 143
One traced child (pid=514) exited with status: 143
One traced child (pid=508) exited with status: 143
One traced child (pid=512) exited with status: 143
One traced child (pid=524) exited with status: 143
One traced child (pid=513) exited with status: 143
One traced child (pid=506) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.4
CPU time (s): 1238.15
CPU user time (s): 1235.99
CPU system time (s): 2.16467
CPU usage (%): 100.63
Max. virtual memory (cumulated for all children) (Kb): 841092

Verifier Data

Verifier:	OK	1958102199971817