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

Trace number 8753

Launcher Data

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

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/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860583370 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 39 9 38 16 0 23 0
[pid=4193] 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/4193
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=4194
New thread pid=4195
New thread pid=4196
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=4197
New thread pid=4198
New thread pid=4199
New thread pid=4200
New thread pid=4201
New thread pid=4202
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/wulflinc18/normalized-mps-v2-13-7-rgn.opb
New thread pid=4203
One traced child (pid=4203) exited with status: 0
New thread pid=4204

[startup+10.0027 s]
Raw data (loadavg): 1.09 1.02 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18202 4 1 0 716 46 0 0 17 0 11 0 1860583370 860319744 20571 4294967295 134512640 134569956 3221224336 3221214716 1131055261 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 210039 20571 13129 16 0 210023 0
[pid=4193] vsize: 840156
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (Kb) 840156

[startup+20.0037 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18215 4 1 0 1666 47 0 0 18 0 11 0 1860583370 859996160 21106 4294967295 134512640 134569956 3221224336 3221214696 1131395067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 21106 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 17.13
Current children cumulated vsize (Kb) 839840

[startup+30.0046 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18224 4 1 0 2611 48 0 0 21 0 11 0 1860583370 859996160 21423 4294967295 134512640 134569956 3221224336 3221214512 1131412648 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 21423 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (Kb) 839840

[startup+40.0055 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18230 4 1 0 3554 49 0 0 22 0 11 0 1860583370 859996160 21919 4294967295 134512640 134569956 3221224336 3221214584 1131356219 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 21919 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 36.03
Current children cumulated vsize (Kb) 839840

[startup+50.0064 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18237 4 1 0 4505 49 0 0 25 0 11 0 1860583370 859996160 21923 4294967295 134512640 134569956 3221224336 3221214600 1131454913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 21923 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 45.54
Current children cumulated vsize (Kb) 839840

[startup+60.0074 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18244 4 1 0 5449 49 0 0 19 0 11 0 1860583370 859996160 22050 4294967295 134512640 134569956 3221224336 3221214760 1131665996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 22050 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 54.98
Current children cumulated vsize (Kb) 839840

[startup+70.0083 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18250 4 1 0 6394 50 0 0 24 0 11 0 1860583370 859996160 22343 4294967295 134512640 134569956 3221224336 3221214712 1131346645 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 22343 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 64.44
Current children cumulated vsize (Kb) 839840

[startup+80.0092 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18258 4 1 0 7339 50 0 0 20 0 11 0 1860583370 859996160 22502 4294967295 134512640 134569956 3221224336 3221214504 1131442115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 22502 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 73.89
Current children cumulated vsize (Kb) 839840

[startup+90.0101 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18265 4 1 0 8289 50 0 0 25 0 11 0 1860583370 859996160 22667 4294967295 134512640 134569956 3221224336 3221214712 1131346649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 22667 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 83.39
Current children cumulated vsize (Kb) 839840

[startup+100.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18273 4 1 0 9241 50 0 0 23 0 11 0 1860583370 859996160 22890 4294967295 134512640 134569956 3221224336 3221214608 1131391921 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 22890 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 92.91
Current children cumulated vsize (Kb) 839840

[startup+110.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18281 4 1 0 10201 51 0 0 25 0 11 0 1860583370 859996160 23088 4294967295 134512640 134569956 3221224336 3221214804 1131664675 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 23088 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 102.52
Current children cumulated vsize (Kb) 839840

[startup+120.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18289 4 1 0 11171 51 0 0 25 0 11 0 1860583370 859996160 23218 4294967295 134512640 134569956 3221224336 3221214016 1085806278 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 23218 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 112.22
Current children cumulated vsize (Kb) 839840

[startup+130.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18297 4 1 0 12141 51 0 0 25 0 11 0 1860583370 859996160 23311 4294967295 134512640 134569956 3221224336 3221214504 1131443062 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 23311 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 121.92
Current children cumulated vsize (Kb) 839840

[startup+140.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18305 4 1 0 13112 52 0 0 24 0 11 0 1860583370 859996160 23401 4294967295 134512640 134569956 3221224336 3221214368 1131576853 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23401 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 131.64
Current children cumulated vsize (Kb) 839840

[startup+150.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18313 4 1 0 14082 52 0 0 25 0 11 0 1860583370 859996160 23477 4294967295 134512640 134569956 3221224336 3221214712 1131346769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 23477 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 141.34
Current children cumulated vsize (Kb) 839840

[startup+160.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18321 4 1 0 15051 52 0 0 25 0 11 0 1860583370 859996160 23569 4294967295 134512640 134569956 3221224336 3221214608 1131391987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23569 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 151.03
Current children cumulated vsize (Kb) 839840

[startup+170.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18329 4 1 0 16021 53 0 0 18 0 11 0 1860583370 859996160 23657 4294967295 134512640 134569956 3221224336 3221214556 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23657 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (Kb) 839840

[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18336 4 1 0 16992 53 0 0 24 0 11 0 1860583370 859996160 23731 4294967295 134512640 134569956 3221224336 3221214584 1131356229 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23731 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 170.45
Current children cumulated vsize (Kb) 839840

[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18345 4 1 0 17956 53 0 0 16 0 11 0 1860583370 859996160 23813 4294967295 134512640 134569956 3221224336 3221214712 1131346641 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23813 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 180.09
Current children cumulated vsize (Kb) 839840

[startup+200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18352 4 1 0 18911 53 0 0 18 0 11 0 1860583370 859996160 23893 4294967295 134512640 134569956 3221224336 3221214320 1131552420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 23893 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 189.64
Current children cumulated vsize (Kb) 839840

[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18360 4 1 0 19857 54 0 0 25 0 11 0 1860583370 859996160 23998 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 23998 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 199.11
Current children cumulated vsize (Kb) 839840

[startup+220.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18368 4 1 0 20783 54 0 0 25 0 11 0 1860583370 859996160 24090 4294967295 134512640 134569956 3221224336 3221214696 1131395112 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 24090 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 208.37
Current children cumulated vsize (Kb) 839840

[startup+230.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18375 4 1 0 21716 54 0 0 23 0 11 0 1860583370 859996160 24232 4294967295 134512640 134569956 3221224336 3221214520 1131443144 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 24232 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 217.7
Current children cumulated vsize (Kb) 839840

[startup+240.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18383 4 1 0 22650 54 0 0 25 0 11 0 1860583370 859996160 24512 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 24512 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (Kb) 839840

[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18390 4 1 0 23607 54 0 0 25 0 11 0 1860583370 859996160 24728 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 24728 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 236.61
Current children cumulated vsize (Kb) 839840

[startup+260.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18398 4 1 0 24571 55 0 0 25 0 11 0 1860583370 859996160 24954 4294967295 134512640 134569956 3221224336 3221214520 1131442195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 24954 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 246.26
Current children cumulated vsize (Kb) 839840

[startup+270.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18406 4 1 0 25548 55 0 0 25 0 11 0 1860583370 859996160 25118 4294967295 134512640 134569956 3221224336 3221214480 1131525280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25118 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 256.03
Current children cumulated vsize (Kb) 839840

[startup+280.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18414 4 1 0 26530 55 0 0 22 0 11 0 1860583370 859996160 25162 4294967295 134512640 134569956 3221224336 3221214620 1131412108 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25162 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 265.85
Current children cumulated vsize (Kb) 839840

[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18422 4 1 0 27513 55 0 0 21 0 11 0 1860583370 859996160 25207 4294967295 134512640 134569956 3221224336 3221214520 1131441467 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25207 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 275.68
Current children cumulated vsize (Kb) 839840

[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18430 4 1 0 28495 56 0 0 25 0 11 0 1860583370 859996160 25247 4294967295 134512640 134569956 3221224336 3221214528 1131412420 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25247 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 285.51
Current children cumulated vsize (Kb) 839840

[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18438 4 1 0 29478 56 0 0 25 0 11 0 1860583370 859996160 25285 4294967295 134512640 134569956 3221224336 3221214520 1131443989 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25285 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 295.34
Current children cumulated vsize (Kb) 839840

[startup+320.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18446 4 1 0 30461 56 0 0 21 0 11 0 1860583370 859996160 25333 4294967295 134512640 134569956 3221224336 3221214528 1131412308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25333 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 305.17
Current children cumulated vsize (Kb) 839840

[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18456 4 1 0 31444 56 0 0 25 0 11 0 1860583370 859996160 25374 4294967295 134512640 134569956 3221224336 3221214528 1131412138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25374 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 315
Current children cumulated vsize (Kb) 839840

[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18465 4 1 0 32426 57 0 0 22 0 11 0 1860583370 859996160 25415 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25415 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 324.83
Current children cumulated vsize (Kb) 839840

[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18473 4 1 0 33409 57 0 0 25 0 11 0 1860583370 859996160 25457 4294967295 134512640 134569956 3221224336 3221214528 1131412428 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25457 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 334.66
Current children cumulated vsize (Kb) 839840

[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18481 4 1 0 34391 57 0 0 25 0 11 0 1860583370 859996160 25498 4294967295 134512640 134569956 3221224336 3221214528 1131412308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25498 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 344.48
Current children cumulated vsize (Kb) 839840

[startup+370.038 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18489 4 1 0 35374 58 0 0 21 0 11 0 1860583370 859996160 25543 4294967295 134512640 134569956 3221224336 3221214520 1131442308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25543 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 354.32
Current children cumulated vsize (Kb) 839840

[startup+380.038 s]
Raw data (loadavg): 1.06 1.02 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18497 4 1 0 36355 58 0 0 20 0 11 0 1860583370 859996160 25589 4294967295 134512640 134569956 3221224336 3221214528 1131413345 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25589 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 364.13
Current children cumulated vsize (Kb) 839840

[startup+390.039 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18507 4 1 0 37337 59 0 0 25 0 11 0 1860583370 859996160 25628 4294967295 134512640 134569956 3221224336 3221214572 1131057195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25628 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 373.96
Current children cumulated vsize (Kb) 839840

[startup+400.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18515 4 1 0 38320 59 0 0 25 0 11 0 1860583370 859996160 25668 4294967295 134512640 134569956 3221224336 3221214520 1131443198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25668 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 383.79
Current children cumulated vsize (Kb) 839840

[startup+410.042 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18524 4 1 0 39303 59 0 0 25 0 11 0 1860583370 859996160 25707 4294967295 134512640 134569956 3221224336 3221214624 1131452389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25707 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 393.62
Current children cumulated vsize (Kb) 839840

[startup+420.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18532 4 1 0 40285 59 0 0 25 0 11 0 1860583370 859996160 25745 4294967295 134512640 134569956 3221224336 3221214520 1131412308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25745 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 403.44
Current children cumulated vsize (Kb) 839840

[startup+430.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18540 4 1 0 41267 60 0 0 25 0 11 0 1860583370 859996160 25787 4294967295 134512640 134569956 3221224336 3221214624 1131452384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25787 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 413.27
Current children cumulated vsize (Kb) 839840

[startup+440.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18548 4 1 0 42250 60 0 0 25 0 11 0 1860583370 859996160 25826 4294967295 134512640 134569956 3221224336 3221214572 1131057164 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25826 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 423.1
Current children cumulated vsize (Kb) 839840

[startup+450.046 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18556 4 1 0 43233 60 0 0 21 0 11 0 1860583370 859996160 25868 4294967295 134512640 134569956 3221224336 3221214616 1131454572 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25868 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 432.93
Current children cumulated vsize (Kb) 839840

[startup+460.047 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18564 4 1 0 44216 61 0 0 25 0 11 0 1860583370 859996160 25908 4294967295 134512640 134569956 3221224336 3221214520 1131442198 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 25908 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 442.77
Current children cumulated vsize (Kb) 839840

[startup+470.048 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18572 4 1 0 45199 61 0 0 25 0 11 0 1860583370 859996160 25948 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25948 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 452.6
Current children cumulated vsize (Kb) 839840

[startup+480.049 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18580 4 1 0 46181 61 0 0 19 0 11 0 1860583370 859996160 25986 4294967295 134512640 134569956 3221224336 3221214528 1131412434 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 25986 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (Kb) 839840

[startup+490.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18588 4 1 0 47163 61 0 0 25 0 11 0 1860583370 859996160 26025 4294967295 134512640 134569956 3221224336 3221214624 1131452466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26025 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 472.24
Current children cumulated vsize (Kb) 839840

[startup+500.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18596 4 1 0 48145 62 0 0 20 0 11 0 1860583370 859996160 26065 4294967295 134512640 134569956 3221224336 3221214608 1131393156 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26065 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 482.07
Current children cumulated vsize (Kb) 839840

[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18604 4 1 0 49127 62 0 0 25 0 11 0 1860583370 859996160 26104 4294967295 134512640 134569956 3221224336 3221214520 1131442363 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26104 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 491.89
Current children cumulated vsize (Kb) 839840

[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18612 4 1 0 50109 62 0 0 25 0 11 0 1860583370 859996160 26149 4294967295 134512640 134569956 3221224336 3221214696 1131395326 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26149 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 501.71
Current children cumulated vsize (Kb) 839840

[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18620 4 1 0 51090 63 0 0 19 0 11 0 1860583370 859996160 26187 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26187 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 511.53
Current children cumulated vsize (Kb) 839840

[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18628 4 1 0 52072 63 0 0 25 0 11 0 1860583370 859996160 26228 4294967295 134512640 134569956 3221224336 3221214520 1131444017 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26228 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 521.35
Current children cumulated vsize (Kb) 839840

[startup+550.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18636 4 1 0 53053 64 0 0 25 0 11 0 1860583370 859996160 26266 4294967295 134512640 134569956 3221224336 3221214616 1131454365 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26266 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 531.17
Current children cumulated vsize (Kb) 839840

[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18644 4 1 0 54035 64 0 0 18 0 11 0 1860583370 859996160 26309 4294967295 134512640 134569956 3221224336 3221214624 1131452498 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26309 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 540.99
Current children cumulated vsize (Kb) 839840

[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18652 4 1 0 55015 64 0 0 25 0 11 0 1860583370 859996160 26349 4294967295 134512640 134569956 3221224336 3221214520 1131442864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26349 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 550.79
Current children cumulated vsize (Kb) 839840

[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18660 4 1 0 55997 65 0 0 19 0 11 0 1860583370 859996160 26396 4294967295 134512640 134569956 3221224336 3221214696 1131395284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26396 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 560.62
Current children cumulated vsize (Kb) 839840

[startup+590.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18668 4 1 0 56979 65 0 0 18 0 11 0 1860583370 859996160 26438 4294967295 134512640 134569956 3221224336 3221214712 1131346621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26438 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 570.44
Current children cumulated vsize (Kb) 839840

[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18676 4 1 0 57960 66 0 0 18 0 11 0 1860583370 859996160 26475 4294967295 134512640 134569956 3221224336 3221214528 1131412707 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26475 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 580.26
Current children cumulated vsize (Kb) 839840

[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18684 4 1 0 58943 66 0 0 18 0 11 0 1860583370 859996160 26514 4294967295 134512640 134569956 3221224336 3221214784 1131691924 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26514 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 839840

[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18692 4 1 0 59925 66 0 0 18 0 11 0 1860583370 859996160 26554 4294967295 134512640 134569956 3221224336 3221214528 1131412329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26554 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 599.91
Current children cumulated vsize (Kb) 839840

[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18700 4 1 0 60906 67 0 0 18 0 11 0 1860583370 859996160 26592 4294967295 134512640 134569956 3221224336 3221214600 1131356224 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26592 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 609.73
Current children cumulated vsize (Kb) 839840

[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18708 4 1 0 61887 68 0 0 25 0 11 0 1860583370 859996160 26631 4294967295 134512640 134569956 3221224336 3221214464 1131616500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26631 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 619.55
Current children cumulated vsize (Kb) 839840

[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18715 4 1 0 62869 68 0 0 19 0 11 0 1860583370 859996160 26665 4294967295 134512640 134569956 3221224336 3221214528 1131412432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26665 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 629.37
Current children cumulated vsize (Kb) 839840

[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18723 4 1 0 63842 69 0 0 17 0 11 0 1860583370 859996160 26704 4294967295 134512640 134569956 3221224336 3221213992 1131641609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26704 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (Kb) 839840

[startup+670.065 s]
Raw data (loadavg): 1.15 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18730 4 1 0 64816 69 0 0 25 0 11 0 1860583370 859996160 26736 4294967295 134512640 134569956 3221224336 3221213828 1076897837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 26736 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 648.85
Current children cumulated vsize (Kb) 839840

[startup+680.065 s]
Raw data (loadavg): 1.12 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18738 4 1 0 65782 69 0 0 25 0 11 0 1860583370 859996160 26774 4294967295 134512640 134569956 3221224336 3221214528 1131412474 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26774 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 658.51
Current children cumulated vsize (Kb) 839840

[startup+690.066 s]
Raw data (loadavg): 1.10 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18746 4 1 0 66745 69 0 0 25 0 11 0 1860583370 859996160 26853 4294967295 134512640 134569956 3221224336 3221214576 1131361032 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26853 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 668.14
Current children cumulated vsize (Kb) 839840

[startup+700.067 s]
Raw data (loadavg): 1.09 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18754 4 1 0 67708 69 0 0 25 0 11 0 1860583370 859996160 26962 4294967295 134512640 134569956 3221224336 3221214712 1131346670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 26962 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 677.77
Current children cumulated vsize (Kb) 839840

[startup+710.069 s]
Raw data (loadavg): 1.07 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18762 4 1 0 68673 70 0 0 17 0 11 0 1860583370 859996160 27052 4294967295 134512640 134569956 3221224336 3221214528 1131412216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27052 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 687.43
Current children cumulated vsize (Kb) 839840

[startup+720.07 s]
Raw data (loadavg): 1.06 1.03 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18770 4 1 0 69638 71 0 0 25 0 11 0 1860583370 859996160 27131 4294967295 134512640 134569956 3221224336 3221214600 1131356152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27131 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 697.09
Current children cumulated vsize (Kb) 839840

[startup+730.071 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18777 4 1 0 70610 71 0 0 25 0 11 0 1860583370 859996160 27230 4294967295 134512640 134569956 3221224336 3221214624 1131452387 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27230 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 706.81
Current children cumulated vsize (Kb) 839840

[startup+740.071 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18785 4 1 0 71581 71 0 0 25 0 11 0 1860583370 859996160 27314 4294967295 134512640 134569956 3221224336 3221214384 1131574850 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27314 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 716.52
Current children cumulated vsize (Kb) 839840

[startup+750.072 s]
Raw data (loadavg): 1.11 1.04 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18793 4 1 0 72553 72 0 0 20 0 11 0 1860583370 859996160 27396 4294967295 134512640 134569956 3221224336 3221214712 1131346621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27396 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 726.25
Current children cumulated vsize (Kb) 839840

[startup+760.073 s]
Raw data (loadavg): 1.09 1.04 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18801 4 1 0 73528 72 0 0 25 0 11 0 1860583370 859996160 27459 4294967295 134512640 134569956 3221224336 3221214384 1078035174 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27459 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 736
Current children cumulated vsize (Kb) 839840

[startup+770.074 s]
Raw data (loadavg): 1.08 1.04 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18809 4 1 0 74501 73 0 0 25 0 11 0 1860583370 859996160 27513 4294967295 134512640 134569956 3221224336 3221214760 1131361084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27513 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 745.74
Current children cumulated vsize (Kb) 839840

[startup+780.075 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18817 4 1 0 75472 73 0 0 25 0 11 0 1860583370 859996160 27567 4294967295 134512640 134569956 3221224336 3221214384 1131581313 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27567 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 755.45
Current children cumulated vsize (Kb) 839840

[startup+790.076 s]
Raw data (loadavg): 1.06 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18825 4 1 0 76446 73 0 0 18 0 11 0 1860583370 859996160 27633 4294967295 134512640 134569956 3221224336 3221214376 1085806711 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27633 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 765.19
Current children cumulated vsize (Kb) 839840

[startup+800.077 s]
Raw data (loadavg): 1.05 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18833 4 1 0 77417 74 0 0 25 0 11 0 1860583370 859996160 27709 4294967295 134512640 134569956 3221224336 3221214608 1131391785 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27709 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 774.91
Current children cumulated vsize (Kb) 839840

[startup+810.079 s]
Raw data (loadavg): 1.04 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18841 4 1 0 78388 75 0 0 18 0 11 0 1860583370 859996160 27782 4294967295 134512640 134569956 3221224336 3221213900 1085743744 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27782 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 784.63
Current children cumulated vsize (Kb) 839840

[startup+820.08 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18849 4 1 0 79359 75 0 0 25 0 11 0 1860583370 859996160 27848 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 27848 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 794.34
Current children cumulated vsize (Kb) 839840

[startup+830.081 s]
Raw data (loadavg): 1.03 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18857 4 1 0 80331 75 0 0 22 0 11 0 1860583370 859996160 27939 4294967295 134512640 134569956 3221224336 3221214800 1131361049 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 27939 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 804.06
Current children cumulated vsize (Kb) 839840

[startup+840.082 s]
Raw data (loadavg): 1.02 1.03 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18865 4 1 0 81304 75 0 0 25 0 11 0 1860583370 859996160 28016 4294967295 134512640 134569956 3221224336 3221214576 1131361049 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 28016 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 813.79
Current children cumulated vsize (Kb) 839840

[startup+850.084 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18873 4 1 0 82279 76 0 0 25 0 11 0 1860583370 859996160 28097 4294967295 134512640 134569956 3221224336 3221214696 1131395120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28097 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 823.55
Current children cumulated vsize (Kb) 839840

[startup+860.085 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18882 4 1 0 83251 76 0 0 25 0 11 0 1860583370 859996160 28174 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28174 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 833.27
Current children cumulated vsize (Kb) 839840

[startup+870.085 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18890 4 1 0 84226 76 0 0 18 0 11 0 1860583370 859996160 28246 4294967295 134512640 134569956 3221224336 3221214608 1131391909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28246 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 843.02
Current children cumulated vsize (Kb) 839840

[startup+880.086 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18898 4 1 0 85202 76 0 0 25 0 11 0 1860583370 859996160 28294 4294967295 134512640 134569956 3221224336 3221214440 1131632548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 28294 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 852.78
Current children cumulated vsize (Kb) 839840

[startup+890.087 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18906 4 1 0 86175 77 0 0 19 0 11 0 1860583370 859996160 28348 4294967295 134512640 134569956 3221224336 3221214520 1131443204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28348 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 862.52
Current children cumulated vsize (Kb) 839840

[startup+900.088 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18914 4 1 0 87147 77 0 0 20 0 11 0 1860583370 859996160 28415 4294967295 134512640 134569956 3221224336 3221214528 1131412477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28415 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 872.24
Current children cumulated vsize (Kb) 839840

[startup+910.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18922 4 1 0 88119 77 0 0 20 0 11 0 1860583370 859996160 28489 4294967295 134512640 134569956 3221224336 3221214520 1131444003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28489 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (Kb) 839840

[startup+920.091 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18930 4 1 0 89093 78 0 0 22 0 11 0 1860583370 859996160 28562 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28562 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 891.71
Current children cumulated vsize (Kb) 839840

[startup+930.091 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18938 4 1 0 90066 78 0 0 23 0 11 0 1860583370 859996160 28630 4294967295 134512640 134569956 3221224336 3221214520 1131441537 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28630 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 901.44
Current children cumulated vsize (Kb) 839840

[startup+940.092 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18946 4 1 0 91038 78 0 0 24 0 11 0 1860583370 859996160 28704 4294967295 134512640 134569956 3221224336 3221214696 1131394912 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28704 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 911.16
Current children cumulated vsize (Kb) 839840

[startup+950.093 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18954 4 1 0 92011 79 0 0 25 0 11 0 1860583370 859996160 28773 4294967295 134512640 134569956 3221224336 3221214040 1131646772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 28773 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 920.9
Current children cumulated vsize (Kb) 839840

[startup+960.094 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18962 4 1 0 92982 79 0 0 25 0 11 0 1860583370 859996160 28832 4294967295 134512640 134569956 3221224336 3221214520 1131412477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 28832 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 930.61
Current children cumulated vsize (Kb) 839840

[startup+970.095 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18970 4 1 0 93954 79 0 0 25 0 11 0 1860583370 859996160 28913 4294967295 134512640 134569956 3221224336 3221214520 1131442135 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28913 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 940.33
Current children cumulated vsize (Kb) 839840

[startup+980.096 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18976 4 1 0 94927 80 0 0 25 0 11 0 1860583370 859996160 28968 4294967295 134512640 134569956 3221224336 3221214520 1131442115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 28968 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 950.07
Current children cumulated vsize (Kb) 839840

[startup+990.097 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18978 4 1 0 95917 80 0 0 25 0 11 0 1860583370 859996160 28984 4294967295 134512640 134569956 3221224336 3221214456 1131642793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 28984 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 959.97
Current children cumulated vsize (Kb) 839840

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18983 4 1 0 96891 80 0 0 25 0 11 0 1860583370 859996160 29028 4294967295 134512640 134569956 3221224336 3221213904 1085806334 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 29028 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 969.71
Current children cumulated vsize (Kb) 839840

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18989 4 1 0 97857 81 0 0 25 0 11 0 1860583370 859996160 29077 4294967295 134512640 134569956 3221224336 3221213960 1085759277 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 29077 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 979.38
Current children cumulated vsize (Kb) 839840

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 18995 4 1 0 98820 81 0 0 25 0 11 0 1860583370 859996160 29130 4294967295 134512640 134569956 3221224336 3221213904 1085806322 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29130 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 989.01
Current children cumulated vsize (Kb) 839840

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19001 4 1 0 99780 81 0 0 24 0 11 0 1860583370 859996160 29178 4294967295 134512640 134569956 3221224336 3221214760 1131401925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29178 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 998.61
Current children cumulated vsize (Kb) 839840

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19007 4 1 0 100737 82 0 0 20 0 11 0 1860583370 859996160 29306 4294967295 134512640 134569956 3221224336 3221214528 1131412362 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29306 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1008.19
Current children cumulated vsize (Kb) 839840

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19013 4 1 0 101696 82 0 0 17 0 11 0 1860583370 859996160 29390 4294967295 134512640 134569956 3221224336 3221214608 1131391951 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29390 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1017.78
Current children cumulated vsize (Kb) 839840

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19019 4 1 0 102661 83 0 0 25 0 11 0 1860583370 859996160 29481 4294967295 134512640 134569956 3221224336 3221214384 1131580158 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29481 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1027.44
Current children cumulated vsize (Kb) 839840

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19025 4 1 0 103618 83 0 0 20 0 11 0 1860583370 859996160 29598 4294967295 134512640 134569956 3221224336 3221214628 1131621548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 29598 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1037.01
Current children cumulated vsize (Kb) 839840

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19030 4 1 0 104580 83 0 0 25 0 11 0 1860583370 859996160 29687 4294967295 134512640 134569956 3221224336 3221214288 1131642721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 29687 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1046.63
Current children cumulated vsize (Kb) 839840

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19036 4 1 0 105533 84 0 0 22 0 11 0 1860583370 859996160 29824 4294967295 134512640 134569956 3221224336 3221214400 1131642730 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 29824 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1056.17
Current children cumulated vsize (Kb) 839840

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19041 4 1 0 106494 84 0 0 25 0 11 0 1860583370 859996160 29931 4294967295 134512640 134569956 3221224336 3221214608 1131391867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 29931 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1065.78
Current children cumulated vsize (Kb) 839840

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19047 4 1 0 107445 84 0 0 25 0 11 0 1860583370 859996160 30081 4294967295 134512640 134569956 3221224336 3221214520 1131412434 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 30081 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1075.29
Current children cumulated vsize (Kb) 839840

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19053 4 1 0 108398 85 0 0 25 0 11 0 1860583370 859996160 30227 4294967295 134512640 134569956 3221224336 3221213984 1131647077 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 30227 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1084.83
Current children cumulated vsize (Kb) 839840

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19058 4 1 0 109358 85 0 0 25 0 11 0 1860583370 859996160 30350 4294967295 134512640 134569956 3221224336 3221214696 1131395422 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 30350 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1094.43
Current children cumulated vsize (Kb) 839840

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19064 4 1 0 110311 85 0 0 24 0 11 0 1860583370 859996160 30499 4294967295 134512640 134569956 3221224336 3221214784 1131690604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 30499 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1103.96
Current children cumulated vsize (Kb) 839840

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19070 4 1 0 111264 85 0 0 25 0 11 0 1860583370 859996160 30658 4294967295 134512640 134569956 3221224336 3221214520 1131412434 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 30658 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1113.49
Current children cumulated vsize (Kb) 839840

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19076 4 1 0 112217 86 0 0 17 0 11 0 1860583370 859996160 30806 4294967295 134512640 134569956 3221224336 3221214608 1131391993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 30806 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1123.03
Current children cumulated vsize (Kb) 839840

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19081 4 1 0 113179 86 0 0 25 0 11 0 1860583370 859996160 30920 4294967295 134512640 134569956 3221224336 3221214608 1131392189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 30920 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1132.65
Current children cumulated vsize (Kb) 839840

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19087 4 1 0 114133 86 0 0 25 0 11 0 1860583370 859996160 31055 4294967295 134512640 134569956 3221224336 3221213984 1131646845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31055 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1142.19
Current children cumulated vsize (Kb) 839840

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19093 4 1 0 115087 87 0 0 16 0 11 0 1860583370 859996160 31201 4294967295 134512640 134569956 3221224336 3221214608 1131392052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4193/statm): 209960 31201 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1151.74
Current children cumulated vsize (Kb) 839840

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19098 4 1 0 116049 87 0 0 25 0 11 0 1860583370 859996160 31319 4294967295 134512640 134569956 3221224336 3221214608 1131391944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31319 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1161.36
Current children cumulated vsize (Kb) 839840

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19104 4 1 0 117004 88 0 0 19 0 11 0 1860583370 859996160 31451 4294967295 134512640 134569956 3221224336 3221214204 1085743747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31451 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1170.92
Current children cumulated vsize (Kb) 839840

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19109 4 1 0 117966 88 0 0 25 0 11 0 1860583370 859996160 31568 4294967295 134512640 134569956 3221224336 3221214528 1131413339 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31568 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1180.54
Current children cumulated vsize (Kb) 839840

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19115 4 1 0 118921 89 0 0 22 0 11 0 1860583370 859996160 31701 4294967295 134512640 134569956 3221224336 3221214512 1131642888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31701 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1190.1
Current children cumulated vsize (Kb) 839840

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19120 4 1 0 119882 90 0 0 25 0 11 0 1860583370 859996160 31811 4294967295 134512640 134569956 3221224336 3221214608 1131392040 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31811 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1199.72
Current children cumulated vsize (Kb) 839840

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19126 4 1 0 120836 91 0 0 25 0 11 0 1860583370 859996160 31941 4294967295 134512640 134569956 3221224336 3221214696 1131395216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31941 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1209.27
Current children cumulated vsize (Kb) 839840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 4204
Raw data (/proc/4193/stat): 4193 (java) R 4192 4193 31027 0 -1 0 19126 4 1 0 120836 91 0 0 25 0 11 0 1860583370 859996160 31941 4294967295 134512640 134569956 3221224336 3221214608 1131392073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4193/statm): 209960 31941 13129 16 0 209944 0
[pid=4193] vsize: 839840
Current children cumulated CPU time (s) 1209.27
Current children cumulated vsize (Kb) 839840

Sending SIGTERM to -4193
Sleeping 2 seconds
New thread pid=4206
New thread pid=4207
One traced child (pid=4207) exited with status: 0
One traced child (pid=4202) exited with status: 0
One traced child (pid=4197) exited with status: 0
One traced child (pid=4194) exited with status: 143
One traced child (pid=4195) exited with status: 143
One traced child (pid=4196) exited with status: 143
One traced child (pid=4201) exited with status: 143
One traced child (pid=4198) exited with status: 143
One traced child (pid=4200) exited with status: 143
One traced child (pid=4204) exited with status: 143
One traced child (pid=4199) exited with status: 143
One traced child (pid=4206) exited with status: 143
One traced child (pid=4193) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.41
CPU time (s): 1257.5
CPU user time (s): 1255.68
CPU system time (s): 1.82172
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (Kb): 840156

Verifier Data

Verifier:	OK	67200