Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb
MD5SUMd28092793cdc5a919be9a0f5974c70fe
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48000
Optimality of the best value was proved YES
Number of terms in the objective function 489
Biggest coefficient in the objective function 3145728
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 69282750
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 3145728
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 69282750
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark7.66783
Number of variables873
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints43
Minimum length of a constraint1
Maximum length of a constraint100

Trace number 8752

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-20 18:15:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6783 boxname=wulflinc2 idbench=923 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d28092793cdc5a919be9a0f5974c70fe  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sample2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sample2.opb
IDLAUNCH: 6783
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        875704 kB
Buffers:         33108 kB
Cached:         100868 kB
SwapCached:       1004 kB
Active:          58176 kB
Inactive:        78440 kB
HighTotal:      131008 kB
HighFree:        29064 kB
LowTotal:       903652 kB
LowFree:        846640 kB
SwapTotal:     2097136 kB
SwapFree:      2095552 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16700 kB
Committed_AS:    72460 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:35:35 (client local time) WITH STATUS 143 IN 1232.58 SECONDS
stats: 6783 0 1232.58 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/wulflinc2/normalized-mps-v2-13-7-sample2.opb
c reading problem ... done. Time 1.392 ms.
c #vars     873
c #constraints  67
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               84371 		Current CPU time: 4.79 ms
c CURRENT OPTIMUM=               60800 		Current CPU time: 7.15 ms
c CURRENT OPTIMUM=               58880 		Current CPU time: 105.20 ms
c starts		: 8
c conflicts		: 769
c decisions		: 18417
c propagations		: 77790
c inspects		: 1357819
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 769
c root simplifications	: 503
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 16787
c speed (decisions/second)	: 16.391079023744236
c non guided choices	1174
c random choices	0
s SATISFIABLE
v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 F_0x2e_D03C01_bit0 F_0x2e_D03C01_bit1 F_0x2e_D03C01_bit2 F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 -F_0x2e_D04C01_bit0 -F_0x2e_D04C01_bit1 -F_0x2e_D04C01_bit2 -F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 F_0x2e_D04C02_bit0 F_0x2e_D04C02_bit1 F_0x2e_D04C02_bit2 F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -I_0x2e_D01C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D01C03_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D02C03_bit0 I_0x2e_D03C01_bit0 -I_0x2e_D03C02_bit0 -I_0x2e_D03C03_bit0 -I_0x2e_D04C01_bit0 I_0x2e_D04C02_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 -F_0x2e_D03C02_bit0 -F_0x2e_D03C02_bit1 -F_0x2e_D03C02_bit2 -F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 
c objective function=58880
c Total CPU time (ms) : 1228.982

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/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802403255 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 39 3 38 16 0 23 0
[pid=15329] 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/15329
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=15330
New thread pid=15331
New thread pid=15332
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=15333
New thread pid=15334
New thread pid=15335
New thread pid=15336
New thread pid=15337
New thread pid=15338
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/wulflinc2/normalized-mps-v2-13-7-sample2.opb
New thread pid=15339
One traced child (pid=15339) exited with status: 0
New thread pid=15340
One traced child (pid=15340) exited with status: 0
New thread pid=15341

[startup+10.0024 s]
Raw data (loadavg): 1.12 1.03 0.98 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18183 4 1 0 692 50 0 0 23 0 11 0 1802403255 861990912 20808 4294967295 134512640 134569956 3221224336 3221214648 1131483583 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210447 20808 13129 16 0 210431 0
[pid=15329] vsize: 841788
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (Kb) 841788

[startup+20.0031 s]
Raw data (loadavg): 1.10 1.03 0.98 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18196 4 1 0 1617 50 0 0 22 0 11 0 1802403255 861958144 21018 4294967295 134512640 134569956 3221224336 3221214560 1131397957 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 21018 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 16.67
Current children cumulated vsize (Kb) 841756

[startup+30.0038 s]
Raw data (loadavg): 1.08 1.03 0.98 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18205 4 1 0 2576 51 0 0 20 0 11 0 1802403255 861958144 21111 4294967295 134512640 134569956 3221224336 3221214648 1131480996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 21111 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 26.27
Current children cumulated vsize (Kb) 841756

[startup+40.0053 s]
Raw data (loadavg): 1.15 1.04 0.99 1/66 15341
Raw data (/proc/15329/stat): 15329 (java) S 15328 15329 6872 0 -1 0 18214 4 1 0 3533 51 0 0 17 0 11 0 1802403255 861958144 21208 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21208 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 35.84
Current children cumulated vsize (Kb) 841756

[startup+50.0062 s]
Raw data (loadavg): 1.13 1.04 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18221 4 1 0 4507 52 0 0 25 0 11 0 1802403255 861958144 21506 4294967295 134512640 134569956 3221224336 3221214584 1131535625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21506 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 45.59
Current children cumulated vsize (Kb) 841756

[startup+60.0069 s]
Raw data (loadavg): 1.11 1.04 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18230 4 1 0 5486 53 0 0 25 0 11 0 1802403255 861958144 21560 4294967295 134512640 134569956 3221224336 3221214488 1131381962 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21560 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 55.39
Current children cumulated vsize (Kb) 841756

[startup+70.0076 s]
Raw data (loadavg): 1.09 1.04 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18239 4 1 0 6462 53 0 0 25 0 11 0 1802403255 861958144 21600 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21600 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 65.15
Current children cumulated vsize (Kb) 841756

[startup+80.0083 s]
Raw data (loadavg): 1.08 1.03 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18249 4 1 0 7431 53 0 0 25 0 11 0 1802403255 861958144 21662 4294967295 134512640 134569956 3221224336 3221214552 1131344386 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21662 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 74.84
Current children cumulated vsize (Kb) 841756

[startup+90.009 s]
Raw data (loadavg): 1.06 1.03 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18258 4 1 0 8402 54 0 0 25 0 11 0 1802403255 861958144 21748 4294967295 134512640 134569956 3221224336 3221214560 1131398672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 21748 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 84.56
Current children cumulated vsize (Kb) 841756

[startup+100.009 s]
Raw data (loadavg): 1.05 1.03 0.99 2/66 15341
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18268 4 1 0 9375 54 0 0 25 0 11 0 1802403255 861958144 21841 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21841 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 94.29
Current children cumulated vsize (Kb) 841756
One traced child (pid=15341) exited with status: 0
New thread pid=15342

[startup+110.01 s]
Raw data (loadavg): 1.04 1.03 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18278 4 1 0 10353 55 0 0 19 0 11 0 1802403255 861958144 21902 4294967295 134512640 134569956 3221224336 3221214648 1131476924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 21902 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 104.08
Current children cumulated vsize (Kb) 841756

[startup+120.011 s]
Raw data (loadavg): 1.04 1.03 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18287 4 1 0 11330 55 0 0 19 0 11 0 1802403255 861958144 21968 4294967295 134512640 134569956 3221224336 3221214648 1131483366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 21968 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 113.85
Current children cumulated vsize (Kb) 841756

[startup+130.011 s]
Raw data (loadavg): 1.03 1.03 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18294 4 1 0 12311 55 0 0 25 0 11 0 1802403255 861958144 22012 4294967295 134512640 134569956 3221224336 3221214600 1131456048 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22012 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 123.66
Current children cumulated vsize (Kb) 841756

[startup+140.012 s]
Raw data (loadavg): 1.03 1.03 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18303 4 1 0 13285 56 0 0 19 0 11 0 1802403255 861958144 22035 4294967295 134512640 134569956 3221224336 3221214560 1131398073 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22035 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 133.41
Current children cumulated vsize (Kb) 841756

[startup+150.012 s]
Raw data (loadavg): 1.02 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18313 4 1 0 14255 56 0 0 16 0 11 0 1802403255 861958144 22133 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22133 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 143.11
Current children cumulated vsize (Kb) 841756

[startup+160.013 s]
Raw data (loadavg): 1.02 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18322 4 1 0 15234 57 0 0 25 0 11 0 1802403255 861958144 22192 4294967295 134512640 134569956 3221224336 3221214560 1131399519 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22192 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 152.91
Current children cumulated vsize (Kb) 841756

[startup+170.014 s]
Raw data (loadavg): 1.01 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18331 4 1 0 16216 58 0 0 25 0 11 0 1802403255 861958144 22251 4294967295 134512640 134569956 3221224336 3221214644 1131367456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22251 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 162.74
Current children cumulated vsize (Kb) 841756

[startup+180.014 s]
Raw data (loadavg): 1.01 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18341 4 1 0 17198 58 0 0 18 0 11 0 1802403255 861958144 22287 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22287 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 172.56
Current children cumulated vsize (Kb) 841756

[startup+190.015 s]
Raw data (loadavg): 1.01 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18350 4 1 0 18181 58 0 0 25 0 11 0 1802403255 861958144 22311 4294967295 134512640 134569956 3221224336 3221214648 1131481041 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22311 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 182.39
Current children cumulated vsize (Kb) 841756

[startup+200.016 s]
Raw data (loadavg): 1.01 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18360 4 1 0 19162 59 0 0 25 0 11 0 1802403255 861958144 22366 4294967295 134512640 134569956 3221224336 3221214648 1131479170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22366 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 192.21
Current children cumulated vsize (Kb) 841756

[startup+210.016 s]
Raw data (loadavg): 1.01 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18369 4 1 0 20146 59 0 0 23 0 11 0 1802403255 861958144 22388 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22388 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 202.05
Current children cumulated vsize (Kb) 841756

[startup+220.017 s]
Raw data (loadavg): 1.00 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18380 4 1 0 21127 60 0 0 24 0 11 0 1802403255 861958144 22430 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22430 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 211.87
Current children cumulated vsize (Kb) 841756

[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18390 4 1 0 22109 60 0 0 25 0 11 0 1802403255 861958144 22460 4294967295 134512640 134569956 3221224336 3221214560 1131397943 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22460 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 221.69
Current children cumulated vsize (Kb) 841756

[startup+240.018 s]
Raw data (loadavg): 1.00 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18399 4 1 0 23094 61 0 0 25 0 11 0 1802403255 861958144 22488 4294967295 134512640 134569956 3221224336 3221214488 1131382088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22488 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 231.55
Current children cumulated vsize (Kb) 841756

[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18409 4 1 0 24075 61 0 0 25 0 11 0 1802403255 861958144 22516 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22516 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 241.36
Current children cumulated vsize (Kb) 841756

[startup+260.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18418 4 1 0 25057 61 0 0 25 0 11 0 1802403255 861958144 22536 4294967295 134512640 134569956 3221224336 3221214648 1131479208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22536 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 251.18
Current children cumulated vsize (Kb) 841756

[startup+270.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18428 4 1 0 26035 62 0 0 22 0 11 0 1802403255 861958144 22564 4294967295 134512640 134569956 3221224336 3221214648 1131479856 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22564 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 260.97
Current children cumulated vsize (Kb) 841756

[startup+280.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18438 4 1 0 27016 63 0 0 25 0 11 0 1802403255 861958144 22614 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22614 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 270.79
Current children cumulated vsize (Kb) 841756

[startup+290.021 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18448 4 1 0 27999 63 0 0 21 0 11 0 1802403255 861958144 22670 4294967295 134512640 134569956 3221224336 3221214648 1131484802 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22670 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 280.62
Current children cumulated vsize (Kb) 841756

[startup+300.022 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18458 4 1 0 28982 63 0 0 25 0 11 0 1802403255 861958144 22680 4294967295 134512640 134569956 3221224336 3221214648 1131480268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22680 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 290.45
Current children cumulated vsize (Kb) 841756

[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18468 4 1 0 29963 64 0 0 25 0 11 0 1802403255 861958144 22702 4294967295 134512640 134569956 3221224336 3221214560 1131398299 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22702 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 300.27
Current children cumulated vsize (Kb) 841756

[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18478 4 1 0 30946 64 0 0 25 0 11 0 1802403255 861958144 22735 4294967295 134512640 134569956 3221224336 3221214648 1131483285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22735 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 310.1
Current children cumulated vsize (Kb) 841756

[startup+330.024 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18488 4 1 0 31928 65 0 0 25 0 11 0 1802403255 861958144 22761 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22761 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 319.93
Current children cumulated vsize (Kb) 841756

[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18498 4 1 0 32913 65 0 0 25 0 11 0 1802403255 861958144 22799 4294967295 134512640 134569956 3221224336 3221214648 1131484948 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22799 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 329.78
Current children cumulated vsize (Kb) 841756

[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18509 4 1 0 33897 66 0 0 24 0 11 0 1802403255 861958144 22818 4294967295 134512640 134569956 3221224336 3221214560 1131398704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22818 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 339.63
Current children cumulated vsize (Kb) 841756

[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18518 4 1 0 34883 66 0 0 23 0 11 0 1802403255 861958144 22849 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22849 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 349.49
Current children cumulated vsize (Kb) 841756

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) S 15328 15329 6872 0 -1 0 18528 4 1 0 35867 67 0 0 25 0 11 0 1802403255 861958144 22865 4294967295 134512640 134569956 3221224336 3221213160 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22865 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 841756

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18537 4 1 0 36852 67 0 0 25 0 11 0 1802403255 861958144 22878 4294967295 134512640 134569956 3221224336 3221214648 1131478118 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22878 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 369.19
Current children cumulated vsize (Kb) 841756

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18547 4 1 0 37836 68 0 0 24 0 11 0 1802403255 861958144 22915 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22915 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 379.04
Current children cumulated vsize (Kb) 841756

[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18557 4 1 0 38822 68 0 0 25 0 11 0 1802403255 861958144 22951 4294967295 134512640 134569956 3221224336 3221214648 1131480172 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22951 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 388.9
Current children cumulated vsize (Kb) 841756

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18567 4 1 0 39809 68 0 0 25 0 11 0 1802403255 861958144 22964 4294967295 134512640 134569956 3221224336 3221214648 1131480324 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22964 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (Kb) 841756

[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18577 4 1 0 40795 69 0 0 25 0 11 0 1802403255 861958144 22972 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22972 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (Kb) 841756

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18587 4 1 0 41782 70 0 0 19 0 11 0 1802403255 861958144 22986 4294967295 134512640 134569956 3221224336 3221214648 1131480996 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 22986 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 418.52
Current children cumulated vsize (Kb) 841756

[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18597 4 1 0 42769 70 0 0 19 0 11 0 1802403255 861958144 22991 4294967295 134512640 134569956 3221224336 3221214648 1131481079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 22991 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 428.39
Current children cumulated vsize (Kb) 841756

[startup+450.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18607 4 1 0 43757 71 0 0 25 0 11 0 1802403255 861958144 23013 4294967295 134512640 134569956 3221224336 3221214648 1131483587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23013 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 438.28
Current children cumulated vsize (Kb) 841756

[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18617 4 1 0 44744 71 0 0 21 0 11 0 1802403255 861958144 23025 4294967295 134512640 134569956 3221224336 3221214560 1131398103 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23025 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 448.15
Current children cumulated vsize (Kb) 841756

[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18627 4 1 0 45731 71 0 0 20 0 11 0 1802403255 861958144 23037 4294967295 134512640 134569956 3221224336 3221214648 1131476917 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23037 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (Kb) 841756

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18637 4 1 0 46718 72 0 0 22 0 11 0 1802403255 861958144 23046 4294967295 134512640 134569956 3221224336 3221214560 1131398688 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23046 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 467.9
Current children cumulated vsize (Kb) 841756

[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18647 4 1 0 47705 72 0 0 25 0 11 0 1802403255 861958144 23057 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23057 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 477.77
Current children cumulated vsize (Kb) 841756

[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18658 4 1 0 48691 72 0 0 17 0 11 0 1802403255 861958144 23071 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23071 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 487.63
Current children cumulated vsize (Kb) 841756

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18668 4 1 0 49676 73 0 0 25 0 11 0 1802403255 861958144 23084 4294967295 134512640 134569956 3221224336 3221214648 1131483302 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23084 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 497.49
Current children cumulated vsize (Kb) 841756

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18678 4 1 0 50661 74 0 0 17 0 11 0 1802403255 861958144 23097 4294967295 134512640 134569956 3221224336 3221214560 1131399675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23097 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 507.35
Current children cumulated vsize (Kb) 841756

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18687 4 1 0 51647 74 0 0 25 0 11 0 1802403255 861958144 23103 4294967295 134512640 134569956 3221224336 3221214648 1131483646 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23103 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 517.21
Current children cumulated vsize (Kb) 841756

[startup+540.038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18697 4 1 0 52631 76 0 0 25 0 11 0 1802403255 861958144 23120 4294967295 134512640 134569956 3221224336 3221214800 1131397337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23120 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 527.07
Current children cumulated vsize (Kb) 841756

[startup+550.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18705 4 1 0 53618 76 0 0 23 0 11 0 1802403255 861958144 23141 4294967295 134512640 134569956 3221224336 3221214584 1131401152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23141 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 536.94
Current children cumulated vsize (Kb) 841756

[startup+560.041 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18715 4 1 0 54602 76 0 0 18 0 11 0 1802403255 861958144 23153 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23153 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 546.78
Current children cumulated vsize (Kb) 841756

[startup+570.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18725 4 1 0 55585 77 0 0 17 0 11 0 1802403255 861958144 23167 4294967295 134512640 134569956 3221224336 3221214540 1131057236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23167 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 556.62
Current children cumulated vsize (Kb) 841756

[startup+580.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18735 4 1 0 56565 77 0 0 24 0 11 0 1802403255 861958144 23201 4294967295 134512640 134569956 3221224336 3221214560 1131397928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23201 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 566.42
Current children cumulated vsize (Kb) 841756

[startup+590.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18744 4 1 0 57549 78 0 0 25 0 11 0 1802403255 861958144 23236 4294967295 134512640 134569956 3221224336 3221214608 1131393409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23236 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 576.27
Current children cumulated vsize (Kb) 841756

[startup+600.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18755 4 1 0 58531 79 0 0 25 0 11 0 1802403255 861958144 23252 4294967295 134512640 134569956 3221224336 3221214488 1131397953 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23252 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 586.1
Current children cumulated vsize (Kb) 841756

[startup+610.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18766 4 1 0 59515 79 0 0 18 0 11 0 1802403255 861958144 23280 4294967295 134512640 134569956 3221224336 3221214488 1131398514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23280 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 595.94
Current children cumulated vsize (Kb) 841756

[startup+620.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18776 4 1 0 60501 79 0 0 25 0 11 0 1802403255 861958144 23315 4294967295 134512640 134569956 3221224336 3221214488 1131397848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23315 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 605.8
Current children cumulated vsize (Kb) 841756

[startup+630.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18785 4 1 0 61487 80 0 0 25 0 11 0 1802403255 861958144 23337 4294967295 134512640 134569956 3221224336 3221214488 1131398658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23337 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 615.67
Current children cumulated vsize (Kb) 841756

[startup+640.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18795 4 1 0 62473 80 0 0 20 0 11 0 1802403255 861958144 23345 4294967295 134512640 134569956 3221224336 3221214572 1131397696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23345 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 625.53
Current children cumulated vsize (Kb) 841756

[startup+650.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18805 4 1 0 63458 80 0 0 25 0 11 0 1802403255 861958144 23362 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23362 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 635.38
Current children cumulated vsize (Kb) 841756

[startup+660.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18815 4 1 0 64443 81 0 0 25 0 11 0 1802403255 861958144 23387 4294967295 134512640 134569956 3221224336 3221214488 1131399672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23387 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 645.24
Current children cumulated vsize (Kb) 841756

[startup+670.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18825 4 1 0 65428 81 0 0 20 0 11 0 1802403255 861958144 23391 4294967295 134512640 134569956 3221224336 3221214488 1131398009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23391 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 655.09
Current children cumulated vsize (Kb) 841756

[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18835 4 1 0 66414 82 0 0 25 0 11 0 1802403255 861958144 23409 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23409 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 664.96
Current children cumulated vsize (Kb) 841756

[startup+690.051 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18845 4 1 0 67400 82 0 0 25 0 11 0 1802403255 861958144 23427 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23427 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 674.82
Current children cumulated vsize (Kb) 841756

[startup+700.052 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18855 4 1 0 68386 82 0 0 25 0 11 0 1802403255 861958144 23437 4294967295 134512640 134569956 3221224336 3221214576 1131476917 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23437 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 684.68
Current children cumulated vsize (Kb) 841756

[startup+710.053 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18865 4 1 0 69372 82 0 0 25 0 11 0 1802403255 861958144 23450 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23450 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 694.54
Current children cumulated vsize (Kb) 841756

[startup+720.053 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18875 4 1 0 70358 83 0 0 25 0 11 0 1802403255 861958144 23467 4294967295 134512640 134569956 3221224336 3221214576 1131477002 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23467 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 704.41
Current children cumulated vsize (Kb) 841756

[startup+730.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18885 4 1 0 71346 84 0 0 22 0 11 0 1802403255 861958144 23473 4294967295 134512640 134569956 3221224336 3221214488 1131397845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23473 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 714.3
Current children cumulated vsize (Kb) 841756

[startup+740.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18895 4 1 0 72333 84 0 0 25 0 11 0 1802403255 861958144 23481 4294967295 134512640 134569956 3221224336 3221214488 1131398338 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23481 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 724.17
Current children cumulated vsize (Kb) 841756

[startup+750.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18904 4 1 0 73319 85 0 0 19 0 11 0 1802403255 861958144 23489 4294967295 134512640 134569956 3221224336 3221214728 1131397337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23489 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 734.04
Current children cumulated vsize (Kb) 841756

[startup+760.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18914 4 1 0 74304 85 0 0 25 0 11 0 1802403255 861958144 23502 4294967295 134512640 134569956 3221224336 3221214488 1131398680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23502 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 743.89
Current children cumulated vsize (Kb) 841756

[startup+770.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18924 4 1 0 75290 85 0 0 25 0 11 0 1802403255 861958144 23519 4294967295 134512640 134569956 3221224336 3221214488 1131367477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23519 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 753.75
Current children cumulated vsize (Kb) 841756

[startup+780.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18934 4 1 0 76277 86 0 0 25 0 11 0 1802403255 861958144 23543 4294967295 134512640 134569956 3221224336 3221214056 1085806322 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23543 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 763.63
Current children cumulated vsize (Kb) 841756

[startup+790.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18944 4 1 0 77267 86 0 0 25 0 11 0 1802403255 861958144 23552 4294967295 134512640 134569956 3221224336 3221214488 1131399747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23552 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 773.53
Current children cumulated vsize (Kb) 841756

[startup+800.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18954 4 1 0 78256 86 0 0 20 0 11 0 1802403255 861958144 23558 4294967295 134512640 134569956 3221224336 3221214488 1131399163 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23558 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 783.42
Current children cumulated vsize (Kb) 841756

[startup+810.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18964 4 1 0 79246 87 0 0 25 0 11 0 1802403255 861958144 23565 4294967295 134512640 134569956 3221224336 3221214128 1131612170 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23565 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 793.33
Current children cumulated vsize (Kb) 841756

[startup+820.059 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18974 4 1 0 80234 87 0 0 25 0 11 0 1802403255 861958144 23577 4294967295 134512640 134569956 3221224336 3221214448 1131381772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23577 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 803.21
Current children cumulated vsize (Kb) 841756

[startup+830.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18984 4 1 0 81220 87 0 0 16 0 11 0 1802403255 861958144 23583 4294967295 134512640 134569956 3221224336 3221214488 1131399709 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23583 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 813.07
Current children cumulated vsize (Kb) 841756

[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18993 4 1 0 82208 88 0 0 25 0 11 0 1802403255 861958144 23594 4294967295 134512640 134569956 3221224336 3221214488 1131399727 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23594 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 822.96
Current children cumulated vsize (Kb) 841756

[startup+850.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19003 4 1 0 83195 88 0 0 24 0 11 0 1802403255 861958144 23637 4294967295 134512640 134569956 3221224336 3221214576 1131479848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23637 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 832.83
Current children cumulated vsize (Kb) 841756

[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19013 4 1 0 84185 89 0 0 25 0 11 0 1802403255 861958144 23663 4294967295 134512640 134569956 3221224336 3221214576 1131476735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23663 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 842.74
Current children cumulated vsize (Kb) 841756

[startup+870.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19023 4 1 0 85174 89 0 0 21 0 11 0 1802403255 861958144 23671 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23671 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 852.63
Current children cumulated vsize (Kb) 841756

[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19033 4 1 0 86164 89 0 0 20 0 11 0 1802403255 861958144 23681 4294967295 134512640 134569956 3221224336 3221214576 1131480137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23681 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 862.53
Current children cumulated vsize (Kb) 841756

[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19043 4 1 0 87154 90 0 0 19 0 11 0 1802403255 861958144 23702 4294967295 134512640 134569956 3221224336 3221214576 1131479880 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23702 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 872.44
Current children cumulated vsize (Kb) 841756

[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19053 4 1 0 88145 90 0 0 25 0 11 0 1802403255 861958144 23727 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23727 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (Kb) 841756

[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19063 4 1 0 89138 91 0 0 25 0 11 0 1802403255 861958144 23731 4294967295 134512640 134569956 3221224336 3221214576 1131479969 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23731 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 892.29
Current children cumulated vsize (Kb) 841756

[startup+920.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19073 4 1 0 90130 91 0 0 17 0 11 0 1802403255 861958144 23736 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23736 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 902.21
Current children cumulated vsize (Kb) 841756

[startup+930.067 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19083 4 1 0 91123 92 0 0 25 0 11 0 1802403255 861958144 23742 4294967295 134512640 134569956 3221224336 3221214488 1131397821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23742 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 912.15
Current children cumulated vsize (Kb) 841756

[startup+940.068 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19092 4 1 0 92115 92 0 0 23 0 11 0 1802403255 861958144 23746 4294967295 134512640 134569956 3221224336 3221214488 1131398664 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23746 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 922.07
Current children cumulated vsize (Kb) 841756

[startup+950.068 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19102 4 1 0 93106 92 0 0 23 0 11 0 1802403255 861958144 23752 4294967295 134512640 134569956 3221224336 3221214576 1131483366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23752 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 931.98
Current children cumulated vsize (Kb) 841756

[startup+960.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19112 4 1 0 94096 93 0 0 25 0 11 0 1802403255 861958144 23757 4294967295 134512640 134569956 3221224336 3221214576 1131483646 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23757 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (Kb) 841756

[startup+970.071 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19122 4 1 0 95087 93 0 0 20 0 11 0 1802403255 861958144 23769 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23769 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 951.8
Current children cumulated vsize (Kb) 841756

[startup+980.071 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19132 4 1 0 96077 94 0 0 18 0 11 0 1802403255 861958144 23781 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23781 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 961.71
Current children cumulated vsize (Kb) 841756

[startup+990.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19142 4 1 0 97069 94 0 0 25 0 11 0 1802403255 861958144 23787 4294967295 134512640 134569956 3221224336 3221214576 1131478040 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23787 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 971.63
Current children cumulated vsize (Kb) 841756

[startup+1000.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19152 4 1 0 98061 94 0 0 25 0 11 0 1802403255 861958144 23791 4294967295 134512640 134569956 3221224336 3221214576 1131484783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23791 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 981.55
Current children cumulated vsize (Kb) 841756

[startup+1010.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19161 4 1 0 99053 94 0 0 24 0 11 0 1802403255 861958144 23796 4294967295 134512640 134569956 3221224336 3221214576 1131484301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23796 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 991.47
Current children cumulated vsize (Kb) 841756

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19171 4 1 0 100044 95 0 0 25 0 11 0 1802403255 861958144 23801 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23801 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1001.39
Current children cumulated vsize (Kb) 841756

[startup+1030.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19181 4 1 0 101035 95 0 0 23 0 11 0 1802403255 861958144 23808 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23808 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1011.3
Current children cumulated vsize (Kb) 841756

[startup+1040.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19191 4 1 0 102026 95 0 0 21 0 11 0 1802403255 861958144 23820 4294967295 134512640 134569956 3221224336 3221214576 1131478948 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23820 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1021.21
Current children cumulated vsize (Kb) 841756

[startup+1050.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19201 4 1 0 103017 96 0 0 25 0 11 0 1802403255 861958144 23830 4294967295 134512640 134569956 3221224336 3221214576 1131483658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23830 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1031.13
Current children cumulated vsize (Kb) 841756

[startup+1060.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19211 4 1 0 104007 96 0 0 25 0 11 0 1802403255 861958144 23836 4294967295 134512640 134569956 3221224336 3221214488 1131398764 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23836 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1041.03
Current children cumulated vsize (Kb) 841756

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19221 4 1 0 104997 96 0 0 25 0 11 0 1802403255 861958144 23841 4294967295 134512640 134569956 3221224336 3221214520 1131381838 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23841 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1050.93
Current children cumulated vsize (Kb) 841756

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19231 4 1 0 105987 97 0 0 25 0 11 0 1802403255 861958144 23846 4294967295 134512640 134569956 3221224336 3221214576 1131476979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23846 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1060.84
Current children cumulated vsize (Kb) 841756

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19240 4 1 0 106979 97 0 0 25 0 11 0 1802403255 861958144 23851 4294967295 134512640 134569956 3221224336 3221214572 1131368551 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23851 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1070.76
Current children cumulated vsize (Kb) 841756

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19250 4 1 0 107968 97 0 0 25 0 11 0 1802403255 861958144 23857 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23857 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1080.65
Current children cumulated vsize (Kb) 841756

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19260 4 1 0 108959 98 0 0 25 0 11 0 1802403255 861958144 23869 4294967295 134512640 134569956 3221224336 3221214728 1131397337 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23869 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1090.57
Current children cumulated vsize (Kb) 841756

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19270 4 1 0 109951 98 0 0 21 0 11 0 1802403255 861958144 23873 4294967295 134512640 134569956 3221224336 3221214576 1131479170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23873 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1100.49
Current children cumulated vsize (Kb) 841756

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19280 4 1 0 110943 98 0 0 19 0 11 0 1802403255 861958144 23877 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23877 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1110.41
Current children cumulated vsize (Kb) 841756

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19290 4 1 0 111933 99 0 0 25 0 11 0 1802403255 861958144 23885 4294967295 134512640 134569956 3221224336 3221214576 1131476917 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23885 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1120.32
Current children cumulated vsize (Kb) 841756

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19300 4 1 0 112924 100 0 0 25 0 11 0 1802403255 861958144 23889 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23889 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1130.24
Current children cumulated vsize (Kb) 841756

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19310 4 1 0 113913 100 0 0 17 0 11 0 1802403255 861958144 23893 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23893 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1140.13
Current children cumulated vsize (Kb) 841756

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19319 4 1 0 114904 101 0 0 25 0 11 0 1802403255 861958144 23899 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23899 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1150.05
Current children cumulated vsize (Kb) 841756

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19329 4 1 0 115894 101 0 0 25 0 11 0 1802403255 861958144 23910 4294967295 134512640 134569956 3221224336 3221214576 1131481041 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23910 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1159.95
Current children cumulated vsize (Kb) 841756

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19339 4 1 0 116884 101 0 0 25 0 11 0 1802403255 861958144 23917 4294967295 134512640 134569956 3221224336 3221214520 1131382887 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23917 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1169.85
Current children cumulated vsize (Kb) 841756

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19349 4 1 0 117874 102 0 0 25 0 11 0 1802403255 861958144 23927 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23927 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1179.76
Current children cumulated vsize (Kb) 841756

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19359 4 1 0 118863 103 0 0 19 0 11 0 1802403255 861958144 23931 4294967295 134512640 134569956 3221224336 3221214488 1131399686 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/15329/statm): 210439 23931 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1189.66
Current children cumulated vsize (Kb) 841756

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19369 4 1 0 119852 103 0 0 17 0 11 0 1802403255 861958144 23935 4294967295 134512640 134569956 3221224336 3221214576 1131476601 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23935 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1199.55
Current children cumulated vsize (Kb) 841756

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19379 4 1 0 120842 104 0 0 25 0 11 0 1802403255 861958144 23944 4294967295 134512640 134569956 3221224336 3221214488 1131397821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23944 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1209.46
Current children cumulated vsize (Kb) 841756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 4/66 15342
Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19379 4 1 0 120842 104 0 0 25 0 11 0 1802403255 861958144 23944 4294967295 134512640 134569956 3221224336 3221214488 1131399759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/15329/statm): 210439 23944 13129 16 0 210423 0
[pid=15329] vsize: 841756
Current children cumulated CPU time (s) 1209.46
Current children cumulated vsize (Kb) 841756

Sending SIGTERM to -15329
Sleeping 2 seconds
New thread pid=15344
New thread pid=15345
One traced child (pid=15345) exited with status: 0
One traced child (pid=15338) exited with status: 0
One traced child (pid=15333) exited with status: 0
One traced child (pid=15330) exited with status: 143
One traced child (pid=15337) exited with status: 143
One traced child (pid=15334) exited with status: 143
One traced child (pid=15332) exited with status: 143
One traced child (pid=15342) exited with status: 143
One traced child (pid=15331) exited with status: 143
One traced child (pid=15335) exited with status: 143
One traced child (pid=15336) exited with status: 143
One traced child (pid=15344) exited with status: 143
One traced child (pid=15329) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.37
CPU time (s): 1232.58
CPU user time (s): 1230.74
CPU system time (s): 1.84272
CPU usage (%): 100.18
Max. virtual memory (cumulated for all children) (Kb): 841788

Verifier Data

Verifier:	OK	58880