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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
MD5SUM3d332eb7d51bcc8080712302c467a201
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4107024
Optimality of the best value was proved NO
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 550843571711
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 550843571711
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1215.41
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300

Trace number 4887

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-19 20:41:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6552 boxname=wulflinc29 idbench=692 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d332eb7d51bcc8080712302c467a201  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ran10x10a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ran10x10a.opb
IDLAUNCH: 6552
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        918124 kB
Buffers:         22784 kB
Cached:          64736 kB
SwapCached:        676 kB
Active:          28412 kB
Inactive:        61576 kB
HighTotal:      131008 kB
HighFree:        63392 kB
LowTotal:       903652 kB
LowFree:        854732 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5704 kB
Slab:            20972 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:02:15 (client local time) WITH STATUS 143 IN 1215.41 SECONDS
stats: 6552 0 1215.41 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/wulflinc29/normalized-mps-v2-20-10-ran10x10a.opb
c reading problem ... done. Time 3.742 ms.
c #vars     3100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             5528305 		Current CPU time: 8.79 ms
c CURRENT OPTIMUM=             4684357 		Current CPU time: 49.76 ms
c CURRENT OPTIMUM=             4107024 		Current CPU time: 92.39 ms
c starts		: 5
c conflicts		: 267
c decisions		: 17739
c propagations		: 51253
c inspects		: 711145
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 267
c root simplifications	: 114
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 6950
c speed (decisions/second)	: 15.749003202359466
c non guided choices	4067
c random choices	0
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 X14_bit_10 X14_bit_9 X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 X14_bit_3 X14_bit_2 X14_bit_1 X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 X16_bit_9 -X16_bit_8 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 X16_bit_3 -X16_bit_2 X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 X19_bit_10 X19_bit_9 X19_bit_8 X19_bit_7 X19_bit_6 X19_bit_5 X19_bit_4 -X19_bit_3 X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X27_bit_10 -X27_bit_9 -X27_bit_8 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit13 -X27_bit14 -X27_bit15 -X27_bit16 -X27_bit17 -X27_bit18 -X27_bit19 -X28_bit_10 -X28_bit_9 -X28_bit_8 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 X29_bit0 -X29_bit1 X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 -X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X38_bit_10 -X38_bit_9 -X38_bit_8 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 X38_bit0 -X38_bit1 -X38_bit2 X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X40_bit_10 -X40_bit_9 -X40_bit_8 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit13 -X40_bit14 -X40_bit15 -X40_bit16 -X40_bit17 -X40_bit18 -X40_bit19 -X41_bit_10 -X41_bit_9 -X41_bit_8 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X41_bit17 -X41_bit18 -X41_bit19 -X42_bit_10 -X42_bit_9 -X42_bit_8 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X42_bit17 -X42_bit18 -X42_bit19 -X43_bit_10 -X43_bit_9 -X43_bit_8 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X43_bit17 -X43_bit18 -X43_bit19 -X44_bit_10 -X44_bit_9 -X44_bit_8 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X44_bit17 -X44_bit18 -X44_bit19 -X45_bit_10 -X45_bit_9 -X45_bit_8 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X45_bit17 -X45_bit18 -X45_bit19 -X46_bit_10 -X46_bit_9 -X46_bit_8 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit13 -X46_bit14 -X46_bit15 -X46_bit16 -X46_bit17 -X46_bit18 -X46_bit19 -X47_bit_10 -X47_bit_9 -X47_bit_8 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit13 -X47_bit14 -X47_bit15 -X47_bit16 -X47_bit17 -X47_bit18 -X47_bit19 -X48_bit_10 -X48_bit_9 -X48_bit_8 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit13 -X48_bit14 -X48_bit15 -X48_bit16 -X48_bit17 -X48_bit18 -X48_bit19 -X49_bit_10 -X49_bit_9 -X49_bit_8 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit13 -X49_bit14 -X49_bit15 -X49_bit16 -X49_bit17 -X49_bit18 -X49_bit19 -X50_bit_10 -X50_bit_9 -X50_bit_8 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit13 -X50_bit14 -X50_bit15 -X50_bit16 -X50_bit17 -X50_bit18 -X50_bit19 -X51_bit_10 -X51_bit_9 -X51_bit_8 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X51_bit17 -X51_bit18 -X51_bit19 -X52_bit_10 -X52_bit_9 -X52_bit_8 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X52_bit17 -X52_bit18 -X52_bit19 -X53_bit_10 -X53_bit_9 -X53_bit_8 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X53_bit17 -X53_bit18 -X53_bit19 -X54_bit_10 -X54_bit_9 -X54_bit_8 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X54_bit17 -X54_bit18 -X54_bit19 -X55_bit_10 -X55_bit_9 -X55_bit_8 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -X55_bit17 -X55_bit18 -X55_bit19 -X56_bit_10 -X56_bit_9 -X56_bit_8 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit13 -X56_bit14 -X56_bit15 -X56_bit16 -X56_bit17 -X56_bit18 -X56_bit19 -X57_bit_10 -X57_bit_9 -X57_bit_8 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit13 -X57_bit14 -X57_bit15 -X57_bit16 -X57_bit17 -X57_bit18 -X57_bit19 -X58_bit_10 -X58_bit_9 -X58_bit_8 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit13 -X58_bit14 -X58_bit15 -X58_bit16 -X58_bit17 -X58_bit18 -X58_bit19 -X59_bit_10 -X59_bit_9 -X59_bit_8 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 X59_bit0 X59_bit1 -X59_bit2 X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit13 -X59_bit14 -X59_bit15 -X59_bit16 -X59_bit17 -X59_bit18 -X59_bit19 -X60_bit_10 -X60_bit_9 -X60_bit_8 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit13 -X60_bit14 -X60_bit15 -X60_bit16 -X60_bit17 -X60_bit18 -X60_bit19 -X61_bit_10 -X61_bit_9 -X61_bit_8 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit13 -X61_bit14 -X61_bit15 -X61_bit16 -X61_bit17 -X61_bit18 -X61_bit19 -X62_bit_10 -X62_bit_9 -X62_bit_8 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit13 -X62_bit14 -X62_bit15 -X62_bit16 -X62_bit17 -X62_bit18 -X62_bit19 -X63_bit_10 -X63_bit_9 -X63_bit_8 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit13 -X63_bit14 -X63_bit15 -X63_bit16 -X63_bit17 -X63_bit18 -X63_bit19 -X64_bit_10 -X64_bit_9 -X64_bit_8 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit13 -X64_bit14 -X64_bit15 -X64_bit16 -X64_bit17 -X64_bit18 -X64_bit19 -X65_bit_10 -X65_bit_9 -X65_bit_8 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit13 -X65_bit14 -X65_bit15 -X65_bit16 -X65_bit17 -X65_bit18 -X65_bit19 -X66_bit_10 -X66_bit_9 -X66_bit_8 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit13 -X66_bit14 -X66_bit15 -X66_bit16 -X66_bit17 -X66_bit18 -X66_bit19 -X67_bit_10 -X67_bit_9 -X67_bit_8 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 X67_bit0 X67_bit1 X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit13 -X67_bit14 -X67_bit15 -X67_bit16 -X67_bit17 -X67_bit18 -X67_bit19 -X68_bit_10 -X68_bit_9 -X68_bit_8 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 X68_bit1 X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit13 -X68_bit14 -X68_bit15 -X68_bit16 -X68_bit17 -X68_bit18 -X68_bit19 -X69_bit_10 -X69_bit_9 -X69_bit_8 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit13 -X69_bit14 -X69_bit15 -X69_bit16 -X69_bit17 -X69_bit18 -X69_bit19 -X70_bit_10 -X70_bit_9 -X70_bit_8 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit13 -X70_bit14 -X70_bit15 -X70_bit16 -X70_bit17 -X70_bit18 -X70_bit19 -X71_bit_10 -X71_bit_9 -X71_bit_8 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit13 -X71_bit14 -X71_bit15 -X71_bit16 -X71_bit17 -X71_bit18 -X71_bit19 -X72_bit_10 -X72_bit_9 -X72_bit_8 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit13 -X72_bit14 -X72_bit15 -X72_bit16 -X72_bit17 -X72_bit18 -X72_bit19 -X73_bit_10 -X73_bit_9 -X73_bit_8 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 X73_bit_1 X73_bit0 X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit13 -X73_bit14 -X73_bit15 -X73_bit16 -X73_bit17 -X73_bit18 -X73_bit19 X74_bit_10 X74_bit_9 -X74_bit_8 X74_bit_7 X74_bit_6 X74_bit_5 X74_bit_4 X74_bit_3 X74_bit_2 X74_bit_1 X74_bit0 X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit13 -X74_bit14 -X74_bit15 -X74_bit16 -X74_bit17 -X74_bit18 -X74_bit19 -X75_bit_10 -X75_bit_9 -X75_bit_8 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit13 -X75_bit14 -X75_bit15 -X75_bit16 -X75_bit17 -X75_bit18 -X75_bit19 -X76_bit_10 X76_bit_9 X76_bit_8 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit13 -X76_bit14 -X76_bit15 -X76_bit16 -X76_bit17 -X76_bit18 -X76_bit19 -X77_bit_10 -X77_bit_9 -X77_bit_8 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit13 -X77_bit14 -X77_bit15 -X77_bit16 -X77_bit17 -X77_bit18 -X77_bit19 -X78_bit_10 -X78_bit_9 -X78_bit_8 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit13 -X78_bit14 -X78_bit15 -X78_bit16 -X78_bit17 -X78_bit18 -X78_bit19 X79_bit_10 X79_bit_9 X79_bit_8 X79_bit_7 X79_bit_6 X79_bit_5 X79_bit_4 X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit13 -X79_bit14 -X79_bit15 -X79_bit16 -X79_bit17 -X79_bit18 -X79_bit19 -X80_bit_10 -X80_bit_9 -X80_bit_8 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit13 -X80_bit14 -X80_bit15 -X80_bit16 -X80_bit17 -X80_bit18 -X80_bit19 -X81_bit_10 -X81_bit_9 -X81_bit_8 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit13 -X81_bit14 -X81_bit15 -X81_bit16 -X81_bit17 -X81_bit18 -X81_bit19 -X82_bit_10 -X82_bit_9 -X82_bit_8 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit13 -X82_bit14 -X82_bit15 -X82_bit16 -X82_bit17 -X82_bit18 -X82_bit19 -X83_bit_10 X83_bit_9 X83_bit_8 -X83_bit_7 -X83_bit_6 -X83_bit_5 X83_bit_4 X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X83_bit13 -X83_bit14 -X83_bit15 -X83_bit16 -X83_bit17 -X83_bit18 -X83_bit19 X84_bit_10 X84_bit_9 X84_bit_8 X84_bit_7 X84_bit_6 X84_bit_5 X84_bit_4 -X84_bit_3 -X84_bit_2 X84_bit_1 X84_bit0 X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit13 -X84_bit14 -X84_bit15 -X84_bit16 -X84_bit17 -X84_bit18 -X84_bit19 -X85_bit_10 -X85_bit_9 -X85_bit_8 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit13 -X85_bit14 -X85_bit15 -X85_bit16 -X85_bit17 -X85_bit18 -X85_bit19 -X86_bit_10 -X86_bit_9 -X86_bit_8 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit13 -X86_bit14 -X86_bit15 -X86_bit16 -X86_bit17 -X86_bit18 -X86_bit19 -X87_bit_10 -X87_bit_9 -X87_bit_8 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit13 -X87_bit14 -X87_bit15 -X87_bit16 -X87_bit17 -X87_bit18 -X87_bit19 -X88_bit_10 -X88_bit_9 -X88_bit_8 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit13 -X88_bit14 -X88_bit15 -X88_bit16 -X88_bit17 -X88_bit18 -X88_bit19 X89_bit_10 X89_bit_9 -X89_bit_8 X89_bit_7 X89_bit_6 X89_bit_5 -X89_bit_4 X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit13 -X89_bit14 -X89_bit15 -X89_bit16 -X89_bit17 -X89_bit18 -X89_bit19 -X90_bit_10 -X90_bit_9 -X90_bit_8 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit13 -X90_bit14 -X90_bit15 -X90_bit16 -X90_bit17 -X90_bit18 -X90_bit19 -X91_bit_10 -X91_bit_9 -X91_bit_8 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit13 -X91_bit14 -X91_bit15 -X91_bit16 -X91_bit17 -X91_bit18 -X91_bit19 -X92_bit_10 -X92_bit_9 -X92_bit_8 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 X92_bit1 X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit13 -X92_bit14 -X92_bit15 -X92_bit16 -X92_bit17 -X92_bit18 -X92_bit19 -X93_bit_10 X93_bit_9 -X93_bit_8 X93_bit_7 X93_bit_6 X93_bit_5 -X93_bit_4 -X93_bit_3 X93_bit_2 -X93_bit_1 X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit13 -X93_bit14 -X93_bit15 -X93_bit16 -X93_bit17 -X93_bit18 -X93_bit19 X94_bit_10 X94_bit_9 X94_bit_8 X94_bit_7 X94_bit_6 X94_bit_5 X94_bit_4 X94_bit_3 X94_bit_2 -X94_bit_1 X94_bit0 X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit13 -X94_bit14 -X94_bit15 -X94_bit16 -X94_bit17 -X94_bit18 -X94_bit19 -X95_bit_10 -X95_bit_9 -X95_bit_8 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit13 -X95_bit14 -X95_bit15 -X95_bit16 -X95_bit17 -X95_bit18 -X95_bit19 -X96_bit_10 -X96_bit_9 -X96_bit_8 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X96_bit13 -X96_bit14 -X96_bit15 -X96_bit16 -X96_bit17 -X96_bit18 -X96_bit19 -X97_bit_10 -X97_bit_9 -X97_bit_8 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X97_bit13 -X97_bit14 -X97_bit15 -X97_bit16 -X97_bit17 -X97_bit18 -X97_bit19 -X98_bit_10 -X98_bit_9 -X98_bit_8 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X98_bit13 -X98_bit14 -X98_bit15 -X98_bit16 -X98_bit17 -X98_bit18 -X98_bit19 X99_bit_10 X99_bit_9 X99_bit_8 -X99_bit_7 -X99_bit_6 -X99_bit_5 X99_bit_4 X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X99_bit13 -X99_bit14 -X99_bit15 -X99_bit16 -X99_bit17 -X99_bit18 -X99_bit19 -Y0_bit0 Y1_bit0 -Y2_bit0 Y3_bit0 -Y4_bit0 -Y5_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 Y38_bit0 -Y39_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 Y73_bit0 Y74_bit0 -Y75_bit0 Y76_bit0 -Y77_bit0 -Y78_bit0 Y79_bit0 -Y80_bit0 -Y81_bit0 Y82_bit0 Y83_bit0 Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 Y89_bit0 -Y90_bit0 Y91_bit0 Y92_bit0 Y93_bit0 Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 Y99_bit0 
c objective function=4107024
c Total CPU time (ms) : 1219.002

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/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852847985 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 39 3 38 16 0 23 0
[pid=31453] 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/31453
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=31454
New thread pid=31455
New thread pid=31456
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=31457
New thread pid=31458
New thread pid=31459
New thread pid=31460
New thread pid=31461
New thread pid=31462
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/wulflinc29/normalized-mps-v2-20-10-ran10x10a.opb
New thread pid=31463
One traced child (pid=31463) exited with status: 0

[startup+10.0029 s]
Raw data (loadavg): 1.08 1.02 0.98 4/65 31463
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18148 4 1 0 651 53 0 0 16 0 10 0 1852847985 858230784 20633 4294967295 134512640 134569956 3221224336 3221214948 1131065624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209529 20633 13129 16 0 209513 0
[pid=31453] vsize: 838116
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (Kb) 838116
New thread pid=31464

[startup+20.0027 s]
Raw data (loadavg): 1.07 1.02 0.98 2/66 31464
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18205 4 3 0 1562 55 0 0 19 0 11 0 1852847985 856031232 20331 4294967295 134512640 134569956 3221224336 3221214536 1131435384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 20331 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 16.17
Current children cumulated vsize (Kb) 835968

[startup+30.0045 s]
Raw data (loadavg): 1.06 1.01 0.98 2/66 31464
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18215 4 3 0 2483 56 0 0 24 0 11 0 1852847985 856031232 20351 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 20351 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (Kb) 835968

[startup+40.0053 s]
Raw data (loadavg): 1.05 1.01 0.98 2/66 31464
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18226 4 3 0 3407 56 0 0 25 0 11 0 1852847985 856031232 20975 4294967295 134512640 134569956 3221224336 3221214536 1131434085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 20975 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 34.63
Current children cumulated vsize (Kb) 835968

[startup+50.006 s]
Raw data (loadavg): 1.04 1.01 0.98 2/66 31464
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18238 4 3 0 4386 57 0 0 18 0 11 0 1852847985 856031232 21114 4294967295 134512640 134569956 3221224336 3221214640 1131550692 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 21114 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 44.43
Current children cumulated vsize (Kb) 835968
One traced child (pid=31464) exited with status: 0
New thread pid=31465

[startup+60.0068 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 31465
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18250 4 3 0 5361 58 0 0 25 0 11 0 1852847985 856031232 21275 4294967295 134512640 134569956 3221224336 3221214536 1131434770 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 21275 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 54.19
Current children cumulated vsize (Kb) 835968

[startup+70.0076 s]
Raw data (loadavg): 1.03 1.01 0.98 2/66 31465
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18261 4 3 0 6336 58 0 0 25 0 11 0 1852847985 856031232 21289 4294967295 134512640 134569956 3221224336 3221214536 1131434833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 208992 21289 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 63.94
Current children cumulated vsize (Kb) 835968

[startup+80.0084 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 31465
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18273 4 3 0 7311 59 0 0 24 0 11 0 1852847985 856031232 21399 4294967295 134512640 134569956 3221224336 3221214536 1131435029 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 208992 21399 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 73.7
Current children cumulated vsize (Kb) 835968

[startup+90.0092 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 31465
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18284 4 3 0 8297 60 0 0 25 0 11 0 1852847985 856031232 21415 4294967295 134512640 134569956 3221224336 3221214536 1131435152 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 21415 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 83.57
Current children cumulated vsize (Kb) 835968
One traced child (pid=31465) exited with status: 0
New thread pid=31466

[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18295 4 3 0 9265 60 0 0 25 0 11 0 1852847985 856031232 21321 4294967295 134512640 134569956 3221224336 3221214536 1131434104 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 208992 21321 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 93.25
Current children cumulated vsize (Kb) 835968

[startup+110.011 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18307 4 3 0 10242 60 0 0 25 0 11 0 1852847985 856031232 21336 4294967295 134512640 134569956 3221224336 3221214536 1131434695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 208992 21336 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 103.02
Current children cumulated vsize (Kb) 835968

[startup+120.013 s]
Raw data (loadavg): 1.01 1.01 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18316 4 3 0 11224 61 0 0 25 0 11 0 1852847985 856031232 21347 4294967295 134512640 134569956 3221224336 3221214480 1131539825 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 208992 21347 13129 16 0 208976 0
[pid=31453] vsize: 835968
Current children cumulated CPU time (s) 112.85
Current children cumulated vsize (Kb) 835968

[startup+130.013 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18323 4 3 0 12205 61 0 0 20 0 11 0 1852847985 859930624 22312 4294967295 134512640 134569956 3221224336 3221214480 1131539778 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209944 22312 13129 16 0 209928 0
[pid=31453] vsize: 839776
Current children cumulated CPU time (s) 122.66
Current children cumulated vsize (Kb) 839776

[startup+140.014 s]
Raw data (loadavg): 1.01 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18328 4 3 0 13195 61 0 0 25 0 11 0 1852847985 857317376 21742 4294967295 134512640 134569956 3221224336 3221214560 1131539760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21742 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 132.56
Current children cumulated vsize (Kb) 837224

[startup+150.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18336 4 3 0 14181 61 0 0 25 0 11 0 1852847985 857317376 21757 4294967295 134512640 134569956 3221224336 3221214640 1131547983 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21757 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 142.42
Current children cumulated vsize (Kb) 837224

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18347 4 3 0 15166 62 0 0 24 0 11 0 1852847985 857317376 21758 4294967295 134512640 134569956 3221224336 3221214536 1131434625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21758 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 152.28
Current children cumulated vsize (Kb) 837224

[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18357 4 3 0 16145 62 0 0 25 0 11 0 1852847985 857317376 21760 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21760 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (Kb) 837224

[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18368 4 3 0 17122 62 0 0 25 0 11 0 1852847985 857317376 21836 4294967295 134512640 134569956 3221224336 3221214536 1131434774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21836 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 171.84
Current children cumulated vsize (Kb) 837224

[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18379 4 3 0 18105 62 0 0 25 0 11 0 1852847985 857317376 21837 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21837 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 181.67
Current children cumulated vsize (Kb) 837224

[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18390 4 3 0 19093 63 0 0 24 0 11 0 1852847985 857317376 21916 4294967295 134512640 134569956 3221224336 3221214640 1131547967 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21916 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 191.56
Current children cumulated vsize (Kb) 837224

[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18402 4 3 0 20082 64 0 0 25 0 11 0 1852847985 857317376 21916 4294967295 134512640 134569956 3221224336 3221214640 1131547983 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21916 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 201.46
Current children cumulated vsize (Kb) 837224

[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18412 4 3 0 21074 64 0 0 25 0 11 0 1852847985 857317376 21924 4294967295 134512640 134569956 3221224336 3221214400 1131707501 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21924 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 211.38
Current children cumulated vsize (Kb) 837224

[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18421 4 3 0 22067 65 0 0 25 0 11 0 1852847985 858365952 22172 4294967295 134512640 134569956 3221224336 3221214536 1131434774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209562 22172 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 221.32
Current children cumulated vsize (Kb) 838248

[startup+240.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18432 4 3 0 23058 65 0 0 25 0 11 0 1852847985 858365952 22176 4294967295 134512640 134569956 3221224336 3221214640 1131549444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209562 22176 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 231.23
Current children cumulated vsize (Kb) 838248

[startup+250.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18444 4 3 0 24047 66 0 0 25 0 11 0 1852847985 858365952 22176 4294967295 134512640 134569956 3221224336 3221214640 1131548268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209562 22176 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 241.13
Current children cumulated vsize (Kb) 838248

[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18455 4 3 0 25039 66 0 0 25 0 11 0 1852847985 858365952 22197 4294967295 134512640 134569956 3221224336 3221214536 1131434081 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209562 22197 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 251.05
Current children cumulated vsize (Kb) 838248

[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.98 3/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18466 4 3 0 26032 66 0 0 20 0 11 0 1852847985 858365952 22204 4294967295 134512640 134569956 3221224336 3221214536 1131434102 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209562 22204 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 260.98
Current children cumulated vsize (Kb) 838248

[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18477 4 3 0 27024 67 0 0 21 0 11 0 1852847985 858365952 22205 4294967295 134512640 134569956 3221224336 3221214532 1131387680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209562 22205 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 270.91
Current children cumulated vsize (Kb) 838248

[startup+290.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18488 4 3 0 28015 67 0 0 25 0 11 0 1852847985 858365952 22211 4294967295 134512640 134569956 3221224336 3221214640 1131550701 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209562 22211 13129 16 0 209546 0
[pid=31453] vsize: 838248
Current children cumulated CPU time (s) 280.82
Current children cumulated vsize (Kb) 838248

[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18496 4 3 0 29009 68 0 0 25 0 11 0 1852847985 857317376 22146 4294967295 134512640 134569956 3221224336 3221214568 1131336025 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22146 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 290.77
Current children cumulated vsize (Kb) 837224

[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18505 4 3 0 30001 68 0 0 24 0 11 0 1852847985 857317376 21987 4294967295 134512640 134569956 3221224336 3221214480 1131570157 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21987 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 300.69
Current children cumulated vsize (Kb) 837224

[startup+320.03 s]
Raw data (loadavg): 1.07 1.02 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18513 4 3 0 30996 69 0 0 25 0 11 0 1852847985 857317376 21990 4294967295 134512640 134569956 3221224336 3221214480 1131569687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 21990 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 310.65
Current children cumulated vsize (Kb) 837224

[startup+330.031 s]
Raw data (loadavg): 1.06 1.02 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18524 4 3 0 31988 69 0 0 17 0 11 0 1852847985 857317376 21991 4294967295 134512640 134569956 3221224336 3221214640 1131549341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21991 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 320.57
Current children cumulated vsize (Kb) 837224

[startup+340.032 s]
Raw data (loadavg): 1.05 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18535 4 3 0 32980 69 0 0 25 0 11 0 1852847985 857317376 21991 4294967295 134512640 134569956 3221224336 3221214448 1131387716 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21991 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 330.49
Current children cumulated vsize (Kb) 837224

[startup+350.032 s]
Raw data (loadavg): 1.04 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18546 4 3 0 33971 70 0 0 25 0 11 0 1852847985 857317376 21992 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 21992 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 340.41
Current children cumulated vsize (Kb) 837224

[startup+360.033 s]
Raw data (loadavg): 1.04 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18556 4 3 0 34963 70 0 0 25 0 11 0 1852847985 857317376 22007 4294967295 134512640 134569956 3221224336 3221214536 1131434695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22007 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 350.33
Current children cumulated vsize (Kb) 837224

[startup+370.034 s]
Raw data (loadavg): 1.03 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18567 4 3 0 35951 70 0 0 25 0 11 0 1852847985 857317376 22014 4294967295 134512640 134569956 3221224336 3221214640 1131548203 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22014 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 360.21
Current children cumulated vsize (Kb) 837224

[startup+380.035 s]
Raw data (loadavg): 1.02 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18577 4 3 0 36939 70 0 0 22 0 11 0 1852847985 857317376 22015 4294967295 134512640 134569956 3221224336 3221214640 1131550625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22015 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 370.09
Current children cumulated vsize (Kb) 837224

[startup+390.037 s]
Raw data (loadavg): 1.02 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18588 4 3 0 37925 71 0 0 25 0 11 0 1852847985 857317376 22039 4294967295 134512640 134569956 3221224336 3221214536 1131434548 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22039 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 379.96
Current children cumulated vsize (Kb) 837224

[startup+400.038 s]
Raw data (loadavg): 1.02 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18598 4 3 0 38913 71 0 0 25 0 11 0 1852847985 857317376 22064 4294967295 134512640 134569956 3221224336 3221214536 1131434488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22064 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 389.84
Current children cumulated vsize (Kb) 837224

[startup+410.038 s]
Raw data (loadavg): 1.01 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18609 4 3 0 39900 72 0 0 20 0 11 0 1852847985 857317376 22091 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22091 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 399.72
Current children cumulated vsize (Kb) 837224

[startup+420.039 s]
Raw data (loadavg): 1.01 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18620 4 3 0 40888 72 0 0 25 0 11 0 1852847985 857317376 22117 4294967295 134512640 134569956 3221224336 3221214800 1131367129 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22117 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 409.6
Current children cumulated vsize (Kb) 837224

[startup+430.041 s]
Raw data (loadavg): 1.01 1.01 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18631 4 3 0 41876 72 0 0 25 0 11 0 1852847985 857317376 22143 4294967295 134512640 134569956 3221224336 3221214296 1076478451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22143 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 419.48
Current children cumulated vsize (Kb) 837224

[startup+440.042 s]
Raw data (loadavg): 1.01 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) S 31452 31453 19818 0 -1 0 18641 4 3 0 42864 72 0 0 25 0 11 0 1852847985 857317376 22165 4294967295 134512640 134569956 3221224336 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22165 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 429.36
Current children cumulated vsize (Kb) 837224

[startup+450.042 s]
Raw data (loadavg): 1.01 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18652 4 3 0 43849 73 0 0 25 0 11 0 1852847985 866754560 24407 4294967295 134512640 134569956 3221224336 3221214536 1131435149 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 211610 24407 13129 16 0 211594 0
[pid=31453] vsize: 846440
Current children cumulated CPU time (s) 439.22
Current children cumulated vsize (Kb) 846440

[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18662 4 3 0 44835 74 0 0 25 0 11 0 1852847985 860463104 23002 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23002 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 449.09
Current children cumulated vsize (Kb) 840296

[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18673 4 3 0 45822 74 0 0 25 0 11 0 1852847985 860463104 23019 4294967295 134512640 134569956 3221224336 3221214640 1131548203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23019 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 458.96
Current children cumulated vsize (Kb) 840296

[startup+480.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18684 4 3 0 46809 74 0 0 25 0 11 0 1852847985 860463104 23044 4294967295 134512640 134569956 3221224336 3221214536 1131434695 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23044 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 468.83
Current children cumulated vsize (Kb) 840296

[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18694 4 3 0 47797 75 0 0 21 0 11 0 1852847985 860463104 23068 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 210074 23068 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 478.72
Current children cumulated vsize (Kb) 840296

[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18705 4 3 0 48783 75 0 0 19 0 11 0 1852847985 860463104 23090 4294967295 134512640 134569956 3221224336 3221214704 1131709606 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 210074 23090 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 488.58
Current children cumulated vsize (Kb) 840296

[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18716 4 3 0 49769 76 0 0 17 0 11 0 1852847985 860463104 23120 4294967295 134512640 134569956 3221224336 3221214640 1131549483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23120 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 498.45
Current children cumulated vsize (Kb) 840296

[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) S 31452 31453 19818 0 -1 0 18727 4 3 0 50756 76 0 0 25 0 11 0 1852847985 860463104 23150 4294967295 134512640 134569956 3221224336 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23150 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 508.32
Current children cumulated vsize (Kb) 840296

[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18737 4 3 0 51744 76 0 0 25 0 11 0 1852847985 860463104 23179 4294967295 134512640 134569956 3221224336 3221214536 1131434936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23179 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 518.2
Current children cumulated vsize (Kb) 840296

[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18748 4 3 0 52732 76 0 0 25 0 11 0 1852847985 860463104 23185 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23185 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 528.08
Current children cumulated vsize (Kb) 840296

[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18759 4 3 0 53720 78 0 0 24 0 11 0 1852847985 860463104 23206 4294967295 134512640 134569956 3221224336 3221214536 1131434442 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 210074 23206 13129 16 0 210058 0
[pid=31453] vsize: 840296
Current children cumulated CPU time (s) 537.98
Current children cumulated vsize (Kb) 840296

[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18769 4 3 0 54709 78 0 0 25 0 11 0 1852847985 857317376 22654 4294967295 134512640 134569956 3221224336 3221214536 1131434749 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22654 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 547.87
Current children cumulated vsize (Kb) 837224

[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18780 4 3 0 55697 78 0 0 25 0 11 0 1852847985 857317376 22670 4294967295 134512640 134569956 3221224336 3221214536 1131435012 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22670 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 557.75
Current children cumulated vsize (Kb) 837224

[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18792 4 3 0 56686 78 0 0 25 0 11 0 1852847985 857317376 22686 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22686 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 567.64
Current children cumulated vsize (Kb) 837224

[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18802 4 3 0 57676 79 0 0 25 0 11 0 1852847985 857317376 22734 4294967295 134512640 134569956 3221224336 3221214480 1131652883 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22734 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 577.55
Current children cumulated vsize (Kb) 837224

[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18811 4 3 0 58665 80 0 0 25 0 11 0 1852847985 857317376 22749 4294967295 134512640 134569956 3221224336 3221214640 1131549397 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22749 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 587.45
Current children cumulated vsize (Kb) 837224

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18822 4 3 0 59653 81 0 0 18 0 11 0 1852847985 857317376 22756 4294967295 134512640 134569956 3221224336 3221214640 1131549341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22756 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 597.34
Current children cumulated vsize (Kb) 837224

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18832 4 3 0 60640 82 0 0 20 0 11 0 1852847985 857317376 22767 4294967295 134512640 134569956 3221224336 3221214448 1131388764 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22767 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 607.22
Current children cumulated vsize (Kb) 837224

[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18843 4 3 0 61626 82 0 0 19 0 11 0 1852847985 857317376 22806 4294967295 134512640 134569956 3221224336 3221214640 1131549341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22806 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 617.08
Current children cumulated vsize (Kb) 837224

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18853 4 3 0 62613 83 0 0 23 0 11 0 1852847985 857317376 22812 4294967295 134512640 134569956 3221224336 3221214536 1131434488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22812 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 626.96
Current children cumulated vsize (Kb) 837224

[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18864 4 3 0 63597 83 0 0 24 0 11 0 1852847985 857317376 22852 4294967295 134512640 134569956 3221224336 3221214640 1131550363 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22852 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 636.8
Current children cumulated vsize (Kb) 837224

[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18874 4 3 0 64582 84 0 0 25 0 11 0 1852847985 857317376 22862 4294967295 134512640 134569956 3221224336 3221214536 1131434859 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22862 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 646.66
Current children cumulated vsize (Kb) 837224

[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18885 4 3 0 65569 84 0 0 22 0 11 0 1852847985 857317376 22894 4294967295 134512640 134569956 3221224336 3221214576 1131564024 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22894 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 656.53
Current children cumulated vsize (Kb) 837224

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18896 4 3 0 66555 85 0 0 25 0 11 0 1852847985 857317376 22935 4294967295 134512640 134569956 3221224336 3221214536 1131434853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22935 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 666.4
Current children cumulated vsize (Kb) 837224

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18907 4 3 0 67542 85 0 0 25 0 11 0 1852847985 857317376 22942 4294967295 134512640 134569956 3221224336 3221214536 1131434163 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 22942 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 676.27
Current children cumulated vsize (Kb) 837224

[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18918 4 3 0 68528 86 0 0 17 0 11 0 1852847985 857317376 22974 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22974 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 686.14
Current children cumulated vsize (Kb) 837224

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18928 4 3 0 69518 86 0 0 25 0 11 0 1852847985 857317376 22989 4294967295 134512640 134569956 3221224336 3221214536 1131434774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22989 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 696.04
Current children cumulated vsize (Kb) 837224

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18939 4 3 0 70505 87 0 0 18 0 11 0 1852847985 857317376 22997 4294967295 134512640 134569956 3221224336 3221214536 1131434411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 22997 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 705.92
Current children cumulated vsize (Kb) 837224

[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18950 4 3 0 71492 87 0 0 25 0 11 0 1852847985 857317376 23008 4294967295 134512640 134569956 3221224336 3221214536 1131434486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23008 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 715.79
Current children cumulated vsize (Kb) 837224

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18961 4 3 0 72482 88 0 0 24 0 11 0 1852847985 857317376 23039 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23039 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 725.7
Current children cumulated vsize (Kb) 837224

[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18972 4 3 0 73472 88 0 0 17 0 11 0 1852847985 857317376 23046 4294967295 134512640 134569956 3221224336 3221214536 1131434141 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23046 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 735.6
Current children cumulated vsize (Kb) 837224

[startup+760.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18982 4 3 0 74463 88 0 0 25 0 11 0 1852847985 857317376 23057 4294967295 134512640 134569956 3221224336 3221214536 1131434488 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23057 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 745.51
Current children cumulated vsize (Kb) 837224

[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 18993 4 3 0 75451 89 0 0 17 0 11 0 1852847985 857317376 23064 4294967295 134512640 134569956 3221224336 3221214504 1131216239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23064 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 755.4
Current children cumulated vsize (Kb) 837224

[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19003 4 3 0 76439 89 0 0 25 0 11 0 1852847985 857317376 23072 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23072 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 765.28
Current children cumulated vsize (Kb) 837224

[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19014 4 3 0 77426 89 0 0 25 0 11 0 1852847985 857317376 23086 4294967295 134512640 134569956 3221224336 3221214536 1131434774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23086 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 775.15
Current children cumulated vsize (Kb) 837224

[startup+800.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19025 4 3 0 78414 90 0 0 22 0 11 0 1852847985 857317376 23127 4294967295 134512640 134569956 3221224336 3221214536 1131434134 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23127 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 785.04
Current children cumulated vsize (Kb) 837224

[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19036 4 3 0 79404 90 0 0 25 0 11 0 1852847985 857317376 23134 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23134 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 794.94
Current children cumulated vsize (Kb) 837224

[startup+820.078 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19047 4 3 0 80394 90 0 0 21 0 11 0 1852847985 857317376 23145 4294967295 134512640 134569956 3221224336 3221214536 1131434774 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23145 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 804.84
Current children cumulated vsize (Kb) 837224

[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19058 4 3 0 81385 90 0 0 20 0 11 0 1852847985 857317376 23151 4294967295 134512640 134569956 3221224336 3221214800 1131367129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23151 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 814.75
Current children cumulated vsize (Kb) 837224

[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19068 4 3 0 82375 91 0 0 24 0 11 0 1852847985 857317376 23156 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23156 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 824.66
Current children cumulated vsize (Kb) 837224

[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19079 4 3 0 83363 91 0 0 25 0 11 0 1852847985 857317376 23161 4294967295 134512640 134569956 3221224336 3221214568 1131377177 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23161 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 834.54
Current children cumulated vsize (Kb) 837224

[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19090 4 3 0 84347 91 0 0 25 0 11 0 1852847985 857317376 23166 4294967295 134512640 134569956 3221224336 3221214536 1131434081 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23166 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 844.38
Current children cumulated vsize (Kb) 837224

[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19100 4 3 0 85332 92 0 0 25 0 11 0 1852847985 857317376 23207 4294967295 134512640 134569956 3221224336 3221214536 1131434652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23207 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 854.24
Current children cumulated vsize (Kb) 837224

[startup+880.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19111 4 3 0 86315 92 0 0 25 0 11 0 1852847985 857317376 23212 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23212 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 864.07
Current children cumulated vsize (Kb) 837224

[startup+890.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19122 4 3 0 87301 93 0 0 19 0 11 0 1852847985 857317376 23248 4294967295 134512640 134569956 3221224336 3221214536 1131434719 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23248 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 873.94
Current children cumulated vsize (Kb) 837224

[startup+900.087 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19133 4 3 0 88289 93 0 0 17 0 11 0 1852847985 857317376 23288 4294967295 134512640 134569956 3221224336 3221214640 1131548203 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23288 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 883.82
Current children cumulated vsize (Kb) 837224

[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19143 4 3 0 89279 93 0 0 25 0 11 0 1852847985 857317376 23298 4294967295 134512640 134569956 3221224336 3221214636 1131434067 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23298 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 893.72
Current children cumulated vsize (Kb) 837224

[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19154 4 3 0 90269 94 0 0 23 0 11 0 1852847985 857317376 23303 4294967295 134512640 134569956 3221224336 3221214532 1131387680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23303 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 903.63
Current children cumulated vsize (Kb) 837224

[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19165 4 3 0 91259 94 0 0 24 0 11 0 1852847985 857317376 23303 4294967295 134512640 134569956 3221224336 3221214536 1131434259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23303 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 913.53
Current children cumulated vsize (Kb) 837224

[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19176 4 3 0 92249 95 0 0 22 0 11 0 1852847985 857317376 23319 4294967295 134512640 134569956 3221224336 3221214640 1131551434 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23319 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 923.44
Current children cumulated vsize (Kb) 837224

[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19187 4 3 0 93239 95 0 0 25 0 11 0 1852847985 857317376 23322 4294967295 134512640 134569956 3221224336 3221214536 1131434143 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23322 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 933.34
Current children cumulated vsize (Kb) 837224

[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19198 4 3 0 94229 96 0 0 19 0 11 0 1852847985 857317376 23328 4294967295 134512640 134569956 3221224336 3221214536 1131434791 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23328 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 943.25
Current children cumulated vsize (Kb) 837224

[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19209 4 3 0 95219 96 0 0 25 0 11 0 1852847985 857317376 23334 4294967295 134512640 134569956 3221224336 3221213920 1077402753 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23334 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 953.15
Current children cumulated vsize (Kb) 837224

[startup+980.093 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19220 4 3 0 96210 97 0 0 17 0 11 0 1852847985 857317376 23339 4294967295 134512640 134569956 3221224336 3221214448 1131388756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23339 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 963.07
Current children cumulated vsize (Kb) 837224

[startup+990.095 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19230 4 3 0 97201 97 0 0 25 0 11 0 1852847985 857317376 23344 4294967295 134512640 134569956 3221224336 3221214496 1131216819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23344 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 972.98
Current children cumulated vsize (Kb) 837224

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19241 4 3 0 98187 97 0 0 25 0 11 0 1852847985 857317376 23350 4294967295 134512640 134569956 3221224336 3221214536 1131434488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23350 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 982.84
Current children cumulated vsize (Kb) 837224

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19252 4 3 0 99175 98 0 0 25 0 11 0 1852847985 857317376 23356 4294967295 134512640 134569956 3221224336 3221214536 1131434400 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23356 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 992.73
Current children cumulated vsize (Kb) 837224

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19262 4 3 0 100162 98 0 0 23 0 11 0 1852847985 857317376 23391 4294967295 134512640 134569956 3221224336 3221214536 1131435384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23391 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1002.6
Current children cumulated vsize (Kb) 837224

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19273 4 3 0 101149 98 0 0 25 0 11 0 1852847985 857317376 23392 4294967295 134512640 134569956 3221224336 3221214536 1131434137 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23392 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1012.47
Current children cumulated vsize (Kb) 837224

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19284 4 3 0 102137 98 0 0 24 0 11 0 1852847985 857317376 23398 4294967295 134512640 134569956 3221224336 3221214536 1131434533 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23398 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1022.35
Current children cumulated vsize (Kb) 837224

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19295 4 3 0 103125 99 0 0 25 0 11 0 1852847985 857317376 23437 4294967295 134512640 134569956 3221224336 3221214480 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23437 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1032.24
Current children cumulated vsize (Kb) 837224

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19306 4 3 0 104114 99 0 0 25 0 11 0 1852847985 857317376 23443 4294967295 134512640 134569956 3221224336 3221214480 1131434286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23443 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1042.13
Current children cumulated vsize (Kb) 837224

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19317 4 3 0 105101 100 0 0 25 0 11 0 1852847985 857317376 23448 4294967295 134512640 134569956 3221224336 3221214480 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23448 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1052.01
Current children cumulated vsize (Kb) 837224

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19328 4 3 0 106088 100 0 0 16 0 11 0 1852847985 857317376 23453 4294967295 134512640 134569956 3221224336 3221214480 1131434660 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23453 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (Kb) 837224

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19339 4 3 0 107077 100 0 0 25 0 11 0 1852847985 857317376 23483 4294967295 134512640 134569956 3221224336 3221214480 1131435072 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23483 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1071.77
Current children cumulated vsize (Kb) 837224

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19350 4 3 0 108067 101 0 0 16 0 11 0 1852847985 857317376 23488 4294967295 134512640 134569956 3221224336 3221214584 1131549341 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23488 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1081.68
Current children cumulated vsize (Kb) 837224

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19361 4 3 0 109057 101 0 0 24 0 11 0 1852847985 857317376 23499 4294967295 134512640 134569956 3221224336 3221214480 1131434469 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23499 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1091.58
Current children cumulated vsize (Kb) 837224

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19371 4 3 0 110048 101 0 0 23 0 11 0 1852847985 857317376 23504 4294967295 134512640 134569956 3221224336 3221214480 1131434488 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23504 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1101.49
Current children cumulated vsize (Kb) 837224

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19382 4 3 0 111039 102 0 0 25 0 11 0 1852847985 857317376 23504 4294967295 134512640 134569956 3221224336 3221214584 1131550701 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23504 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1111.41
Current children cumulated vsize (Kb) 837224

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19393 4 3 0 112029 102 0 0 25 0 11 0 1852847985 857317376 23509 4294967295 134512640 134569956 3221224336 3221214480 1131434595 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23509 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1121.31
Current children cumulated vsize (Kb) 837224

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19404 4 3 0 113019 103 0 0 25 0 11 0 1852847985 857317376 23515 4294967295 134512640 134569956 3221224336 3221214480 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23515 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1131.22
Current children cumulated vsize (Kb) 837224

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19416 4 3 0 114009 103 0 0 25 0 11 0 1852847985 857317376 23520 4294967295 134512640 134569956 3221224336 3221214584 1131550309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23520 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1141.12
Current children cumulated vsize (Kb) 837224

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19427 4 3 0 114999 104 0 0 17 0 11 0 1852847985 857317376 23525 4294967295 134512640 134569956 3221224336 3221214480 1131434685 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23525 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 837224

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19437 4 3 0 115989 104 0 0 22 0 11 0 1852847985 857317376 23531 4294967295 134512640 134569956 3221224336 3221214480 1131434745 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23531 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1160.93
Current children cumulated vsize (Kb) 837224

[startup+1190.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19448 4 3 0 116977 104 0 0 25 0 11 0 1852847985 857317376 23536 4294967295 134512640 134569956 3221224336 3221214584 1131550151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23536 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1170.81
Current children cumulated vsize (Kb) 837224

[startup+1200.12 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19460 4 3 0 117964 105 0 0 24 0 11 0 1852847985 857317376 23537 4294967295 134512640 134569956 3221224336 3221214480 1131434533 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23537 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (Kb) 837224

[startup+1210.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19470 4 3 0 118953 105 0 0 25 0 11 0 1852847985 857317376 23563 4294967295 134512640 134569956 3221224336 3221214480 1131434163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/31453/statm): 209306 23563 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1190.58
Current children cumulated vsize (Kb) 837224

[startup+1220.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19481 4 3 0 119943 106 0 0 25 0 11 0 1852847985 857317376 23569 4294967295 134512640 134569956 3221224336 3221214584 1131550701 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23569 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1200.49
Current children cumulated vsize (Kb) 837224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 31466
Raw data (/proc/31453/stat): 31453 (java) R 31452 31453 19818 0 -1 0 19481 4 3 0 119943 106 0 0 25 0 11 0 1852847985 857317376 23569 4294967295 134512640 134569956 3221224336 3221214480 1131434695 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/31453/statm): 209306 23569 13129 16 0 209290 0
[pid=31453] vsize: 837224
Current children cumulated CPU time (s) 1200.49
Current children cumulated vsize (Kb) 837224

Sending SIGTERM to -31453
Sleeping 2 seconds
New thread pid=31468
New thread pid=31469
One traced child (pid=31469) exited with status: 0
One traced child (pid=31462) exited with status: 0
One traced child (pid=31457) exited with status: 0
One traced child (pid=31454) exited with status: 143
One traced child (pid=31460) exited with status: 143
One traced child (pid=31456) exited with status: 143
One traced child (pid=31461) exited with status: 143
One traced child (pid=31458) exited with status: 143
One traced child (pid=31455) exited with status: 143
One traced child (pid=31466) exited with status: 143
One traced child (pid=31468) exited with status: 143
One traced child (pid=31459) exited with status: 143
One traced child (pid=31453) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.38
CPU time (s): 1215.41
CPU user time (s): 1213.47
CPU system time (s): 1.9347
CPU usage (%): 99.5921
Max. virtual memory (cumulated for all children) (Kb): 846440

Verifier Data

Verifier:	OK	4107024