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/miplib3/normalized-mps-v2-13-7-rgn.opb
MD5SUMe7e8123aa394c0918878e05410d4daeb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67200
Optimality of the best value was proved NO
Number of terms in the objective function 920
Biggest coefficient in the objective function 24576
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 1986400
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3200000000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 29101875011
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.27
Number of variables1020
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint1
Maximum length of a constraint103

Trace number 8874

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-20 19:37:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6906 boxname=wulflinc3 idbench=1046 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e7e8123aa394c0918878e05410d4daeb  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 6906
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        776232 kB
Buffers:         32600 kB
Cached:         198940 kB
SwapCached:        816 kB
Active:         103744 kB
Inactive:       130444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775980 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18524 kB
Committed_AS:    72364 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 19:57:49 (client local time) WITH STATUS 143 IN 1236.27 SECONDS
stats: 6906 0 1236.27 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/wulflinc3/normalized-mps-v2-13-7-rgn.opb
c reading problem ... done. Time 1.509 ms.
c #vars     1020
c #constraints  124
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               67200 		Current CPU time: 6.96 ms
c starts		: 9
c conflicts		: 4605
c decisions		: 8390
c propagations		: 69611
c inspects		: 1221467
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 4605
c root simplifications	: 9
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 6458
c speed (decisions/second)	: 6.810656444999688
c non guided choices	1959
c random choices	0
s SATISFIABLE
v -TA1_bit_7 -TA1_bit_6 -TA1_bit_5 -TA1_bit_4 -TA1_bit_3 -TA1_bit_2 -TA1_bit_1 -TA1_bit0 -TA1_bit1 -TA1_bit2 -TA1_bit3 -TA1_bit4 -TA1_bit5 -TA1_bit6 -TA2_bit_7 -TA2_bit_6 -TA2_bit_5 -TA2_bit_4 -TA2_bit_3 -TA2_bit_2 -TA2_bit_1 -TA2_bit0 -TA2_bit1 -TA2_bit2 -TA2_bit3 -TA2_bit4 -TA2_bit5 -TA2_bit6 -TA3_bit_7 -TA3_bit_6 -TA3_bit_5 -TA3_bit_4 -TA3_bit_3 -TA3_bit_2 -TA3_bit_1 -TA3_bit0 -TA3_bit1 -TA3_bit2 -TA3_bit3 -TA3_bit4 -TA3_bit5 -TA3_bit6 -TA4_bit_7 -TA4_bit_6 -TA4_bit_5 -TA4_bit_4 -TA4_bit_3 -TA4_bit_2 -TA4_bit_1 -TA4_bit0 -TA4_bit1 -TA4_bit2 -TA4_bit3 -TA4_bit4 -TA4_bit5 -TA4_bit6 -TB1_bit_7 -TB1_bit_6 -TB1_bit_5 -TB1_bit_4 -TB1_bit_3 -TB1_bit_2 -TB1_bit_1 -TB1_bit0 -TB1_bit1 -TB1_bit2 -TB1_bit3 -TB1_bit4 -TB1_bit5 -TB1_bit6 -TB2_bit_7 -TB2_bit_6 -TB2_bit_5 -TB2_bit_4 -TB2_bit_3 -TB2_bit_2 -TB2_bit_1 -TB2_bit0 -TB2_bit1 -TB2_bit2 -TB2_bit3 -TB2_bit4 -TB2_bit5 -TB2_bit6 -TB3_bit_7 -TB3_bit_6 -TB3_bit_5 -TB3_bit_4 -TB3_bit_3 -TB3_bit_2 -TB3_bit_1 -TB3_bit0 -TB3_bit1 -TB3_bit2 -TB3_bit3 -TB3_bit4 -TB3_bit5 -TB3_bit6 -TB4_bit_7 -TB4_bit_6 -TB4_bit_5 -TB4_bit_4 -TB4_bit_3 -TB4_bit_2 -TB4_bit_1 -TB4_bit0 -TB4_bit1 -TB4_bit2 -TB4_bit3 -TB4_bit4 -TB4_bit5 -TB4_bit6 -TC1_bit_7 -TC1_bit_6 -TC1_bit_5 -TC1_bit_4 -TC1_bit_3 -TC1_bit_2 -TC1_bit_1 -TC1_bit0 -TC1_bit1 -TC1_bit2 -TC1_bit3 -TC1_bit4 -TC1_bit5 -TC1_bit6 -TC2_bit_7 -TC2_bit_6 -TC2_bit_5 -TC2_bit_4 -TC2_bit_3 -TC2_bit_2 -TC2_bit_1 -TC2_bit0 -TC2_bit1 -TC2_bit2 -TC2_bit3 -TC2_bit4 -TC2_bit5 -TC2_bit6 -TC3_bit_7 -TC3_bit_6 -TC3_bit_5 -TC3_bit_4 -TC3_bit_3 -TC3_bit_2 -TC3_bit_1 -TC3_bit0 -TC3_bit1 -TC3_bit2 -TC3_bit3 -TC3_bit4 -TC3_bit5 -TC3_bit6 -TC4_bit_7 -TC4_bit_6 -TC4_bit_5 -TC4_bit_4 -TC4_bit_3 -TC4_bit_2 -TC4_bit_1 -TC4_bit0 -TC4_bit1 -TC4_bit2 -TC4_bit3 -TC4_bit4 -TC4_bit5 -TC4_bit6 -TD1_bit_7 -TD1_bit_6 -TD1_bit_5 -TD1_bit_4 -TD1_bit_3 -TD1_bit_2 -TD1_bit_1 -TD1_bit0 -TD1_bit1 -TD1_bit2 -TD1_bit3 -TD1_bit4 -TD1_bit5 -TD1_bit6 -TD2_bit_7 -TD2_bit_6 -TD2_bit_5 -TD2_bit_4 -TD2_bit_3 -TD2_bit_2 -TD2_bit_1 -TD2_bit0 -TD2_bit1 -TD2_bit2 -TD2_bit3 -TD2_bit4 -TD2_bit5 -TD2_bit6 -TD3_bit_7 -TD3_bit_6 -TD3_bit_5 -TD3_bit_4 -TD3_bit_3 -TD3_bit_2 -TD3_bit_1 -TD3_bit0 -TD3_bit1 -TD3_bit2 -TD3_bit3 -TD3_bit4 -TD3_bit5 -TD3_bit6 -TD4_bit_7 -TD4_bit_6 -TD4_bit_5 -TD4_bit_4 -TD4_bit_3 -TD4_bit_2 -TD4_bit_1 -TD4_bit0 -TD4_bit1 -TD4_bit2 -TD4_bit3 -TD4_bit4 -TD4_bit5 -TD4_bit6 -TE1_bit_7 -TE1_bit_6 -TE1_bit_5 -TE1_bit_4 -TE1_bit_3 -TE1_bit_2 -TE1_bit_1 -TE1_bit0 -TE1_bit1 -TE1_bit2 -TE1_bit3 -TE1_bit4 -TE1_bit5 -TE1_bit6 -TE2_bit_7 -TE2_bit_6 -TE2_bit_5 -TE2_bit_4 -TE2_bit_3 -TE2_bit_2 -TE2_bit_1 -TE2_bit0 -TE2_bit1 -TE2_bit2 -TE2_bit3 -TE2_bit4 -TE2_bit5 -TE2_bit6 -TE3_bit_7 -TE3_bit_6 -TE3_bit_5 -TE3_bit_4 -TE3_bit_3 -TE3_bit_2 -TE3_bit_1 -TE3_bit0 -TE3_bit1 -TE3_bit2 -TE3_bit3 -TE3_bit4 -TE3_bit5 -TE3_bit6 -TE4_bit_7 -TE4_bit_6 -TE4_bit_5 -TE4_bit_4 -TE4_bit_3 -TE4_bit_2 -TE4_bit_1 -TE4_bit0 -TE4_bit1 -TE4_bit2 -TE4_bit3 -TE4_bit4 -TE4_bit5 -TE4_bit6 -UA1_bit_7 -UA1_bit_6 -UA1_bit_5 -UA1_bit_4 -UA1_bit_3 -UA1_bit_2 -UA1_bit_1 -UA1_bit0 -UA1_bit1 -UA2_bit_7 -UA2_bit_6 -UA2_bit_5 -UA2_bit_4 -UA2_bit_3 -UA2_bit_2 -UA2_bit_1 -UA2_bit0 -UA2_bit1 -UA3_bit_7 -UA3_bit_6 -UA3_bit_5 -UA3_bit_4 -UA3_bit_3 -UA3_bit_2 -UA3_bit_1 -UA3_bit0 -UA3_bit1 -UA4_bit_7 -UA4_bit_6 -UA4_bit_5 -UA4_bit_4 -UA4_bit_3 -UA4_bit_2 -UA4_bit_1 -UA4_bit0 -UA4_bit1 -UB1_bit_7 -UB1_bit_6 -UB1_bit_5 -UB1_bit_4 -UB1_bit_3 -UB1_bit_2 -UB1_bit_1 -UB1_bit0 -UB1_bit1 -UB2_bit_7 -UB2_bit_6 -UB2_bit_5 -UB2_bit_4 -UB2_bit_3 -UB2_bit_2 -UB2_bit_1 -UB2_bit0 -UB2_bit1 -UB3_bit_7 -UB3_bit_6 -UB3_bit_5 -UB3_bit_4 -UB3_bit_3 -UB3_bit_2 -UB3_bit_1 -UB3_bit0 -UB3_bit1 -UB4_bit_7 -UB4_bit_6 -UB4_bit_5 -UB4_bit_4 -UB4_bit_3 -UB4_bit_2 -UB4_bit_1 -UB4_bit0 -UB4_bit1 -UC1_bit_7 -UC1_bit_6 -UC1_bit_5 -UC1_bit_4 -UC1_bit_3 -UC1_bit_2 -UC1_bit_1 -UC1_bit0 -UC1_bit1 -UC2_bit_7 -UC2_bit_6 -UC2_bit_5 -UC2_bit_4 -UC2_bit_3 -UC2_bit_2 -UC2_bit_1 -UC2_bit0 -UC2_bit1 -UC3_bit_7 -UC3_bit_6 -UC3_bit_5 -UC3_bit_4 -UC3_bit_3 -UC3_bit_2 -UC3_bit_1 -UC3_bit0 -UC3_bit1 -UC4_bit_7 -UC4_bit_6 -UC4_bit_5 -UC4_bit_4 -UC4_bit_3 -UC4_bit_2 -UC4_bit_1 -UC4_bit0 -UC4_bit1 -UD1_bit_7 -UD1_bit_6 -UD1_bit_5 -UD1_bit_4 -UD1_bit_3 -UD1_bit_2 -UD1_bit_1 -UD1_bit0 -UD1_bit1 -UD2_bit_7 -UD2_bit_6 -UD2_bit_5 -UD2_bit_4 -UD2_bit_3 -UD2_bit_2 -UD2_bit_1 -UD2_bit0 -UD2_bit1 -UD3_bit_7 -UD3_bit_6 -UD3_bit_5 -UD3_bit_4 -UD3_bit_3 -UD3_bit_2 -UD3_bit_1 -UD3_bit0 -UD3_bit1 -UD4_bit_7 -UD4_bit_6 -UD4_bit_5 -UD4_bit_4 -UD4_bit_3 -UD4_bit_2 -UD4_bit_1 -UD4_bit0 -UD4_bit1 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -VA1_bit_7 -VA1_bit_6 -VA1_bit_5 -VA1_bit_4 -VA1_bit_3 -VA1_bit_2 -VA1_bit_1 -VA1_bit0 -VA1_bit1 -VA2_bit_7 -VA2_bit_6 -VA2_bit_5 -VA2_bit_4 -VA2_bit_3 -VA2_bit_2 -VA2_bit_1 -VA2_bit0 -VA2_bit1 -VA3_bit_7 -VA3_bit_6 -VA3_bit_5 -VA3_bit_4 -VA3_bit_3 -VA3_bit_2 -VA3_bit_1 -VA3_bit0 -VA3_bit1 -VA4_bit_7 -VA4_bit_6 -VA4_bit_5 -VA4_bit_4 -VA4_bit_3 -VA4_bit_2 -VA4_bit_1 -VA4_bit0 -VA4_bit1 -VB1_bit_7 -VB1_bit_6 -VB1_bit_5 -VB1_bit_4 -VB1_bit_3 -VB1_bit_2 -VB1_bit_1 -VB1_bit0 -VB1_bit1 -VB2_bit_7 -VB2_bit_6 -VB2_bit_5 -VB2_bit_4 -VB2_bit_3 -VB2_bit_2 -VB2_bit_1 -VB2_bit0 -VB2_bit1 -VB3_bit_7 -VB3_bit_6 -VB3_bit_5 -VB3_bit_4 -VB3_bit_3 -VB3_bit_2 -VB3_bit_1 -VB3_bit0 -VB3_bit1 -VB4_bit_7 -VB4_bit_6 -VB4_bit_5 -VB4_bit_4 -VB4_bit_3 -VB4_bit_2 -VB4_bit_1 -VB4_bit0 -VB4_bit1 -VC1_bit_7 -VC1_bit_6 -VC1_bit_5 -VC1_bit_4 -VC1_bit_3 -VC1_bit_2 -VC1_bit_1 -VC1_bit0 -VC1_bit1 -VC2_bit_7 -VC2_bit_6 -VC2_bit_5 -VC2_bit_4 -VC2_bit_3 -VC2_bit_2 -VC2_bit_1 -VC2_bit0 -VC2_bit1 -VC3_bit_7 -VC3_bit_6 -VC3_bit_5 -VC3_bit_4 -VC3_bit_3 -VC3_bit_2 -VC3_bit_1 -VC3_bit0 -VC3_bit1 -VC4_bit_7 -VC4_bit_6 -VC4_bit_5 -VC4_bit_4 -VC4_bit_3 -VC4_bit_2 -VC4_bit_1 -VC4_bit0 -VC4_bit1 -VD1_bit_7 -VD1_bit_6 -VD1_bit_5 -VD1_bit_4 -VD1_bit_3 -VD1_bit_2 -VD1_bit_1 -VD1_bit0 -VD1_bit1 -VD2_bit_7 -VD2_bit_6 -VD2_bit_5 -VD2_bit_4 -VD2_bit_3 -VD2_bit_2 -VD2_bit_1 -VD2_bit0 -VD2_bit1 -VD3_bit_7 -VD3_bit_6 -VD3_bit_5 -VD3_bit_4 -VD3_bit_3 -VD3_bit_2 -VD3_bit_1 -VD3_bit0 -VD3_bit1 -VD4_bit_7 -VD4_bit_6 -VD4_bit_5 -VD4_bit_4 -VD4_bit_3 -VD4_bit_2 -VD4_bit_1 -VD4_bit0 -VD4_bit1 -VE1_bit_7 -VE1_bit_6 -VE1_bit_5 -VE1_bit_4 -VE1_bit_3 -VE1_bit_2 -VE1_bit_1 -VE1_bit0 -VE1_bit1 -VE2_bit_7 -VE2_bit_6 -VE2_bit_5 -VE2_bit_4 -VE2_bit_3 -VE2_bit_2 -VE2_bit_1 -VE2_bit0 -VE2_bit1 -VE3_bit_7 -VE3_bit_6 -VE3_bit_5 -VE3_bit_4 -VE3_bit_3 -VE3_bit_2 -VE3_bit_1 -VE3_bit0 -VE3_bit1 -VE4_bit_7 -VE4_bit_6 -VE4_bit_5 -VE4_bit_4 -VE4_bit_3 -VE4_bit_2 -VE4_bit_1 -VE4_bit0 -VE4_bit1 -WA1_bit_7 -WA1_bit_6 -WA1_bit_5 -WA1_bit_4 -WA1_bit_3 -WA1_bit_2 WA1_bit_1 WA1_bit0 WA1_bit1 -WA1_bit2 -WA1_bit3 -WA1_bit4 -WA1_bit5 -WA1_bit6 -WA2_bit_7 -WA2_bit_6 -WA2_bit_5 -WA2_bit_4 -WA2_bit_3 -WA2_bit_2 -WA2_bit_1 WA2_bit0 WA2_bit1 WA2_bit2 -WA2_bit3 -WA2_bit4 -WA2_bit5 -WA2_bit6 -WA3_bit_7 -WA3_bit_6 -WA3_bit_5 -WA3_bit_4 -WA3_bit_3 -WA3_bit_2 WA3_bit_1 -WA3_bit0 WA3_bit1 -WA3_bit2 WA3_bit3 -WA3_bit4 -WA3_bit5 -WA3_bit6 -WA4_bit_7 -WA4_bit_6 -WA4_bit_5 -WA4_bit_4 -WA4_bit_3 -WA4_bit_2 -WA4_bit_1 -WA4_bit0 WA4_bit1 WA4_bit2 WA4_bit3 -WA4_bit4 -WA4_bit5 -WA4_bit6 -WB1_bit_7 -WB1_bit_6 -WB1_bit_5 -WB1_bit_4 -WB1_bit_3 -WB1_bit_2 WB1_bit_1 WB1_bit0 WB1_bit1 -WB1_bit2 -WB1_bit3 -WB1_bit4 -WB1_bit5 -WB1_bit6 -WB2_bit_7 -WB2_bit_6 -WB2_bit_5 -WB2_bit_4 -WB2_bit_3 -WB2_bit_2 -WB2_bit_1 WB2_bit0 WB2_bit1 WB2_bit2 -WB2_bit3 -WB2_bit4 -WB2_bit5 -WB2_bit6 -WB3_bit_7 -WB3_bit_6 -WB3_bit_5 -WB3_bit_4 -WB3_bit_3 -WB3_bit_2 WB3_bit_1 -WB3_bit0 WB3_bit1 -WB3_bit2 WB3_bit3 -WB3_bit4 -WB3_bit5 -WB3_bit6 -WB4_bit_7 -WB4_bit_6 -WB4_bit_5 -WB4_bit_4 -WB4_bit_3 -WB4_bit_2 -WB4_bit_1 -WB4_bit0 WB4_bit1 WB4_bit2 WB4_bit3 -WB4_bit4 -WB4_bit5 -WB4_bit6 -WC1_bit_7 -WC1_bit_6 -WC1_bit_5 -WC1_bit_4 -WC1_bit_3 -WC1_bit_2 WC1_bit_1 WC1_bit0 WC1_bit1 -WC1_bit2 -WC1_bit3 -WC1_bit4 -WC1_bit5 -WC1_bit6 -WC2_bit_7 -WC2_bit_6 -WC2_bit_5 -WC2_bit_4 -WC2_bit_3 -WC2_bit_2 -WC2_bit_1 WC2_bit0 WC2_bit1 WC2_bit2 -WC2_bit3 -WC2_bit4 -WC2_bit5 -WC2_bit6 -WC3_bit_7 -WC3_bit_6 -WC3_bit_5 -WC3_bit_4 -WC3_bit_3 -WC3_bit_2 WC3_bit_1 -WC3_bit0 WC3_bit1 -WC3_bit2 WC3_bit3 -WC3_bit4 -WC3_bit5 -WC3_bit6 -WC4_bit_7 -WC4_bit_6 -WC4_bit_5 -WC4_bit_4 -WC4_bit_3 -WC4_bit_2 -WC4_bit_1 -WC4_bit0 WC4_bit1 WC4_bit2 WC4_bit3 -WC4_bit4 -WC4_bit5 -WC4_bit6 -WD1_bit_7 -WD1_bit_6 -WD1_bit_5 -WD1_bit_4 -WD1_bit_3 -WD1_bit_2 WD1_bit_1 WD1_bit0 WD1_bit1 -WD1_bit2 -WD1_bit3 -WD1_bit4 -WD1_bit5 -WD1_bit6 -WD2_bit_7 -WD2_bit_6 -WD2_bit_5 -WD2_bit_4 -WD2_bit_3 -WD2_bit_2 -WD2_bit_1 WD2_bit0 WD2_bit1 WD2_bit2 -WD2_bit3 -WD2_bit4 -WD2_bit5 -WD2_bit6 -WD3_bit_7 -WD3_bit_6 -WD3_bit_5 -WD3_bit_4 -WD3_bit_3 -WD3_bit_2 WD3_bit_1 -WD3_bit0 WD3_bit1 -WD3_bit2 WD3_bit3 -WD3_bit4 -WD3_bit5 -WD3_bit6 -WD4_bit_7 -WD4_bit_6 -WD4_bit_5 -WD4_bit_4 -WD4_bit_3 -WD4_bit_2 -WD4_bit_1 -WD4_bit0 WD4_bit1 WD4_bit2 WD4_bit3 -WD4_bit4 -WD4_bit5 -WD4_bit6 -WE1_bit_7 -WE1_bit_6 -WE1_bit_5 -WE1_bit_4 -WE1_bit_3 -WE1_bit_2 WE1_bit_1 WE1_bit0 WE1_bit1 -WE1_bit2 -WE1_bit3 -WE1_bit4 -WE1_bit5 -WE1_bit6 -WE2_bit_7 -WE2_bit_6 -WE2_bit_5 -WE2_bit_4 -WE2_bit_3 -WE2_bit_2 -WE2_bit_1 WE2_bit0 WE2_bit1 WE2_bit2 -WE2_bit3 -WE2_bit4 -WE2_bit5 -WE2_bit6 -WE3_bit_7 -WE3_bit_6 -WE3_bit_5 -WE3_bit_4 -WE3_bit_3 -WE3_bit_2 WE3_bit_1 -WE3_bit0 WE3_bit1 -WE3_bit2 WE3_bit3 -WE3_bit4 -WE3_bit5 -WE3_bit6 -WE4_bit_7 -WE4_bit_6 -WE4_bit_5 -WE4_bit_4 -WE4_bit_3 -WE4_bit_2 -WE4_bit_1 -WE4_bit0 WE4_bit1 WE4_bit2 WE4_bit3 -WE4_bit4 -WE4_bit5 -WE4_bit6 -A1_bit0 -B1_bit0 -C1_bit0 -D1_bit0 -E1_bit0 -AB1_bit0 -AC1_bit0 -AD1_bit0 -AE1_bit0 -BC1_bit0 -BD1_bit0 -BE1_bit0 -CD1_bit0 -CE1_bit0 -DE1_bit0 -ABC1_bit0 -ABD1_bit0 -ABE1_bit0 -ACD1_bit0 -ACE1_bit0 -ADE1_bit0 -BCD1_bit0 -BCE1_bit0 -BDE1_bit0 -CDE1_bit0 -A2_bit0 -B2_bit0 -C2_bit0 -D2_bit0 -E2_bit0 -AB2_bit0 -AC2_bit0 -AD2_bit0 -AE2_bit0 -BC2_bit0 -BD2_bit0 -BE2_bit0 -CD2_bit0 -CE2_bit0 -DE2_bit0 -ABC2_bit0 -ABD2_bit0 -ABE2_bit0 -ACD2_bit0 -ACE2_bit0 -ADE2_bit0 -BCD2_bit0 -BCE2_bit0 -BDE2_bit0 -CDE2_bit0 -A3_bit0 -B3_bit0 -C3_bit0 -D3_bit0 -E3_bit0 -AB3_bit0 -AC3_bit0 -AD3_bit0 -AE3_bit0 -BC3_bit0 -BD3_bit0 -BE3_bit0 -CD3_bit0 -CE3_bit0 -DE3_bit0 -ABC3_bit0 -ABD3_bit0 -ABE3_bit0 -ACD3_bit0 -ACE3_bit0 -ADE3_bit0 -BCD3_bit0 -BCE3_bit0 -BDE3_bit0 -CDE3_bit0 -A4_bit0 -B4_bit0 -C4_bit0 -D4_bit0 -E4_bit0 -AB4_bit0 -AC4_bit0 -AD4_bit0 -AE4_bit0 -BC4_bit0 -BD4_bit0 -BE4_bit0 -CD4_bit0 -CE4_bit0 -DE4_bit0 -ABC4_bit0 -ABD4_bit0 -ABE4_bit0 -ACD4_bit0 -ACE4_bit0 -ADE4_bit0 -BCD4_bit0 -BCE4_bit0 -BDE4_bit0 -CDE4_bit0 
c objective function=67200
c Total CPU time (ms) : 1239.091

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/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802871418 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 39 3 38 16 0 23 0
[pid=13817] 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/13817
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=13818
New thread pid=13819
New thread pid=13820
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=13821
New thread pid=13822
New thread pid=13823
New thread pid=13824
New thread pid=13825
New thread pid=13826
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/wulflinc3/normalized-mps-v2-13-7-rgn.opb
New thread pid=13827
One traced child (pid=13827) exited with status: 0
New thread pid=13828

[startup+10.0028 s]
Raw data (loadavg): 1.09 1.02 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18173 3 1 0 675 48 0 0 25 0 11 0 1802871418 862117888 20826 4294967295 134512640 134569956 3221224336 3221214712 1131354791 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210478 20826 13129 16 0 210462 0
[pid=13817] vsize: 841912
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (Kb) 841912

[startup+20.0037 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18185 3 1 0 1615 49 0 0 24 0 11 0 1802871418 861597696 21451 4294967295 134512640 134569956 3221224336 3221214528 1131415954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 21451 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 16.64
Current children cumulated vsize (Kb) 841404

[startup+30.0045 s]
Raw data (loadavg): 1.07 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18193 3 1 0 2558 49 0 0 18 0 11 0 1802871418 861597696 21768 4294967295 134512640 134569956 3221224336 3221214616 1131488882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 21768 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 26.07
Current children cumulated vsize (Kb) 841404

[startup+40.0053 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18199 3 1 0 3502 49 0 0 25 0 11 0 1802871418 861597696 22264 4294967295 134512640 134569956 3221224336 3221214328 1076697494 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 22264 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 35.51
Current children cumulated vsize (Kb) 841404

[startup+50.0062 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18206 3 1 0 4451 49 0 0 17 0 11 0 1802871418 861597696 22268 4294967295 134512640 134569956 3221224336 3221214712 1131354641 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 22268 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 45
Current children cumulated vsize (Kb) 841404

[startup+60.007 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18212 3 1 0 5403 51 0 0 25 0 11 0 1802871418 861597696 22395 4294967295 134512640 134569956 3221224336 3221214504 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 22395 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 54.54
Current children cumulated vsize (Kb) 841404

[startup+70.0088 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18218 3 1 0 6347 51 0 0 23 0 11 0 1802871418 861597696 22644 4294967295 134512640 134569956 3221224336 3221214544 1131541287 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 22644 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (Kb) 841404

[startup+80.0097 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18226 3 1 0 7290 51 0 0 20 0 11 0 1802871418 861597696 22836 4294967295 134512640 134569956 3221224336 3221214600 1131488937 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 22836 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 73.41
Current children cumulated vsize (Kb) 841404

[startup+90.0105 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18234 3 1 0 8234 51 0 0 16 0 11 0 1802871418 861597696 23018 4294967295 134512640 134569956 3221224336 3221214696 1131402413 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 23018 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 82.85
Current children cumulated vsize (Kb) 841404

[startup+100.011 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18241 3 1 0 9191 52 0 0 25 0 11 0 1802871418 861597696 23215 4294967295 134512640 134569956 3221224336 3221214608 1131397797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 23215 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 92.43
Current children cumulated vsize (Kb) 841404

[startup+110.013 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18249 3 1 0 10150 53 0 0 25 0 11 0 1802871418 861597696 23414 4294967295 134512640 134569956 3221224336 3221214800 1131358681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 23414 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (Kb) 841404

[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18257 3 1 0 11119 53 0 0 25 0 11 0 1802871418 861597696 23560 4294967295 134512640 134569956 3221224336 3221214280 1131545442 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 23560 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 111.72
Current children cumulated vsize (Kb) 841404

[startup+130.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18265 3 1 0 12088 54 0 0 25 0 11 0 1802871418 861597696 23650 4294967295 134512640 134569956 3221224336 3221214608 1131397797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 23650 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 121.42
Current children cumulated vsize (Kb) 841404

[startup+140.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18273 3 1 0 13058 54 0 0 25 0 11 0 1802871418 861597696 23745 4294967295 134512640 134569956 3221224336 3221214600 1131489336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 23745 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 131.12
Current children cumulated vsize (Kb) 841404

[startup+150.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18281 3 1 0 14028 55 0 0 24 0 11 0 1802871418 861597696 23819 4294967295 134512640 134569956 3221224336 3221214600 1131488787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 23819 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 140.83
Current children cumulated vsize (Kb) 841404

[startup+160.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18288 3 1 0 15002 55 0 0 25 0 11 0 1802871418 861597696 23894 4294967295 134512640 134569956 3221224336 3221214504 1131415997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 23894 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 150.57
Current children cumulated vsize (Kb) 841404

[startup+170.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18296 3 1 0 15972 56 0 0 25 0 11 0 1802871418 861597696 23990 4294967295 134512640 134569956 3221224336 3221214696 1131402416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 23990 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 160.28
Current children cumulated vsize (Kb) 841404

[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18306 3 1 0 16940 56 0 0 16 0 11 0 1802871418 861597696 24073 4294967295 134512640 134569956 3221224336 3221214432 1131480919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 24073 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 841404

[startup+190.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18314 3 1 0 17910 56 0 0 19 0 11 0 1802871418 861597696 24145 4294967295 134512640 134569956 3221224336 3221214184 1131666820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 24145 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 179.66
Current children cumulated vsize (Kb) 841404

[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18321 3 1 0 18869 57 0 0 25 0 11 0 1802871418 861597696 24220 4294967295 134512640 134569956 3221224336 3221214584 1131397797 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 24220 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 189.26
Current children cumulated vsize (Kb) 841404

[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18329 3 1 0 19809 57 0 0 16 0 11 0 1802871418 861597696 24311 4294967295 134512640 134569956 3221224336 3221214472 1131541554 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 24311 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 198.66
Current children cumulated vsize (Kb) 841404

[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18336 3 1 0 20747 58 0 0 18 0 11 0 1802871418 861597696 24370 4294967295 134512640 134569956 3221224336 3221214688 1131354750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 24370 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 208.05
Current children cumulated vsize (Kb) 841404

[startup+230.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18343 3 1 0 21676 58 0 0 17 0 11 0 1802871418 861597696 24509 4294967295 134512640 134569956 3221224336 3221213288 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 24509 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 217.34
Current children cumulated vsize (Kb) 841404

[startup+240.022 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18352 3 1 0 22611 59 0 0 16 0 11 0 1802871418 861597696 24784 4294967295 134512640 134569956 3221224336 3221214440 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 24784 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 226.7
Current children cumulated vsize (Kb) 841404

[startup+250.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18359 3 1 0 23565 59 0 0 21 0 11 0 1802871418 861597696 24995 4294967295 134512640 134569956 3221224336 3221214440 1131415641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 24995 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 236.24
Current children cumulated vsize (Kb) 841404

[startup+260.024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18367 3 1 0 24526 59 0 0 16 0 11 0 1802871418 861597696 25227 4294967295 134512640 134569956 3221224336 3221214584 1131398433 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25227 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 245.85
Current children cumulated vsize (Kb) 841404

[startup+270.025 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18374 3 1 0 25503 60 0 0 25 0 11 0 1802871418 861597696 25386 4294967295 134512640 134569956 3221224336 3221214440 1131415997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 25386 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (Kb) 841404

[startup+280.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18382 3 1 0 26485 60 0 0 25 0 11 0 1802871418 861597696 25470 4294967295 134512640 134569956 3221224336 3221214504 1131358704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25470 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 265.45
Current children cumulated vsize (Kb) 841404

[startup+290.026 s]
Raw data (loadavg): 1.11 1.03 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18390 3 1 0 27467 61 0 0 25 0 11 0 1802871418 861597696 25516 4294967295 134512640 134569956 3221224336 3221214440 1131415997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25516 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 275.28
Current children cumulated vsize (Kb) 841404

[startup+300.026 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18399 3 1 0 28450 61 0 0 25 0 11 0 1802871418 861597696 25569 4294967295 134512640 134569956 3221224336 3221214512 1131483269 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25569 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 285.11
Current children cumulated vsize (Kb) 841404

[startup+310.027 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18407 3 1 0 29432 62 0 0 25 0 11 0 1802871418 861597696 25606 4294967295 134512640 134569956 3221224336 3221214584 1131358681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25606 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 294.94
Current children cumulated vsize (Kb) 841404

[startup+320.028 s]
Raw data (loadavg): 1.14 1.04 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18414 3 1 0 30417 62 0 0 25 0 11 0 1802871418 861597696 25646 4294967295 134512640 134569956 3221224336 3221214520 1131416024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25646 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 304.79
Current children cumulated vsize (Kb) 841404

[startup+330.029 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18423 3 1 0 31400 63 0 0 25 0 11 0 1802871418 861597696 25688 4294967295 134512640 134569956 3221224336 3221214520 1131416617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 25688 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 314.63
Current children cumulated vsize (Kb) 841404

[startup+340.029 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18433 3 1 0 32382 63 0 0 25 0 11 0 1802871418 861597696 25729 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 25729 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (Kb) 841404

[startup+350.029 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18441 3 1 0 33363 64 0 0 25 0 11 0 1802871418 861597696 25773 4294967295 134512640 134569956 3221224336 3221214520 1131415933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 25773 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 334.27
Current children cumulated vsize (Kb) 841404

[startup+360.031 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18449 3 1 0 34346 65 0 0 18 0 11 0 1802871418 861597696 25815 4294967295 134512640 134569956 3221224336 3221214616 1131646535 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25815 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 344.11
Current children cumulated vsize (Kb) 841404

[startup+370.031 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18457 3 1 0 35328 65 0 0 24 0 11 0 1802871418 861597696 25853 4294967295 134512640 134569956 3221224336 3221214616 1131646689 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25853 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 353.93
Current children cumulated vsize (Kb) 841404

[startup+380.031 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18464 3 1 0 36313 65 0 0 25 0 11 0 1802871418 861597696 25898 4294967295 134512640 134569956 3221224336 3221214608 1131488996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 25898 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 363.78
Current children cumulated vsize (Kb) 841404

[startup+390.033 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18472 3 1 0 37296 65 0 0 23 0 11 0 1802871418 861597696 25938 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25938 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 373.61
Current children cumulated vsize (Kb) 841404

[startup+400.032 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18480 3 1 0 38280 66 0 0 20 0 11 0 1802871418 861597696 25978 4294967295 134512640 134569956 3221224336 3221214376 1131587483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 25978 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 383.46
Current children cumulated vsize (Kb) 841404

[startup+410.033 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18488 3 1 0 39262 66 0 0 25 0 11 0 1802871418 861597696 26018 4294967295 134512640 134569956 3221224336 3221214512 1131482340 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26018 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 393.28
Current children cumulated vsize (Kb) 841404

[startup+420.035 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18496 3 1 0 40247 66 0 0 25 0 11 0 1802871418 861597696 26054 4294967295 134512640 134569956 3221224336 3221214616 1131646607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26054 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 403.13
Current children cumulated vsize (Kb) 841404

[startup+430.035 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18504 3 1 0 41230 66 0 0 25 0 11 0 1802871418 861597696 26096 4294967295 134512640 134569956 3221224336 3221214520 1131415724 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26096 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 412.96
Current children cumulated vsize (Kb) 841404

[startup+440.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18512 3 1 0 42213 67 0 0 23 0 11 0 1802871418 861597696 26133 4294967295 134512640 134569956 3221224336 3221214520 1131415997 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26133 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 422.8
Current children cumulated vsize (Kb) 841404

[startup+450.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18520 3 1 0 43195 67 0 0 25 0 11 0 1802871418 861597696 26174 4294967295 134512640 134569956 3221224336 3221214768 1131358681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26174 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 432.62
Current children cumulated vsize (Kb) 841404

[startup+460.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18528 3 1 0 44177 68 0 0 25 0 11 0 1802871418 861597696 26217 4294967295 134512640 134569956 3221224336 3221214520 1131415906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26217 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 442.45
Current children cumulated vsize (Kb) 841404

[startup+470.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18536 3 1 0 45160 68 0 0 24 0 11 0 1802871418 861597696 26254 4294967295 134512640 134569956 3221224336 3221214512 1131481486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26254 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 452.28
Current children cumulated vsize (Kb) 841404

[startup+480.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18543 3 1 0 46145 68 0 0 25 0 11 0 1802871418 861597696 26288 4294967295 134512640 134569956 3221224336 3221214520 1131415812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26288 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (Kb) 841404

[startup+490.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18551 3 1 0 47128 69 0 0 25 0 11 0 1802871418 861597696 26328 4294967295 134512640 134569956 3221224336 3221214512 1131481577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26328 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 471.97
Current children cumulated vsize (Kb) 841404

[startup+500.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18559 3 1 0 48110 69 0 0 25 0 11 0 1802871418 861597696 26365 4294967295 134512640 134569956 3221224336 3221214524 1131533811 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26365 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 481.79
Current children cumulated vsize (Kb) 841404

[startup+510.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18567 3 1 0 49092 69 0 0 25 0 11 0 1802871418 861597696 26405 4294967295 134512640 134569956 3221224336 3221214520 1131415952 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26405 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 841404

[startup+520.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18575 3 1 0 50074 69 0 0 24 0 11 0 1802871418 861597696 26447 4294967295 134512640 134569956 3221224336 3221214512 1131480919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26447 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 501.43
Current children cumulated vsize (Kb) 841404

[startup+530.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18582 3 1 0 51059 70 0 0 25 0 11 0 1802871418 861597696 26485 4294967295 134512640 134569956 3221224336 3221214608 1131489628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26485 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 511.29
Current children cumulated vsize (Kb) 841404

[startup+540.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18590 3 1 0 52041 70 0 0 25 0 11 0 1802871418 861597696 26523 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26523 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 521.11
Current children cumulated vsize (Kb) 841404

[startup+550.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18598 3 1 0 53023 70 0 0 25 0 11 0 1802871418 861597696 26564 4294967295 134512640 134569956 3221224336 3221214520 1131415863 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26564 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 530.93
Current children cumulated vsize (Kb) 841404

[startup+560.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18606 3 1 0 54004 71 0 0 18 0 11 0 1802871418 861597696 26602 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26602 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 540.75
Current children cumulated vsize (Kb) 841404

[startup+570.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18614 3 1 0 54984 71 0 0 25 0 11 0 1802871418 861597696 26645 4294967295 134512640 134569956 3221224336 3221214584 1131397987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26645 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 550.55
Current children cumulated vsize (Kb) 841404

[startup+580.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18621 3 1 0 55968 71 0 0 25 0 11 0 1802871418 861597696 26681 4294967295 134512640 134569956 3221224336 3221214688 1131354641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26681 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 560.39
Current children cumulated vsize (Kb) 841404

[startup+590.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18629 3 1 0 56949 72 0 0 25 0 11 0 1802871418 861597696 26724 4294967295 134512640 134569956 3221224336 3221214520 1131416146 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26724 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 570.21
Current children cumulated vsize (Kb) 841404

[startup+600.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18637 3 1 0 57930 72 0 0 25 0 11 0 1802871418 861597696 26767 4294967295 134512640 134569956 3221224336 3221214264 1131662569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26767 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 841404

[startup+610.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18645 3 1 0 58912 72 0 0 25 0 11 0 1802871418 861597696 26804 4294967295 134512640 134569956 3221224336 3221214520 1131415984 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26804 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 589.84
Current children cumulated vsize (Kb) 841404

[startup+620.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18653 3 1 0 59893 73 0 0 17 0 11 0 1802871418 861597696 26846 4294967295 134512640 134569956 3221224336 3221214584 1131397804 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26846 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 599.66
Current children cumulated vsize (Kb) 841404

[startup+630.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18660 3 1 0 60877 73 0 0 25 0 11 0 1802871418 861597696 26882 4294967295 134512640 134569956 3221224336 3221214736 1131405418 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26882 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 609.5
Current children cumulated vsize (Kb) 841404

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18668 3 1 0 61859 73 0 0 23 0 11 0 1802871418 861597696 26917 4294967295 134512640 134569956 3221224336 3221214672 1131402799 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26917 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 619.32
Current children cumulated vsize (Kb) 841404

[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18676 3 1 0 62841 74 0 0 22 0 11 0 1802871418 861597696 26958 4294967295 134512640 134569956 3221224336 3221214512 1131481410 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 26958 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 629.15
Current children cumulated vsize (Kb) 841404

[startup+660.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18683 3 1 0 63823 75 0 0 25 0 11 0 1802871418 861597696 26992 4294967295 134512640 134569956 3221224336 3221214520 1131416195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 26992 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 638.98
Current children cumulated vsize (Kb) 841404

[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18691 3 1 0 64798 75 0 0 18 0 11 0 1802871418 861597696 27030 4294967295 134512640 134569956 3221224336 3221214520 1131416382 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27030 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 648.73
Current children cumulated vsize (Kb) 841404

[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18698 3 1 0 65773 75 0 0 25 0 11 0 1802871418 861597696 27063 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27063 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 658.48
Current children cumulated vsize (Kb) 841404

[startup+690.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18706 3 1 0 66739 76 0 0 25 0 11 0 1802871418 861597696 27099 4294967295 134512640 134569956 3221224336 3221214520 1131416588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27099 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 668.15
Current children cumulated vsize (Kb) 841404

[startup+700.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18714 3 1 0 67703 76 0 0 17 0 11 0 1802871418 861597696 27157 4294967295 134512640 134569956 3221224336 3221214604 1131415628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27157 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 677.79
Current children cumulated vsize (Kb) 841404

[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18722 3 1 0 68671 77 0 0 25 0 11 0 1802871418 861597696 27253 4294967295 134512640 134569956 3221224336 3221214584 1131358716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27253 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 687.48
Current children cumulated vsize (Kb) 841404

[startup+720.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18730 3 1 0 69635 77 0 0 25 0 11 0 1802871418 861597696 27355 4294967295 134512640 134569956 3221224336 3221214592 1131585651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27355 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 697.12
Current children cumulated vsize (Kb) 841404

[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18738 3 1 0 70600 77 0 0 19 0 11 0 1802871418 861597696 27429 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27429 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 706.77
Current children cumulated vsize (Kb) 841404

[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18746 3 1 0 71568 78 0 0 24 0 11 0 1802871418 861597696 27539 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27539 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 716.46
Current children cumulated vsize (Kb) 841404

[startup+750.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18753 3 1 0 72542 78 0 0 24 0 11 0 1802871418 861597696 27622 4294967295 134512640 134569956 3221224336 3221214576 1131388958 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27622 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 726.2
Current children cumulated vsize (Kb) 841404

[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18761 3 1 0 73515 78 0 0 17 0 11 0 1802871418 861597696 27702 4294967295 134512640 134569956 3221224336 3221214608 1131489624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27702 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 735.93
Current children cumulated vsize (Kb) 841404

[startup+770.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18769 3 1 0 74489 79 0 0 25 0 11 0 1802871418 861597696 27777 4294967295 134512640 134569956 3221224336 3221214520 1131416617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27777 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 745.68
Current children cumulated vsize (Kb) 841404

[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18777 3 1 0 75463 79 0 0 24 0 11 0 1802871418 861597696 27829 4294967295 134512640 134569956 3221224336 3221214376 1131662695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27829 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 755.42
Current children cumulated vsize (Kb) 841404

[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18784 3 1 0 76439 80 0 0 25 0 11 0 1802871418 861597696 27872 4294967295 134512640 134569956 3221224336 3221214672 1131402622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 27872 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 765.19
Current children cumulated vsize (Kb) 841404

[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18792 3 1 0 77410 80 0 0 25 0 11 0 1802871418 861597696 27944 4294967295 134512640 134569956 3221224336 3221214520 1131415690 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 27944 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 774.9
Current children cumulated vsize (Kb) 841404

[startup+810.072 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18800 3 1 0 78382 80 0 0 18 0 11 0 1802871418 861597696 28006 4294967295 134512640 134569956 3221224336 3221214520 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28006 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 784.62
Current children cumulated vsize (Kb) 841404

[startup+820.073 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18808 3 1 0 79353 81 0 0 25 0 11 0 1802871418 861597696 28076 4294967295 134512640 134569956 3221224336 3221214584 1131397652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28076 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 794.34
Current children cumulated vsize (Kb) 841404

[startup+830.073 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18816 3 1 0 80324 81 0 0 25 0 11 0 1802871418 861597696 28153 4294967295 134512640 134569956 3221224336 3221214580 1131388519 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28153 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 804.05
Current children cumulated vsize (Kb) 841404

[startup+840.074 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18824 3 1 0 81295 82 0 0 25 0 11 0 1802871418 861597696 28224 4294967295 134512640 134569956 3221224336 3221214688 1131354726 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28224 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 813.77
Current children cumulated vsize (Kb) 841404

[startup+850.074 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18832 3 1 0 82268 82 0 0 24 0 11 0 1802871418 861597696 28316 4294967295 134512640 134569956 3221224336 3221214584 1131399004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28316 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 823.5
Current children cumulated vsize (Kb) 841404

[startup+860.078 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18840 3 1 0 83241 82 0 0 17 0 11 0 1802871418 861597696 28393 4294967295 134512640 134569956 3221224336 3221214496 1131507520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28393 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 833.23
Current children cumulated vsize (Kb) 841404

[startup+870.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18848 3 1 0 84216 83 0 0 25 0 11 0 1802871418 861597696 28468 4294967295 134512640 134569956 3221224336 3221214512 1131482294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28468 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 842.99
Current children cumulated vsize (Kb) 841404

[startup+880.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18856 3 1 0 85192 83 0 0 25 0 11 0 1802871418 861597696 28531 4294967295 134512640 134569956 3221224336 3221214584 1131358681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28531 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 852.75
Current children cumulated vsize (Kb) 841404

[startup+890.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18864 3 1 0 86168 84 0 0 16 0 11 0 1802871418 861597696 28600 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28600 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 862.52
Current children cumulated vsize (Kb) 841404

[startup+900.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18872 3 1 0 87144 84 0 0 25 0 11 0 1802871418 861597696 28641 4294967295 134512640 134569956 3221224336 3221213120 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28641 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 872.28
Current children cumulated vsize (Kb) 841404

[startup+910.083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18879 3 1 0 88117 84 0 0 25 0 11 0 1802871418 861597696 28704 4294967295 134512640 134569956 3221224336 3221214584 1131397875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28704 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (Kb) 841404

[startup+920.086 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18887 3 1 0 89090 84 0 0 25 0 11 0 1802871418 861597696 28764 4294967295 134512640 134569956 3221224336 3221214512 1131482392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28764 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 891.74
Current children cumulated vsize (Kb) 841404

[startup+930.087 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18895 3 1 0 90061 85 0 0 25 0 11 0 1802871418 861597696 28848 4294967295 134512640 134569956 3221224336 3221214576 1131388599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28848 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 901.46
Current children cumulated vsize (Kb) 841404

[startup+940.088 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18903 3 1 0 91035 85 0 0 22 0 11 0 1802871418 861597696 28918 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 28918 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 911.2
Current children cumulated vsize (Kb) 841404

[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18911 3 1 0 92007 85 0 0 22 0 11 0 1802871418 861597696 28987 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 28987 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 920.92
Current children cumulated vsize (Kb) 841404

[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18919 3 1 0 92979 85 0 0 21 0 11 0 1802871418 861597696 29057 4294967295 134512640 134569956 3221224336 3221214672 1131402805 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29057 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 930.64
Current children cumulated vsize (Kb) 841404

[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18927 3 1 0 93953 86 0 0 20 0 11 0 1802871418 861597696 29118 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29118 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 940.39
Current children cumulated vsize (Kb) 841404

[startup+980.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18935 3 1 0 94925 86 0 0 18 0 11 0 1802871418 861597696 29195 4294967295 134512640 134569956 3221224336 3221214512 1131481331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29195 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 950.11
Current children cumulated vsize (Kb) 841404

[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18943 3 1 0 95898 86 0 0 25 0 11 0 1802871418 861597696 29268 4294967295 134512640 134569956 3221224336 3221214544 1131662569 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29268 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 959.84
Current children cumulated vsize (Kb) 841404

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18948 3 1 0 96872 87 0 0 25 0 11 0 1802871418 861597696 29311 4294967295 134512640 134569956 3221224336 3221214520 1131416040 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29311 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 969.59
Current children cumulated vsize (Kb) 841404

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18949 3 1 0 97868 87 0 0 25 0 11 0 1802871418 861597696 29320 4294967295 134512640 134569956 3221224336 3221214128 1085806248 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29320 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 979.55
Current children cumulated vsize (Kb) 841404

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18955 3 1 0 98838 87 0 0 25 0 11 0 1802871418 861597696 29375 4294967295 134512640 134569956 3221224336 3221214584 1131397740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29375 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 989.25
Current children cumulated vsize (Kb) 841404

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18961 3 1 0 99804 87 0 0 25 0 11 0 1802871418 861597696 29423 4294967295 134512640 134569956 3221224336 3221214512 1131481632 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29423 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 998.91
Current children cumulated vsize (Kb) 841404

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18967 3 1 0 100766 87 0 0 25 0 11 0 1802871418 861597696 29474 4294967295 134512640 134569956 3221224336 3221214512 1131415954 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29474 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1008.53
Current children cumulated vsize (Kb) 841404

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18973 3 1 0 101725 87 0 0 25 0 11 0 1802871418 861597696 29524 4294967295 134512640 134569956 3221224336 3221214272 1131661292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29524 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1018.12
Current children cumulated vsize (Kb) 841404

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18979 3 1 0 102682 88 0 0 16 0 11 0 1802871418 861597696 29643 4294967295 134512640 134569956 3221224336 3221214672 1131402404 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29643 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1027.7
Current children cumulated vsize (Kb) 841404

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18985 3 1 0 103648 88 0 0 25 0 11 0 1802871418 861597696 29726 4294967295 134512640 134569956 3221224336 3221214688 1131354667 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29726 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1037.36
Current children cumulated vsize (Kb) 841404

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 18991 3 1 0 104606 89 0 0 21 0 11 0 1802871418 861597696 29840 4294967295 134512640 134569956 3221224336 3221214072 1131666672 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 29840 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1046.95
Current children cumulated vsize (Kb) 841404

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 18997 3 1 0 105564 89 0 0 25 0 11 0 1802871418 861597696 29934 4294967295 134512640 134569956 3221224336 3221213224 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 29934 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1056.53
Current children cumulated vsize (Kb) 841404

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19002 3 1 0 106524 89 0 0 25 0 11 0 1802871418 861597696 30044 4294967295 134512640 134569956 3221224336 3221214608 1131489585 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 30044 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1066.13
Current children cumulated vsize (Kb) 841404

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) S 13816 13817 31915 0 -1 0 19008 3 1 0 107483 89 0 0 25 0 11 0 1802871418 861597696 30160 4294967295 134512640 134569956 3221224336 3221213312 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 30160 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1075.72
Current children cumulated vsize (Kb) 841404

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19013 3 1 0 108436 90 0 0 22 0 11 0 1802871418 861597696 30292 4294967295 134512640 134569956 3221224336 3221214608 1131489217 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 30292 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1085.26
Current children cumulated vsize (Kb) 841404

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19019 3 1 0 109388 90 0 0 16 0 11 0 1802871418 861597696 30441 4294967295 134512640 134569956 3221224336 3221214580 1131057173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 30441 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1094.78
Current children cumulated vsize (Kb) 841404

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19024 3 1 0 110348 90 0 0 25 0 11 0 1802871418 861597696 30563 4294967295 134512640 134569956 3221224336 3221214688 1131354624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 30563 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1104.38
Current children cumulated vsize (Kb) 841404

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19030 3 1 0 111300 90 0 0 25 0 11 0 1802871418 861597696 30711 4294967295 134512640 134569956 3221224336 3221214512 1131481527 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 30711 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1113.9
Current children cumulated vsize (Kb) 841404

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19035 3 1 0 112261 91 0 0 25 0 11 0 1802871418 861597696 30835 4294967295 134512640 134569956 3221224336 3221214488 1131662506 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 30835 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1123.52
Current children cumulated vsize (Kb) 841404

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19041 3 1 0 113214 91 0 0 25 0 11 0 1802871418 861597696 30994 4294967295 134512640 134569956 3221224336 3221214672 1131402744 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 30994 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1133.05
Current children cumulated vsize (Kb) 841404

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19047 3 1 0 114168 91 0 0 24 0 11 0 1802871418 861597696 31142 4294967295 134512640 134569956 3221224336 3221214584 1131398013 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 31142 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1142.59
Current children cumulated vsize (Kb) 841404

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19053 3 1 0 115122 92 0 0 16 0 11 0 1802871418 861597696 31278 4294967295 134512640 134569956 3221224336 3221214188 1131358658 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 31278 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1152.14
Current children cumulated vsize (Kb) 841404

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19058 3 1 0 116084 92 0 0 25 0 11 0 1802871418 861597696 31391 4294967295 134512640 134569956 3221224336 3221214584 1131399267 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 31391 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1161.76
Current children cumulated vsize (Kb) 841404

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19064 3 1 0 117038 92 0 0 25 0 11 0 1802871418 861597696 31537 4294967295 134512640 134569956 3221224336 3221214672 1131402732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13817/statm): 210351 31537 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1171.3
Current children cumulated vsize (Kb) 841404

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19069 3 1 0 118000 92 0 0 25 0 11 0 1802871418 861597696 31655 4294967295 134512640 134569956 3221224336 3221214688 1131354617 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 31655 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1180.92
Current children cumulated vsize (Kb) 841404

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19075 3 1 0 118955 93 0 0 25 0 11 0 1802871418 861597696 31787 4294967295 134512640 134569956 3221224336 3221214264 1131662716 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 31787 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1190.48
Current children cumulated vsize (Kb) 841404

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19080 3 1 0 119917 93 0 0 25 0 11 0 1802871418 861597696 31904 4294967295 134512640 134569956 3221224336 3221214536 1131664597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 31904 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 841404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13828
Raw data (/proc/13817/stat): 13817 (java) R 13816 13817 31915 0 -1 0 19080 3 1 0 119917 93 0 0 25 0 11 0 1802871418 861597696 31904 4294967295 134512640 134569956 3221224336 3221214544 1131662569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13817/statm): 210351 31904 13129 16 0 210335 0
[pid=13817] vsize: 841404
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 841404

Sending SIGTERM to -13817
Sleeping 2 seconds
New thread pid=13830
New thread pid=13831
One traced child (pid=13831) exited with status: 0
One traced child (pid=13826) exited with status: 0
One traced child (pid=13821) exited with status: 0
One traced child (pid=13818) exited with status: 143
One traced child (pid=13820) exited with status: 143
One traced child (pid=13828) exited with status: 143
One traced child (pid=13824) exited with status: 143
One traced child (pid=13830) exited with status: 143
One traced child (pid=13819) exited with status: 143
One traced child (pid=13822) exited with status: 143
One traced child (pid=13823) exited with status: 143
One traced child (pid=13825) exited with status: 143
One traced child (pid=13817) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.48
CPU time (s): 1236.27
CPU user time (s): 1234.62
CPU system time (s): 1.65175
CPU usage (%): 99.6606
Max. virtual memory (cumulated for all children) (Kb): 841912

Verifier Data

Verifier:	OK	67200