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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-kb2.opb
MD5SUM3083eada14ab9f00dcc840f6e3dc6e3b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 39
Biggest coefficient in the objective function 540672
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1507239
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 5581947011072
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 73534396296900
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1215.84
Number of variables749
Total number of constraints52
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints52
Minimum length of a constraint10
Maximum length of a constraint200

Trace number 7435

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        864132 kB
Buffers:         30628 kB
Cached:         114964 kB
SwapCached:        744 kB
Active:          62888 kB
Inactive:        85360 kB
HighTotal:      131008 kB
HighFree:        13216 kB
LowTotal:       903652 kB
LowFree:        850916 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            16712 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 12:14:19 (client local time) WITH STATUS 143 IN 1215.84 SECONDS
stats: 6684 0 1215.84 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/wulflinc7/normalized-mps-v2-13-7-kb2.opb
c reading problem ... done. Time 1.909 ms.
c #vars     749
c #constraints  68
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 4.32 ms
c starts		: 6
c conflicts		: 1253
c decisions		: 11680
c propagations		: 257035
c inspects		: 6592255
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1253
c root simplifications	: 942
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 11488
c speed (decisions/second)	: 9.617466900845397
c non guided choices	1067
c random choices	0
s SATISFIABLE
v -D3T_0x2e__0x2e__0x2e_BW_bit_7 -D3T_0x2e__0x2e__0x2e_BW_bit_6 -D3T_0x2e__0x2e__0x2e_BW_bit_5 -D3T_0x2e__0x2e__0x2e_BW_bit_4 -D3T_0x2e__0x2e__0x2e_BW_bit_3 -D3T_0x2e__0x2e__0x2e_BW_bit_2 -D3T_0x2e__0x2e__0x2e_BW_bit_1 -D3T_0x2e__0x2e__0x2e_BW_bit0 -D3T_0x2e__0x2e__0x2e_BW_bit1 -D3T_0x2e__0x2e__0x2e_BW_bit2 -D3T_0x2e__0x2e__0x2e_BW_bit3 -D3T_0x2e__0x2e__0x2e_BW_bit4 -D3T_0x2e__0x2e__0x2e_BW_bit5 -D3T_0x2e__0x2e__0x2e_BW_bit6 -D3T_0x2e__0x2e__0x2e_BW_bit7 -EN4_0x2e__0x2e__0x2e_BW_bit_7 -EN4_0x2e__0x2e__0x2e_BW_bit_6 -EN4_0x2e__0x2e__0x2e_BW_bit_5 -EN4_0x2e__0x2e__0x2e_BW_bit_4 -EN4_0x2e__0x2e__0x2e_BW_bit_3 -EN4_0x2e__0x2e__0x2e_BW_bit_2 -EN4_0x2e__0x2e__0x2e_BW_bit_1 -EN4_0x2e__0x2e__0x2e_BW_bit0 -EN4_0x2e__0x2e__0x2e_BW_bit1 -EN4_0x2e__0x2e__0x2e_BW_bit2 -EN4_0x2e__0x2e__0x2e_BW_bit3 -EN4_0x2e__0x2e__0x2e_BW_bit4 -EN4_0x2e__0x2e__0x2e_BW_bit5 -EN4_0x2e__0x2e__0x2e_BW_bit6 -ETO_0x2e__0x2e__0x2e_BW_bit_7 -ETO_0x2e__0x2e__0x2e_BW_bit_6 -ETO_0x2e__0x2e__0x2e_BW_bit_5 -ETO_0x2e__0x2e__0x2e_BW_bit_4 -ETO_0x2e__0x2e__0x2e_BW_bit_3 -ETO_0x2e__0x2e__0x2e_BW_bit_2 -ETO_0x2e__0x2e__0x2e_BW_bit_1 -ETO_0x2e__0x2e__0x2e_BW_bit0 -ETO_0x2e__0x2e__0x2e_BW_bit1 -ETO_0x2e__0x2e__0x2e_BW_bit2 -BHC_0x2e_3EBW_bit_7 -BHC_0x2e_3EBW_bit_6 -BHC_0x2e_3EBW_bit_5 -BHC_0x2e_3EBW_bit_4 -BHC_0x2e_3EBW_bit_3 -BHC_0x2e_3EBW_bit_2 -BHC_0x2e_3EBW_bit_1 -BHC_0x2e_3EBW_bit0 -BHC_0x2e_3EBW_bit1 -BHC_0x2e_3EBW_bit2 -BHC_0x2e_3EBW_bit3 -EAL_0x2e__0x2e__0x2e_BW_bit_7 -EAL_0x2e__0x2e__0x2e_BW_bit_6 -EAL_0x2e__0x2e__0x2e_BW_bit_5 -EAL_0x2e__0x2e__0x2e_BW_bit_4 -EAL_0x2e__0x2e__0x2e_BW_bit_3 -EAL_0x2e__0x2e__0x2e_BW_bit_2 -EAL_0x2e__0x2e__0x2e_BW_bit_1 -EAL_0x2e__0x2e__0x2e_BW_bit0 -EAL_0x2e__0x2e__0x2e_BW_bit1 -EAL_0x2e__0x2e__0x2e_BW_bit2 -EAL_0x2e__0x2e__0x2e_BW_bit3 -EHC_0x2e__0x2e__0x2e_BW_bit_7 -EHC_0x2e__0x2e__0x2e_BW_bit_6 -EHC_0x2e__0x2e__0x2e_BW_bit_5 -EHC_0x2e__0x2e__0x2e_BW_bit_4 -EHC_0x2e__0x2e__0x2e_BW_bit_3 -EHC_0x2e__0x2e__0x2e_BW_bit_2 -EHC_0x2e__0x2e__0x2e_BW_bit_1 -EHC_0x2e__0x2e__0x2e_BW_bit0 -EHC_0x2e__0x2e__0x2e_BW_bit1 -EHC_0x2e__0x2e__0x2e_BW_bit2 -EHC_0x2e__0x2e__0x2e_BW_bit3 -EHC_0x2e__0x2e__0x2e_BW_bit4 -ELC_0x2e__0x2e__0x2e_BW_bit_7 -ELC_0x2e__0x2e__0x2e_BW_bit_6 -ELC_0x2e__0x2e__0x2e_BW_bit_5 -ELC_0x2e__0x2e__0x2e_BW_bit_4 -ELC_0x2e__0x2e__0x2e_BW_bit_3 -ELC_0x2e__0x2e__0x2e_BW_bit_2 -ELC_0x2e__0x2e__0x2e_BW_bit_1 -ELC_0x2e__0x2e__0x2e_BW_bit0 -ELC_0x2e__0x2e__0x2e_BW_bit1 -ELC_0x2e__0x2e__0x2e_BW_bit2 -ELC_0x2e__0x2e__0x2e_BW_bit3 -ELC_0x2e__0x2e__0x2e_BW_bit4 -ELV_0x2e__0x2e__0x2e_BW_bit_7 -ELV_0x2e__0x2e__0x2e_BW_bit_6 -ELV_0x2e__0x2e__0x2e_BW_bit_5 -ELV_0x2e__0x2e__0x2e_BW_bit_4 -ELV_0x2e__0x2e__0x2e_BW_bit_3 -ELV_0x2e__0x2e__0x2e_BW_bit_2 -ELV_0x2e__0x2e__0x2e_BW_bit_1 -ELV_0x2e__0x2e__0x2e_BW_bit0 -ELV_0x2e__0x2e__0x2e_BW_bit1 -ELV_0x2e__0x2e__0x2e_BW_bit2 -ELV_0x2e__0x2e__0x2e_BW_bit3 -EP8_0x2e__0x2e__0x2e_BW_bit_7 -EP8_0x2e__0x2e__0x2e_BW_bit_6 -EP8_0x2e__0x2e__0x2e_BW_bit_5 -EP8_0x2e__0x2e__0x2e_BW_bit_4 -EP8_0x2e__0x2e__0x2e_BW_bit_3 -EP8_0x2e__0x2e__0x2e_BW_bit_2 -EP8_0x2e__0x2e__0x2e_BW_bit_1 -EP8_0x2e__0x2e__0x2e_BW_bit0 -EP8_0x2e__0x2e__0x2e_BW_bit1 -EP8_0x2e__0x2e__0x2e_BW_bit2 -EP8_0x2e__0x2e__0x2e_BW_bit3 -EP8_0x2e__0x2e__0x2e_BW_bit4 -EP8_0x2e__0x2e__0x2e_BW_bit5 -M3_0x2e__0x2e_3TBW_bit_7 -M3_0x2e__0x2e_3TBW_bit_6 -M3_0x2e__0x2e_3TBW_bit_5 -M3_0x2e__0x2e_3TBW_bit_4 -M3_0x2e__0x2e_3TBW_bit_3 -M3_0x2e__0x2e_3TBW_bit_2 -M3_0x2e__0x2e_3TBW_bit_1 -M3_0x2e__0x2e_3TBW_bit0 -M3_0x2e__0x2e_3TBW_bit1 -M3_0x2e__0x2e_3TBW_bit2 -M3_0x2e__0x2e_3TBW_bit3 -M3_0x2e__0x2e_3TBW_bit4 -M3_0x2e__0x2e_3TBW_bit5 -M3_0x2e__0x2e_3TBW_bit6 -M3_0x2e__0x2e_3TBW_bit7 -M3_0x2e__0x2e_3TBW_bit8 -M3_0x2e__0x2e_3TBW_bit9 -M3_0x2e__0x2e_3TBW_bit10 -M3_0x2e__0x2e_3TBW_bit11 -M3_0x2e__0x2e_3TBW_bit12 -QVO73EBW_bit_7 -QVO73EBW_bit_6 -QVO73EBW_bit_5 -QVO73EBW_bit_4 -QVO73EBW_bit_3 -QVO73EBW_bit_2 -QVO73EBW_bit_1 -QVO73EBW_bit0 -QVO73EBW_bit1 -QVO73EBW_bit2 -QVO73EBW_bit3 -QVO73EBW_bit4 -QVO73EBW_bit5 -QVO73EBW_bit6 -QVO73EBW_bit7 -QVO73EBW_bit8 -QVO73EBW_bit9 -QVO73EBW_bit10 -QVO73EBW_bit11 -QVO73EBW_bit12 -BAL_0x2e_3EBW_bit_7 -BAL_0x2e_3EBW_bit_6 -BAL_0x2e_3EBW_bit_5 -BAL_0x2e_3EBW_bit_4 -BAL_0x2e_3EBW_bit_3 -BAL_0x2e_3EBW_bit_2 -BAL_0x2e_3EBW_bit_1 -BAL_0x2e_3EBW_bit0 -BAL_0x2e_3EBW_bit1 -BAL_0x2e_3EBW_bit2 -BAL_0x2e_3EBW_bit3 -BAL_0x2e_3EBW_bit4 -BAL_0x2e_3EBW_bit5 -BAL_0x2e_3EBW_bit6 -BAL_0x2e_3EBW_bit7 -BAL_0x2e_3EBW_bit8 -BAL_0x2e_3EBW_bit9 -BAL_0x2e_3EBW_bit10 -BAL_0x2e_3EBW_bit11 -BAL_0x2e_3EBW_bit12 -BLC_0x2e_3EBW_bit_7 -BLC_0x2e_3EBW_bit_6 -BLC_0x2e_3EBW_bit_5 -BLC_0x2e_3EBW_bit_4 -BLC_0x2e_3EBW_bit_3 -BLC_0x2e_3EBW_bit_2 -BLC_0x2e_3EBW_bit_1 -BLC_0x2e_3EBW_bit0 -BLC_0x2e_3EBW_bit1 -BLC_0x2e_3EBW_bit2 -BLC_0x2e_3EBW_bit3 -BLC_0x2e_3EBW_bit4 -BLC_0x2e_3EBW_bit5 -BLC_0x2e_3EBW_bit6 -BLC_0x2e_3EBW_bit7 -BLC_0x2e_3EBW_bit8 -BLC_0x2e_3EBW_bit9 -BLC_0x2e_3EBW_bit10 -BLC_0x2e_3EBW_bit11 -BLC_0x2e_3EBW_bit12 -BLV_0x2e_3EBW_bit_7 -BLV_0x2e_3EBW_bit_6 -BLV_0x2e_3EBW_bit_5 -BLV_0x2e_3EBW_bit_4 -BLV_0x2e_3EBW_bit_3 -BLV_0x2e_3EBW_bit_2 -BLV_0x2e_3EBW_bit_1 -BLV_0x2e_3EBW_bit0 -BLV_0x2e_3EBW_bit1 -BLV_0x2e_3EBW_bit2 -BLV_0x2e_3EBW_bit3 -BLV_0x2e_3EBW_bit4 -BLV_0x2e_3EBW_bit5 -BLV_0x2e_3EBW_bit6 -BLV_0x2e_3EBW_bit7 -BLV_0x2e_3EBW_bit8 -BLV_0x2e_3EBW_bit9 -BLV_0x2e_3EBW_bit10 -BLV_0x2e_3EBW_bit11 -BLV_0x2e_3EBW_bit12 -BN4_0x2e_3EBW_bit_7 -BN4_0x2e_3EBW_bit_6 -BN4_0x2e_3EBW_bit_5 -BN4_0x2e_3EBW_bit_4 -BN4_0x2e_3EBW_bit_3 -BN4_0x2e_3EBW_bit_2 -BN4_0x2e_3EBW_bit_1 -BN4_0x2e_3EBW_bit0 -BN4_0x2e_3EBW_bit1 -BN4_0x2e_3EBW_bit2 -BN4_0x2e_3EBW_bit3 -BN4_0x2e_3EBW_bit4 -BN4_0x2e_3EBW_bit5 -BN4_0x2e_3EBW_bit6 -BN4_0x2e_3EBW_bit7 -BN4_0x2e_3EBW_bit8 -BN4_0x2e_3EBW_bit9 -BN4_0x2e_3EBW_bit10 -BN4_0x2e_3EBW_bit11 -BN4_0x2e_3EBW_bit12 -BP8_0x2e_3EBW_bit_7 -BP8_0x2e_3EBW_bit_6 -BP8_0x2e_3EBW_bit_5 -BP8_0x2e_3EBW_bit_4 -BP8_0x2e_3EBW_bit_3 -BP8_0x2e_3EBW_bit_2 -BP8_0x2e_3EBW_bit_1 -BP8_0x2e_3EBW_bit0 -BP8_0x2e_3EBW_bit1 -BP8_0x2e_3EBW_bit2 -BP8_0x2e_3EBW_bit3 -BP8_0x2e_3EBW_bit4 -BP8_0x2e_3EBW_bit5 -BP8_0x2e_3EBW_bit6 -BP8_0x2e_3EBW_bit7 -BP8_0x2e_3EBW_bit8 -BP8_0x2e_3EBW_bit9 -BP8_0x2e_3EBW_bit10 -BP8_0x2e_3EBW_bit11 -BP8_0x2e_3EBW_bit12 -BTO_0x2e_3EBW_bit_7 -BTO_0x2e_3EBW_bit_6 -BTO_0x2e_3EBW_bit_5 -BTO_0x2e_3EBW_bit_4 -BTO_0x2e_3EBW_bit_3 -BTO_0x2e_3EBW_bit_2 -BTO_0x2e_3EBW_bit_1 -BTO_0x2e_3EBW_bit0 -BTO_0x2e_3EBW_bit1 -BTO_0x2e_3EBW_bit2 -BTO_0x2e_3EBW_bit3 -BTO_0x2e_3EBW_bit4 -BTO_0x2e_3EBW_bit5 -BTO_0x2e_3EBW_bit6 -BTO_0x2e_3EBW_bit7 -BTO_0x2e_3EBW_bit8 -BTO_0x2e_3EBW_bit9 -BTO_0x2e_3EBW_bit10 -BTO_0x2e_3EBW_bit11 -BTO_0x2e_3EBW_bit12 -QVO73PBW_bit_7 -QVO73PBW_bit_6 -QVO73PBW_bit_5 -QVO73PBW_bit_4 -QVO73PBW_bit_3 -QVO73PBW_bit_2 -QVO73PBW_bit_1 -QVO73PBW_bit0 -QVO73PBW_bit1 -QVO73PBW_bit2 -QVO73PBW_bit3 -QVO73PBW_bit4 -QVO73PBW_bit5 -QVO73PBW_bit6 -QVO73PBW_bit7 -QVO73PBW_bit8 -QVO73PBW_bit9 -QVO73PBW_bit10 -QVO73PBW_bit11 -QVO73PBW_bit12 -BAL_0x2e_3PBW_bit_7 -BAL_0x2e_3PBW_bit_6 -BAL_0x2e_3PBW_bit_5 -BAL_0x2e_3PBW_bit_4 -BAL_0x2e_3PBW_bit_3 -BAL_0x2e_3PBW_bit_2 -BAL_0x2e_3PBW_bit_1 -BAL_0x2e_3PBW_bit0 -BAL_0x2e_3PBW_bit1 -BAL_0x2e_3PBW_bit2 -BAL_0x2e_3PBW_bit3 -BAL_0x2e_3PBW_bit4 -BAL_0x2e_3PBW_bit5 -BAL_0x2e_3PBW_bit6 -BAL_0x2e_3PBW_bit7 -BAL_0x2e_3PBW_bit8 -BAL_0x2e_3PBW_bit9 -BAL_0x2e_3PBW_bit10 -BAL_0x2e_3PBW_bit11 -BAL_0x2e_3PBW_bit12 -BHC_0x2e_3PBW_bit_7 -BHC_0x2e_3PBW_bit_6 -BHC_0x2e_3PBW_bit_5 -BHC_0x2e_3PBW_bit_4 -BHC_0x2e_3PBW_bit_3 -BHC_0x2e_3PBW_bit_2 -BHC_0x2e_3PBW_bit_1 -BHC_0x2e_3PBW_bit0 -BHC_0x2e_3PBW_bit1 -BHC_0x2e_3PBW_bit2 -BHC_0x2e_3PBW_bit3 -BHC_0x2e_3PBW_bit4 -BHC_0x2e_3PBW_bit5 -BHC_0x2e_3PBW_bit6 -BHC_0x2e_3PBW_bit7 -BHC_0x2e_3PBW_bit8 -BHC_0x2e_3PBW_bit9 -BHC_0x2e_3PBW_bit10 -BHC_0x2e_3PBW_bit11 -BHC_0x2e_3PBW_bit12 -BLC_0x2e_3PBW_bit_7 -BLC_0x2e_3PBW_bit_6 -BLC_0x2e_3PBW_bit_5 -BLC_0x2e_3PBW_bit_4 -BLC_0x2e_3PBW_bit_3 -BLC_0x2e_3PBW_bit_2 -BLC_0x2e_3PBW_bit_1 -BLC_0x2e_3PBW_bit0 -BLC_0x2e_3PBW_bit1 -BLC_0x2e_3PBW_bit2 -BLC_0x2e_3PBW_bit3 -BLC_0x2e_3PBW_bit4 -BLC_0x2e_3PBW_bit5 -BLC_0x2e_3PBW_bit6 -BLC_0x2e_3PBW_bit7 -BLC_0x2e_3PBW_bit8 -BLC_0x2e_3PBW_bit9 -BLC_0x2e_3PBW_bit10 -BLC_0x2e_3PBW_bit11 -BLC_0x2e_3PBW_bit12 -BLV_0x2e_3PBW_bit_7 -BLV_0x2e_3PBW_bit_6 -BLV_0x2e_3PBW_bit_5 -BLV_0x2e_3PBW_bit_4 -BLV_0x2e_3PBW_bit_3 -BLV_0x2e_3PBW_bit_2 -BLV_0x2e_3PBW_bit_1 -BLV_0x2e_3PBW_bit0 -BLV_0x2e_3PBW_bit1 -BLV_0x2e_3PBW_bit2 -BLV_0x2e_3PBW_bit3 -BLV_0x2e_3PBW_bit4 -BLV_0x2e_3PBW_bit5 -BLV_0x2e_3PBW_bit6 -BLV_0x2e_3PBW_bit7 -BLV_0x2e_3PBW_bit8 -BLV_0x2e_3PBW_bit9 -BLV_0x2e_3PBW_bit10 -BLV_0x2e_3PBW_bit11 -BLV_0x2e_3PBW_bit12 -BN4_0x2e_3PBW_bit_7 -BN4_0x2e_3PBW_bit_6 -BN4_0x2e_3PBW_bit_5 -BN4_0x2e_3PBW_bit_4 -BN4_0x2e_3PBW_bit_3 -BN4_0x2e_3PBW_bit_2 -BN4_0x2e_3PBW_bit_1 -BN4_0x2e_3PBW_bit0 -BN4_0x2e_3PBW_bit1 -BN4_0x2e_3PBW_bit2 -BN4_0x2e_3PBW_bit3 -BN4_0x2e_3PBW_bit4 -BN4_0x2e_3PBW_bit5 -BN4_0x2e_3PBW_bit6 -BN4_0x2e_3PBW_bit7 -BN4_0x2e_3PBW_bit8 -BN4_0x2e_3PBW_bit9 -BN4_0x2e_3PBW_bit10 -BN4_0x2e_3PBW_bit11 -BN4_0x2e_3PBW_bit12 -BP8_0x2e_3PBW_bit_7 -BP8_0x2e_3PBW_bit_6 -BP8_0x2e_3PBW_bit_5 -BP8_0x2e_3PBW_bit_4 -BP8_0x2e_3PBW_bit_3 -BP8_0x2e_3PBW_bit_2 -BP8_0x2e_3PBW_bit_1 -BP8_0x2e_3PBW_bit0 -BP8_0x2e_3PBW_bit1 -BP8_0x2e_3PBW_bit2 -BP8_0x2e_3PBW_bit3 -BP8_0x2e_3PBW_bit4 -BP8_0x2e_3PBW_bit5 -BP8_0x2e_3PBW_bit6 -BP8_0x2e_3PBW_bit7 -BP8_0x2e_3PBW_bit8 -BP8_0x2e_3PBW_bit9 -BP8_0x2e_3PBW_bit10 -BP8_0x2e_3PBW_bit11 -BP8_0x2e_3PBW_bit12 -BTO_0x2e_3PBW_bit_7 -BTO_0x2e_3PBW_bit_6 -BTO_0x2e_3PBW_bit_5 -BTO_0x2e_3PBW_bit_4 -BTO_0x2e_3PBW_bit_3 -BTO_0x2e_3PBW_bit_2 -BTO_0x2e_3PBW_bit_1 -BTO_0x2e_3PBW_bit0 -BTO_0x2e_3PBW_bit1 -BTO_0x2e_3PBW_bit2 -BTO_0x2e_3PBW_bit3 -BTO_0x2e_3PBW_bit4 -BTO_0x2e_3PBW_bit5 -BTO_0x2e_3PBW_bit6 -BTO_0x2e_3PBW_bit7 -BTO_0x2e_3PBW_bit8 -BTO_0x2e_3PBW_bit9 -BTO_0x2e_3PBW_bit10 -BTO_0x2e_3PBW_bit11 -BTO_0x2e_3PBW_bit12 -QVO73RBW_bit_7 -QVO73RBW_bit_6 -QVO73RBW_bit_5 -QVO73RBW_bit_4 -QVO73RBW_bit_3 -QVO73RBW_bit_2 -QVO73RBW_bit_1 -QVO73RBW_bit0 -QVO73RBW_bit1 -QVO73RBW_bit2 -QVO73RBW_bit3 -QVO73RBW_bit4 -QVO73RBW_bit5 -QVO73RBW_bit6 -QVO73RBW_bit7 -QVO73RBW_bit8 -QVO73RBW_bit9 -QVO73RBW_bit10 -QVO73RBW_bit11 -QVO73RBW_bit12 -BAL_0x2e_3RBW_bit_7 -BAL_0x2e_3RBW_bit_6 -BAL_0x2e_3RBW_bit_5 -BAL_0x2e_3RBW_bit_4 -BAL_0x2e_3RBW_bit_3 -BAL_0x2e_3RBW_bit_2 -BAL_0x2e_3RBW_bit_1 -BAL_0x2e_3RBW_bit0 -BAL_0x2e_3RBW_bit1 -BAL_0x2e_3RBW_bit2 -BAL_0x2e_3RBW_bit3 -BAL_0x2e_3RBW_bit4 -BAL_0x2e_3RBW_bit5 -BAL_0x2e_3RBW_bit6 -BAL_0x2e_3RBW_bit7 -BAL_0x2e_3RBW_bit8 -BAL_0x2e_3RBW_bit9 -BAL_0x2e_3RBW_bit10 -BAL_0x2e_3RBW_bit11 -BAL_0x2e_3RBW_bit12 -BHC_0x2e_3RBW_bit_7 -BHC_0x2e_3RBW_bit_6 -BHC_0x2e_3RBW_bit_5 -BHC_0x2e_3RBW_bit_4 -BHC_0x2e_3RBW_bit_3 -BHC_0x2e_3RBW_bit_2 -BHC_0x2e_3RBW_bit_1 -BHC_0x2e_3RBW_bit0 -BHC_0x2e_3RBW_bit1 -BHC_0x2e_3RBW_bit2 -BHC_0x2e_3RBW_bit3 -BHC_0x2e_3RBW_bit4 -BHC_0x2e_3RBW_bit5 -BHC_0x2e_3RBW_bit6 -BHC_0x2e_3RBW_bit7 -BHC_0x2e_3RBW_bit8 -BHC_0x2e_3RBW_bit9 -BHC_0x2e_3RBW_bit10 -BHC_0x2e_3RBW_bit11 -BHC_0x2e_3RBW_bit12 -BLC_0x2e_3RBW_bit_7 -BLC_0x2e_3RBW_bit_6 -BLC_0x2e_3RBW_bit_5 -BLC_0x2e_3RBW_bit_4 -BLC_0x2e_3RBW_bit_3 -BLC_0x2e_3RBW_bit_2 -BLC_0x2e_3RBW_bit_1 -BLC_0x2e_3RBW_bit0 -BLC_0x2e_3RBW_bit1 -BLC_0x2e_3RBW_bit2 -BLC_0x2e_3RBW_bit3 -BLC_0x2e_3RBW_bit4 -BLC_0x2e_3RBW_bit5 -BLC_0x2e_3RBW_bit6 -BLC_0x2e_3RBW_bit7 -BLC_0x2e_3RBW_bit8 -BLC_0x2e_3RBW_bit9 -BLC_0x2e_3RBW_bit10 -BLC_0x2e_3RBW_bit11 -BLC_0x2e_3RBW_bit12 -BLV_0x2e_3RBW_bit_7 -BLV_0x2e_3RBW_bit_6 -BLV_0x2e_3RBW_bit_5 -BLV_0x2e_3RBW_bit_4 -BLV_0x2e_3RBW_bit_3 -BLV_0x2e_3RBW_bit_2 -BLV_0x2e_3RBW_bit_1 -BLV_0x2e_3RBW_bit0 -BLV_0x2e_3RBW_bit1 -BLV_0x2e_3RBW_bit2 -BLV_0x2e_3RBW_bit3 -BLV_0x2e_3RBW_bit4 -BLV_0x2e_3RBW_bit5 -BLV_0x2e_3RBW_bit6 -BLV_0x2e_3RBW_bit7 -BLV_0x2e_3RBW_bit8 -BLV_0x2e_3RBW_bit9 -BLV_0x2e_3RBW_bit10 -BLV_0x2e_3RBW_bit11 -BLV_0x2e_3RBW_bit12 -BN4_0x2e_3RBW_bit_7 -BN4_0x2e_3RBW_bit_6 -BN4_0x2e_3RBW_bit_5 -BN4_0x2e_3RBW_bit_4 -BN4_0x2e_3RBW_bit_3 -BN4_0x2e_3RBW_bit_2 -BN4_0x2e_3RBW_bit_1 -BN4_0x2e_3RBW_bit0 -BN4_0x2e_3RBW_bit1 -BN4_0x2e_3RBW_bit2 -BN4_0x2e_3RBW_bit3 -BN4_0x2e_3RBW_bit4 -BN4_0x2e_3RBW_bit5 -BN4_0x2e_3RBW_bit6 -BN4_0x2e_3RBW_bit7 -BN4_0x2e_3RBW_bit8 -BN4_0x2e_3RBW_bit9 -BN4_0x2e_3RBW_bit10 -BN4_0x2e_3RBW_bit11 -BN4_0x2e_3RBW_bit12 -BP8_0x2e_3RBW_bit_7 -BP8_0x2e_3RBW_bit_6 -BP8_0x2e_3RBW_bit_5 -BP8_0x2e_3RBW_bit_4 -BP8_0x2e_3RBW_bit_3 -BP8_0x2e_3RBW_bit_2 -BP8_0x2e_3RBW_bit_1 -BP8_0x2e_3RBW_bit0 -BP8_0x2e_3RBW_bit1 -BP8_0x2e_3RBW_bit2 -BP8_0x2e_3RBW_bit3 -BP8_0x2e_3RBW_bit4 -BP8_0x2e_3RBW_bit5 -BP8_0x2e_3RBW_bit6 -BP8_0x2e_3RBW_bit7 -BP8_0x2e_3RBW_bit8 -BP8_0x2e_3RBW_bit9 -BP8_0x2e_3RBW_bit10 -BP8_0x2e_3RBW_bit11 -BP8_0x2e_3RBW_bit12 -BTO_0x2e_3RBW_bit_7 -BTO_0x2e_3RBW_bit_6 -BTO_0x2e_3RBW_bit_5 -BTO_0x2e_3RBW_bit_4 -BTO_0x2e_3RBW_bit_3 -BTO_0x2e_3RBW_bit_2 -BTO_0x2e_3RBW_bit_1 -BTO_0x2e_3RBW_bit0 -BTO_0x2e_3RBW_bit1 -BTO_0x2e_3RBW_bit2 -BTO_0x2e_3RBW_bit3 -BTO_0x2e_3RBW_bit4 -BTO_0x2e_3RBW_bit5 -BTO_0x2e_3RBW_bit6 -BTO_0x2e_3RBW_bit7 -BTO_0x2e_3RBW_bit8 -BTO_0x2e_3RBW_bit9 -BTO_0x2e_3RBW_bit10 -BTO_0x2e_3RBW_bit11 -BTO_0x2e_3RBW_bit12 -QPB73EBW_bit_7 -QPB73EBW_bit_6 -QPB73EBW_bit_5 -QPB73EBW_bit_4 -QPB73EBW_bit_3 -QPB73EBW_bit_2 -QPB73EBW_bit_1 -QPB73EBW_bit0 -QPB73EBW_bit1 -QPB73EBW_bit2 -QPB73EBW_bit3 -QPB73EBW_bit4 -QPB73EBW_bit5 -QPB73EBW_bit6 -QPB73EBW_bit7 -QPB73EBW_bit8 -QPB73EBW_bit9 -QPB73EBW_bit10 -QPB73EBW_bit11 -QPB73EBW_bit12 -WMO73EBW_bit_7 -WMO73EBW_bit_6 -WMO73EBW_bit_5 -WMO73EBW_bit_4 -WMO73EBW_bit_3 -WMO73EBW_bit_2 -WMO73EBW_bit_1 -WMO73EBW_bit0 -WMO73EBW_bit1 -WMO73EBW_bit2 -WMO73EBW_bit3 -WMO73EBW_bit4 -WMO73EBW_bit5 -WMO73EBW_bit6 -WMO73EBW_bit7 -WMO73EBW_bit8 -WMO73EBW_bit9 -WMO73EBW_bit10 -WMO73EBW_bit11 -WMO73EBW_bit12 -QPB73RBW_bit_7 -QPB73RBW_bit_6 -QPB73RBW_bit_5 -QPB73RBW_bit_4 -QPB73RBW_bit_3 -QPB73RBW_bit_2 -QPB73RBW_bit_1 -QPB73RBW_bit0 -QPB73RBW_bit1 -QPB73RBW_bit2 -QPB73RBW_bit3 -QPB73RBW_bit4 -QPB73RBW_bit5 -QPB73RBW_bit6 -QPB73RBW_bit7 -QPB73RBW_bit8 -QPB73RBW_bit9 -QPB73RBW_bit10 -QPB73RBW_bit11 -QPB73RBW_bit12 -WMO73RBW_bit_7 -WMO73RBW_bit_6 -WMO73RBW_bit_5 -WMO73RBW_bit_4 -WMO73RBW_bit_3 -WMO73RBW_bit_2 -WMO73RBW_bit_1 -WMO73RBW_bit0 -WMO73RBW_bit1 -WMO73RBW_bit2 -WMO73RBW_bit3 -WMO73RBW_bit4 -WMO73RBW_bit5 -WMO73RBW_bit6 -WMO73RBW_bit7 -WMO73RBW_bit8 -WMO73RBW_bit9 -WMO73RBW_bit10 -WMO73RBW_bit11 -WMO73RBW_bit12 -WRO73EBW_bit_7 -WRO73EBW_bit_6 -WRO73EBW_bit_5 -WRO73EBW_bit_4 -WRO73EBW_bit_3 -WRO73EBW_bit_2 -WRO73EBW_bit_1 -WRO73EBW_bit0 -WRO73EBW_bit1 -WRO73EBW_bit2 -WRO73EBW_bit3 -WRO73EBW_bit4 -WRO73EBW_bit5 -WRO73EBW_bit6 -WRO73EBW_bit7 -WRO73EBW_bit8 -WRO73EBW_bit9 -WRO73EBW_bit10 -WRO73EBW_bit11 -WRO73EBW_bit12 -WRO73RBW_bit_7 -WRO73RBW_bit_6 -WRO73RBW_bit_5 -WRO73RBW_bit_4 -WRO73RBW_bit_3 -WRO73RBW_bit_2 -WRO73RBW_bit_1 -WRO73RBW_bit0 -WRO73RBW_bit1 -WRO73RBW_bit2 -WRO73RBW_bit3 -WRO73RBW_bit4 -WRO73RBW_bit5 -WRO73RBW_bit6 -WRO73RBW_bit7 -WRO73RBW_bit8 -WRO73RBW_bit9 -WRO73RBW_bit10 -WRO73RBW_bit11 -WRO73RBW_bit12 -WMO73PBW_bit_7 -WMO73PBW_bit_6 -WMO73PBW_bit_5 -WMO73PBW_bit_4 -WMO73PBW_bit_3 -WMO73PBW_bit_2 -WMO73PBW_bit_1 -WMO73PBW_bit0 -WMO73PBW_bit1 -WMO73PBW_bit2 -WMO73PBW_bit3 -WMO73PBW_bit4 -WMO73PBW_bit5 -WMO73PBW_bit6 -WMO73PBW_bit7 -WMO73PBW_bit8 -WMO73PBW_bit9 -WMO73PBW_bit10 -WMO73PBW_bit11 -WMO73PBW_bit12 -WRO73PBW_bit_7 -WRO73PBW_bit_6 -WRO73PBW_bit_5 -WRO73PBW_bit_4 -WRO73PBW_bit_3 -WRO73PBW_bit_2 -WRO73PBW_bit_1 -WRO73PBW_bit0 -WRO73PBW_bit1 -WRO73PBW_bit2 -WRO73PBW_bit3 -WRO73PBW_bit4 -WRO73PBW_bit5 -WRO73PBW_bit6 -WRO73PBW_bit7 -WRO73PBW_bit8 -WRO73PBW_bit9 -WRO73PBW_bit10 -WRO73PBW_bit11 -WRO73PBW_bit12 
c objective function=0
c Total CPU time (ms) : 1218.99

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/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800128150 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 39 3 38 16 0 23 0
[pid=13385] 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/13385
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=13386
New thread pid=13387
New thread pid=13388
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=13389
New thread pid=13390
New thread pid=13391
New thread pid=13392
New thread pid=13393
New thread pid=13394
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/wulflinc7/normalized-mps-v2-13-7-kb2.opb
New thread pid=13395
One traced child (pid=13395) exited with status: 0
New thread pid=13396

[startup+10.0018 s]
Raw data (loadavg): 1.09 1.02 0.99 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18224 4 1 0 703 44 0 0 25 0 11 0 1800128150 861421568 20620 4294967295 134512640 134569956 3221224336 3221214156 1076478603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210308 20620 13129 16 0 210292 0
[pid=13385] vsize: 841232
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (Kb) 841232

[startup+20.0025 s]
Raw data (loadavg): 1.07 1.02 0.99 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18237 4 1 0 1655 45 0 0 23 0 11 0 1800128150 860987392 20569 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210202 20569 13129 16 0 210186 0
[pid=13385] vsize: 840808
Current children cumulated CPU time (s) 17
Current children cumulated vsize (Kb) 840808

[startup+30.0031 s]
Raw data (loadavg): 1.06 1.01 0.99 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18248 4 1 0 2611 45 0 0 25 0 11 0 1800128150 860823552 20581 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 20581 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 26.56
Current children cumulated vsize (Kb) 840648

[startup+40.0038 s]
Raw data (loadavg): 1.05 1.01 0.99 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18259 4 1 0 3571 46 0 0 24 0 11 0 1800128150 860823552 20908 4294967295 134512640 134569956 3221224336 3221214552 1131454069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 20908 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 36.17
Current children cumulated vsize (Kb) 840648

[startup+50.0044 s]
Raw data (loadavg): 1.04 1.01 0.99 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18270 4 1 0 4556 47 0 0 18 0 11 0 1800128150 860823552 20961 4294967295 134512640 134569956 3221224336 3221214552 1131453462 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 20961 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 46.03
Current children cumulated vsize (Kb) 840648

[startup+60.005 s]
Raw data (loadavg): 1.12 1.03 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18281 4 1 0 5543 47 0 0 19 0 11 0 1800128150 860823552 20988 4294967295 134512640 134569956 3221224336 3221214648 1131507978 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 20988 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 55.9
Current children cumulated vsize (Kb) 840648

[startup+70.0056 s]
Raw data (loadavg): 1.10 1.03 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18292 4 1 0 6528 48 0 0 25 0 11 0 1800128150 860823552 21013 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21013 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 65.76
Current children cumulated vsize (Kb) 840648

[startup+80.0063 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18303 4 1 0 7514 48 0 0 25 0 11 0 1800128150 860823552 21036 4294967295 134512640 134569956 3221224336 3221214552 1131453109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21036 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 75.62
Current children cumulated vsize (Kb) 840648

[startup+90.007 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18314 4 1 0 8500 48 0 0 25 0 11 0 1800128150 860823552 21067 4294967295 134512640 134569956 3221224336 3221214552 1131453054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21067 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 85.48
Current children cumulated vsize (Kb) 840648

[startup+100.008 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18325 4 1 0 9487 49 0 0 25 0 11 0 1800128150 860823552 21091 4294967295 134512640 134569956 3221224336 3221214552 1131453653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21091 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 95.36
Current children cumulated vsize (Kb) 840648

[startup+110.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18336 4 1 0 10475 49 0 0 25 0 11 0 1800128150 860823552 21110 4294967295 134512640 134569956 3221224336 3221214552 1131453233 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21110 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 105.24
Current children cumulated vsize (Kb) 840648

[startup+120.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18347 4 1 0 11462 50 0 0 25 0 11 0 1800128150 860823552 21130 4294967295 134512640 134569956 3221224336 3221214552 1131453940 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21130 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 115.12
Current children cumulated vsize (Kb) 840648

[startup+130.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18358 4 1 0 12449 50 0 0 21 0 11 0 1800128150 860823552 21149 4294967295 134512640 134569956 3221224336 3221214552 1131453215 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21149 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 124.99
Current children cumulated vsize (Kb) 840648

[startup+140.01 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18369 4 1 0 13434 51 0 0 20 0 11 0 1800128150 860823552 21166 4294967295 134512640 134569956 3221224336 3221214648 1131508745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21166 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 134.85
Current children cumulated vsize (Kb) 840648

[startup+150.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18380 4 1 0 14419 51 0 0 25 0 11 0 1800128150 860823552 21185 4294967295 134512640 134569956 3221224336 3221214548 1131372832 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21185 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 144.7
Current children cumulated vsize (Kb) 840648

[startup+160.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18391 4 1 0 15404 52 0 0 25 0 11 0 1800128150 860823552 21224 4294967295 134512640 134569956 3221224336 3221214552 1131453021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21224 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 154.56
Current children cumulated vsize (Kb) 840648

[startup+170.011 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18402 4 1 0 16391 52 0 0 25 0 11 0 1800128150 860823552 21245 4294967295 134512640 134569956 3221224336 3221214552 1131453914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21245 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 164.43
Current children cumulated vsize (Kb) 840648

[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18413 4 1 0 17378 52 0 0 25 0 11 0 1800128150 860823552 21263 4294967295 134512640 134569956 3221224336 3221214796 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21263 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 174.3
Current children cumulated vsize (Kb) 840648

[startup+190.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18424 4 1 0 18366 53 0 0 25 0 11 0 1800128150 860823552 21283 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21283 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 184.19
Current children cumulated vsize (Kb) 840648

[startup+200.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18435 4 1 0 19355 53 0 0 25 0 11 0 1800128150 860823552 21293 4294967295 134512640 134569956 3221224336 3221214216 1131580064 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21293 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 194.08
Current children cumulated vsize (Kb) 840648

[startup+210.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18446 4 1 0 20343 54 0 0 25 0 11 0 1800128150 860823552 21303 4294967295 134512640 134569956 3221224336 3221214552 1131453054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21303 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (Kb) 840648

[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18457 4 1 0 21334 55 0 0 20 0 11 0 1800128150 860823552 21314 4294967295 134512640 134569956 3221224336 3221214552 1131453769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21314 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 213.89
Current children cumulated vsize (Kb) 840648

[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18469 4 1 0 22324 55 0 0 25 0 11 0 1800128150 860823552 21321 4294967295 134512640 134569956 3221224336 3221214552 1131453025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21321 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 223.79
Current children cumulated vsize (Kb) 840648

[startup+240.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18480 4 1 0 23314 55 0 0 25 0 11 0 1800128150 860823552 21327 4294967295 134512640 134569956 3221224336 3221214552 1131453036 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21327 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 233.69
Current children cumulated vsize (Kb) 840648

[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18491 4 1 0 24304 55 0 0 25 0 11 0 1800128150 860823552 21333 4294967295 134512640 134569956 3221224336 3221214552 1131453021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21333 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 243.59
Current children cumulated vsize (Kb) 840648

[startup+260.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18502 4 1 0 25294 56 0 0 25 0 11 0 1800128150 860823552 21340 4294967295 134512640 134569956 3221224336 3221214648 1131503889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21340 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 253.5
Current children cumulated vsize (Kb) 840648

[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18514 4 1 0 26283 56 0 0 25 0 11 0 1800128150 860823552 21346 4294967295 134512640 134569956 3221224336 3221214552 1131453498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21346 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 263.39
Current children cumulated vsize (Kb) 840648

[startup+280.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18525 4 1 0 27272 57 0 0 17 0 11 0 1800128150 860823552 21352 4294967295 134512640 134569956 3221224336 3221214648 1131507993 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21352 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 273.29
Current children cumulated vsize (Kb) 840648

[startup+290.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18536 4 1 0 28262 57 0 0 25 0 11 0 1800128150 860823552 21358 4294967295 134512640 134569956 3221224336 3221214464 1131372856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21358 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 283.19
Current children cumulated vsize (Kb) 840648

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18547 4 1 0 29250 58 0 0 18 0 11 0 1800128150 860823552 21364 4294967295 134512640 134569956 3221224336 3221214648 1131501950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21364 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 293.08
Current children cumulated vsize (Kb) 840648

[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18558 4 1 0 30240 58 0 0 25 0 11 0 1800128150 860823552 21370 4294967295 134512640 134569956 3221224336 3221214552 1131453223 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21370 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 302.98
Current children cumulated vsize (Kb) 840648

[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18569 4 1 0 31229 58 0 0 25 0 11 0 1800128150 860823552 21375 4294967295 134512640 134569956 3221224336 3221214528 1131618089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21375 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 312.87
Current children cumulated vsize (Kb) 840648

[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18580 4 1 0 32218 59 0 0 25 0 11 0 1800128150 860823552 21381 4294967295 134512640 134569956 3221224336 3221214552 1131454036 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21381 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 322.77
Current children cumulated vsize (Kb) 840648

[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18591 4 1 0 33207 59 0 0 25 0 11 0 1800128150 860823552 21387 4294967295 134512640 134569956 3221224336 3221214648 1131501709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21387 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 332.66
Current children cumulated vsize (Kb) 840648

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18602 4 1 0 34194 60 0 0 25 0 11 0 1800128150 860823552 21392 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21392 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 342.54
Current children cumulated vsize (Kb) 840648

[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13396
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18613 4 1 0 35180 60 0 0 25 0 11 0 1800128150 860823552 21397 4294967295 134512640 134569956 3221224336 3221214648 1131503754 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21397 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 352.4
Current children cumulated vsize (Kb) 840648

[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 3/69 13437
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18624 4 1 0 36164 66 0 0 25 0 11 0 1800128150 860823552 21429 4294967295 134512640 134569956 3221224336 3221214648 1131502988 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21429 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 362.3
Current children cumulated vsize (Kb) 840648

[startup+380.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18635 4 1 0 37144 73 0 0 25 0 11 0 1800128150 860823552 21439 4294967295 134512640 134569956 3221224336 3221214552 1131453703 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21439 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 372.17
Current children cumulated vsize (Kb) 840648

[startup+390.06 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18646 4 1 0 38133 74 0 0 25 0 11 0 1800128150 860823552 21446 4294967295 134512640 134569956 3221224336 3221214552 1131453029 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21446 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 382.07
Current children cumulated vsize (Kb) 840648

[startup+400.061 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18657 4 1 0 39121 74 0 0 25 0 11 0 1800128150 860823552 21451 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21451 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 391.95
Current children cumulated vsize (Kb) 840648

[startup+410.061 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18668 4 1 0 40110 75 0 0 25 0 11 0 1800128150 860823552 21457 4294967295 134512640 134569956 3221224336 3221214800 1131363929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21457 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 401.85
Current children cumulated vsize (Kb) 840648

[startup+420.062 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18680 4 1 0 41097 75 0 0 16 0 11 0 1800128150 860823552 21462 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21462 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 411.72
Current children cumulated vsize (Kb) 840648

[startup+430.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13451
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18691 4 1 0 42086 75 0 0 25 0 11 0 1800128150 860823552 21468 4294967295 134512640 134569956 3221224336 3221214552 1131454043 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21468 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 421.61
Current children cumulated vsize (Kb) 840648

[startup+440.062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18702 4 1 0 43073 76 0 0 17 0 11 0 1800128150 860823552 21472 4294967295 134512640 134569956 3221224336 3221214552 1131453920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21472 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 431.49
Current children cumulated vsize (Kb) 840648

[startup+450.063 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18713 4 1 0 44062 76 0 0 17 0 11 0 1800128150 860823552 21478 4294967295 134512640 134569956 3221224336 3221214552 1131453025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21478 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 441.38
Current children cumulated vsize (Kb) 840648

[startup+460.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18724 4 1 0 45050 77 0 0 17 0 11 0 1800128150 860823552 21483 4294967295 134512640 134569956 3221224336 3221214648 1131503821 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21483 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 451.27
Current children cumulated vsize (Kb) 840648

[startup+470.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18735 4 1 0 46038 77 0 0 25 0 11 0 1800128150 860823552 21488 4294967295 134512640 134569956 3221224336 3221214648 1131501687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21488 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 461.15
Current children cumulated vsize (Kb) 840648

[startup+480.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18746 4 1 0 47026 78 0 0 18 0 11 0 1800128150 860823552 21493 4294967295 134512640 134569956 3221224336 3221214552 1131453707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21493 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 471.04
Current children cumulated vsize (Kb) 840648

[startup+490.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18757 4 1 0 48013 79 0 0 18 0 11 0 1800128150 860823552 21497 4294967295 134512640 134569956 3221224336 3221214648 1131507993 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21497 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 480.92
Current children cumulated vsize (Kb) 840648

[startup+500.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18768 4 1 0 49001 80 0 0 25 0 11 0 1800128150 860823552 21502 4294967295 134512640 134569956 3221224336 3221214552 1131453454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21502 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 490.81
Current children cumulated vsize (Kb) 840648

[startup+510.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18779 4 1 0 49990 80 0 0 25 0 11 0 1800128150 860823552 21509 4294967295 134512640 134569956 3221224336 3221214648 1131502992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21509 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 500.7
Current children cumulated vsize (Kb) 840648

[startup+520.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18790 4 1 0 50977 81 0 0 25 0 11 0 1800128150 860823552 21514 4294967295 134512640 134569956 3221224336 3221214552 1131453963 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21514 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 510.58
Current children cumulated vsize (Kb) 840648

[startup+530.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18801 4 1 0 51965 81 0 0 25 0 11 0 1800128150 860823552 21518 4294967295 134512640 134569956 3221224336 3221214552 1131454059 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21518 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 520.46
Current children cumulated vsize (Kb) 840648

[startup+540.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18812 4 1 0 52952 81 0 0 19 0 11 0 1800128150 860823552 21523 4294967295 134512640 134569956 3221224336 3221214680 1131485034 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21523 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 530.33
Current children cumulated vsize (Kb) 840648

[startup+550.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18823 4 1 0 53940 82 0 0 19 0 11 0 1800128150 860823552 21528 4294967295 134512640 134569956 3221224336 3221214552 1131453133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21528 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 540.22
Current children cumulated vsize (Kb) 840648

[startup+560.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18834 4 1 0 54928 83 0 0 25 0 11 0 1800128150 860823552 21533 4294967295 134512640 134569956 3221224336 3221214552 1131453703 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21533 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 550.11
Current children cumulated vsize (Kb) 840648

[startup+570.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18845 4 1 0 55915 83 0 0 20 0 11 0 1800128150 860823552 21537 4294967295 134512640 134569956 3221224336 3221214552 1131453547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21537 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 840648

[startup+580.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18856 4 1 0 56902 84 0 0 21 0 11 0 1800128150 860823552 21541 4294967295 134512640 134569956 3221224336 3221214648 1131501950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21541 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 569.86
Current children cumulated vsize (Kb) 840648

[startup+590.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18867 4 1 0 57890 84 0 0 21 0 11 0 1800128150 860823552 21549 4294967295 134512640 134569956 3221224336 3221214648 1131503044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21549 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 579.74
Current children cumulated vsize (Kb) 840648

[startup+600.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18878 4 1 0 58877 85 0 0 25 0 11 0 1800128150 860823552 21555 4294967295 134512640 134569956 3221224336 3221214648 1131508717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21555 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 589.62
Current children cumulated vsize (Kb) 840648

[startup+610.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18889 4 1 0 59864 85 0 0 22 0 11 0 1800128150 860823552 21559 4294967295 134512640 134569956 3221224336 3221214616 1131479812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21559 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 599.49
Current children cumulated vsize (Kb) 840648

[startup+620.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18900 4 1 0 60852 86 0 0 25 0 11 0 1800128150 860823552 21564 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21564 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 609.38
Current children cumulated vsize (Kb) 840648

[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18911 4 1 0 61838 86 0 0 21 0 11 0 1800128150 860823552 21569 4294967295 134512640 134569956 3221224336 3221214552 1131453566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21569 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 619.24
Current children cumulated vsize (Kb) 840648

[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18922 4 1 0 62826 86 0 0 25 0 11 0 1800128150 860823552 21573 4294967295 134512640 134569956 3221224336 3221214552 1131453421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21573 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 629.12
Current children cumulated vsize (Kb) 840648

[startup+650.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18933 4 1 0 63813 87 0 0 22 0 11 0 1800128150 860823552 21578 4294967295 134512640 134569956 3221224336 3221214552 1131453025 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21578 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 639
Current children cumulated vsize (Kb) 840648

[startup+660.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18944 4 1 0 64800 87 0 0 25 0 11 0 1800128150 860823552 21582 4294967295 134512640 134569956 3221224336 3221214552 1131454074 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21582 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 648.87
Current children cumulated vsize (Kb) 840648

[startup+670.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18955 4 1 0 65786 88 0 0 21 0 11 0 1800128150 860823552 21587 4294967295 134512640 134569956 3221224336 3221214552 1131453547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21587 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 658.74
Current children cumulated vsize (Kb) 840648

[startup+680.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18966 4 1 0 66773 89 0 0 21 0 11 0 1800128150 860823552 21591 4294967295 134512640 134569956 3221224336 3221214464 1131373308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21591 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 668.62
Current children cumulated vsize (Kb) 840648

[startup+690.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18977 4 1 0 67760 89 0 0 22 0 11 0 1800128150 860823552 21595 4294967295 134512640 134569956 3221224336 3221214552 1131453566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21595 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 678.49
Current children cumulated vsize (Kb) 840648

[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18988 4 1 0 68746 89 0 0 25 0 11 0 1800128150 860823552 21600 4294967295 134512640 134569956 3221224336 3221214288 1131618089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21600 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 688.35
Current children cumulated vsize (Kb) 840648

[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 18999 4 1 0 69733 90 0 0 25 0 11 0 1800128150 860823552 21605 4294967295 134512640 134569956 3221224336 3221214648 1131507859 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21605 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 698.23
Current children cumulated vsize (Kb) 840648

[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13455
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19010 4 1 0 70719 90 0 0 21 0 11 0 1800128150 860823552 21609 4294967295 134512640 134569956 3221224336 3221214464 1131372897 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21609 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 708.09
Current children cumulated vsize (Kb) 840648

[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19021 4 1 0 71705 91 0 0 21 0 11 0 1800128150 860823552 21613 4294967295 134512640 134569956 3221224336 3221214648 1131501687 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21613 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 717.96
Current children cumulated vsize (Kb) 840648

[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19032 4 1 0 72693 91 0 0 21 0 11 0 1800128150 860823552 21617 4294967295 134512640 134569956 3221224336 3221214648 1131507982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21617 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 727.84
Current children cumulated vsize (Kb) 840648

[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19043 4 1 0 73679 92 0 0 25 0 11 0 1800128150 860823552 21621 4294967295 134512640 134569956 3221224336 3221214712 1131404800 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21621 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 737.71
Current children cumulated vsize (Kb) 840648

[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19054 4 1 0 74666 92 0 0 25 0 11 0 1800128150 860823552 21626 4294967295 134512640 134569956 3221224336 3221214648 1131501929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21626 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 747.58
Current children cumulated vsize (Kb) 840648

[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19065 4 1 0 75652 92 0 0 25 0 11 0 1800128150 860823552 21630 4294967295 134512640 134569956 3221224336 3221214680 1131484855 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21630 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 757.44
Current children cumulated vsize (Kb) 840648

[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19076 4 1 0 76638 93 0 0 25 0 11 0 1800128150 860823552 21634 4294967295 134512640 134569956 3221224336 3221214552 1131453391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21634 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 767.31
Current children cumulated vsize (Kb) 840648

[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19087 4 1 0 77625 93 0 0 25 0 11 0 1800128150 860823552 21638 4294967295 134512640 134569956 3221224336 3221214648 1131502903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21638 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 777.18
Current children cumulated vsize (Kb) 840648

[startup+800.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19098 4 1 0 78611 94 0 0 22 0 11 0 1800128150 860823552 21642 4294967295 134512640 134569956 3221224336 3221214648 1131501902 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21642 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 787.05
Current children cumulated vsize (Kb) 840648

[startup+810.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19109 4 1 0 79597 94 0 0 21 0 11 0 1800128150 860823552 21646 4294967295 134512640 134569956 3221224336 3221214552 1131453433 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21646 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 796.91
Current children cumulated vsize (Kb) 840648

[startup+820.077 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19120 4 1 0 80583 95 0 0 25 0 11 0 1800128150 860823552 21650 4294967295 134512640 134569956 3221224336 3221214296 1085806269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21650 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 806.78
Current children cumulated vsize (Kb) 840648

[startup+830.078 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19131 4 1 0 81569 95 0 0 23 0 11 0 1800128150 860823552 21654 4294967295 134512640 134569956 3221224336 3221214552 1131454069 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21654 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 816.64
Current children cumulated vsize (Kb) 840648

[startup+840.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19142 4 1 0 82555 96 0 0 23 0 11 0 1800128150 860823552 21658 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21658 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 826.51
Current children cumulated vsize (Kb) 840648

[startup+850.08 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19153 4 1 0 83541 96 0 0 23 0 11 0 1800128150 860823552 21663 4294967295 134512640 134569956 3221224336 3221214584 1131479802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21663 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 836.37
Current children cumulated vsize (Kb) 840648

[startup+860.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19165 4 1 0 84526 96 0 0 24 0 11 0 1800128150 860823552 21667 4294967295 134512640 134569956 3221224336 3221214552 1131453089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21667 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 846.22
Current children cumulated vsize (Kb) 840648

[startup+870.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19176 4 1 0 85512 97 0 0 25 0 11 0 1800128150 860823552 21671 4294967295 134512640 134569956 3221224336 3221214648 1131503038 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21671 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 856.09
Current children cumulated vsize (Kb) 840648

[startup+880.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19187 4 1 0 86498 97 0 0 24 0 11 0 1800128150 860823552 21675 4294967295 134512640 134569956 3221224336 3221214648 1131502849 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21675 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 865.95
Current children cumulated vsize (Kb) 840648

[startup+890.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19198 4 1 0 87483 98 0 0 17 0 11 0 1800128150 860823552 21678 4294967295 134512640 134569956 3221224336 3221214648 1131501891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21678 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 875.81
Current children cumulated vsize (Kb) 840648

[startup+900.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19209 4 1 0 88469 98 0 0 25 0 11 0 1800128150 860823552 21682 4294967295 134512640 134569956 3221224336 3221214552 1131453878 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21682 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 885.67
Current children cumulated vsize (Kb) 840648

[startup+910.081 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19220 4 1 0 89454 98 0 0 25 0 11 0 1800128150 860823552 21686 4294967295 134512640 134569956 3221224336 3221214552 1131453104 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21686 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 895.52
Current children cumulated vsize (Kb) 840648

[startup+920.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19231 4 1 0 90438 99 0 0 25 0 11 0 1800128150 860823552 21690 4294967295 134512640 134569956 3221224336 3221214648 1131501891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21690 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 905.37
Current children cumulated vsize (Kb) 840648

[startup+930.082 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19242 4 1 0 91419 99 0 0 25 0 11 0 1800128150 860823552 21704 4294967295 134512640 134569956 3221224336 3221214380 1131618249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21704 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 915.18
Current children cumulated vsize (Kb) 840648

[startup+940.083 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19253 4 1 0 92399 100 0 0 19 0 11 0 1800128150 860823552 21708 4294967295 134512640 134569956 3221224336 3221214552 1131453470 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21708 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 924.99
Current children cumulated vsize (Kb) 840648

[startup+950.084 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19264 4 1 0 93381 100 0 0 25 0 11 0 1800128150 860823552 21758 4294967295 134512640 134569956 3221224336 3221214552 1131453502 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21758 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 934.81
Current children cumulated vsize (Kb) 840648

[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19275 4 1 0 94365 101 0 0 25 0 11 0 1800128150 860823552 21776 4294967295 134512640 134569956 3221224336 3221214648 1131502992 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21776 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 944.66
Current children cumulated vsize (Kb) 840648

[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19286 4 1 0 95350 101 0 0 20 0 11 0 1800128150 860823552 21780 4294967295 134512640 134569956 3221224336 3221214552 1131453920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21780 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 954.51
Current children cumulated vsize (Kb) 840648

[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19297 4 1 0 96335 101 0 0 25 0 11 0 1800128150 860823552 21786 4294967295 134512640 134569956 3221224336 3221214648 1131501884 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21786 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 964.36
Current children cumulated vsize (Kb) 840648

[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19308 4 1 0 97320 102 0 0 21 0 11 0 1800128150 860823552 21789 4294967295 134512640 134569956 3221224336 3221214648 1131501891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21789 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 974.22
Current children cumulated vsize (Kb) 840648

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19319 4 1 0 98306 102 0 0 21 0 11 0 1800128150 860823552 21793 4294967295 134512640 134569956 3221224336 3221214552 1131453653 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21793 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 984.08
Current children cumulated vsize (Kb) 840648

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19330 4 1 0 99291 102 0 0 25 0 11 0 1800128150 860823552 21797 4294967295 134512640 134569956 3221224336 3221214552 1131453653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21797 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 993.93
Current children cumulated vsize (Kb) 840648

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19341 4 1 0 100276 103 0 0 22 0 11 0 1800128150 860823552 21801 4294967295 134512640 134569956 3221224336 3221214240 1131618223 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21801 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1003.79
Current children cumulated vsize (Kb) 840648

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19352 4 1 0 101261 103 0 0 25 0 11 0 1800128150 860823552 21804 4294967295 134512640 134569956 3221224336 3221214552 1131453929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21804 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1013.64
Current children cumulated vsize (Kb) 840648

[startup+1040.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19363 4 1 0 102244 104 0 0 23 0 11 0 1800128150 860823552 21808 4294967295 134512640 134569956 3221224336 3221214552 1131453100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21808 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1023.48
Current children cumulated vsize (Kb) 840648

[startup+1050.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19374 4 1 0 103228 104 0 0 24 0 11 0 1800128150 860823552 21812 4294967295 134512640 134569956 3221224336 3221214552 1131453393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21812 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1033.32
Current children cumulated vsize (Kb) 840648

[startup+1060.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19385 4 1 0 104211 104 0 0 25 0 11 0 1800128150 860823552 21820 4294967295 134512640 134569956 3221224336 3221214552 1131453657 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21820 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1043.15
Current children cumulated vsize (Kb) 840648

[startup+1070.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19396 4 1 0 105195 105 0 0 22 0 11 0 1800128150 860823552 21825 4294967295 134512640 134569956 3221224336 3221214464 1131372901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21825 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1053
Current children cumulated vsize (Kb) 840648

[startup+1080.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19407 4 1 0 106178 105 0 0 25 0 11 0 1800128150 860823552 21831 4294967295 134512640 134569956 3221224336 3221214648 1131501891 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21831 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1062.83
Current children cumulated vsize (Kb) 840648

[startup+1090.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19418 4 1 0 107160 106 0 0 25 0 11 0 1800128150 860823552 21839 4294967295 134512640 134569956 3221224336 3221214552 1131453044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21839 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1072.66
Current children cumulated vsize (Kb) 840648

[startup+1100.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19429 4 1 0 108143 107 0 0 25 0 11 0 1800128150 860823552 21848 4294967295 134512640 134569956 3221224336 3221214552 1131453633 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21848 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1082.5
Current children cumulated vsize (Kb) 840648

[startup+1110.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19440 4 1 0 109126 107 0 0 25 0 11 0 1800128150 860823552 21854 4294967295 134512640 134569956 3221224336 3221214552 1131453054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21854 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1092.33
Current children cumulated vsize (Kb) 840648

[startup+1120.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19452 4 1 0 110106 108 0 0 24 0 11 0 1800128150 860823552 21861 4294967295 134512640 134569956 3221224336 3221214552 1131453920 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21861 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1102.14
Current children cumulated vsize (Kb) 840648

[startup+1130.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19463 4 1 0 111087 109 0 0 25 0 11 0 1800128150 860823552 21866 4294967295 134512640 134569956 3221224336 3221214648 1131502978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21866 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1111.96
Current children cumulated vsize (Kb) 840648

[startup+1140.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19474 4 1 0 112071 109 0 0 18 0 11 0 1800128150 860823552 21883 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21883 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (Kb) 840648

[startup+1150.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19485 4 1 0 113056 109 0 0 25 0 11 0 1800128150 860823552 21888 4294967295 134512640 134569956 3221224336 3221214552 1131453473 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21888 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1131.65
Current children cumulated vsize (Kb) 840648

[startup+1160.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19496 4 1 0 114040 110 0 0 25 0 11 0 1800128150 860823552 21891 4294967295 134512640 134569956 3221224336 3221214648 1131507993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21891 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1141.5
Current children cumulated vsize (Kb) 840648

[startup+1170.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19507 4 1 0 115023 110 0 0 25 0 11 0 1800128150 860823552 21896 4294967295 134512640 134569956 3221224336 3221214552 1131453566 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21896 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1151.33
Current children cumulated vsize (Kb) 840648

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19518 4 1 0 116006 111 0 0 25 0 11 0 1800128150 860823552 21899 4294967295 134512640 134569956 3221224336 3221214552 1131453085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21899 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1161.17
Current children cumulated vsize (Kb) 840648

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19529 4 1 0 116989 112 0 0 23 0 11 0 1800128150 860823552 21903 4294967295 134512640 134569956 3221224336 3221214552 1131453054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21903 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1171.01
Current children cumulated vsize (Kb) 840648

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19541 4 1 0 117969 113 0 0 17 0 11 0 1800128150 860823552 21910 4294967295 134512640 134569956 3221224336 3221214552 1131453085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21910 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1180.82
Current children cumulated vsize (Kb) 840648

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19552 4 1 0 118952 113 0 0 24 0 11 0 1800128150 860823552 21914 4294967295 134512640 134569956 3221224336 3221214552 1131453107 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13385/statm): 210162 21914 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1190.65
Current children cumulated vsize (Kb) 840648

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19563 4 1 0 119935 113 0 0 24 0 11 0 1800128150 860823552 21919 4294967295 134512640 134569956 3221224336 3221214552 1131453435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21919 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1200.48
Current children cumulated vsize (Kb) 840648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13457
Raw data (/proc/13385/stat): 13385 (java) R 13384 13385 15400 0 -1 0 19563 4 1 0 119935 113 0 0 24 0 11 0 1800128150 860823552 21919 4294967295 134512640 134569956 3221224336 3221214552 1131453435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13385/statm): 210162 21919 13129 16 0 210146 0
[pid=13385] vsize: 840648
Current children cumulated CPU time (s) 1200.48
Current children cumulated vsize (Kb) 840648

Sending SIGTERM to -13385
Sleeping 2 seconds
New thread pid=13459
New thread pid=13460
One traced child (pid=13460) exited with status: 0
One traced child (pid=13394) exited with status: 0
One traced child (pid=13389) exited with status: 0
One traced child (pid=13386) exited with status: 143
One traced child (pid=13387) exited with status: 143
One traced child (pid=13393) exited with status: 143
One traced child (pid=13388) exited with status: 143
One traced child (pid=13390) exited with status: 143
One traced child (pid=13392) exited with status: 143
One traced child (pid=13396) exited with status: 143
One traced child (pid=13391) exited with status: 143
One traced child (pid=13459) exited with status: 143
One traced child (pid=13385) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.35
CPU time (s): 1215.84
CPU user time (s): 1213.95
CPU system time (s): 1.89071
CPU usage (%): 99.63
Max. virtual memory (cumulated for all children) (Kb): 841232

Verifier Data

Verifier:	OK	0