Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
MD5SUMb964292d4197638ce79b3f213e8fe89b
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4696832
Optimality of the best value was proved NO
Number of terms in the objective function 1008
Biggest coefficient in the objective function 366477312
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 12643636975
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 366477312
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 12643636975
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables1008
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint1
Maximum length of a constraint160

Trace number 8766

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        805988 kB
Buffers:         34628 kB
Cached:         164464 kB
SwapCached:        692 kB
Active:          74052 kB
Inactive:       127644 kB
HighTotal:      131008 kB
HighFree:         7728 kB
LowTotal:       903652 kB
LowFree:        798260 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            21368 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:48:44 (client local time) WITH STATUS 143 IN 1223.5 SECONDS
stats: 6797 0 1223.5 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/wulflinc27/normalized-mps-v2-13-7-mod013.opb
c reading problem ... done. Time 1.971 ms.
c #vars     1008
c #constraints  76
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             7047031 		Current CPU time: 6.50 ms
c CURRENT OPTIMUM=             6875648 		Current CPU time: 9.92 ms
c CURRENT OPTIMUM=             6052608 		Current CPU time: 10.98 ms
c CURRENT OPTIMUM=             5892802 		Current CPU time: 39.87 ms
c starts		: 7
c conflicts		: 303
c decisions		: 8740
c propagations		: 44157
c inspects		: 1484475
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 303
c root simplifications	: 307
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5923
c speed (decisions/second)	: 7.413451767607795
c non guided choices	2291
c random choices	0
s SATISFIABLE
v -C1_0x2e__bit_7 -C1_0x2e__bit_6 -C1_0x2e__bit_5 -C1_0x2e__bit_4 -C1_0x2e__bit_3 -C1_0x2e__bit_2 -C1_0x2e__bit_1 -C1_0x2e__bit0 -C1_0x2e__bit1 -C1_0x2e__bit2 -C1_0x2e__bit3 -C1_0x2e__bit4 -C1_0x2e__bit5 -C1_0x2e__bit6 -C1_0x2e__bit7 -C1_0x2e__bit8 -C1_0x2e__bit9 -C1_0x2e__bit10 -C1_0x2e__bit11 -C1_0x2e__bit12 -C2_0x2e__bit_7 -C2_0x2e__bit_6 -C2_0x2e__bit_5 -C2_0x2e__bit_4 -C2_0x2e__bit_3 -C2_0x2e__bit_2 -C2_0x2e__bit_1 -C2_0x2e__bit0 C2_0x2e__bit1 C2_0x2e__bit2 C2_0x2e__bit3 C2_0x2e__bit4 -C2_0x2e__bit5 -C2_0x2e__bit6 -C2_0x2e__bit7 -C2_0x2e__bit8 -C2_0x2e__bit9 -C2_0x2e__bit10 -C2_0x2e__bit11 -C2_0x2e__bit12 -C3_0x2e__bit_7 -C3_0x2e__bit_6 -C3_0x2e__bit_5 -C3_0x2e__bit_4 -C3_0x2e__bit_3 -C3_0x2e__bit_2 -C3_0x2e__bit_1 -C3_0x2e__bit0 -C3_0x2e__bit1 -C3_0x2e__bit2 -C3_0x2e__bit3 -C3_0x2e__bit4 -C3_0x2e__bit5 -C3_0x2e__bit6 -C3_0x2e__bit7 -C3_0x2e__bit8 -C3_0x2e__bit9 -C3_0x2e__bit10 -C3_0x2e__bit11 -C3_0x2e__bit12 -C4_0x2e__bit_7 -C4_0x2e__bit_6 -C4_0x2e__bit_5 -C4_0x2e__bit_4 -C4_0x2e__bit_3 -C4_0x2e__bit_2 -C4_0x2e__bit_1 -C4_0x2e__bit0 -C4_0x2e__bit1 -C4_0x2e__bit2 -C4_0x2e__bit3 -C4_0x2e__bit4 -C4_0x2e__bit5 -C4_0x2e__bit6 -C4_0x2e__bit7 -C4_0x2e__bit8 -C4_0x2e__bit9 -C4_0x2e__bit10 -C4_0x2e__bit11 -C4_0x2e__bit12 -C5_0x2e__bit_7 C5_0x2e__bit_6 C5_0x2e__bit_5 C5_0x2e__bit_4 C5_0x2e__bit_3 C5_0x2e__bit_2 C5_0x2e__bit_1 C5_0x2e__bit0 -C5_0x2e__bit1 -C5_0x2e__bit2 C5_0x2e__bit3 -C5_0x2e__bit4 -C5_0x2e__bit5 -C5_0x2e__bit6 -C5_0x2e__bit7 -C5_0x2e__bit8 -C5_0x2e__bit9 -C5_0x2e__bit10 -C5_0x2e__bit11 -C5_0x2e__bit12 -C6_0x2e__bit_7 C6_0x2e__bit_6 -C6_0x2e__bit_5 -C6_0x2e__bit_4 -C6_0x2e__bit_3 -C6_0x2e__bit_2 -C6_0x2e__bit_1 C6_0x2e__bit0 -C6_0x2e__bit1 C6_0x2e__bit2 -C6_0x2e__bit3 -C6_0x2e__bit4 -C6_0x2e__bit5 -C6_0x2e__bit6 -C6_0x2e__bit7 -C6_0x2e__bit8 -C6_0x2e__bit9 -C6_0x2e__bit10 -C6_0x2e__bit11 -C6_0x2e__bit12 -C7_0x2e__bit_7 -C7_0x2e__bit_6 -C7_0x2e__bit_5 -C7_0x2e__bit_4 -C7_0x2e__bit_3 -C7_0x2e__bit_2 -C7_0x2e__bit_1 -C7_0x2e__bit0 -C7_0x2e__bit1 -C7_0x2e__bit2 -C7_0x2e__bit3 -C7_0x2e__bit4 -C7_0x2e__bit5 -C7_0x2e__bit6 -C7_0x2e__bit7 -C7_0x2e__bit8 -C7_0x2e__bit9 -C7_0x2e__bit10 -C7_0x2e__bit11 -C7_0x2e__bit12 -C8_0x2e__bit_7 -C8_0x2e__bit_6 -C8_0x2e__bit_5 -C8_0x2e__bit_4 -C8_0x2e__bit_3 -C8_0x2e__bit_2 -C8_0x2e__bit_1 -C8_0x2e__bit0 -C8_0x2e__bit1 -C8_0x2e__bit2 -C8_0x2e__bit3 -C8_0x2e__bit4 -C8_0x2e__bit5 -C8_0x2e__bit6 -C8_0x2e__bit7 -C8_0x2e__bit8 -C8_0x2e__bit9 -C8_0x2e__bit10 -C8_0x2e__bit11 -C8_0x2e__bit12 -C9_0x2e__bit_7 -C9_0x2e__bit_6 -C9_0x2e__bit_5 -C9_0x2e__bit_4 -C9_0x2e__bit_3 -C9_0x2e__bit_2 -C9_0x2e__bit_1 -C9_0x2e__bit0 -C9_0x2e__bit1 -C9_0x2e__bit2 -C9_0x2e__bit3 -C9_0x2e__bit4 -C9_0x2e__bit5 -C9_0x2e__bit6 -C9_0x2e__bit7 -C9_0x2e__bit8 -C9_0x2e__bit9 -C9_0x2e__bit10 -C9_0x2e__bit11 -C9_0x2e__bit12 -C10_0x2e__bit_7 -C10_0x2e__bit_6 -C10_0x2e__bit_5 -C10_0x2e__bit_4 -C10_0x2e__bit_3 -C10_0x2e__bit_2 -C10_0x2e__bit_1 -C10_0x2e__bit0 -C10_0x2e__bit1 -C10_0x2e__bit2 -C10_0x2e__bit3 -C10_0x2e__bit4 -C10_0x2e__bit5 -C10_0x2e__bit6 -C10_0x2e__bit7 -C10_0x2e__bit8 -C10_0x2e__bit9 -C10_0x2e__bit10 -C10_0x2e__bit11 -C10_0x2e__bit12 -C11_0x2e__bit_7 -C11_0x2e__bit_6 -C11_0x2e__bit_5 -C11_0x2e__bit_4 -C11_0x2e__bit_3 -C11_0x2e__bit_2 -C11_0x2e__bit_1 C11_0x2e__bit0 -C11_0x2e__bit1 -C11_0x2e__bit2 C11_0x2e__bit3 C11_0x2e__bit4 -C11_0x2e__bit5 -C11_0x2e__bit6 -C11_0x2e__bit7 -C11_0x2e__bit8 -C11_0x2e__bit9 -C11_0x2e__bit10 -C11_0x2e__bit11 -C11_0x2e__bit12 -C12_0x2e__bit_7 -C12_0x2e__bit_6 -C12_0x2e__bit_5 -C12_0x2e__bit_4 -C12_0x2e__bit_3 -C12_0x2e__bit_2 -C12_0x2e__bit_1 -C12_0x2e__bit0 -C12_0x2e__bit1 -C12_0x2e__bit2 -C12_0x2e__bit3 -C12_0x2e__bit4 -C12_0x2e__bit5 -C12_0x2e__bit6 -C12_0x2e__bit7 -C12_0x2e__bit8 -C12_0x2e__bit9 -C12_0x2e__bit10 -C12_0x2e__bit11 -C12_0x2e__bit12 -C13_0x2e__bit_7 -C13_0x2e__bit_6 -C13_0x2e__bit_5 -C13_0x2e__bit_4 -C13_0x2e__bit_3 -C13_0x2e__bit_2 -C13_0x2e__bit_1 -C13_0x2e__bit0 -C13_0x2e__bit1 -C13_0x2e__bit2 -C13_0x2e__bit3 -C13_0x2e__bit4 -C13_0x2e__bit5 -C13_0x2e__bit6 -C13_0x2e__bit7 -C13_0x2e__bit8 -C13_0x2e__bit9 -C13_0x2e__bit10 -C13_0x2e__bit11 -C13_0x2e__bit12 -C14_0x2e__bit_7 -C14_0x2e__bit_6 -C14_0x2e__bit_5 -C14_0x2e__bit_4 -C14_0x2e__bit_3 -C14_0x2e__bit_2 -C14_0x2e__bit_1 -C14_0x2e__bit0 -C14_0x2e__bit1 -C14_0x2e__bit2 -C14_0x2e__bit3 -C14_0x2e__bit4 -C14_0x2e__bit5 -C14_0x2e__bit6 -C14_0x2e__bit7 -C14_0x2e__bit8 -C14_0x2e__bit9 -C14_0x2e__bit10 -C14_0x2e__bit11 -C14_0x2e__bit12 -C15_0x2e__bit_7 -C15_0x2e__bit_6 -C15_0x2e__bit_5 -C15_0x2e__bit_4 -C15_0x2e__bit_3 -C15_0x2e__bit_2 -C15_0x2e__bit_1 -C15_0x2e__bit0 C15_0x2e__bit1 -C15_0x2e__bit2 C15_0x2e__bit3 -C15_0x2e__bit4 -C15_0x2e__bit5 -C15_0x2e__bit6 -C15_0x2e__bit7 -C15_0x2e__bit8 -C15_0x2e__bit9 -C15_0x2e__bit10 -C15_0x2e__bit11 -C15_0x2e__bit12 -C16_0x2e__bit_7 -C16_0x2e__bit_6 -C16_0x2e__bit_5 -C16_0x2e__bit_4 -C16_0x2e__bit_3 -C16_0x2e__bit_2 -C16_0x2e__bit_1 C16_0x2e__bit0 -C16_0x2e__bit1 C16_0x2e__bit2 -C16_0x2e__bit3 -C16_0x2e__bit4 -C16_0x2e__bit5 -C16_0x2e__bit6 -C16_0x2e__bit7 -C16_0x2e__bit8 -C16_0x2e__bit9 -C16_0x2e__bit10 -C16_0x2e__bit11 -C16_0x2e__bit12 -C17_0x2e__bit_7 -C17_0x2e__bit_6 -C17_0x2e__bit_5 -C17_0x2e__bit_4 -C17_0x2e__bit_3 -C17_0x2e__bit_2 -C17_0x2e__bit_1 C17_0x2e__bit0 -C17_0x2e__bit1 C17_0x2e__bit2 -C17_0x2e__bit3 -C17_0x2e__bit4 -C17_0x2e__bit5 -C17_0x2e__bit6 -C17_0x2e__bit7 -C17_0x2e__bit8 -C17_0x2e__bit9 -C17_0x2e__bit10 -C17_0x2e__bit11 -C17_0x2e__bit12 -C18_0x2e__bit_7 -C18_0x2e__bit_6 -C18_0x2e__bit_5 -C18_0x2e__bit_4 -C18_0x2e__bit_3 -C18_0x2e__bit_2 -C18_0x2e__bit_1 -C18_0x2e__bit0 -C18_0x2e__bit1 -C18_0x2e__bit2 -C18_0x2e__bit3 -C18_0x2e__bit4 -C18_0x2e__bit5 -C18_0x2e__bit6 -C18_0x2e__bit7 -C18_0x2e__bit8 -C18_0x2e__bit9 -C18_0x2e__bit10 -C18_0x2e__bit11 -C18_0x2e__bit12 -C19_0x2e__bit_7 -C19_0x2e__bit_6 -C19_0x2e__bit_5 -C19_0x2e__bit_4 -C19_0x2e__bit_3 -C19_0x2e__bit_2 -C19_0x2e__bit_1 -C19_0x2e__bit0 -C19_0x2e__bit1 -C19_0x2e__bit2 -C19_0x2e__bit3 -C19_0x2e__bit4 -C19_0x2e__bit5 -C19_0x2e__bit6 -C19_0x2e__bit7 -C19_0x2e__bit8 -C19_0x2e__bit9 -C19_0x2e__bit10 -C19_0x2e__bit11 -C19_0x2e__bit12 -C20_0x2e__bit_7 -C20_0x2e__bit_6 -C20_0x2e__bit_5 -C20_0x2e__bit_4 -C20_0x2e__bit_3 -C20_0x2e__bit_2 -C20_0x2e__bit_1 -C20_0x2e__bit0 -C20_0x2e__bit1 C20_0x2e__bit2 -C20_0x2e__bit3 C20_0x2e__bit4 -C20_0x2e__bit5 -C20_0x2e__bit6 -C20_0x2e__bit7 -C20_0x2e__bit8 -C20_0x2e__bit9 -C20_0x2e__bit10 -C20_0x2e__bit11 -C20_0x2e__bit12 C21_0x2e__bit_7 C21_0x2e__bit_6 C21_0x2e__bit_5 C21_0x2e__bit_4 -C21_0x2e__bit_3 -C21_0x2e__bit_2 -C21_0x2e__bit_1 C21_0x2e__bit0 -C21_0x2e__bit1 -C21_0x2e__bit2 -C21_0x2e__bit3 -C21_0x2e__bit4 -C21_0x2e__bit5 -C21_0x2e__bit6 -C21_0x2e__bit7 -C21_0x2e__bit8 -C21_0x2e__bit9 -C21_0x2e__bit10 -C21_0x2e__bit11 -C21_0x2e__bit12 C22_0x2e__bit_7 -C22_0x2e__bit_6 -C22_0x2e__bit_5 -C22_0x2e__bit_4 C22_0x2e__bit_3 C22_0x2e__bit_2 C22_0x2e__bit_1 C22_0x2e__bit0 C22_0x2e__bit1 -C22_0x2e__bit2 -C22_0x2e__bit3 -C22_0x2e__bit4 -C22_0x2e__bit5 -C22_0x2e__bit6 -C22_0x2e__bit7 -C22_0x2e__bit8 -C22_0x2e__bit9 -C22_0x2e__bit10 -C22_0x2e__bit11 -C22_0x2e__bit12 -C23_0x2e__bit_7 -C23_0x2e__bit_6 -C23_0x2e__bit_5 -C23_0x2e__bit_4 -C23_0x2e__bit_3 -C23_0x2e__bit_2 -C23_0x2e__bit_1 -C23_0x2e__bit0 -C23_0x2e__bit1 -C23_0x2e__bit2 -C23_0x2e__bit3 -C23_0x2e__bit4 -C23_0x2e__bit5 -C23_0x2e__bit6 -C23_0x2e__bit7 -C23_0x2e__bit8 -C23_0x2e__bit9 -C23_0x2e__bit10 -C23_0x2e__bit11 -C23_0x2e__bit12 -C24_0x2e__bit_7 -C24_0x2e__bit_6 -C24_0x2e__bit_5 -C24_0x2e__bit_4 -C24_0x2e__bit_3 -C24_0x2e__bit_2 -C24_0x2e__bit_1 -C24_0x2e__bit0 -C24_0x2e__bit1 -C24_0x2e__bit2 -C24_0x2e__bit3 -C24_0x2e__bit4 -C24_0x2e__bit5 -C24_0x2e__bit6 -C24_0x2e__bit7 -C24_0x2e__bit8 -C24_0x2e__bit9 -C24_0x2e__bit10 -C24_0x2e__bit11 -C24_0x2e__bit12 -C25_0x2e__bit_7 -C25_0x2e__bit_6 -C25_0x2e__bit_5 -C25_0x2e__bit_4 -C25_0x2e__bit_3 -C25_0x2e__bit_2 -C25_0x2e__bit_1 -C25_0x2e__bit0 -C25_0x2e__bit1 C25_0x2e__bit2 -C25_0x2e__bit3 C25_0x2e__bit4 -C25_0x2e__bit5 -C25_0x2e__bit6 -C25_0x2e__bit7 -C25_0x2e__bit8 -C25_0x2e__bit9 -C25_0x2e__bit10 -C25_0x2e__bit11 -C25_0x2e__bit12 -C26_0x2e__bit_7 -C26_0x2e__bit_6 -C26_0x2e__bit_5 -C26_0x2e__bit_4 -C26_0x2e__bit_3 -C26_0x2e__bit_2 -C26_0x2e__bit_1 -C26_0x2e__bit0 -C26_0x2e__bit1 -C26_0x2e__bit2 -C26_0x2e__bit3 -C26_0x2e__bit4 -C26_0x2e__bit5 -C26_0x2e__bit6 -C26_0x2e__bit7 -C26_0x2e__bit8 -C26_0x2e__bit9 -C26_0x2e__bit10 -C26_0x2e__bit11 -C26_0x2e__bit12 -C27_0x2e__bit_7 -C27_0x2e__bit_6 -C27_0x2e__bit_5 -C27_0x2e__bit_4 -C27_0x2e__bit_3 -C27_0x2e__bit_2 -C27_0x2e__bit_1 -C27_0x2e__bit0 -C27_0x2e__bit1 -C27_0x2e__bit2 -C27_0x2e__bit3 -C27_0x2e__bit4 -C27_0x2e__bit5 -C27_0x2e__bit6 -C27_0x2e__bit7 -C27_0x2e__bit8 -C27_0x2e__bit9 -C27_0x2e__bit10 -C27_0x2e__bit11 -C27_0x2e__bit12 -C28_0x2e__bit_7 -C28_0x2e__bit_6 -C28_0x2e__bit_5 -C28_0x2e__bit_4 -C28_0x2e__bit_3 -C28_0x2e__bit_2 -C28_0x2e__bit_1 -C28_0x2e__bit0 -C28_0x2e__bit1 -C28_0x2e__bit2 -C28_0x2e__bit3 -C28_0x2e__bit4 -C28_0x2e__bit5 -C28_0x2e__bit6 -C28_0x2e__bit7 -C28_0x2e__bit8 -C28_0x2e__bit9 -C28_0x2e__bit10 -C28_0x2e__bit11 -C28_0x2e__bit12 -C29_0x2e__bit_7 -C29_0x2e__bit_6 -C29_0x2e__bit_5 -C29_0x2e__bit_4 -C29_0x2e__bit_3 -C29_0x2e__bit_2 -C29_0x2e__bit_1 -C29_0x2e__bit0 -C29_0x2e__bit1 -C29_0x2e__bit2 -C29_0x2e__bit3 -C29_0x2e__bit4 -C29_0x2e__bit5 -C29_0x2e__bit6 -C29_0x2e__bit7 -C29_0x2e__bit8 -C29_0x2e__bit9 -C29_0x2e__bit10 -C29_0x2e__bit11 -C29_0x2e__bit12 -C30_0x2e__bit_7 -C30_0x2e__bit_6 -C30_0x2e__bit_5 -C30_0x2e__bit_4 -C30_0x2e__bit_3 -C30_0x2e__bit_2 -C30_0x2e__bit_1 -C30_0x2e__bit0 -C30_0x2e__bit1 -C30_0x2e__bit2 -C30_0x2e__bit3 -C30_0x2e__bit4 -C30_0x2e__bit5 -C30_0x2e__bit6 -C30_0x2e__bit7 -C30_0x2e__bit8 -C30_0x2e__bit9 -C30_0x2e__bit10 -C30_0x2e__bit11 -C30_0x2e__bit12 -C31_0x2e__bit_7 -C31_0x2e__bit_6 -C31_0x2e__bit_5 -C31_0x2e__bit_4 -C31_0x2e__bit_3 -C31_0x2e__bit_2 -C31_0x2e__bit_1 -C31_0x2e__bit0 -C31_0x2e__bit1 -C31_0x2e__bit2 -C31_0x2e__bit3 -C31_0x2e__bit4 -C31_0x2e__bit5 -C31_0x2e__bit6 -C31_0x2e__bit7 -C31_0x2e__bit8 -C31_0x2e__bit9 -C31_0x2e__bit10 -C31_0x2e__bit11 -C31_0x2e__bit12 -C32_0x2e__bit_7 -C32_0x2e__bit_6 -C32_0x2e__bit_5 -C32_0x2e__bit_4 -C32_0x2e__bit_3 -C32_0x2e__bit_2 -C32_0x2e__bit_1 -C32_0x2e__bit0 -C32_0x2e__bit1 -C32_0x2e__bit2 -C32_0x2e__bit3 -C32_0x2e__bit4 -C32_0x2e__bit5 -C32_0x2e__bit6 -C32_0x2e__bit7 -C32_0x2e__bit8 -C32_0x2e__bit9 -C32_0x2e__bit10 -C32_0x2e__bit11 -C32_0x2e__bit12 -C33_0x2e__bit_7 -C33_0x2e__bit_6 -C33_0x2e__bit_5 -C33_0x2e__bit_4 -C33_0x2e__bit_3 -C33_0x2e__bit_2 -C33_0x2e__bit_1 -C33_0x2e__bit0 C33_0x2e__bit1 -C33_0x2e__bit2 C33_0x2e__bit3 -C33_0x2e__bit4 -C33_0x2e__bit5 -C33_0x2e__bit6 -C33_0x2e__bit7 -C33_0x2e__bit8 -C33_0x2e__bit9 -C33_0x2e__bit10 -C33_0x2e__bit11 -C33_0x2e__bit12 -C34_0x2e__bit_7 -C34_0x2e__bit_6 -C34_0x2e__bit_5 -C34_0x2e__bit_4 -C34_0x2e__bit_3 -C34_0x2e__bit_2 -C34_0x2e__bit_1 -C34_0x2e__bit0 -C34_0x2e__bit1 -C34_0x2e__bit2 -C34_0x2e__bit3 -C34_0x2e__bit4 -C34_0x2e__bit5 -C34_0x2e__bit6 -C34_0x2e__bit7 -C34_0x2e__bit8 -C34_0x2e__bit9 -C34_0x2e__bit10 -C34_0x2e__bit11 -C34_0x2e__bit12 -C35_0x2e__bit_7 -C35_0x2e__bit_6 -C35_0x2e__bit_5 -C35_0x2e__bit_4 -C35_0x2e__bit_3 -C35_0x2e__bit_2 -C35_0x2e__bit_1 -C35_0x2e__bit0 -C35_0x2e__bit1 -C35_0x2e__bit2 -C35_0x2e__bit3 -C35_0x2e__bit4 -C35_0x2e__bit5 -C35_0x2e__bit6 -C35_0x2e__bit7 -C35_0x2e__bit8 -C35_0x2e__bit9 -C35_0x2e__bit10 -C35_0x2e__bit11 -C35_0x2e__bit12 -C36_0x2e__bit_7 -C36_0x2e__bit_6 -C36_0x2e__bit_5 -C36_0x2e__bit_4 -C36_0x2e__bit_3 -C36_0x2e__bit_2 -C36_0x2e__bit_1 -C36_0x2e__bit0 -C36_0x2e__bit1 -C36_0x2e__bit2 -C36_0x2e__bit3 -C36_0x2e__bit4 -C36_0x2e__bit5 -C36_0x2e__bit6 -C36_0x2e__bit7 -C36_0x2e__bit8 -C36_0x2e__bit9 -C36_0x2e__bit10 -C36_0x2e__bit11 -C36_0x2e__bit12 -C37_0x2e__bit_7 -C37_0x2e__bit_6 -C37_0x2e__bit_5 -C37_0x2e__bit_4 -C37_0x2e__bit_3 -C37_0x2e__bit_2 -C37_0x2e__bit_1 -C37_0x2e__bit0 -C37_0x2e__bit1 -C37_0x2e__bit2 -C37_0x2e__bit3 -C37_0x2e__bit4 -C37_0x2e__bit5 -C37_0x2e__bit6 -C37_0x2e__bit7 -C37_0x2e__bit8 -C37_0x2e__bit9 -C37_0x2e__bit10 -C37_0x2e__bit11 -C37_0x2e__bit12 -C38_0x2e__bit_7 -C38_0x2e__bit_6 -C38_0x2e__bit_5 -C38_0x2e__bit_4 -C38_0x2e__bit_3 -C38_0x2e__bit_2 -C38_0x2e__bit_1 -C38_0x2e__bit0 -C38_0x2e__bit1 -C38_0x2e__bit2 -C38_0x2e__bit3 -C38_0x2e__bit4 -C38_0x2e__bit5 -C38_0x2e__bit6 -C38_0x2e__bit7 -C38_0x2e__bit8 -C38_0x2e__bit9 -C38_0x2e__bit10 -C38_0x2e__bit11 -C38_0x2e__bit12 -C39_0x2e__bit_7 -C39_0x2e__bit_6 -C39_0x2e__bit_5 -C39_0x2e__bit_4 -C39_0x2e__bit_3 -C39_0x2e__bit_2 -C39_0x2e__bit_1 -C39_0x2e__bit0 -C39_0x2e__bit1 -C39_0x2e__bit2 -C39_0x2e__bit3 -C39_0x2e__bit4 -C39_0x2e__bit5 -C39_0x2e__bit6 -C39_0x2e__bit7 -C39_0x2e__bit8 -C39_0x2e__bit9 -C39_0x2e__bit10 -C39_0x2e__bit11 -C39_0x2e__bit12 -C40_0x2e__bit_7 -C40_0x2e__bit_6 -C40_0x2e__bit_5 -C40_0x2e__bit_4 -C40_0x2e__bit_3 -C40_0x2e__bit_2 -C40_0x2e__bit_1 -C40_0x2e__bit0 -C40_0x2e__bit1 -C40_0x2e__bit2 -C40_0x2e__bit3 -C40_0x2e__bit4 -C40_0x2e__bit5 -C40_0x2e__bit6 -C40_0x2e__bit7 -C40_0x2e__bit8 -C40_0x2e__bit9 -C40_0x2e__bit10 -C40_0x2e__bit11 -C40_0x2e__bit12 -C41_0x2e__bit_7 -C41_0x2e__bit_6 -C41_0x2e__bit_5 -C41_0x2e__bit_4 -C41_0x2e__bit_3 -C41_0x2e__bit_2 -C41_0x2e__bit_1 -C41_0x2e__bit0 -C41_0x2e__bit1 -C41_0x2e__bit2 -C41_0x2e__bit3 -C41_0x2e__bit4 -C41_0x2e__bit5 -C41_0x2e__bit6 -C41_0x2e__bit7 -C41_0x2e__bit8 -C41_0x2e__bit9 -C41_0x2e__bit10 -C41_0x2e__bit11 -C41_0x2e__bit12 -C42_0x2e__bit_7 -C42_0x2e__bit_6 -C42_0x2e__bit_5 -C42_0x2e__bit_4 -C42_0x2e__bit_3 -C42_0x2e__bit_2 -C42_0x2e__bit_1 -C42_0x2e__bit0 -C42_0x2e__bit1 -C42_0x2e__bit2 -C42_0x2e__bit3 -C42_0x2e__bit4 -C42_0x2e__bit5 -C42_0x2e__bit6 -C42_0x2e__bit7 -C42_0x2e__bit8 -C42_0x2e__bit9 -C42_0x2e__bit10 -C42_0x2e__bit11 -C42_0x2e__bit12 -C43_0x2e__bit_7 -C43_0x2e__bit_6 -C43_0x2e__bit_5 -C43_0x2e__bit_4 -C43_0x2e__bit_3 -C43_0x2e__bit_2 -C43_0x2e__bit_1 -C43_0x2e__bit0 -C43_0x2e__bit1 -C43_0x2e__bit2 -C43_0x2e__bit3 -C43_0x2e__bit4 -C43_0x2e__bit5 -C43_0x2e__bit6 -C43_0x2e__bit7 -C43_0x2e__bit8 -C43_0x2e__bit9 -C43_0x2e__bit10 -C43_0x2e__bit11 -C43_0x2e__bit12 -C44_0x2e__bit_7 -C44_0x2e__bit_6 -C44_0x2e__bit_5 -C44_0x2e__bit_4 -C44_0x2e__bit_3 -C44_0x2e__bit_2 -C44_0x2e__bit_1 -C44_0x2e__bit0 -C44_0x2e__bit1 -C44_0x2e__bit2 -C44_0x2e__bit3 -C44_0x2e__bit4 -C44_0x2e__bit5 -C44_0x2e__bit6 -C44_0x2e__bit7 -C44_0x2e__bit8 -C44_0x2e__bit9 -C44_0x2e__bit10 -C44_0x2e__bit11 -C44_0x2e__bit12 C45_0x2e__bit_7 C45_0x2e__bit_6 -C45_0x2e__bit_5 -C45_0x2e__bit_4 C45_0x2e__bit_3 C45_0x2e__bit_2 C45_0x2e__bit_1 C45_0x2e__bit0 C45_0x2e__bit1 -C45_0x2e__bit2 -C45_0x2e__bit3 -C45_0x2e__bit4 -C45_0x2e__bit5 -C45_0x2e__bit6 -C45_0x2e__bit7 -C45_0x2e__bit8 -C45_0x2e__bit9 -C45_0x2e__bit10 -C45_0x2e__bit11 -C45_0x2e__bit12 C46_0x2e__bit_7 -C46_0x2e__bit_6 C46_0x2e__bit_5 C46_0x2e__bit_4 -C46_0x2e__bit_3 -C46_0x2e__bit_2 -C46_0x2e__bit_1 C46_0x2e__bit0 -C46_0x2e__bit1 -C46_0x2e__bit2 -C46_0x2e__bit3 -C46_0x2e__bit4 -C46_0x2e__bit5 -C46_0x2e__bit6 -C46_0x2e__bit7 -C46_0x2e__bit8 -C46_0x2e__bit9 -C46_0x2e__bit10 -C46_0x2e__bit11 -C46_0x2e__bit12 -C47_0x2e__bit_7 -C47_0x2e__bit_6 -C47_0x2e__bit_5 -C47_0x2e__bit_4 -C47_0x2e__bit_3 -C47_0x2e__bit_2 -C47_0x2e__bit_1 -C47_0x2e__bit0 -C47_0x2e__bit1 -C47_0x2e__bit2 -C47_0x2e__bit3 -C47_0x2e__bit4 -C47_0x2e__bit5 -C47_0x2e__bit6 -C47_0x2e__bit7 -C47_0x2e__bit8 -C47_0x2e__bit9 -C47_0x2e__bit10 -C47_0x2e__bit11 -C47_0x2e__bit12 -C48_0x2e__bit_7 -C48_0x2e__bit_6 -C48_0x2e__bit_5 -C48_0x2e__bit_4 -C48_0x2e__bit_3 -C48_0x2e__bit_2 -C48_0x2e__bit_1 -C48_0x2e__bit0 -C48_0x2e__bit1 -C48_0x2e__bit2 -C48_0x2e__bit3 -C48_0x2e__bit4 -C48_0x2e__bit5 -C48_0x2e__bit6 -C48_0x2e__bit7 -C48_0x2e__bit8 -C48_0x2e__bit9 -C48_0x2e__bit10 -C48_0x2e__bit11 -C48_0x2e__bit12 -C50_0x2e__bit0 C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 C54_0x2e__bit0 C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 C60_0x2e__bit0 -C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 C64_0x2e__bit0 C65_0x2e__bit0 C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 C69_0x2e__bit0 C70_0x2e__bit0 C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 C94_0x2e__bit0 C95_0x2e__bit0 C96_0x2e__bit0 -C97_0x2e__bit0 
c objective function=5892802
c Total CPU time (ms) : 1218.997

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/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860682780 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 39 3 38 16 0 23 0
[pid=11519] 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/11519
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=11520
New thread pid=11521
New thread pid=11522
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=11523
New thread pid=11524
New thread pid=11525
New thread pid=11526
New thread pid=11527
New thread pid=11528
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/wulflinc27/normalized-mps-v2-13-7-mod013.opb
New thread pid=11529
One traced child (pid=11529) exited with status: 0
New thread pid=11530

[startup+10.0025 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 11530
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18190 3 1 0 713 45 0 0 20 0 11 0 1860682780 858144768 19994 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 19994 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (Kb) 838032
One traced child (pid=11530) exited with status: 0
New thread pid=11531
One traced child (pid=11531) exited with status: 0
New thread pid=11532

[startup+20.0033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 11532
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18201 3 1 0 1654 46 0 0 23 0 11 0 1860682780 858144768 20183 4294967295 134512640 134569956 3221224336 3221214544 1131402547 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20183 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 17
Current children cumulated vsize (Kb) 838032

[startup+30.0042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 11532
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18212 3 1 0 2604 46 0 0 25 0 11 0 1860682780 858144768 20240 4294967295 134512640 134569956 3221224336 3221214544 1131401972 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20240 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 26.5
Current children cumulated vsize (Kb) 838032

[startup+40.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 11532
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18224 3 1 0 3562 47 0 0 25 0 11 0 1860682780 858144768 20570 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 20570 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 36.09
Current children cumulated vsize (Kb) 838032
One traced child (pid=11532) exited with status: 0
New thread pid=11533

[startup+50.0058 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18236 3 1 0 4536 47 0 0 18 0 11 0 1860682780 858144768 20669 4294967295 134512640 134569956 3221224336 3221214768 1131558190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 20669 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 45.83
Current children cumulated vsize (Kb) 838032

[startup+60.0066 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18247 3 1 0 5513 48 0 0 25 0 11 0 1860682780 858144768 20697 4294967295 134512640 134569956 3221224336 3221214544 1131402553 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 20697 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 55.61
Current children cumulated vsize (Kb) 838032

[startup+70.0075 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18259 3 1 0 6489 48 0 0 25 0 11 0 1860682780 858144768 20760 4294967295 134512640 134569956 3221224336 3221214544 1131401977 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20760 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 838032

[startup+80.0083 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18270 3 1 0 7470 49 0 0 19 0 11 0 1860682780 858144768 20803 4294967295 134512640 134569956 3221224336 3221214544 1131402105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 20803 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 75.19
Current children cumulated vsize (Kb) 838032

[startup+90.0091 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18281 3 1 0 8452 49 0 0 20 0 11 0 1860682780 858144768 20853 4294967295 134512640 134569956 3221224336 3221214544 1131402043 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 20853 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 85.01
Current children cumulated vsize (Kb) 838032

[startup+100.01 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18292 3 1 0 9435 50 0 0 25 0 11 0 1860682780 858144768 20895 4294967295 134512640 134569956 3221224336 3221214544 1131402289 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20895 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 94.85
Current children cumulated vsize (Kb) 838032

[startup+110.011 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18303 3 1 0 10419 51 0 0 25 0 11 0 1860682780 858144768 20936 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20936 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 104.7
Current children cumulated vsize (Kb) 838032

[startup+120.012 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18314 3 1 0 11404 51 0 0 25 0 11 0 1860682780 858144768 20968 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20968 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 114.55
Current children cumulated vsize (Kb) 838032

[startup+130.012 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18325 3 1 0 12390 52 0 0 25 0 11 0 1860682780 858144768 20996 4294967295 134512640 134569956 3221224336 3221214640 1131488909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 20996 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 124.42
Current children cumulated vsize (Kb) 838032

[startup+140.013 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18336 3 1 0 13378 52 0 0 23 0 11 0 1860682780 858144768 21022 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21022 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (Kb) 838032

[startup+150.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18347 3 1 0 14366 52 0 0 25 0 11 0 1860682780 858144768 21043 4294967295 134512640 134569956 3221224336 3221214456 1131367484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21043 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 144.18
Current children cumulated vsize (Kb) 838032

[startup+160.015 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18359 3 1 0 15352 53 0 0 25 0 11 0 1860682780 858144768 21064 4294967295 134512640 134569956 3221224336 3221214544 1131401900 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21064 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 154.05
Current children cumulated vsize (Kb) 838032

[startup+170.016 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18370 3 1 0 16340 53 0 0 25 0 11 0 1860682780 858144768 21081 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21081 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 163.93
Current children cumulated vsize (Kb) 838032

[startup+180.017 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18381 3 1 0 17327 54 0 0 24 0 11 0 1860682780 858144768 21098 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21098 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 173.81
Current children cumulated vsize (Kb) 838032

[startup+190.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18392 3 1 0 18313 54 0 0 24 0 11 0 1860682780 858144768 21117 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21117 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 183.67
Current children cumulated vsize (Kb) 838032

[startup+200.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18403 3 1 0 19300 54 0 0 17 0 11 0 1860682780 858144768 21137 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21137 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 193.54
Current children cumulated vsize (Kb) 838032

[startup+210.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18414 3 1 0 20286 55 0 0 25 0 11 0 1860682780 858144768 21162 4294967295 134512640 134569956 3221224336 3221214544 1131401907 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21162 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 203.41
Current children cumulated vsize (Kb) 838032

[startup+220.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18425 3 1 0 21272 55 0 0 25 0 11 0 1860682780 858144768 21184 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21184 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 213.27
Current children cumulated vsize (Kb) 838032

[startup+230.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18436 3 1 0 22259 56 0 0 25 0 11 0 1860682780 858144768 21206 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21206 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 223.15
Current children cumulated vsize (Kb) 838032

[startup+240.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18447 3 1 0 23246 56 0 0 25 0 11 0 1860682780 858144768 21231 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21231 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 233.02
Current children cumulated vsize (Kb) 838032

[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18458 3 1 0 24234 57 0 0 25 0 11 0 1860682780 858144768 21250 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21250 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 242.91
Current children cumulated vsize (Kb) 838032

[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18469 3 1 0 25222 57 0 0 25 0 11 0 1860682780 858144768 21268 4294967295 134512640 134569956 3221224336 3221214544 1131402013 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21268 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 252.79
Current children cumulated vsize (Kb) 838032

[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18480 3 1 0 26210 57 0 0 25 0 11 0 1860682780 858144768 21285 4294967295 134512640 134569956 3221224336 3221214544 1131402056 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21285 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 262.67
Current children cumulated vsize (Kb) 838032

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18491 3 1 0 27198 58 0 0 25 0 11 0 1860682780 858144768 21298 4294967295 134512640 134569956 3221224336 3221214544 1131403160 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21298 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 272.56
Current children cumulated vsize (Kb) 838032

[startup+290.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18502 3 1 0 28186 59 0 0 25 0 11 0 1860682780 858144768 21311 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21311 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 282.45
Current children cumulated vsize (Kb) 838032

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18513 3 1 0 29174 60 0 0 25 0 11 0 1860682780 858144768 21320 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21320 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 292.34
Current children cumulated vsize (Kb) 838032

[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18524 3 1 0 30163 60 0 0 25 0 11 0 1860682780 858144768 21333 4294967295 134512640 134569956 3221224336 3221214544 1131402531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21333 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 302.23
Current children cumulated vsize (Kb) 838032

[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18535 3 1 0 31151 60 0 0 25 0 11 0 1860682780 858144768 21346 4294967295 134512640 134569956 3221224336 3221214544 1131401914 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21346 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 312.11
Current children cumulated vsize (Kb) 838032

[startup+330.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18546 3 1 0 32140 61 0 0 21 0 11 0 1860682780 858144768 21354 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21354 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 322.01
Current children cumulated vsize (Kb) 838032

[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18557 3 1 0 33129 61 0 0 25 0 11 0 1860682780 858144768 21367 4294967295 134512640 134569956 3221224336 3221214544 1131402199 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21367 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 331.9
Current children cumulated vsize (Kb) 838032

[startup+350.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18568 3 1 0 34117 62 0 0 25 0 11 0 1860682780 858144768 21376 4294967295 134512640 134569956 3221224336 3221214640 1131489928 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21376 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (Kb) 838032

[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18579 3 1 0 35107 63 0 0 25 0 11 0 1860682780 858144768 21388 4294967295 134512640 134569956 3221224336 3221214640 1131489076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21388 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 351.7
Current children cumulated vsize (Kb) 838032

[startup+370.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18590 3 1 0 36095 63 0 0 25 0 11 0 1860682780 858144768 21397 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21397 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 361.58
Current children cumulated vsize (Kb) 838032

[startup+380.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18601 3 1 0 37084 64 0 0 23 0 11 0 1860682780 858144768 21405 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21405 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 371.48
Current children cumulated vsize (Kb) 838032

[startup+390.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18613 3 1 0 38072 64 0 0 25 0 11 0 1860682780 858144768 21418 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21418 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 381.36
Current children cumulated vsize (Kb) 838032

[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18624 3 1 0 39061 65 0 0 25 0 11 0 1860682780 858144768 21427 4294967295 134512640 134569956 3221224336 3221214544 1131402035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21427 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 391.26
Current children cumulated vsize (Kb) 838032

[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18635 3 1 0 40049 65 0 0 25 0 11 0 1860682780 858144768 21435 4294967295 134512640 134569956 3221224336 3221214544 1131401889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21435 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 401.14
Current children cumulated vsize (Kb) 838032

[startup+420.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18646 3 1 0 41038 66 0 0 25 0 11 0 1860682780 858144768 21448 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21448 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 411.04
Current children cumulated vsize (Kb) 838032

[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18657 3 1 0 42027 66 0 0 25 0 11 0 1860682780 858144768 21456 4294967295 134512640 134569956 3221224336 3221214640 1131489049 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21456 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 420.93
Current children cumulated vsize (Kb) 838032

[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18668 3 1 0 43015 67 0 0 17 0 11 0 1860682780 858144768 21465 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21465 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 430.82
Current children cumulated vsize (Kb) 838032

[startup+450.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18679 3 1 0 44004 67 0 0 25 0 11 0 1860682780 858144768 21473 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21473 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 440.71
Current children cumulated vsize (Kb) 838032

[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18690 3 1 0 44993 67 0 0 18 0 11 0 1860682780 858144768 21482 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21482 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 450.6
Current children cumulated vsize (Kb) 838032

[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18701 3 1 0 45982 68 0 0 25 0 11 0 1860682780 858144768 21490 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21490 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 460.5
Current children cumulated vsize (Kb) 838032

[startup+480.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18712 3 1 0 46971 68 0 0 18 0 11 0 1860682780 858144768 21499 4294967295 134512640 134569956 3221224336 3221214640 1131488973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21499 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 470.39
Current children cumulated vsize (Kb) 838032

[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18723 3 1 0 47961 69 0 0 25 0 11 0 1860682780 858144768 21507 4294967295 134512640 134569956 3221224336 3221214544 1131402844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21507 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 480.3
Current children cumulated vsize (Kb) 838032

[startup+500.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18734 3 1 0 48949 69 0 0 25 0 11 0 1860682780 858144768 21516 4294967295 134512640 134569956 3221224336 3221214640 1131488019 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21516 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 490.18
Current children cumulated vsize (Kb) 838032

[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18745 3 1 0 49938 70 0 0 19 0 11 0 1860682780 858144768 21529 4294967295 134512640 134569956 3221224336 3221214640 1131490667 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21529 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 500.08
Current children cumulated vsize (Kb) 838032

[startup+520.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18756 3 1 0 50928 70 0 0 25 0 11 0 1860682780 858144768 21533 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21533 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 838032

[startup+530.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18767 3 1 0 51916 71 0 0 21 0 11 0 1860682780 858144768 21542 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21542 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (Kb) 838032

[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18778 3 1 0 52905 71 0 0 21 0 11 0 1860682780 858144768 21551 4294967295 134512640 134569956 3221224336 3221214456 1131367056 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21551 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 529.76
Current children cumulated vsize (Kb) 838032

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18789 3 1 0 53894 72 0 0 25 0 11 0 1860682780 858144768 21559 4294967295 134512640 134569956 3221224336 3221214544 1131402547 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21559 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 539.66
Current children cumulated vsize (Kb) 838032

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18800 3 1 0 54882 72 0 0 21 0 11 0 1860682780 858144768 21568 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21568 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 549.54
Current children cumulated vsize (Kb) 838032

[startup+570.049 s]
Raw data (loadavg): 1.08 1.02 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18811 3 1 0 55869 73 0 0 25 0 11 0 1860682780 858144768 21578 4294967295 134512640 134569956 3221224336 3221214544 1131402443 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21578 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 559.42
Current children cumulated vsize (Kb) 838032

[startup+580.05 s]
Raw data (loadavg): 1.07 1.02 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18822 3 1 0 56857 73 0 0 21 0 11 0 1860682780 858144768 21588 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21588 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 569.3
Current children cumulated vsize (Kb) 838032

[startup+590.051 s]
Raw data (loadavg): 1.06 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18833 3 1 0 57844 74 0 0 25 0 11 0 1860682780 858144768 21603 4294967295 134512640 134569956 3221224336 3221214544 1131401914 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21603 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 579.18
Current children cumulated vsize (Kb) 838032

[startup+600.052 s]
Raw data (loadavg): 1.05 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18844 3 1 0 58831 74 0 0 22 0 11 0 1860682780 858144768 21620 4294967295 134512640 134569956 3221224336 3221214640 1131489881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21620 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 589.05
Current children cumulated vsize (Kb) 838032

[startup+610.053 s]
Raw data (loadavg): 1.04 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18855 3 1 0 59818 74 0 0 25 0 11 0 1860682780 858144768 21626 4294967295 134512640 134569956 3221224336 3221214712 1131380295 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21626 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 598.92
Current children cumulated vsize (Kb) 838032

[startup+620.055 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18866 3 1 0 60804 75 0 0 25 0 11 0 1860682780 858144768 21647 4294967295 134512640 134569956 3221224336 3221214544 1131402097 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21647 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 608.79
Current children cumulated vsize (Kb) 838032

[startup+630.055 s]
Raw data (loadavg): 1.03 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18877 3 1 0 61792 75 0 0 22 0 11 0 1860682780 858144768 21668 4294967295 134512640 134569956 3221224336 3221214544 1131402378 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21668 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 618.67
Current children cumulated vsize (Kb) 838032

[startup+640.056 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18888 3 1 0 62778 76 0 0 23 0 11 0 1860682780 858144768 21683 4294967295 134512640 134569956 3221224336 3221214544 1131402340 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21683 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 628.54
Current children cumulated vsize (Kb) 838032

[startup+650.057 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18899 3 1 0 63765 77 0 0 25 0 11 0 1860682780 858144768 21690 4294967295 134512640 134569956 3221224336 3221214544 1131402414 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21690 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 638.42
Current children cumulated vsize (Kb) 838032

[startup+660.058 s]
Raw data (loadavg): 1.02 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18910 3 1 0 64750 77 0 0 23 0 11 0 1860682780 858144768 21706 4294967295 134512640 134569956 3221224336 3221214544 1131402934 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21706 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (Kb) 838032

[startup+670.059 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18921 3 1 0 65737 77 0 0 25 0 11 0 1860682780 858144768 21729 4294967295 134512640 134569956 3221224336 3221214640 1131489114 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21729 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 658.14
Current children cumulated vsize (Kb) 838032

[startup+680.06 s]
Raw data (loadavg): 1.01 1.01 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18932 3 1 0 66724 78 0 0 23 0 11 0 1860682780 858144768 21743 4294967295 134512640 134569956 3221224336 3221214640 1131488123 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21743 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 668.02
Current children cumulated vsize (Kb) 838032

[startup+690.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18943 3 1 0 67712 78 0 0 25 0 11 0 1860682780 858144768 21760 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21760 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 677.9
Current children cumulated vsize (Kb) 838032

[startup+700.061 s]
Raw data (loadavg): 1.01 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18954 3 1 0 68699 79 0 0 25 0 11 0 1860682780 858144768 21774 4294967295 134512640 134569956 3221224336 3221214456 1131367484 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21774 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 687.78
Current children cumulated vsize (Kb) 838032

[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18965 3 1 0 69686 79 0 0 23 0 11 0 1860682780 858144768 21785 4294967295 134512640 134569956 3221224336 3221214544 1131402906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21785 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 697.65
Current children cumulated vsize (Kb) 838032

[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18976 3 1 0 70673 80 0 0 25 0 11 0 1860682780 858144768 21798 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21798 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 707.53
Current children cumulated vsize (Kb) 838032

[startup+730.064 s]
Raw data (loadavg): 1.15 1.03 0.96 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18987 3 1 0 71660 81 0 0 23 0 11 0 1860682780 858144768 21811 4294967295 134512640 134569956 3221224336 3221214640 1131488156 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21811 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 717.41
Current children cumulated vsize (Kb) 838032

[startup+740.063 s]
Raw data (loadavg): 1.21 1.05 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18998 3 1 0 72648 81 0 0 25 0 11 0 1860682780 858144768 21815 4294967295 134512640 134569956 3221224336 3221214544 1131401885 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21815 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 727.29
Current children cumulated vsize (Kb) 838032

[startup+750.064 s]
Raw data (loadavg): 1.17 1.05 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) S 11518 11519 28974 0 -1 0 19009 3 1 0 73636 82 0 0 25 0 11 0 1860682780 858144768 21824 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21824 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 737.18
Current children cumulated vsize (Kb) 838032

[startup+760.065 s]
Raw data (loadavg): 1.15 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19020 3 1 0 74624 82 0 0 23 0 11 0 1860682780 858144768 21829 4294967295 134512640 134569956 3221224336 3221214544 1131402941 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21829 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 747.06
Current children cumulated vsize (Kb) 838032

[startup+770.066 s]
Raw data (loadavg): 1.12 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19032 3 1 0 75611 83 0 0 24 0 11 0 1860682780 858144768 21838 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21838 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 756.94
Current children cumulated vsize (Kb) 838032

[startup+780.067 s]
Raw data (loadavg): 1.10 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19042 3 1 0 76600 84 0 0 25 0 11 0 1860682780 858144768 21842 4294967295 134512640 134569956 3221224336 3221214544 1131402436 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21842 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 766.84
Current children cumulated vsize (Kb) 838032

[startup+790.067 s]
Raw data (loadavg): 1.09 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19054 3 1 0 77588 84 0 0 24 0 11 0 1860682780 858144768 21851 4294967295 134512640 134569956 3221224336 3221214456 1131367029 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21851 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 776.72
Current children cumulated vsize (Kb) 838032

[startup+800.067 s]
Raw data (loadavg): 1.07 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19065 3 1 0 78576 84 0 0 24 0 11 0 1860682780 858144768 21860 4294967295 134512640 134569956 3221224336 3221214544 1131401968 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21860 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 786.6
Current children cumulated vsize (Kb) 838032

[startup+810.068 s]
Raw data (loadavg): 1.06 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19076 3 1 0 79564 85 0 0 24 0 11 0 1860682780 858144768 21864 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21864 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 796.49
Current children cumulated vsize (Kb) 838032

[startup+820.069 s]
Raw data (loadavg): 1.05 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19087 3 1 0 80552 85 0 0 25 0 11 0 1860682780 858144768 21872 4294967295 134512640 134569956 3221224336 3221214640 1131490574 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21872 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 806.37
Current children cumulated vsize (Kb) 838032

[startup+830.07 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19098 3 1 0 81540 86 0 0 25 0 11 0 1860682780 858144768 21877 4294967295 134512640 134569956 3221224336 3221214544 1131402305 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21877 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 816.26
Current children cumulated vsize (Kb) 838032

[startup+840.07 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19109 3 1 0 82528 87 0 0 25 0 11 0 1860682780 858144768 21885 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21885 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 826.15
Current children cumulated vsize (Kb) 838032

[startup+850.071 s]
Raw data (loadavg): 1.03 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19120 3 1 0 83516 88 0 0 25 0 11 0 1860682780 858144768 21889 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21889 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 836.04
Current children cumulated vsize (Kb) 838032

[startup+860.071 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19131 3 1 0 84503 89 0 0 25 0 11 0 1860682780 858144768 21898 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21898 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 845.92
Current children cumulated vsize (Kb) 838032

[startup+870.073 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19142 3 1 0 85492 89 0 0 17 0 11 0 1860682780 858144768 21902 4294967295 134512640 134569956 3221224336 3221214544 1131403160 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21902 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 855.81
Current children cumulated vsize (Kb) 838032

[startup+880.074 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19153 3 1 0 86479 90 0 0 25 0 11 0 1860682780 858144768 21907 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21907 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 865.69
Current children cumulated vsize (Kb) 838032

[startup+890.075 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19164 3 1 0 87467 90 0 0 25 0 11 0 1860682780 858144768 21915 4294967295 134512640 134569956 3221224336 3221214544 1131402235 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21915 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 875.57
Current children cumulated vsize (Kb) 838032

[startup+900.076 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19175 3 1 0 88455 90 0 0 17 0 11 0 1860682780 858144768 21919 4294967295 134512640 134569956 3221224336 3221214460 1131596608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21919 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 885.45
Current children cumulated vsize (Kb) 838032

[startup+910.077 s]
Raw data (loadavg): 1.08 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19186 3 1 0 89443 91 0 0 25 0 11 0 1860682780 858144768 21928 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21928 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 895.34
Current children cumulated vsize (Kb) 838032

[startup+920.077 s]
Raw data (loadavg): 1.07 1.04 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19197 3 1 0 90431 91 0 0 25 0 11 0 1860682780 858144768 21932 4294967295 134512640 134569956 3221224336 3221214636 1131403181 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21932 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 905.22
Current children cumulated vsize (Kb) 838032

[startup+930.078 s]
Raw data (loadavg): 1.06 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19208 3 1 0 91419 92 0 0 25 0 11 0 1860682780 858144768 21944 4294967295 134512640 134569956 3221224336 3221214640 1131488055 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21944 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 915.11
Current children cumulated vsize (Kb) 838032

[startup+940.079 s]
Raw data (loadavg): 1.05 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19219 3 1 0 92407 92 0 0 25 0 11 0 1860682780 858144768 21952 4294967295 134512640 134569956 3221224336 3221214544 1131402854 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21952 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 924.99
Current children cumulated vsize (Kb) 838032

[startup+950.08 s]
Raw data (loadavg): 1.04 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19230 3 1 0 93396 92 0 0 25 0 11 0 1860682780 858144768 21956 4294967295 134512640 134569956 3221224336 3221214544 1131402273 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21956 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 934.88
Current children cumulated vsize (Kb) 838032

[startup+960.08 s]
Raw data (loadavg): 1.03 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19241 3 1 0 94384 92 0 0 18 0 11 0 1860682780 858144768 21961 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21961 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 944.76
Current children cumulated vsize (Kb) 838032

[startup+970.081 s]
Raw data (loadavg): 1.03 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19252 3 1 0 95372 93 0 0 25 0 11 0 1860682780 858144768 21969 4294967295 134512640 134569956 3221224336 3221214544 1131402588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 21969 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 954.65
Current children cumulated vsize (Kb) 838032

[startup+980.081 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19263 3 1 0 96359 93 0 0 25 0 11 0 1860682780 858144768 21973 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21973 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 964.52
Current children cumulated vsize (Kb) 838032

[startup+990.082 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19274 3 1 0 97348 94 0 0 25 0 11 0 1860682780 858144768 21978 4294967295 134512640 134569956 3221224336 3221214544 1131401926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21978 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 974.42
Current children cumulated vsize (Kb) 838032

[startup+1000.08 s]
Raw data (loadavg): 1.02 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19285 3 1 0 98335 94 0 0 25 0 11 0 1860682780 858144768 21986 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21986 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 984.29
Current children cumulated vsize (Kb) 838032

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19296 3 1 0 99324 94 0 0 25 0 11 0 1860682780 858144768 21990 4294967295 134512640 134569956 3221224336 3221214640 1131488055 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21990 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 994.18
Current children cumulated vsize (Kb) 838032

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19307 3 1 0 100312 94 0 0 25 0 11 0 1860682780 858144768 21999 4294967295 134512640 134569956 3221224336 3221214640 1131489156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 21999 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1004.06
Current children cumulated vsize (Kb) 838032

[startup+1030.09 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19318 3 1 0 101300 95 0 0 25 0 11 0 1860682780 858144768 22003 4294967295 134512640 134569956 3221224336 3221214000 1076478088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22003 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1013.95
Current children cumulated vsize (Kb) 838032

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19329 3 1 0 102287 96 0 0 25 0 11 0 1860682780 858144768 22012 4294967295 134512640 134569956 3221224336 3221214544 1131402305 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22012 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1023.83
Current children cumulated vsize (Kb) 838032

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19340 3 1 0 103275 96 0 0 25 0 11 0 1860682780 858144768 22016 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22016 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1033.71
Current children cumulated vsize (Kb) 838032

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19351 3 1 0 104262 97 0 0 25 0 11 0 1860682780 858144768 22020 4294967295 134512640 134569956 3221224336 3221214544 1131401893 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22020 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1043.59
Current children cumulated vsize (Kb) 838032

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19362 3 1 0 105250 97 0 0 21 0 11 0 1860682780 858144768 22029 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22029 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1053.47
Current children cumulated vsize (Kb) 838032

[startup+1080.09 s]
Raw data (loadavg): 1.08 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19373 3 1 0 106238 97 0 0 25 0 11 0 1860682780 858144768 22033 4294967295 134512640 134569956 3221224336 3221214544 1131402844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22033 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1063.35
Current children cumulated vsize (Kb) 838032

[startup+1090.09 s]
Raw data (loadavg): 1.06 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19384 3 1 0 107226 98 0 0 21 0 11 0 1860682780 858144768 22037 4294967295 134512640 134569956 3221224336 3221214544 1131402414 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22037 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1073.24
Current children cumulated vsize (Kb) 838032

[startup+1100.09 s]
Raw data (loadavg): 1.05 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19395 3 1 0 108215 98 0 0 25 0 11 0 1860682780 858144768 22046 4294967295 134512640 134569956 3221224336 3221214640 1131490675 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22046 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1083.13
Current children cumulated vsize (Kb) 838032

[startup+1110.09 s]
Raw data (loadavg): 1.04 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19406 3 1 0 109202 99 0 0 20 0 11 0 1860682780 858144768 22050 4294967295 134512640 134569956 3221224336 3221214640 1131489076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22050 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1093.01
Current children cumulated vsize (Kb) 838032

[startup+1120.09 s]
Raw data (loadavg): 1.04 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19417 3 1 0 110191 99 0 0 25 0 11 0 1860682780 858144768 22054 4294967295 134512640 134569956 3221224336 3221214640 1131489140 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22054 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1102.9
Current children cumulated vsize (Kb) 838032

[startup+1130.09 s]
Raw data (loadavg): 1.03 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19428 3 1 0 111179 100 0 0 25 0 11 0 1860682780 858144768 22063 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22063 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1112.79
Current children cumulated vsize (Kb) 838032

[startup+1140.09 s]
Raw data (loadavg): 1.03 1.03 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19439 3 1 0 112168 100 0 0 25 0 11 0 1860682780 858144768 22067 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22067 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1122.68
Current children cumulated vsize (Kb) 838032

[startup+1150.1 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19450 3 1 0 113156 101 0 0 25 0 11 0 1860682780 858144768 22072 4294967295 134512640 134569956 3221224336 3221214544 1131402035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22072 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1132.57
Current children cumulated vsize (Kb) 838032

[startup+1160.1 s]
Raw data (loadavg): 1.02 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19461 3 1 0 114144 102 0 0 25 0 11 0 1860682780 858144768 22076 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22076 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1142.46
Current children cumulated vsize (Kb) 838032

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19472 3 1 0 115132 102 0 0 22 0 11 0 1860682780 858144768 22084 4294967295 134512640 134569956 3221224336 3221214544 1131402950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22084 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1152.34
Current children cumulated vsize (Kb) 838032

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19483 3 1 0 116120 103 0 0 23 0 11 0 1860682780 858144768 22089 4294967295 134512640 134569956 3221224336 3221214544 1131402571 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22089 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1162.23
Current children cumulated vsize (Kb) 838032

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19494 3 1 0 117109 103 0 0 25 0 11 0 1860682780 858144768 22093 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22093 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1172.12
Current children cumulated vsize (Kb) 838032

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19505 3 1 0 118097 103 0 0 25 0 11 0 1860682780 858144768 22097 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/11519/statm): 209508 22097 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (Kb) 838032

[startup+1210.1 s]
Raw data (loadavg): 1.01 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19516 3 1 0 119084 104 0 0 25 0 11 0 1860682780 858144768 22106 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22106 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1191.88
Current children cumulated vsize (Kb) 838032

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19527 3 1 0 120073 104 0 0 25 0 11 0 1860682780 858144768 22110 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22110 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 838032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.02 0.98 2/66 11533
Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19527 3 1 0 120073 104 0 0 25 0 11 0 1860682780 858144768 22110 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/11519/statm): 209508 22110 13129 16 0 209492 0
[pid=11519] vsize: 838032
Current children cumulated CPU time (s) 1201.77
Current children cumulated vsize (Kb) 838032

Sending SIGTERM to -11519
Sleeping 2 seconds
New thread pid=11535
New thread pid=11536
One traced child (pid=11536) exited with status: 0
One traced child (pid=11528) exited with status: 0
One traced child (pid=11523) exited with status: 0
One traced child (pid=11520) exited with status: 143
One traced child (pid=11535) exited with status: 143
One traced child (pid=11522) exited with status: 143
One traced child (pid=11527) exited with status: 143
One traced child (pid=11525) exited with status: 143
One traced child (pid=11524) exited with status: 143
One traced child (pid=11533) exited with status: 143
One traced child (pid=11521) exited with status: 143
One traced child (pid=11526) exited with status: 143
One traced child (pid=11519) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.36
CPU time (s): 1223.5
CPU user time (s): 1221.49
CPU system time (s): 2.00969
CPU usage (%): 100.257
Max. virtual memory (cumulated for all children) (Kb): 838032

Verifier Data

Verifier:	OK	5892802