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-ran10x10c.opb
MD5SUMda5013babdadf38e39e51a27df2c50f3
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23566654
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 515495338528
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 515495338528
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.44
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 4893

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        895540 kB
Buffers:         36400 kB
Cached:          76032 kB
SwapCached:        856 kB
Active:          69000 kB
Inactive:        46084 kB
HighTotal:      131008 kB
HighFree:        53536 kB
LowTotal:       903652 kB
LowFree:        842004 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            18504 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 21:07:34 (client local time) WITH STATUS 143 IN 1236.44 SECONDS
stats: 6554 0 1236.44 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran10x10c.opb
c reading problem ... done. Time 3.823 ms.
c #vars     3100
c #constraints  140
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            23566654 		Current CPU time: 28.79 ms
c starts		: 7
c conflicts		: 1369
c decisions		: 9582
c propagations		: 52995
c inspects		: 962238
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1369
c root simplifications	: 55
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 5894
c speed (decisions/second)	: 7.919512233423118
c non guided choices	2986
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=23566654
c Total CPU time (ms) : 1239.097

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/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1794648836 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 39 3 38 16 0 23 0
[pid=32127] 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/32127
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=32128
New thread pid=32129
New thread pid=32130
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=32131
New thread pid=32132
New thread pid=32133
New thread pid=32134
New thread pid=32135
New thread pid=32136
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran10x10c.opb
New thread pid=32137

[startup+10.0026 s]
Raw data (loadavg): 1.22 1.05 1.00 2/66 32137
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18170 0 1 0 690 48 0 0 24 0 11 0 1794648836 859811840 20809 4294967295 134512640 134569956 3221224336 3221214640 1131528469 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 20809 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (Kb) 839660

[startup+20.0034 s]
Raw data (loadavg): 1.19 1.05 1.00 2/66 32137
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18181 0 1 0 1606 49 0 0 23 0 11 0 1794648836 859811840 20912 4294967295 134512640 134569956 3221224336 3221214544 1131416365 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 20912 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 16.55
Current children cumulated vsize (Kb) 839660
One traced child (pid=32137) exited with status: 0

[startup+30.0053 s]
Raw data (loadavg): 1.16 1.05 1.00 3/65 32137
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18192 5 1 0 2519 50 0 0 24 0 10 0 1794648836 859811840 20974 4294967295 134512640 134569956 3221224336 3221214948 1131074089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 20974 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (Kb) 839660
New thread pid=32138

[startup+40.0051 s]
Raw data (loadavg): 1.13 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18251 5 1 0 3441 50 0 0 25 0 11 0 1794648836 859811840 21797 4294967295 134512640 134569956 3221224336 3221214544 1131416409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 21797 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 34.91
Current children cumulated vsize (Kb) 839660

[startup+50.007 s]
Raw data (loadavg): 1.11 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18262 5 1 0 4413 51 0 0 25 0 11 0 1794648836 859811840 21845 4294967295 134512640 134569956 3221224336 3221214368 1131576566 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 21845 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 44.64
Current children cumulated vsize (Kb) 839660

[startup+60.0078 s]
Raw data (loadavg): 1.17 1.06 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18271 5 1 0 5392 51 0 0 25 0 11 0 1794648836 859811840 21884 4294967295 134512640 134569956 3221224336 3221214488 1131498785 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 21884 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 54.43
Current children cumulated vsize (Kb) 839660

[startup+70.0086 s]
Raw data (loadavg): 1.14 1.06 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18281 5 1 0 6372 52 0 0 25 0 11 0 1794648836 859811840 22016 4294967295 134512640 134569956 3221224336 3221214480 1131575747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22016 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 64.24
Current children cumulated vsize (Kb) 839660

[startup+80.0095 s]
Raw data (loadavg): 1.12 1.06 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18289 5 1 0 7354 52 0 0 25 0 11 0 1794648836 859811840 22038 4294967295 134512640 134569956 3221224336 3221214592 1131565792 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22038 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 74.06
Current children cumulated vsize (Kb) 839660

[startup+90.0103 s]
Raw data (loadavg): 1.10 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18296 5 1 0 8332 53 0 0 25 0 11 0 1794648836 859811840 22055 4294967295 134512640 134569956 3221224336 3221214680 1131608615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22055 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 83.85
Current children cumulated vsize (Kb) 839660

[startup+100.011 s]
Raw data (loadavg): 1.08 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) S 32126 32127 31915 0 -1 0 18303 5 1 0 9303 53 0 0 25 0 11 0 1794648836 859811840 22056 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 22056 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 93.56
Current children cumulated vsize (Kb) 839660

[startup+110.013 s]
Raw data (loadavg): 1.07 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18312 5 1 0 10249 54 0 0 25 0 11 0 1794648836 859811840 22088 4294967295 134512640 134569956 3221224336 3221214496 1131379084 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22088 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 103.03
Current children cumulated vsize (Kb) 839660

[startup+120.014 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18318 5 1 0 11212 54 0 0 19 0 11 0 1794648836 859811840 22139 4294967295 134512640 134569956 3221224336 3221214480 1131575783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22139 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 112.66
Current children cumulated vsize (Kb) 839660

[startup+130.015 s]
Raw data (loadavg): 1.05 1.05 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18324 5 1 0 12178 55 0 0 19 0 11 0 1794648836 859811840 22301 4294967295 134512640 134569956 3221224336 3221214480 1131575435 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 22301 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 122.33
Current children cumulated vsize (Kb) 839660

[startup+140.016 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18330 5 1 0 13145 55 0 0 21 0 11 0 1794648836 859811840 22468 4294967295 134512640 134569956 3221224336 3221214640 1131528561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 22468 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 132
Current children cumulated vsize (Kb) 839660

[startup+150.016 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18336 5 1 0 14112 55 0 0 25 0 11 0 1794648836 859811840 22575 4294967295 134512640 134569956 3221224336 3221214480 1131575979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22575 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 141.67
Current children cumulated vsize (Kb) 839660

[startup+160.017 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18342 5 1 0 15077 56 0 0 17 0 11 0 1794648836 859811840 22598 4294967295 134512640 134569956 3221224336 3221214540 1131057201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 22598 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 151.33
Current children cumulated vsize (Kb) 839660

[startup+170.018 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18348 5 1 0 16037 56 0 0 25 0 11 0 1794648836 859811840 22658 4294967295 134512640 134569956 3221224336 3221214640 1131531541 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 22658 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (Kb) 839660

[startup+180.019 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18356 5 1 0 16985 57 0 0 25 0 11 0 1794648836 859811840 22810 4294967295 134512640 134569956 3221224336 3221214496 1131379064 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 22810 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 170.42
Current children cumulated vsize (Kb) 839660

[startup+190.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18365 5 1 0 17936 57 0 0 25 0 11 0 1794648836 859811840 23000 4294967295 134512640 134569956 3221224336 3221214640 1131528528 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23000 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 839660

[startup+200.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18375 5 1 0 18899 58 0 0 25 0 11 0 1794648836 859811840 23193 4294967295 134512640 134569956 3221224336 3221214640 1131528496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23193 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 189.57
Current children cumulated vsize (Kb) 839660

[startup+210.022 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18386 5 1 0 19878 58 0 0 25 0 11 0 1794648836 859811840 23364 4294967295 134512640 134569956 3221224336 3221214496 1131379105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23364 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 199.36
Current children cumulated vsize (Kb) 839660

[startup+220.023 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18393 5 1 0 20869 58 0 0 25 0 11 0 1794648836 859811840 23384 4294967295 134512640 134569956 3221224336 3221214488 1131458514 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23384 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 209.27
Current children cumulated vsize (Kb) 839660

[startup+230.024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18401 5 1 0 21858 58 0 0 25 0 11 0 1794648836 859811840 23400 4294967295 134512640 134569956 3221224336 3221214480 1131458388 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23400 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 219.16
Current children cumulated vsize (Kb) 839660

[startup+240.025 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18411 5 1 0 22842 59 0 0 25 0 11 0 1794648836 859811840 23421 4294967295 134512640 134569956 3221224336 3221214636 1131415820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23421 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 229.01
Current children cumulated vsize (Kb) 839660

[startup+250.025 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18422 5 1 0 23824 59 0 0 17 0 11 0 1794648836 859811840 23433 4294967295 134512640 134569956 3221224336 3221214640 1131532049 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23433 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 238.83
Current children cumulated vsize (Kb) 839660

[startup+260.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18432 5 1 0 24809 60 0 0 21 0 11 0 1794648836 859811840 23483 4294967295 134512640 134569956 3221224336 3221214544 1131415837 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23483 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 248.69
Current children cumulated vsize (Kb) 839660

[startup+270.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18443 5 1 0 25796 60 0 0 25 0 11 0 1794648836 859811840 23521 4294967295 134512640 134569956 3221224336 3221214800 1131368985 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23521 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 258.56
Current children cumulated vsize (Kb) 839660

[startup+280.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18454 5 1 0 26783 60 0 0 17 0 11 0 1794648836 859811840 23541 4294967295 134512640 134569956 3221224336 3221214640 1131531315 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23541 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 268.43
Current children cumulated vsize (Kb) 839660

[startup+290.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18464 5 1 0 27770 61 0 0 21 0 11 0 1794648836 859811840 23556 4294967295 134512640 134569956 3221224336 3221214544 1131415927 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23556 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 278.31
Current children cumulated vsize (Kb) 839660

[startup+300.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18474 5 1 0 28759 61 0 0 25 0 11 0 1794648836 859811840 23584 4294967295 134512640 134569956 3221224336 3221214544 1131416486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23584 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 288.2
Current children cumulated vsize (Kb) 839660

[startup+310.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18485 5 1 0 29747 62 0 0 25 0 11 0 1794648836 859811840 23595 4294967295 134512640 134569956 3221224336 3221214560 1131548787 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23595 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 298.09
Current children cumulated vsize (Kb) 839660

[startup+320.032 s]
Raw data (loadavg): 1.15 1.05 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18490 5 1 0 30740 62 0 0 25 0 11 0 1794648836 859811840 23600 4294967295 134512640 134569956 3221224336 3221214480 1131575083 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23600 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 308.02
Current children cumulated vsize (Kb) 839660

[startup+330.033 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18496 5 1 0 31728 62 0 0 25 0 11 0 1794648836 859811840 23606 4294967295 134512640 134569956 3221224336 3221214592 1131565846 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23606 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 317.9
Current children cumulated vsize (Kb) 839660

[startup+340.034 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18502 5 1 0 32713 62 0 0 25 0 11 0 1794648836 859811840 23617 4294967295 134512640 134569956 3221224336 3221214544 1131416382 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 23617 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 327.75
Current children cumulated vsize (Kb) 839660

[startup+350.035 s]
Raw data (loadavg): 1.09 1.05 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18508 5 1 0 33693 63 0 0 25 0 11 0 1794648836 859811840 23623 4294967295 134512640 134569956 3221224336 3221214640 1131531306 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23623 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 337.56
Current children cumulated vsize (Kb) 839660

[startup+360.036 s]
Raw data (loadavg): 1.07 1.04 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18516 5 1 0 34660 63 0 0 25 0 11 0 1794648836 859811840 23633 4294967295 134512640 134569956 3221224336 3221214488 1131458589 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23633 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 347.23
Current children cumulated vsize (Kb) 839660

[startup+370.036 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18523 5 1 0 35626 63 0 0 25 0 11 0 1794648836 859811840 23730 4294967295 134512640 134569956 3221224336 3221214568 1131376126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23730 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 356.89
Current children cumulated vsize (Kb) 839660

[startup+380.037 s]
Raw data (loadavg): 1.05 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) S 32126 32127 31915 0 -1 0 18530 5 1 0 36585 64 0 0 25 0 11 0 1794648836 859811840 23799 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23799 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 366.49
Current children cumulated vsize (Kb) 839660

[startup+390.038 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18538 5 1 0 37544 64 0 0 25 0 11 0 1794648836 859811840 23896 4294967295 134512640 134569956 3221224336 3221214408 1131645737 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23896 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 376.08
Current children cumulated vsize (Kb) 839660

[startup+400.039 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18545 5 1 0 38502 64 0 0 24 0 11 0 1794648836 859811840 23979 4294967295 134512640 134569956 3221224336 3221214544 1131416075 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 23979 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 385.66
Current children cumulated vsize (Kb) 839660

[startup+410.04 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18554 5 1 0 39448 64 0 0 25 0 11 0 1794648836 859811840 24144 4294967295 134512640 134569956 3221224336 3221214544 1131416259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24144 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 395.12
Current children cumulated vsize (Kb) 839660

[startup+420.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18560 5 1 0 40416 65 0 0 25 0 11 0 1794648836 859811840 24239 4294967295 134512640 134569956 3221224336 3221214544 1131416259 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24239 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 404.81
Current children cumulated vsize (Kb) 839660

[startup+430.043 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18569 5 1 0 41377 65 0 0 25 0 11 0 1794648836 859811840 24403 4294967295 134512640 134569956 3221224336 3221214640 1131528496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24403 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 414.42
Current children cumulated vsize (Kb) 839660

[startup+440.044 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18577 5 1 0 42347 66 0 0 19 0 11 0 1794648836 859811840 24562 4294967295 134512640 134569956 3221224336 3221214636 1131415820 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24562 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 424.13
Current children cumulated vsize (Kb) 839660

[startup+450.044 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18586 5 1 0 43315 66 0 0 16 0 11 0 1794648836 859811840 24627 4294967295 134512640 134569956 3221224336 3221214568 1131498781 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24627 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 433.81
Current children cumulated vsize (Kb) 839660

[startup+460.046 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18593 5 1 0 44286 66 0 0 24 0 11 0 1794648836 859811840 24661 4294967295 134512640 134569956 3221224336 3221214544 1131369008 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24661 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 443.52
Current children cumulated vsize (Kb) 839660

[startup+470.047 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18601 5 1 0 45248 67 0 0 19 0 11 0 1794648836 859811840 24717 4294967295 134512640 134569956 3221224336 3221214640 1131529584 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 24717 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 453.15
Current children cumulated vsize (Kb) 839660

[startup+480.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18609 5 1 0 46207 67 0 0 19 0 11 0 1794648836 859811840 24836 4294967295 134512640 134569956 3221224336 3221214544 1131416259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 24836 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 462.74
Current children cumulated vsize (Kb) 839660

[startup+490.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18617 5 1 0 47167 67 0 0 18 0 11 0 1794648836 859811840 24927 4294967295 134512640 134569956 3221224336 3221214544 1131416238 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 24927 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 472.34
Current children cumulated vsize (Kb) 839660

[startup+500.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18625 5 1 0 48127 68 0 0 25 0 11 0 1794648836 859811840 25051 4294967295 134512640 134569956 3221224336 3221214496 1131379105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 25051 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 481.95
Current children cumulated vsize (Kb) 839660

[startup+510.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18633 5 1 0 49088 68 0 0 18 0 11 0 1794648836 859811840 25166 4294967295 134512640 134569956 3221224336 3221214544 1131415874 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 25166 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 491.56
Current children cumulated vsize (Kb) 839660

[startup+520.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18641 5 1 0 50047 68 0 0 17 0 11 0 1794648836 859811840 25260 4294967295 134512640 134569956 3221224336 3221214560 1131548760 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 25260 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 501.15
Current children cumulated vsize (Kb) 839660

[startup+530.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18648 5 1 0 51010 68 0 0 23 0 11 0 1794648836 859811840 25366 4294967295 134512640 134569956 3221224336 3221214544 1131415927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 25366 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 510.78
Current children cumulated vsize (Kb) 839660

[startup+540.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18656 5 1 0 51970 69 0 0 25 0 11 0 1794648836 859811840 25467 4294967295 134512640 134569956 3221224336 3221214544 1131416290 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 25467 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 520.39
Current children cumulated vsize (Kb) 839660

[startup+550.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18665 5 1 0 52924 69 0 0 17 0 11 0 1794648836 859811840 25590 4294967295 134512640 134569956 3221224336 3221214544 1131415845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 25590 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 529.93
Current children cumulated vsize (Kb) 839660

[startup+560.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18672 5 1 0 53889 69 0 0 24 0 11 0 1794648836 859811840 25705 4294967295 134512640 134569956 3221224336 3221214488 1131458403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 25705 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 539.58
Current children cumulated vsize (Kb) 839660

[startup+570.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18680 5 1 0 54850 70 0 0 25 0 11 0 1794648836 859811840 25807 4294967295 134512640 134569956 3221224336 3221214544 1131416311 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 25807 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 549.2
Current children cumulated vsize (Kb) 839660

[startup+580.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) S 32126 32127 31915 0 -1 0 18688 5 1 0 55808 70 0 0 25 0 11 0 1794648836 859811840 25897 4294967295 134512640 134569956 3221224336 3221213184 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 25897 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 558.78
Current children cumulated vsize (Kb) 839660

[startup+590.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18698 5 1 0 56758 70 0 0 25 0 11 0 1794648836 859811840 26037 4294967295 134512640 134569956 3221224336 3221214600 1131565795 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26037 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 568.28
Current children cumulated vsize (Kb) 839660

[startup+600.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18705 5 1 0 57727 71 0 0 18 0 11 0 1794648836 859811840 26147 4294967295 134512640 134569956 3221224336 3221214544 1131416252 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26147 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 577.98
Current children cumulated vsize (Kb) 839660

[startup+610.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18713 5 1 0 58699 71 0 0 17 0 11 0 1794648836 859811840 26260 4294967295 134512640 134569956 3221224336 3221214548 1131057195 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26260 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 587.7
Current children cumulated vsize (Kb) 839660

[startup+620.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18720 5 1 0 59680 72 0 0 25 0 11 0 1794648836 859811840 26354 4294967295 134512640 134569956 3221224336 3221214488 1131458193 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26354 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 597.52
Current children cumulated vsize (Kb) 839660

[startup+630.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18728 5 1 0 60659 72 0 0 25 0 11 0 1794648836 859811840 26390 4294967295 134512640 134569956 3221224336 3221214488 1131458674 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26390 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 607.31
Current children cumulated vsize (Kb) 839660

[startup+640.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18735 5 1 0 61642 72 0 0 25 0 11 0 1794648836 859811840 26442 4294967295 134512640 134569956 3221224336 3221214488 1131458109 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26442 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 617.14
Current children cumulated vsize (Kb) 839660

[startup+650.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18743 5 1 0 62621 72 0 0 21 0 11 0 1794648836 859811840 26473 4294967295 134512640 134569956 3221224336 3221214488 1131458257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26473 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 626.93
Current children cumulated vsize (Kb) 839660

[startup+660.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18750 5 1 0 63602 72 0 0 25 0 11 0 1794648836 859811840 26508 4294967295 134512640 134569956 3221224336 3221214544 1131416105 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26508 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 636.74
Current children cumulated vsize (Kb) 839660

[startup+670.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18757 5 1 0 64584 73 0 0 25 0 11 0 1794648836 859811840 26548 4294967295 134512640 134569956 3221224336 3221214488 1131577473 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26548 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 646.57
Current children cumulated vsize (Kb) 839660

[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18766 5 1 0 65562 73 0 0 17 0 11 0 1794648836 859811840 26592 4294967295 134512640 134569956 3221224336 3221214592 1131568430 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26592 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 656.35
Current children cumulated vsize (Kb) 839660

[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18773 5 1 0 66541 74 0 0 25 0 11 0 1794648836 859811840 26637 4294967295 134512640 134569956 3221224336 3221214376 1085806266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26637 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 666.15
Current children cumulated vsize (Kb) 839660

[startup+700.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18780 5 1 0 67521 74 0 0 22 0 11 0 1794648836 859811840 26671 4294967295 134512640 134569956 3221224336 3221214544 1131415845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26671 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 675.95
Current children cumulated vsize (Kb) 839660

[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18787 5 1 0 68499 74 0 0 25 0 11 0 1794648836 859811840 26714 4294967295 134512640 134569956 3221224336 3221214488 1131458132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26714 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 685.73
Current children cumulated vsize (Kb) 839660

[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18794 5 1 0 69476 75 0 0 24 0 11 0 1794648836 859811840 26759 4294967295 134512640 134569956 3221224336 3221214552 1131369008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26759 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 695.51
Current children cumulated vsize (Kb) 839660

[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18801 5 1 0 70450 75 0 0 25 0 11 0 1794648836 859811840 26804 4294967295 134512640 134569956 3221224336 3221214544 1131416244 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26804 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 705.25
Current children cumulated vsize (Kb) 839660

[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18808 5 1 0 71422 76 0 0 25 0 11 0 1794648836 859811840 26855 4294967295 134512640 134569956 3221224336 3221214488 1131458403 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26855 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 714.98
Current children cumulated vsize (Kb) 839660

[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18815 5 1 0 72391 76 0 0 25 0 11 0 1794648836 859811840 26907 4294967295 134512640 134569956 3221224336 3221214400 1131694053 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 26907 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 724.67
Current children cumulated vsize (Kb) 839660

[startup+760.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18822 5 1 0 73358 76 0 0 24 0 11 0 1794648836 859811840 26973 4294967295 134512640 134569956 3221224336 3221214640 1131528561 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 26973 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 734.34
Current children cumulated vsize (Kb) 839660

[startup+770.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18829 5 1 0 74323 76 0 0 25 0 11 0 1794648836 859811840 27068 4294967295 134512640 134569956 3221224336 3221214488 1131458477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27068 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 743.99
Current children cumulated vsize (Kb) 839660

[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18838 5 1 0 75277 77 0 0 20 0 11 0 1794648836 859811840 27158 4294967295 134512640 134569956 3221224336 3221214800 1131368985 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27158 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 753.54
Current children cumulated vsize (Kb) 839660

[startup+790.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18845 5 1 0 76245 77 0 0 25 0 11 0 1794648836 859811840 27258 4294967295 134512640 134569956 3221224336 3221214544 1131416205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27258 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 763.22
Current children cumulated vsize (Kb) 839660

[startup+800.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18854 5 1 0 77209 77 0 0 24 0 11 0 1794648836 859811840 27379 4294967295 134512640 134569956 3221224336 3221214544 1131416868 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27379 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 772.86
Current children cumulated vsize (Kb) 839660

[startup+810.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18861 5 1 0 78186 77 0 0 25 0 11 0 1794648836 859811840 27487 4294967295 134512640 134569956 3221224336 3221214544 1131415854 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27487 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 782.63
Current children cumulated vsize (Kb) 839660

[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18869 5 1 0 79166 77 0 0 18 0 11 0 1794648836 859811840 27551 4294967295 134512640 134569956 3221224336 3221214544 1131416858 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27551 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 792.43
Current children cumulated vsize (Kb) 839660

[startup+830.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18876 5 1 0 80147 78 0 0 25 0 11 0 1794648836 859811840 27579 4294967295 134512640 134569956 3221224336 3221214544 1131416881 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27579 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 802.25
Current children cumulated vsize (Kb) 839660

[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18884 5 1 0 81126 78 0 0 25 0 11 0 1794648836 859811840 27620 4294967295 134512640 134569956 3221224336 3221214596 1131548713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27620 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 812.04
Current children cumulated vsize (Kb) 839660

[startup+850.082 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18892 5 1 0 82106 78 0 0 25 0 11 0 1794648836 859811840 27670 4294967295 134512640 134569956 3221224336 3221214496 1131379076 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27670 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (Kb) 839660

[startup+860.083 s]
Raw data (loadavg): 1.14 1.03 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18900 5 1 0 83085 78 0 0 19 0 11 0 1794648836 859811840 27720 4294967295 134512640 134569956 3221224336 3221214576 1131498801 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27720 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 831.63
Current children cumulated vsize (Kb) 839660

[startup+870.084 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18907 5 1 0 84066 79 0 0 25 0 11 0 1794648836 859811840 27750 4294967295 134512640 134569956 3221224336 3221214544 1131416259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27750 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 841.45
Current children cumulated vsize (Kb) 839660

[startup+880.086 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18915 5 1 0 85044 79 0 0 19 0 11 0 1794648836 859811840 27785 4294967295 134512640 134569956 3221224336 3221214640 1131530480 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27785 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 851.23
Current children cumulated vsize (Kb) 839660

[startup+890.086 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18922 5 1 0 86026 80 0 0 23 0 11 0 1794648836 859811840 27825 4294967295 134512640 134569956 3221224336 3221214544 1131416219 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27825 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 861.06
Current children cumulated vsize (Kb) 839660

[startup+900.087 s]
Raw data (loadavg): 1.07 1.03 1.01 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18929 5 1 0 87005 80 0 0 25 0 11 0 1794648836 859811840 27870 4294967295 134512640 134569956 3221224336 3221214592 1131568523 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27870 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 870.85
Current children cumulated vsize (Kb) 839660

[startup+910.089 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18937 5 1 0 87981 80 0 0 25 0 11 0 1794648836 859811840 27920 4294967295 134512640 134569956 3221224336 3221214496 1131380060 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27920 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 880.61
Current children cumulated vsize (Kb) 839660

[startup+920.089 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18944 5 1 0 88959 80 0 0 19 0 11 0 1794648836 859811840 27950 4294967295 134512640 134569956 3221224336 3221214576 1131498785 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 27950 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 890.39
Current children cumulated vsize (Kb) 839660

[startup+930.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18952 5 1 0 89932 80 0 0 22 0 11 0 1794648836 859811840 27991 4294967295 134512640 134569956 3221224336 3221214488 1131575712 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 27991 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 900.12
Current children cumulated vsize (Kb) 839660

[startup+940.092 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18959 5 1 0 90904 80 0 0 25 0 11 0 1794648836 859811840 28036 4294967295 134512640 134569956 3221224336 3221214576 1131376063 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28036 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 909.84
Current children cumulated vsize (Kb) 839660

[startup+950.091 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18966 5 1 0 91873 81 0 0 25 0 11 0 1794648836 859811840 28091 4294967295 134512640 134569956 3221224336 3221214600 1131565795 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28091 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 919.54
Current children cumulated vsize (Kb) 839660

[startup+960.092 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18973 5 1 0 92840 81 0 0 25 0 11 0 1794648836 859811840 28157 4294967295 134512640 134569956 3221224336 3221214640 1131528496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28157 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 929.21
Current children cumulated vsize (Kb) 839660

[startup+970.093 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18980 5 1 0 93806 81 0 0 25 0 11 0 1794648836 859811840 28255 4294967295 134512640 134569956 3221224336 3221214572 1131299996 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28255 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 938.87
Current children cumulated vsize (Kb) 839660

[startup+980.094 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18989 5 1 0 94761 81 0 0 21 0 11 0 1794648836 859811840 28338 4294967295 134512640 134569956 3221224336 3221214544 1131415860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28338 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 948.42
Current children cumulated vsize (Kb) 839660

[startup+990.095 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 18997 5 1 0 95726 82 0 0 25 0 11 0 1794648836 859811840 28433 4294967295 134512640 134569956 3221224336 3221214488 1131575083 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28433 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 958.08
Current children cumulated vsize (Kb) 839660

[startup+1000.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19006 5 1 0 96692 82 0 0 17 0 11 0 1794648836 859811840 28551 4294967295 134512640 134569956 3221224336 3221214488 1131458264 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28551 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 967.74
Current children cumulated vsize (Kb) 839660

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19013 5 1 0 97671 82 0 0 22 0 11 0 1794648836 859811840 28651 4294967295 134512640 134569956 3221224336 3221214544 1131416500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28651 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 977.53
Current children cumulated vsize (Kb) 839660

[startup+1020.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19021 5 1 0 98652 82 0 0 25 0 11 0 1794648836 859811840 28700 4294967295 134512640 134569956 3221224336 3221214544 1131415860 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28700 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 987.34
Current children cumulated vsize (Kb) 839660

[startup+1030.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19030 5 1 0 99627 83 0 0 25 0 11 0 1794648836 859811840 28748 4294967295 134512640 134569956 3221224336 3221214488 1131458287 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28748 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 997.1
Current children cumulated vsize (Kb) 839660

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19038 5 1 0 100605 83 0 0 17 0 11 0 1794648836 859811840 28771 4294967295 134512640 134569956 3221224336 3221214488 1131575083 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28771 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1006.88
Current children cumulated vsize (Kb) 839660

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19045 5 1 0 101587 83 0 0 25 0 11 0 1794648836 859811840 28811 4294967295 134512640 134569956 3221224336 3221214496 1131379617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28811 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1016.7
Current children cumulated vsize (Kb) 839660

[startup+1060.1 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19053 5 1 0 102565 83 0 0 25 0 11 0 1794648836 859811840 28867 4294967295 134512640 134569956 3221224336 3221214640 1131532463 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28867 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1026.48
Current children cumulated vsize (Kb) 839660

[startup+1070.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19062 5 1 0 103540 84 0 0 21 0 11 0 1794648836 859811840 28907 4294967295 134512640 134569956 3221224336 3221214544 1131415841 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 28907 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1036.24
Current children cumulated vsize (Kb) 839660

[startup+1080.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19072 5 1 0 104512 85 0 0 25 0 11 0 1794648836 859811840 28958 4294967295 134512640 134569956 3221224336 3221214544 1131415841 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 28958 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1045.97
Current children cumulated vsize (Kb) 839660

[startup+1090.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19081 5 1 0 105487 85 0 0 25 0 11 0 1794648836 859811840 29004 4294967295 134512640 134569956 3221224336 3221214640 1131528496 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29004 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1055.72
Current children cumulated vsize (Kb) 839660

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19089 5 1 0 106467 86 0 0 21 0 11 0 1794648836 859811840 29052 4294967295 134512640 134569956 3221224336 3221214184 1131692915 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29052 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1065.53
Current children cumulated vsize (Kb) 839660

[startup+1110.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19096 5 1 0 107449 86 0 0 20 0 11 0 1794648836 859811840 29088 4294967295 134512640 134569956 3221224336 3221214568 1131548794 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29088 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1075.35
Current children cumulated vsize (Kb) 839660

[startup+1120.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19104 5 1 0 108422 86 0 0 20 0 11 0 1794648836 859811840 29109 4294967295 134512640 134569956 3221224336 3221214640 1131529584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29109 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1085.08
Current children cumulated vsize (Kb) 839660

[startup+1130.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19115 5 1 0 109384 87 0 0 25 0 11 0 1794648836 859811840 29166 4294967295 134512640 134569956 3221224336 3221214544 1131416848 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29166 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1094.71
Current children cumulated vsize (Kb) 839660

[startup+1140.11 s]
Raw data (loadavg): 1.02 1.02 1.00 3/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19127 5 1 0 110346 88 0 0 25 0 11 0 1794648836 859811840 29217 4294967295 134512640 134569956 3221224336 3221214544 1131415867 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29217 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1104.34
Current children cumulated vsize (Kb) 839660

[startup+1150.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19138 5 1 0 111322 88 0 0 24 0 11 0 1794648836 859811840 29334 4294967295 134512640 134569956 3221224336 3221214640 1131530536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29334 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1114.1
Current children cumulated vsize (Kb) 839660

[startup+1160.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/66 32138
Raw data (/proc/32127/stat): 32127 (java) S 32126 32127 31915 0 -1 0 19150 5 1 0 112301 88 0 0 25 0 11 0 1794648836 859811840 29338 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29338 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1123.89
Current children cumulated vsize (Kb) 839660

[startup+1170.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19160 5 1 0 113284 89 0 0 25 0 11 0 1794648836 859811840 29361 4294967295 134512640 134569956 3221224336 3221214544 1131416259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29361 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1133.73
Current children cumulated vsize (Kb) 839660

[startup+1180.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19172 5 1 0 114265 89 0 0 24 0 11 0 1794648836 859811840 29381 4294967295 134512640 134569956 3221224336 3221214640 1131528496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29381 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1143.54
Current children cumulated vsize (Kb) 839660

[startup+1190.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19183 5 1 0 115249 90 0 0 25 0 11 0 1794648836 859811840 29381 4294967295 134512640 134569956 3221224336 3221214640 1131528271 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29381 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1153.39
Current children cumulated vsize (Kb) 839660

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/66 32138
Raw data (/proc/32127/stat): 32127 (java) T 32126 32127 31915 0 -1 0 19195 5 1 0 116230 90 0 0 25 0 11 0 1794648836 859811840 29395 4294967295 134512640 134569956 3221224336 3221213228 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29395 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1163.2
Current children cumulated vsize (Kb) 839660

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19206 5 1 0 117214 91 0 0 23 0 11 0 1794648836 859811840 29395 4294967295 134512640 134569956 3221224336 3221214800 1131368985 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29395 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1173.05
Current children cumulated vsize (Kb) 839660

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19217 5 1 0 118198 91 0 0 25 0 11 0 1794648836 859811840 29404 4294967295 134512640 134569956 3221224336 3221214640 1131531170 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29404 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1182.89
Current children cumulated vsize (Kb) 839660

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19229 5 1 0 119181 91 0 0 25 0 11 0 1794648836 859811840 29404 4294967295 134512640 134569956 3221224336 3221214640 1131531303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/32127/statm): 209915 29404 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1192.72
Current children cumulated vsize (Kb) 839660

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19240 5 1 0 120165 92 0 0 25 0 11 0 1794648836 859811840 29405 4294967295 134512640 134569956 3221224336 3221214544 1131415937 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29405 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1202.57
Current children cumulated vsize (Kb) 839660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 32138
Raw data (/proc/32127/stat): 32127 (java) R 32126 32127 31915 0 -1 0 19240 5 1 0 120165 92 0 0 25 0 11 0 1794648836 859811840 29405 4294967295 134512640 134569956 3221224336 3221214544 1131415937 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/32127/statm): 209915 29405 13129 16 0 209899 0
[pid=32127] vsize: 839660
Current children cumulated CPU time (s) 1202.57
Current children cumulated vsize (Kb) 839660

Sending SIGTERM to -32127
Sleeping 2 seconds
New thread pid=32140
New thread pid=32141
One traced child (pid=32141) exited with status: 0
One traced child (pid=32136) exited with status: 0
One traced child (pid=32131) exited with status: 0
One traced child (pid=32128) exited with status: 143
One traced child (pid=32129) exited with status: 143
One traced child (pid=32130) exited with status: 143
One traced child (pid=32132) exited with status: 143
One traced child (pid=32135) exited with status: 143
One traced child (pid=32134) exited with status: 143
One traced child (pid=32138) exited with status: 143
One traced child (pid=32133) exited with status: 143
One traced child (pid=32140) exited with status: 143
One traced child (pid=32127) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.49
CPU time (s): 1236.44
CPU user time (s): 1234.76
CPU system time (s): 1.68274
CPU usage (%): 99.673
Max. virtual memory (cumulated for all children) (Kb): 839660

Verifier Data

Verifier:	OK	23566654