PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 30089

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 14:44:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21494 boxname=wulflinc30 idbench=1482 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 21494
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        771660 kB
Buffers:         29480 kB
Cached:         210608 kB
SwapCached:        632 kB
Active:          27964 kB
Inactive:       214152 kB
HighTotal:      131008 kB
HighFree:        52444 kB
LowTotal:       903652 kB
LowFree:        719216 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15284 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 15:04:24 (client local time) WITH STATUS 143 IN 1223.86 SECONDS
stats: 21494 0 1223.86 143
#### END LAUNCHER DATA ####
#### BEGIN 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 Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran12x12.opb
c reading problem ... done. Time 5.805 ms.
c #vars     3024
c #constraints  192
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              573396 		Current CPU time: 40.74 ms
c CURRENT OPTIMUM=              563840 		Current CPU time: 228.24 ms
c starts	: 5
c conflicts	: 380
c decisions	: 30895
c propagations	: 87298
c inspects	: 535277
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 380
c root simplifications	: 141
s SATISFIABLE
v -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 X101_bit0 X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 X107_bit1 -X107_bit2 X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 -X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 -X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 -X122_bit_2 -X122_bit_1 -X122_bit0 -X122_bit1 -X122_bit2 -X122_bit3 -X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 -X123_bit0 -X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X124_bit_7 -X124_bit_6 -X124_bit_5 -X124_bit_4 -X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 X126_bit0 X126_bit1 -X126_bit2 X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 -X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 X128_bit1 X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 -X132_bit0 -X132_bit1 -X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 -X133_bit1 -X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 -X135_bit_3 -X135_bit_2 -X135_bit_1 -X135_bit0 -X135_bit1 -X135_bit2 -X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X137_bit_7 -X137_bit_6 -X137_bit_5 -X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 -X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 -X138_bit0 -X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X139_bit_7 -X139_bit_6 -X139_bit_5 -X139_bit_4 -X139_bit_3 -X139_bit_2 -X139_bit_1 -X139_bit0 -X139_bit1 -X139_bit2 -X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 X140_bit1 X140_bit2 X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 -X143_bit0 -X143_bit1 -X143_bit2 -X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -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 Y100_bit0 Y101_bit0 -Y102_bit0 -Y103_bit0 Y104_bit0 Y105_bit0 -Y106_bit0 Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 -Y112_bit0 Y113_bit0 -Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 -Y119_bit0 -Y120_bit0 -Y121_bit0 -Y122_bit0 -Y123_bit0 -Y124_bit0 -Y125_bit0 Y126_bit0 -Y127_bit0 Y128_bit0 -Y129_bit0 Y130_bit0 -Y131_bit0 -Y132_bit0 -Y133_bit0 -Y134_bit0 -Y135_bit0 -Y136_bit0 -Y137_bit0 -Y138_bit0 -Y139_bit0 Y140_bit0 -Y141_bit0 -Y142_bit0 -Y143_bit0 
c objectif function=563840
c Total CPU time (ms) : 1219.35
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 8086
Raw data (stat): 8086 (runsolver) R 8085 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839689218 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.17 1.03 1.01 4/64 8096
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18100 0 1 0 777 43 0 0 25 0 11 0 839689218 859578368 20378 4294967295 134512640 134569956 3221224368 3221214596 1130892668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209858 20378 13086 16 0 209842 0
vsize: 839432
[startup+20.0013 s]
Raw data (loadavg): 1.29 1.06 1.02 2/64 8096
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18105 0 1 0 1698 43 0 0 25 0 11 0 839689218 859516928 20931 4294967295 134512640 134569956 3221224368 3221214568 1131266590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 20931 13086 16 0 209827 0
vsize: 839372
[startup+30.0011 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 8096
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18105 0 1 0 2622 43 0 0 25 0 11 0 839689218 859516928 21037 4294967295 134512640 134569956 3221224368 3221214568 1131266029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 21037 13086 16 0 209827 0
vsize: 839372
[startup+40.0024 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 8096
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18105 0 1 0 3545 44 0 0 25 0 11 0 839689218 859516928 21277 4294967295 134512640 134569956 3221224368 3221214568 1131265971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 21277 13086 16 0 209827 0
vsize: 839372
[startup+50.0026 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 4508 44 0 0 25 0 11 0 839689218 859516928 21721 4294967295 134512640 134569956 3221224368 3221214440 1131246034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 21721 13086 16 0 209827 0
vsize: 839372
[startup+60.0036 s]
Raw data (loadavg): 1.22 1.07 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 5479 45 0 0 25 0 11 0 839689218 859516928 21767 4294967295 134512640 134569956 3221224368 3221214568 1131266135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 21767 13086 16 0 209827 0
vsize: 839372
[startup+70.0048 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 6454 45 0 0 25 0 11 0 839689218 859516928 21816 4294967295 134512640 134569956 3221224368 3221214568 1131265945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 21816 13086 16 0 209827 0
vsize: 839372
[startup+80.0051 s]
Raw data (loadavg): 1.16 1.06 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 7435 45 0 0 25 0 11 0 839689218 859516928 21905 4294967295 134512640 134569956 3221224368 3221214672 1131370173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 21905 13086 16 0 209827 0
vsize: 839372
[startup+90.005 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 8421 45 0 0 25 0 11 0 839689218 859516928 21965 4294967295 134512640 134569956 3221224368 3221214568 1131266628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 21965 13086 16 0 209827 0
vsize: 839372
[startup+100.005 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 9407 45 0 0 25 0 11 0 839689218 859516928 21980 4294967295 134512640 134569956 3221224368 3221214480 1131211898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 21980 13086 16 0 209827 0
vsize: 839372
[startup+110.006 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 10394 45 0 0 25 0 11 0 839689218 859516928 22034 4294967295 134512640 134569956 3221224368 3221214480 1131211893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22034 13086 16 0 209827 0
vsize: 839372
[startup+120.006 s]
Raw data (loadavg): 1.08 1.05 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 11386 45 0 0 25 0 11 0 839689218 859516928 22053 4294967295 134512640 134569956 3221224368 3221214568 1131266001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22053 13086 16 0 209827 0
vsize: 839372
[startup+130.007 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 12379 45 0 0 25 0 11 0 839689218 859516928 22063 4294967295 134512640 134569956 3221224368 3221214568 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22063 13086 16 0 209827 0
vsize: 839372
[startup+140.007 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 13372 45 0 0 25 0 11 0 839689218 859516928 22073 4294967295 134512640 134569956 3221224368 3221214672 1131369436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22073 13086 16 0 209827 0
vsize: 839372
[startup+150.008 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 14359 45 0 0 25 0 11 0 839689218 859516928 22078 4294967295 134512640 134569956 3221224368 3221214568 1131265569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22078 13086 16 0 209827 0
vsize: 839372
[startup+160.009 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 15342 45 0 0 25 0 11 0 839689218 859516928 22088 4294967295 134512640 134569956 3221224368 3221214568 1131265985 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22088 13086 16 0 209827 0
vsize: 839372
[startup+170.009 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 16325 45 0 0 25 0 11 0 839689218 859516928 22099 4294967295 134512640 134569956 3221224368 3221214568 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22099 13086 16 0 209827 0
vsize: 839372
[startup+180.009 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 17315 45 0 0 25 0 11 0 839689218 859516928 22178 4294967295 134512640 134569956 3221224368 3221214568 1131265565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22178 13086 16 0 209827 0
vsize: 839372
[startup+190.01 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 18307 45 0 0 25 0 11 0 839689218 859516928 22192 4294967295 134512640 134569956 3221224368 3221214672 1131369340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22192 13086 16 0 209827 0
vsize: 839372
[startup+200.011 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 19300 46 0 0 25 0 11 0 839689218 859516928 22201 4294967295 134512640 134569956 3221224368 3221214568 1131265580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22201 13086 16 0 209827 0
vsize: 839372
[startup+210.012 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 20294 46 0 0 25 0 11 0 839689218 859516928 22212 4294967295 134512640 134569956 3221224368 3221214568 1131265889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22212 13086 16 0 209827 0
vsize: 839372
[startup+220.012 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 8097
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 21286 46 0 0 25 0 11 0 839689218 859516928 22217 4294967295 134512640 134569956 3221224368 3221214672 1131368080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22217 13086 16 0 209827 0
vsize: 839372
[startup+230.013 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 22279 46 0 0 25 0 11 0 839689218 859516928 22228 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22228 13086 16 0 209827 0
vsize: 839372
[startup+240.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18152 4 1 0 23265 46 0 0 25 0 11 0 839689218 859516928 22237 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22237 13086 16 0 209827 0
vsize: 839372
[startup+250.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 24248 46 0 0 24 0 11 0 839689218 859516928 22249 4294967295 134512640 134569956 3221224368 3221214508 1131307427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22249 13086 16 0 209827 0
vsize: 839372
[startup+260.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 25238 46 0 0 25 0 11 0 839689218 859516928 22252 4294967295 134512640 134569956 3221224368 3221214552 1131265655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22252 13086 16 0 209827 0
vsize: 839372
[startup+270.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 26226 47 0 0 25 0 11 0 839689218 859516928 22318 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22318 13086 16 0 209827 0
vsize: 839372
[startup+280.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 27219 47 0 0 25 0 11 0 839689218 859516928 22318 4294967295 134512640 134569956 3221224368 3221214408 1131390593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22318 13086 16 0 209827 0
vsize: 839372
[startup+290.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 28213 47 0 0 25 0 11 0 839689218 859516928 22321 4294967295 134512640 134569956 3221224368 3221214480 1131407762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22321 13086 16 0 209827 0
vsize: 839372
[startup+300.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 29207 48 0 0 25 0 11 0 839689218 859516928 22336 4294967295 134512640 134569956 3221224368 3221214400 1131246012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22336 13086 16 0 209827 0
vsize: 839372
[startup+310.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 30197 48 0 0 25 0 11 0 839689218 859516928 22338 4294967295 134512640 134569956 3221224368 3221214408 1131246165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22338 13086 16 0 209827 0
vsize: 839372
[startup+320.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 31190 48 0 0 25 0 11 0 839689218 859516928 22339 4294967295 134512640 134569956 3221224368 3221214512 1131342467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22339 13086 16 0 209827 0
vsize: 839372
[startup+330.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 32176 48 0 0 25 0 11 0 839689218 859516928 22340 4294967295 134512640 134569956 3221224368 3221214656 1131372955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22340 13086 16 0 209827 0
vsize: 839372
[startup+340.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 33160 49 0 0 25 0 11 0 839689218 859516928 22362 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22362 13086 16 0 209827 0
vsize: 839372
[startup+350.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 34145 49 0 0 25 0 11 0 839689218 859516928 22362 4294967295 134512640 134569956 3221224368 3221214552 1131265602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22362 13086 16 0 209827 0
vsize: 839372
[startup+360.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 35136 50 0 0 25 0 11 0 839689218 859516928 22431 4294967295 134512640 134569956 3221224368 3221214552 1131266646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 22431 13086 16 0 209827 0
vsize: 839372
[startup+370.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 36128 50 0 0 25 0 11 0 839689218 859516928 22433 4294967295 134512640 134569956 3221224368 3221214552 1131266446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22433 13086 16 0 209827 0
vsize: 839372
[startup+380.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 37121 50 0 0 25 0 11 0 839689218 859516928 22454 4294967295 134512640 134569956 3221224368 3221214656 1131372822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22454 13086 16 0 209827 0
vsize: 839372
[startup+390.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 38115 50 0 0 25 0 11 0 839689218 859516928 22455 4294967295 134512640 134569956 3221224368 3221214552 1131266234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22455 13086 16 0 209827 0
vsize: 839372
[startup+400.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 39109 50 0 0 25 0 11 0 839689218 859516928 22465 4294967295 134512640 134569956 3221224368 3221214656 1131369293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22465 13086 16 0 209827 0
vsize: 839372
[startup+410.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 40096 50 0 0 25 0 11 0 839689218 859516928 22467 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22467 13086 16 0 209827 0
vsize: 839372
[startup+420.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 41080 50 0 0 25 0 11 0 839689218 859516928 22476 4294967295 134512640 134569956 3221224368 3221214552 1131265997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22476 13086 16 0 209827 0
vsize: 839372
[startup+430.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 42065 50 0 0 25 0 11 0 839689218 859516928 22478 4294967295 134512640 134569956 3221224368 3221214656 1131370249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22478 13086 16 0 209827 0
vsize: 839372
[startup+440.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 43061 51 0 0 25 0 11 0 839689218 859516928 22552 4294967295 134512640 134569956 3221224368 3221214400 1131246089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22552 13086 16 0 209827 0
vsize: 839372
[startup+450.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 44050 51 0 0 25 0 11 0 839689218 859516928 22552 4294967295 134512640 134569956 3221224368 3221214552 1131266264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22552 13086 16 0 209827 0
vsize: 839372
[startup+460.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 45031 51 0 0 25 0 11 0 839689218 859516928 22561 4294967295 134512640 134569956 3221224368 3221214400 1131246587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22561 13086 16 0 209827 0
vsize: 839372
[startup+470.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 46011 51 0 0 25 0 11 0 839689218 859516928 22563 4294967295 134512640 134569956 3221224368 3221214552 1131265773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22563 13086 16 0 209827 0
vsize: 839372
[startup+480.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 46974 51 0 0 25 0 11 0 839689218 859516928 22625 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22625 13086 16 0 209827 0
vsize: 839372
[startup+490.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 47947 51 0 0 25 0 11 0 839689218 859516928 22750 4294967295 134512640 134569956 3221224368 3221214656 1131369369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22750 13086 16 0 209827 0
vsize: 839372
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 48930 51 0 0 25 0 11 0 839689218 859516928 22887 4294967295 134512640 134569956 3221224368 3221214552 1131265569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22887 13086 16 0 209827 0
vsize: 839372
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 49925 51 0 0 25 0 11 0 839689218 859516928 22933 4294967295 134512640 134569956 3221224368 3221214552 1131266311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22933 13086 16 0 209827 0
vsize: 839372
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 50919 51 0 0 25 0 11 0 839689218 859516928 22933 4294967295 134512640 134569956 3221224368 3221214552 1131265693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22933 13086 16 0 209827 0
vsize: 839372
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 51913 51 0 0 25 0 11 0 839689218 859516928 22939 4294967295 134512640 134569956 3221224368 3221214552 1131265923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22939 13086 16 0 209827 0
vsize: 839372
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 52906 52 0 0 25 0 11 0 839689218 859516928 22939 4294967295 134512640 134569956 3221224368 3221214552 1131265777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22939 13086 16 0 209827 0
vsize: 839372
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 53900 52 0 0 25 0 11 0 839689218 859516928 22951 4294967295 134512640 134569956 3221224368 3221214656 1131369358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22951 13086 16 0 209827 0
vsize: 839372
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 54888 52 0 0 25 0 11 0 839689218 859516928 22962 4294967295 134512640 134569956 3221224368 3221214656 1131372955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22962 13086 16 0 209827 0
vsize: 839372
[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 55875 52 0 0 25 0 11 0 839689218 859516928 22963 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 22963 13086 16 0 209827 0
vsize: 839372
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 56864 52 0 0 25 0 11 0 839689218 859516928 23005 4294967295 134512640 134569956 3221224368 3221214504 1131358085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23005 13086 16 0 209827 0
vsize: 839372
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 57860 52 0 0 25 0 11 0 839689218 859516928 23042 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23042 13086 16 0 209827 0
vsize: 839372
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 58853 52 0 0 25 0 11 0 839689218 859516928 23045 4294967295 134512640 134569956 3221224368 3221214656 1131368107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23045 13086 16 0 209827 0
vsize: 839372
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 59846 52 0 0 25 0 11 0 839689218 859516928 23045 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23045 13086 16 0 209827 0
vsize: 839372
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 60837 53 0 0 24 0 11 0 839689218 859516928 23060 4294967295 134512640 134569956 3221224368 3221214408 1131391332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23060 13086 16 0 209827 0
vsize: 839372
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 61827 53 0 0 25 0 11 0 839689218 859516928 23066 4294967295 134512640 134569956 3221224368 3221214552 1131265602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23066 13086 16 0 209827 0
vsize: 839372
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 62814 53 0 0 25 0 11 0 839689218 859516928 23066 4294967295 134512640 134569956 3221224368 3221214656 1131368107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23066 13086 16 0 209827 0
vsize: 839372
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 63797 53 0 0 25 0 11 0 839689218 859516928 23077 4294967295 134512640 134569956 3221224368 3221214552 1131265655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23077 13086 16 0 209827 0
vsize: 839372
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 64780 53 0 0 25 0 11 0 839689218 859516928 23155 4294967295 134512640 134569956 3221224368 3221214552 1131266198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23155 13086 16 0 209827 0
vsize: 839372
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18153 4 1 0 65770 53 0 0 25 0 11 0 839689218 859516928 23204 4294967295 134512640 134569956 3221224368 3221214408 1131388907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23204 13086 16 0 209827 0
vsize: 839372
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 66761 53 0 0 25 0 11 0 839689218 859516928 23214 4294967295 134512640 134569956 3221224368 3221214408 1131388949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23214 13086 16 0 209827 0
vsize: 839372
[startup+690.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 67744 53 0 0 25 0 11 0 839689218 859516928 23221 4294967295 134512640 134569956 3221224368 3221214656 1131369380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23221 13086 16 0 209827 0
vsize: 839372
[startup+700.055 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 68719 53 0 0 25 0 11 0 839689218 859516928 23225 4294967295 134512640 134569956 3221224368 3221214408 1131389493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209843 23225 13086 16 0 209827 0
vsize: 839372
[startup+710.056 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 69689 53 0 0 25 0 11 0 839689218 859516928 23254 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23254 13086 16 0 209827 0
vsize: 839372
[startup+720.056 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 70652 53 0 0 25 0 11 0 839689218 859516928 23387 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23387 13086 16 0 209827 0
vsize: 839372
[startup+730.056 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 71630 53 0 0 25 0 11 0 839689218 859516928 23505 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23505 13086 16 0 209827 0
vsize: 839372
[startup+740.057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 72619 53 0 0 25 0 11 0 839689218 859516928 23618 4294967295 134512640 134569956 3221224368 3221214552 1131265602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23618 13086 16 0 209827 0
vsize: 839372
[startup+750.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 73613 53 0 0 25 0 11 0 839689218 859516928 23620 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23620 13086 16 0 209827 0
vsize: 839372
[startup+760.058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 74606 53 0 0 25 0 11 0 839689218 859516928 23625 4294967295 134512640 134569956 3221224368 3221214552 1131265602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23625 13086 16 0 209827 0
vsize: 839372
[startup+770.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 75599 53 0 0 25 0 11 0 839689218 859516928 23633 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23633 13086 16 0 209827 0
vsize: 839372
[startup+780.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 76593 54 0 0 25 0 11 0 839689218 859516928 23645 4294967295 134512640 134569956 3221224368 3221214552 1131266500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23645 13086 16 0 209827 0
vsize: 839372
[startup+790.06 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 77588 54 0 0 25 0 11 0 839689218 859516928 23653 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23653 13086 16 0 209827 0
vsize: 839372
[startup+800.061 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 78581 54 0 0 25 0 11 0 839689218 859516928 23662 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23662 13086 16 0 209827 0
vsize: 839372
[startup+810.061 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 79576 54 0 0 25 0 11 0 839689218 859516928 23666 4294967295 134512640 134569956 3221224368 3221214656 1131368335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23666 13086 16 0 209827 0
vsize: 839372
[startup+820.062 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 80570 54 0 0 25 0 11 0 839689218 859516928 23678 4294967295 134512640 134569956 3221224368 3221214552 1131265765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23678 13086 16 0 209827 0
vsize: 839372
[startup+830.062 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 81564 54 0 0 25 0 11 0 839689218 859516928 23683 4294967295 134512640 134569956 3221224368 3221214464 1131211943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23683 13086 16 0 209827 0
vsize: 839372
[startup+840.062 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 82558 54 0 0 25 0 11 0 839689218 859516928 23694 4294967295 134512640 134569956 3221224368 3221214552 1131266634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23694 13086 16 0 209827 0
vsize: 839372
[startup+850.062 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 83552 54 0 0 25 0 11 0 839689218 859516928 23698 4294967295 134512640 134569956 3221224368 3221214552 1131265569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23698 13086 16 0 209827 0
vsize: 839372
[startup+860.064 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 84547 54 0 0 25 0 11 0 839689218 859516928 23707 4294967295 134512640 134569956 3221224368 3221214552 1131266576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23707 13086 16 0 209827 0
vsize: 839372
[startup+870.064 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 85542 54 0 0 25 0 11 0 839689218 859516928 23712 4294967295 134512640 134569956 3221224368 3221214552 1131265655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23712 13086 16 0 209827 0
vsize: 839372
[startup+880.064 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 86536 54 0 0 25 0 11 0 839689218 859516928 23719 4294967295 134512640 134569956 3221224368 3221214408 1131391318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23719 13086 16 0 209827 0
vsize: 839372
[startup+890.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 87530 55 0 0 25 0 11 0 839689218 859516928 23733 4294967295 134512640 134569956 3221224368 3221214464 1131211898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23733 13086 16 0 209827 0
vsize: 839372
[startup+900.064 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 88525 55 0 0 25 0 11 0 839689218 859516928 23738 4294967295 134512640 134569956 3221224368 3221214656 1131369390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23738 13086 16 0 209827 0
vsize: 839372
[startup+910.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 89519 55 0 0 25 0 11 0 839689218 859516928 23746 4294967295 134512640 134569956 3221224368 3221214552 1131265889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23746 13086 16 0 209827 0
vsize: 839372
[startup+920.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 90514 55 0 0 25 0 11 0 839689218 859516928 23754 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23754 13086 16 0 209827 0
vsize: 839372
[startup+930.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 91508 55 0 0 25 0 11 0 839689218 859516928 23763 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23763 13086 16 0 209827 0
vsize: 839372
[startup+940.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 92503 55 0 0 25 0 11 0 839689218 859516928 23770 4294967295 134512640 134569956 3221224368 3221214552 1131266597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23770 13086 16 0 209827 0
vsize: 839372
[startup+950.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 93497 56 0 0 25 0 11 0 839689218 859516928 23775 4294967295 134512640 134569956 3221224368 3221214552 1131266301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23775 13086 16 0 209827 0
vsize: 839372
[startup+960.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8098
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 94490 56 0 0 25 0 11 0 839689218 859516928 23784 4294967295 134512640 134569956 3221224368 3221214552 1131265655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23784 13086 16 0 209827 0
vsize: 839372
[startup+970.068 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 95478 61 0 0 25 0 11 0 839689218 859516928 23800 4294967295 134512640 134569956 3221224368 3221214652 1131266964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23800 13086 16 0 209827 0
vsize: 839372
[startup+980.068 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 96471 61 0 0 25 0 11 0 839689218 859516928 23814 4294967295 134512640 134569956 3221224368 3221214432 1131547733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23814 13086 16 0 209827 0
vsize: 839372
[startup+990.069 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 97466 61 0 0 25 0 11 0 839689218 859516928 23818 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23818 13086 16 0 209827 0
vsize: 839372
[startup+1000.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 98459 61 0 0 25 0 11 0 839689218 859516928 23826 4294967295 134512640 134569956 3221224368 3221214656 1131372955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23826 13086 16 0 209827 0
vsize: 839372
[startup+1010.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 99453 61 0 0 25 0 11 0 839689218 859516928 23830 4294967295 134512640 134569956 3221224368 3221214552 1131265657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23830 13086 16 0 209827 0
vsize: 839372
[startup+1020.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 100446 61 0 0 25 0 11 0 839689218 859516928 23840 4294967295 134512640 134569956 3221224368 3221214656 1131369373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23840 13086 16 0 209827 0
vsize: 839372
[startup+1030.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8151
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 101440 61 0 0 25 0 11 0 839689218 859516928 23844 4294967295 134512640 134569956 3221224368 3221214552 1131266077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23844 13086 16 0 209827 0
vsize: 839372
[startup+1040.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 102433 61 0 0 25 0 11 0 839689218 859516928 23853 4294967295 134512640 134569956 3221224368 3221214552 1131265648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23853 13086 16 0 209827 0
vsize: 839372
[startup+1050.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 103425 61 0 0 25 0 11 0 839689218 859516928 23866 4294967295 134512640 134569956 3221224368 3221214552 1131265580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23866 13086 16 0 209827 0
vsize: 839372
[startup+1060.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 104419 61 0 0 25 0 11 0 839689218 859516928 23876 4294967295 134512640 134569956 3221224368 3221214656 1131369492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23876 13086 16 0 209827 0
vsize: 839372
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 105412 62 0 0 25 0 11 0 839689218 859516928 23886 4294967295 134512640 134569956 3221224368 3221214552 1131266001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23886 13086 16 0 209827 0
vsize: 839372
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 106406 62 0 0 25 0 11 0 839689218 859516928 23891 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23891 13086 16 0 209827 0
vsize: 839372
[startup+1090.07 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 107397 62 0 0 25 0 11 0 839689218 859516928 23899 4294967295 134512640 134569956 3221224368 3221214552 1131266260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23899 13086 16 0 209827 0
vsize: 839372
[startup+1100.08 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 108389 62 0 0 25 0 11 0 839689218 859516928 23903 4294967295 134512640 134569956 3221224368 3221214552 1131266597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23903 13086 16 0 209827 0
vsize: 839372
[startup+1110.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 109382 62 0 0 25 0 11 0 839689218 859516928 23940 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23940 13086 16 0 209827 0
vsize: 839372
[startup+1120.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 110376 62 0 0 25 0 11 0 839689218 859516928 23944 4294967295 134512640 134569956 3221224368 3221214400 1131246275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23944 13086 16 0 209827 0
vsize: 839372
[startup+1130.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 111370 62 0 0 25 0 11 0 839689218 859516928 23953 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23953 13086 16 0 209827 0
vsize: 839372
[startup+1140.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 112365 62 0 0 25 0 11 0 839689218 859516928 23958 4294967295 134512640 134569956 3221224368 3221214460 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23958 13086 16 0 209827 0
vsize: 839372
[startup+1150.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 113359 62 0 0 25 0 11 0 839689218 859516928 23966 4294967295 134512640 134569956 3221224368 3221214552 1131265569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23966 13086 16 0 209827 0
vsize: 839372
[startup+1160.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 114353 62 0 0 25 0 11 0 839689218 859516928 23970 4294967295 134512640 134569956 3221224368 3221214400 1131246300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23970 13086 16 0 209827 0
vsize: 839372
[startup+1170.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 115347 62 0 0 25 0 11 0 839689218 859516928 23979 4294967295 134512640 134569956 3221224368 3221214656 1131368301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23979 13086 16 0 209827 0
vsize: 839372
[startup+1180.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 116341 62 0 0 25 0 11 0 839689218 859516928 23988 4294967295 134512640 134569956 3221224368 3221214488 1131216584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23988 13086 16 0 209827 0
vsize: 839372
[startup+1190.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 117335 62 0 0 25 0 11 0 839689218 859516928 23993 4294967295 134512640 134569956 3221224368 3221214656 1131373822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 23993 13086 16 0 209827 0
vsize: 839372
[startup+1200.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) S 8085 22056 22055 0 -1 0 18154 4 1 0 118330 62 0 0 25 0 11 0 839689218 859516928 24002 4294967295 134512640 134569956 3221224368 3221213104 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 24002 13086 16 0 209827 0
vsize: 839372
[startup+1210.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 119324 62 0 0 25 0 11 0 839689218 859516928 24006 4294967295 134512640 134569956 3221224368 3221214552 1131265955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 24006 13086 16 0 209827 0
vsize: 839372
[startup+1220.08 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8153
Raw data (stat): 8086 (java) R 8085 22056 22055 0 -1 0 18154 4 1 0 120319 62 0 0 25 0 11 0 839689218 859516928 24015 4294967295 134512640 134569956 3221224368 3221214552 1131266029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209843 24015 13086 16 0 209827 0
vsize: 839372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.43 s]
Raw data (loadavg): 1.01 1.02 1.00 1/54 8155
Raw data (stat): 8086 (java) Z 8085 22056 22055 0 -1 1036 18154 6768 1 0 120349 62 1945 28 25 0 1 0 839689218 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.43
CPU time (s): 1223.86
CPU user time (s): 1222.95
CPU system time (s): 0.91886
CPU usage (%): 100.281
Max. virtual memory (Kb): 839432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	563840
#### END VERIFIER DATA ####