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/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb
MD5SUM	46c4db5f8baf54496e00a723c85beb20
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	58880896
Optimality of the best value was proved	NO
Number of terms in the objective function	1095
Biggest coefficient in the objective function	533200896
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	14929722305
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	533200896
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	14929722305
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	1155
Total number of constraints	153
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	98
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 29908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 12:39:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21304 boxname=wulflinc28 idbench=1292 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  46c4db5f8baf54496e00a723c85beb20  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 21304
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        612736 kB
Buffers:         30972 kB
Cached:         369652 kB
SwapCached:       1052 kB
Active:          51080 kB
Inactive:       352164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        612484 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13124 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:59:53 (client local time) WITH STATUS 143 IN 1253.63 SECONDS
stats: 21304 0 1253.63 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/wulflinc28/normalized-mps-v2-13-7-egout.opb
c reading problem ... done. Time 2.431 ms.
c #vars     1155
c #constraints  134
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            72021203 		Current CPU time: 6.73 ms
c starts	: 9
c conflicts	: 4155
c decisions	: 7180
c propagations	: 68802
c inspects	: 1678482
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4155
c root simplifications	: 41
s SATISFIABLE
v -I_0x2e_001_0x2e__0x2e__0x2e__bit0 I_0x2e_001003_bit0 -I_0x2e_002003_bit0 -I_0x2e_002_0x2e__0x2e__0x2e__bit0 I_0x2e_003005_bit0 -I_0x2e_004005_bit0 I_0x2e_004_0x2e__0x2e__0x2e__bit0 I_0x2e_005007_bit0 I_0x2e_006007_bit0 I_0x2e_007008_bit0 -I_0x2e_008_0x2e__0x2e__0x2e__bit0 I_0x2e_008009_bit0 I_0x2e_010012_bit0 I_0x2e_011012_bit0 I_0x2e_012_0x2e__0x2e__0x2e__bit0 I_0x2e_012013_bit0 I_0x2e_013016_bit0 -I_0x2e_014015_bit0 I_0x2e_015016_bit0 -I_0x2e_016_0x2e__0x2e__0x2e__bit0 I_0x2e_016017_bit0 I_0x2e_017018_bit0 I_0x2e_009018_bit0 I_0x2e_018019_bit0 I_0x2e_019024_bit0 -I_0x2e_024_0x2e__0x2e__0x2e__bit0 -I_0x2e_023024_bit0 -I_0x2e_022023_bit0 -I_0x2e_020022_bit0 I_0x2e_021022_bit0 I_0x2e_022_0x2e__0x2e__0x2e__bit0 I_0x2e_024026_bit0 -I_0x2e_025026_bit0 I_0x2e_025_0x2e__0x2e__0x2e__bit0 I_0x2e_026027_bit0 I_0x2e_027_0x2e__0x2e__0x2e__bit0 -I_0x2e_027032_bit0 -I_0x2e_030031_bit0 I_0x2e_031032_bit0 I_0x2e_029031_bit0 -I_0x2e_028029_bit0 -I_0x2e_028_0x2e__0x2e__0x2e__bit0 I_0x2e_032033_bit0 I_0x2e_033037_bit0 -I_0x2e_036037_bit0 -I_0x2e_034036_bit0 -I_0x2e_035036_bit0 I_0x2e_037038_bit0 I_0x2e_038040_bit0 I_0x2e_039040_bit0 -I_0x2e_040_0x2e__0x2e__0x2e__bit0 -I_0x2e_041_0x2e__0x2e__0x2e__bit0 I_0x2e_040041_bit0 I_0x2e_041042_bit0 I_0x2e_042_0x2e__0x2e__0x2e__bit0 -F_0x2e_001_0x2e__0x2e__0x2e__bit_7 -F_0x2e_001_0x2e__0x2e__0x2e__bit_6 -F_0x2e_001_0x2e__0x2e__0x2e__bit_5 -F_0x2e_001_0x2e__0x2e__0x2e__bit_4 -F_0x2e_001_0x2e__0x2e__0x2e__bit_3 -F_0x2e_001_0x2e__0x2e__0x2e__bit_2 -F_0x2e_001_0x2e__0x2e__0x2e__bit_1 -F_0x2e_001_0x2e__0x2e__0x2e__bit0 -F_0x2e_001_0x2e__0x2e__0x2e__bit1 -F_0x2e_001_0x2e__0x2e__0x2e__bit2 -F_0x2e_001_0x2e__0x2e__0x2e__bit3 -F_0x2e_001_0x2e__0x2e__0x2e__bit4 -F_0x2e_001_0x2e__0x2e__0x2e__bit5 -F_0x2e_001_0x2e__0x2e__0x2e__bit6 -F_0x2e_001_0x2e__0x2e__0x2e__bit7 -F_0x2e_001_0x2e__0x2e__0x2e__bit8 -F_0x2e_001_0x2e__0x2e__0x2e__bit9 -F_0x2e_001_0x2e__0x2e__0x2e__bit10 -F_0x2e_001_0x2e__0x2e__0x2e__bit11 -F_0x2e_001_0x2e__0x2e__0x2e__bit12 -F_0x2e_001003_bit_7 -F_0x2e_001003_bit_6 -F_0x2e_001003_bit_5 -F_0x2e_001003_bit_4 -F_0x2e_001003_bit_3 -F_0x2e_001003_bit_2 -F_0x2e_001003_bit_1 -F_0x2e_001003_bit0 F_0x2e_001003_bit1 -F_0x2e_001003_bit2 -F_0x2e_001003_bit3 -F_0x2e_001003_bit4 -F_0x2e_001003_bit5 -F_0x2e_001003_bit6 -F_0x2e_001003_bit7 -F_0x2e_001003_bit8 -F_0x2e_001003_bit9 -F_0x2e_001003_bit10 -F_0x2e_001003_bit11 -F_0x2e_001003_bit12 -F_0x2e_002003_bit_7 -F_0x2e_002003_bit_6 -F_0x2e_002003_bit_5 -F_0x2e_002003_bit_4 -F_0x2e_002003_bit_3 -F_0x2e_002003_bit_2 -F_0x2e_002003_bit_1 -F_0x2e_002003_bit0 -F_0x2e_002003_bit1 -F_0x2e_002003_bit2 -F_0x2e_002003_bit3 -F_0x2e_002003_bit4 -F_0x2e_002003_bit5 -F_0x2e_002003_bit6 -F_0x2e_002003_bit7 -F_0x2e_002003_bit8 -F_0x2e_002003_bit9 -F_0x2e_002003_bit10 -F_0x2e_002003_bit11 -F_0x2e_002003_bit12 -F_0x2e_002_0x2e__0x2e__0x2e__bit_7 -F_0x2e_002_0x2e__0x2e__0x2e__bit_6 -F_0x2e_002_0x2e__0x2e__0x2e__bit_5 -F_0x2e_002_0x2e__0x2e__0x2e__bit_4 -F_0x2e_002_0x2e__0x2e__0x2e__bit_3 -F_0x2e_002_0x2e__0x2e__0x2e__bit_2 -F_0x2e_002_0x2e__0x2e__0x2e__bit_1 -F_0x2e_002_0x2e__0x2e__0x2e__bit0 -F_0x2e_002_0x2e__0x2e__0x2e__bit1 -F_0x2e_002_0x2e__0x2e__0x2e__bit2 -F_0x2e_002_0x2e__0x2e__0x2e__bit3 -F_0x2e_002_0x2e__0x2e__0x2e__bit4 -F_0x2e_002_0x2e__0x2e__0x2e__bit5 -F_0x2e_002_0x2e__0x2e__0x2e__bit6 -F_0x2e_002_0x2e__0x2e__0x2e__bit7 -F_0x2e_002_0x2e__0x2e__0x2e__bit8 -F_0x2e_002_0x2e__0x2e__0x2e__bit9 -F_0x2e_002_0x2e__0x2e__0x2e__bit10 -F_0x2e_002_0x2e__0x2e__0x2e__bit11 -F_0x2e_002_0x2e__0x2e__0x2e__bit12 -F_0x2e_003005_bit_7 -F_0x2e_003005_bit_6 -F_0x2e_003005_bit_5 -F_0x2e_003005_bit_4 -F_0x2e_003005_bit_3 -F_0x2e_003005_bit_2 -F_0x2e_003005_bit_1 -F_0x2e_003005_bit0 F_0x2e_003005_bit1 -F_0x2e_003005_bit2 -F_0x2e_003005_bit3 -F_0x2e_003005_bit4 -F_0x2e_003005_bit5 -F_0x2e_003005_bit6 -F_0x2e_003005_bit7 -F_0x2e_003005_bit8 -F_0x2e_003005_bit9 -F_0x2e_003005_bit10 -F_0x2e_003005_bit11 -F_0x2e_003005_bit12 -F_0x2e_004005_bit_7 -F_0x2e_004005_bit_6 -F_0x2e_004005_bit_5 -F_0x2e_004005_bit_4 -F_0x2e_004005_bit_3 -F_0x2e_004005_bit_2 -F_0x2e_004005_bit_1 -F_0x2e_004005_bit0 -F_0x2e_004005_bit1 -F_0x2e_004005_bit2 -F_0x2e_004005_bit3 -F_0x2e_004005_bit4 -F_0x2e_004005_bit5 -F_0x2e_004005_bit6 -F_0x2e_004005_bit7 -F_0x2e_004005_bit8 -F_0x2e_004005_bit9 -F_0x2e_004005_bit10 -F_0x2e_004005_bit11 -F_0x2e_004005_bit12 -F_0x2e_004_0x2e__0x2e__0x2e__bit_7 -F_0x2e_004_0x2e__0x2e__0x2e__bit_6 -F_0x2e_004_0x2e__0x2e__0x2e__bit_5 -F_0x2e_004_0x2e__0x2e__0x2e__bit_4 -F_0x2e_004_0x2e__0x2e__0x2e__bit_3 -F_0x2e_004_0x2e__0x2e__0x2e__bit_2 -F_0x2e_004_0x2e__0x2e__0x2e__bit_1 F_0x2e_004_0x2e__0x2e__0x2e__bit0 F_0x2e_004_0x2e__0x2e__0x2e__bit1 F_0x2e_004_0x2e__0x2e__0x2e__bit2 -F_0x2e_004_0x2e__0x2e__0x2e__bit3 -F_0x2e_004_0x2e__0x2e__0x2e__bit4 -F_0x2e_004_0x2e__0x2e__0x2e__bit5 -F_0x2e_004_0x2e__0x2e__0x2e__bit6 -F_0x2e_004_0x2e__0x2e__0x2e__bit7 -F_0x2e_004_0x2e__0x2e__0x2e__bit8 -F_0x2e_004_0x2e__0x2e__0x2e__bit9 -F_0x2e_004_0x2e__0x2e__0x2e__bit10 -F_0x2e_004_0x2e__0x2e__0x2e__bit11 -F_0x2e_004_0x2e__0x2e__0x2e__bit12 -F_0x2e_005007_bit_7 -F_0x2e_005007_bit_6 -F_0x2e_005007_bit_5 -F_0x2e_005007_bit_4 -F_0x2e_005007_bit_3 -F_0x2e_005007_bit_2 -F_0x2e_005007_bit_1 -F_0x2e_005007_bit0 F_0x2e_005007_bit1 -F_0x2e_005007_bit2 -F_0x2e_005007_bit3 -F_0x2e_005007_bit4 -F_0x2e_005007_bit5 -F_0x2e_005007_bit6 -F_0x2e_005007_bit7 -F_0x2e_005007_bit8 -F_0x2e_005007_bit9 -F_0x2e_005007_bit10 -F_0x2e_005007_bit11 -F_0x2e_005007_bit12 -F_0x2e_006007_bit_7 -F_0x2e_006007_bit_6 -F_0x2e_006007_bit_5 -F_0x2e_006007_bit_4 -F_0x2e_006007_bit_3 -F_0x2e_006007_bit_2 -F_0x2e_006007_bit_1 -F_0x2e_006007_bit0 -F_0x2e_006007_bit1 F_0x2e_006007_bit2 -F_0x2e_006007_bit3 -F_0x2e_006007_bit4 -F_0x2e_006007_bit5 -F_0x2e_006007_bit6 -F_0x2e_006007_bit7 -F_0x2e_006007_bit8 -F_0x2e_006007_bit9 -F_0x2e_006007_bit10 -F_0x2e_006007_bit11 -F_0x2e_006007_bit12 -F_0x2e_007008_bit_7 -F_0x2e_007008_bit_6 -F_0x2e_007008_bit_5 -F_0x2e_007008_bit_4 -F_0x2e_007008_bit_3 -F_0x2e_007008_bit_2 -F_0x2e_007008_bit_1 F_0x2e_007008_bit0 F_0x2e_007008_bit1 F_0x2e_007008_bit2 -F_0x2e_007008_bit3 -F_0x2e_007008_bit4 -F_0x2e_007008_bit5 -F_0x2e_007008_bit6 -F_0x2e_007008_bit7 -F_0x2e_007008_bit8 -F_0x2e_007008_bit9 -F_0x2e_007008_bit10 -F_0x2e_007008_bit11 -F_0x2e_007008_bit12 -F_0x2e_008_0x2e__0x2e__0x2e__bit_7 -F_0x2e_008_0x2e__0x2e__0x2e__bit_6 -F_0x2e_008_0x2e__0x2e__0x2e__bit_5 -F_0x2e_008_0x2e__0x2e__0x2e__bit_4 -F_0x2e_008_0x2e__0x2e__0x2e__bit_3 -F_0x2e_008_0x2e__0x2e__0x2e__bit_2 -F_0x2e_008_0x2e__0x2e__0x2e__bit_1 -F_0x2e_008_0x2e__0x2e__0x2e__bit0 -F_0x2e_008_0x2e__0x2e__0x2e__bit1 -F_0x2e_008_0x2e__0x2e__0x2e__bit2 -F_0x2e_008_0x2e__0x2e__0x2e__bit3 -F_0x2e_008_0x2e__0x2e__0x2e__bit4 -F_0x2e_008_0x2e__0x2e__0x2e__bit5 -F_0x2e_008_0x2e__0x2e__0x2e__bit6 -F_0x2e_008_0x2e__0x2e__0x2e__bit7 -F_0x2e_008_0x2e__0x2e__0x2e__bit8 -F_0x2e_008_0x2e__0x2e__0x2e__bit9 -F_0x2e_008_0x2e__0x2e__0x2e__bit10 -F_0x2e_008_0x2e__0x2e__0x2e__bit11 -F_0x2e_008_0x2e__0x2e__0x2e__bit12 -F_0x2e_008009_bit_7 -F_0x2e_008009_bit_6 -F_0x2e_008009_bit_5 -F_0x2e_008009_bit_4 -F_0x2e_008009_bit_3 -F_0x2e_008009_bit_2 -F_0x2e_008009_bit_1 F_0x2e_008009_bit0 F_0x2e_008009_bit1 F_0x2e_008009_bit2 -F_0x2e_008009_bit3 -F_0x2e_008009_bit4 -F_0x2e_008009_bit5 -F_0x2e_008009_bit6 -F_0x2e_008009_bit7 -F_0x2e_008009_bit8 -F_0x2e_008009_bit9 -F_0x2e_008009_bit10 -F_0x2e_008009_bit11 -F_0x2e_008009_bit12 -F_0x2e_010012_bit_7 -F_0x2e_010012_bit_6 -F_0x2e_010012_bit_5 -F_0x2e_010012_bit_4 -F_0x2e_010012_bit_3 -F_0x2e_010012_bit_2 -F_0x2e_010012_bit_1 F_0x2e_010012_bit0 -F_0x2e_010012_bit1 -F_0x2e_010012_bit2 -F_0x2e_010012_bit3 -F_0x2e_010012_bit4 -F_0x2e_010012_bit5 -F_0x2e_010012_bit6 -F_0x2e_010012_bit7 -F_0x2e_010012_bit8 -F_0x2e_010012_bit9 -F_0x2e_010012_bit10 -F_0x2e_010012_bit11 -F_0x2e_010012_bit12 F_0x2e_012_0x2e__0x2e__0x2e__bit_7 F_0x2e_012_0x2e__0x2e__0x2e__bit_6 F_0x2e_012_0x2e__0x2e__0x2e__bit_5 F_0x2e_012_0x2e__0x2e__0x2e__bit_4 -F_0x2e_012_0x2e__0x2e__0x2e__bit_3 -F_0x2e_012_0x2e__0x2e__0x2e__bit_2 F_0x2e_012_0x2e__0x2e__0x2e__bit_1 F_0x2e_012_0x2e__0x2e__0x2e__bit0 -F_0x2e_012_0x2e__0x2e__0x2e__bit1 F_0x2e_012_0x2e__0x2e__0x2e__bit2 -F_0x2e_012_0x2e__0x2e__0x2e__bit3 -F_0x2e_012_0x2e__0x2e__0x2e__bit4 -F_0x2e_012_0x2e__0x2e__0x2e__bit5 -F_0x2e_012_0x2e__0x2e__0x2e__bit6 -F_0x2e_012_0x2e__0x2e__0x2e__bit7 -F_0x2e_012_0x2e__0x2e__0x2e__bit8 -F_0x2e_012_0x2e__0x2e__0x2e__bit9 -F_0x2e_012_0x2e__0x2e__0x2e__bit10 -F_0x2e_012_0x2e__0x2e__0x2e__bit11 -F_0x2e_012_0x2e__0x2e__0x2e__bit12 F_0x2e_012013_bit_7 -F_0x2e_012013_bit_6 -F_0x2e_012013_bit_5 -F_0x2e_012013_bit_4 F_0x2e_012013_bit_3 F_0x2e_012013_bit_2 -F_0x2e_012013_bit_1 -F_0x2e_012013_bit0 -F_0x2e_012013_bit1 -F_0x2e_012013_bit2 -F_0x2e_012013_bit3 F_0x2e_012013_bit4 -F_0x2e_012013_bit5 -F_0x2e_012013_bit6 -F_0x2e_012013_bit7 -F_0x2e_012013_bit8 -F_0x2e_012013_bit9 -F_0x2e_012013_bit10 -F_0x2e_012013_bit11 -F_0x2e_012013_bit12 F_0x2e_013016_bit_7 -F_0x2e_013016_bit_6 -F_0x2e_013016_bit_5 -F_0x2e_013016_bit_4 F_0x2e_013016_bit_3 F_0x2e_013016_bit_2 -F_0x2e_013016_bit_1 -F_0x2e_013016_bit0 -F_0x2e_013016_bit1 F_0x2e_013016_bit2 -F_0x2e_013016_bit3 F_0x2e_013016_bit4 -F_0x2e_013016_bit5 -F_0x2e_013016_bit6 -F_0x2e_013016_bit7 -F_0x2e_013016_bit8 -F_0x2e_013016_bit9 -F_0x2e_013016_bit10 -F_0x2e_013016_bit11 -F_0x2e_013016_bit12 -F_0x2e_014015_bit_7 -F_0x2e_014015_bit_6 -F_0x2e_014015_bit_5 -F_0x2e_014015_bit_4 -F_0x2e_014015_bit_3 -F_0x2e_014015_bit_2 -F_0x2e_014015_bit_1 -F_0x2e_014015_bit0 -F_0x2e_014015_bit1 -F_0x2e_014015_bit2 -F_0x2e_014015_bit3 -F_0x2e_014015_bit4 -F_0x2e_014015_bit5 -F_0x2e_014015_bit6 -F_0x2e_014015_bit7 -F_0x2e_014015_bit8 -F_0x2e_014015_bit9 -F_0x2e_014015_bit10 -F_0x2e_014015_bit11 -F_0x2e_014015_bit12 -F_0x2e_015016_bit_7 -F_0x2e_015016_bit_6 -F_0x2e_015016_bit_5 -F_0x2e_015016_bit_4 -F_0x2e_015016_bit_3 -F_0x2e_015016_bit_2 -F_0x2e_015016_bit_1 F_0x2e_015016_bit0 -F_0x2e_015016_bit1 -F_0x2e_015016_bit2 -F_0x2e_015016_bit3 -F_0x2e_015016_bit4 -F_0x2e_015016_bit5 -F_0x2e_015016_bit6 -F_0x2e_015016_bit7 -F_0x2e_015016_bit8 -F_0x2e_015016_bit9 -F_0x2e_015016_bit10 -F_0x2e_015016_bit11 -F_0x2e_015016_bit12 -F_0x2e_016_0x2e__0x2e__0x2e__bit_7 -F_0x2e_016_0x2e__0x2e__0x2e__bit_6 -F_0x2e_016_0x2e__0x2e__0x2e__bit_5 -F_0x2e_016_0x2e__0x2e__0x2e__bit_4 -F_0x2e_016_0x2e__0x2e__0x2e__bit_3 -F_0x2e_016_0x2e__0x2e__0x2e__bit_2 -F_0x2e_016_0x2e__0x2e__0x2e__bit_1 -F_0x2e_016_0x2e__0x2e__0x2e__bit0 -F_0x2e_016_0x2e__0x2e__0x2e__bit1 -F_0x2e_016_0x2e__0x2e__0x2e__bit2 -F_0x2e_016_0x2e__0x2e__0x2e__bit3 -F_0x2e_016_0x2e__0x2e__0x2e__bit4 -F_0x2e_016_0x2e__0x2e__0x2e__bit5 -F_0x2e_016_0x2e__0x2e__0x2e__bit6 -F_0x2e_016_0x2e__0x2e__0x2e__bit7 -F_0x2e_016_0x2e__0x2e__0x2e__bit8 -F_0x2e_016_0x2e__0x2e__0x2e__bit9 -F_0x2e_016_0x2e__0x2e__0x2e__bit10 -F_0x2e_016_0x2e__0x2e__0x2e__bit11 -F_0x2e_016_0x2e__0x2e__0x2e__bit12 F_0x2e_016017_bit_7 -F_0x2e_016017_bit_6 -F_0x2e_016017_bit_5 -F_0x2e_016017_bit_4 F_0x2e_016017_bit_3 F_0x2e_016017_bit_2 -F_0x2e_016017_bit_1 F_0x2e_016017_bit0 -F_0x2e_016017_bit1 F_0x2e_016017_bit2 -F_0x2e_016017_bit3 F_0x2e_016017_bit4 -F_0x2e_016017_bit5 -F_0x2e_016017_bit6 -F_0x2e_016017_bit7 -F_0x2e_016017_bit8 -F_0x2e_016017_bit9 -F_0x2e_016017_bit10 -F_0x2e_016017_bit11 -F_0x2e_016017_bit12 F_0x2e_017018_bit_7 -F_0x2e_017018_bit_6 -F_0x2e_017018_bit_5 -F_0x2e_017018_bit_4 F_0x2e_017018_bit_3 F_0x2e_017018_bit_2 -F_0x2e_017018_bit_1 F_0x2e_017018_bit0 -F_0x2e_017018_bit1 F_0x2e_017018_bit2 -F_0x2e_017018_bit3 F_0x2e_017018_bit4 -F_0x2e_017018_bit5 -F_0x2e_017018_bit6 -F_0x2e_017018_bit7 -F_0x2e_017018_bit8 -F_0x2e_017018_bit9 -F_0x2e_017018_bit10 -F_0x2e_017018_bit11 -F_0x2e_017018_bit12 -F_0x2e_009018_bit_7 -F_0x2e_009018_bit_6 -F_0x2e_009018_bit_5 -F_0x2e_009018_bit_4 -F_0x2e_009018_bit_3 -F_0x2e_009018_bit_2 -F_0x2e_009018_bit_1 F_0x2e_009018_bit0 F_0x2e_009018_bit1 F_0x2e_009018_bit2 -F_0x2e_009018_bit3 -F_0x2e_009018_bit4 -F_0x2e_009018_bit5 -F_0x2e_009018_bit6 -F_0x2e_009018_bit7 -F_0x2e_009018_bit8 -F_0x2e_009018_bit9 -F_0x2e_009018_bit10 -F_0x2e_009018_bit11 -F_0x2e_009018_bit12 F_0x2e_018019_bit_7 -F_0x2e_018019_bit_6 -F_0x2e_018019_bit_5 -F_0x2e_018019_bit_4 F_0x2e_018019_bit_3 F_0x2e_018019_bit_2 -F_0x2e_018019_bit_1 -F_0x2e_018019_bit0 -F_0x2e_018019_bit1 F_0x2e_018019_bit2 F_0x2e_018019_bit3 F_0x2e_018019_bit4 -F_0x2e_018019_bit5 -F_0x2e_018019_bit6 -F_0x2e_018019_bit7 -F_0x2e_018019_bit8 -F_0x2e_018019_bit9 -F_0x2e_018019_bit10 -F_0x2e_018019_bit11 -F_0x2e_018019_bit12 F_0x2e_019024_bit_7 -F_0x2e_019024_bit_6 -F_0x2e_019024_bit_5 -F_0x2e_019024_bit_4 F_0x2e_019024_bit_3 F_0x2e_019024_bit_2 -F_0x2e_019024_bit_1 -F_0x2e_019024_bit0 F_0x2e_019024_bit1 F_0x2e_019024_bit2 F_0x2e_019024_bit3 F_0x2e_019024_bit4 -F_0x2e_019024_bit5 -F_0x2e_019024_bit6 -F_0x2e_019024_bit7 -F_0x2e_019024_bit8 -F_0x2e_019024_bit9 -F_0x2e_019024_bit10 -F_0x2e_019024_bit11 -F_0x2e_019024_bit12 -F_0x2e_024_0x2e__0x2e__0x2e__bit_7 -F_0x2e_024_0x2e__0x2e__0x2e__bit_6 -F_0x2e_024_0x2e__0x2e__0x2e__bit_5 -F_0x2e_024_0x2e__0x2e__0x2e__bit_4 -F_0x2e_024_0x2e__0x2e__0x2e__bit_3 -F_0x2e_024_0x2e__0x2e__0x2e__bit_2 -F_0x2e_024_0x2e__0x2e__0x2e__bit_1 -F_0x2e_024_0x2e__0x2e__0x2e__bit0 -F_0x2e_024_0x2e__0x2e__0x2e__bit1 -F_0x2e_024_0x2e__0x2e__0x2e__bit2 -F_0x2e_024_0x2e__0x2e__0x2e__bit3 -F_0x2e_024_0x2e__0x2e__0x2e__bit4 -F_0x2e_024_0x2e__0x2e__0x2e__bit5 -F_0x2e_024_0x2e__0x2e__0x2e__bit6 -F_0x2e_024_0x2e__0x2e__0x2e__bit7 -F_0x2e_024_0x2e__0x2e__0x2e__bit8 -F_0x2e_024_0x2e__0x2e__0x2e__bit9 -F_0x2e_024_0x2e__0x2e__0x2e__bit10 -F_0x2e_024_0x2e__0x2e__0x2e__bit11 -F_0x2e_024_0x2e__0x2e__0x2e__bit12 -F_0x2e_023024_bit_7 -F_0x2e_023024_bit_6 -F_0x2e_023024_bit_5 -F_0x2e_023024_bit_4 -F_0x2e_023024_bit_3 -F_0x2e_023024_bit_2 -F_0x2e_023024_bit_1 -F_0x2e_023024_bit0 -F_0x2e_023024_bit1 -F_0x2e_023024_bit2 -F_0x2e_023024_bit3 -F_0x2e_023024_bit4 -F_0x2e_023024_bit5 -F_0x2e_023024_bit6 -F_0x2e_023024_bit7 -F_0x2e_023024_bit8 -F_0x2e_023024_bit9 -F_0x2e_023024_bit10 -F_0x2e_023024_bit11 -F_0x2e_023024_bit12 -F_0x2e_022023_bit_7 -F_0x2e_022023_bit_6 -F_0x2e_022023_bit_5 -F_0x2e_022023_bit_4 -F_0x2e_022023_bit_3 -F_0x2e_022023_bit_2 -F_0x2e_022023_bit_1 -F_0x2e_022023_bit0 -F_0x2e_022023_bit1 -F_0x2e_022023_bit2 -F_0x2e_022023_bit3 -F_0x2e_022023_bit4 -F_0x2e_022023_bit5 -F_0x2e_022023_bit6 -F_0x2e_022023_bit7 -F_0x2e_022023_bit8 -F_0x2e_022023_bit9 -F_0x2e_022023_bit10 -F_0x2e_022023_bit11 -F_0x2e_022023_bit12 -F_0x2e_020022_bit_7 -F_0x2e_020022_bit_6 -F_0x2e_020022_bit_5 -F_0x2e_020022_bit_4 -F_0x2e_020022_bit_3 -F_0x2e_020022_bit_2 -F_0x2e_020022_bit_1 -F_0x2e_020022_bit0 -F_0x2e_020022_bit1 -F_0x2e_020022_bit2 -F_0x2e_020022_bit3 -F_0x2e_020022_bit4 -F_0x2e_020022_bit5 -F_0x2e_020022_bit6 -F_0x2e_020022_bit7 -F_0x2e_020022_bit8 -F_0x2e_020022_bit9 -F_0x2e_020022_bit10 -F_0x2e_020022_bit11 -F_0x2e_020022_bit12 -F_0x2e_021022_bit_7 -F_0x2e_021022_bit_6 -F_0x2e_021022_bit_5 -F_0x2e_021022_bit_4 -F_0x2e_021022_bit_3 -F_0x2e_021022_bit_2 -F_0x2e_021022_bit_1 F_0x2e_021022_bit0 F_0x2e_021022_bit1 F_0x2e_021022_bit2 -F_0x2e_021022_bit3 -F_0x2e_021022_bit4 -F_0x2e_021022_bit5 -F_0x2e_021022_bit6 -F_0x2e_021022_bit7 -F_0x2e_021022_bit8 -F_0x2e_021022_bit9 -F_0x2e_021022_bit10 -F_0x2e_021022_bit11 -F_0x2e_021022_bit12 -F_0x2e_022_0x2e__0x2e__0x2e__bit_7 -F_0x2e_022_0x2e__0x2e__0x2e__bit_6 -F_0x2e_022_0x2e__0x2e__0x2e__bit_5 -F_0x2e_022_0x2e__0x2e__0x2e__bit_4 -F_0x2e_022_0x2e__0x2e__0x2e__bit_3 -F_0x2e_022_0x2e__0x2e__0x2e__bit_2 -F_0x2e_022_0x2e__0x2e__0x2e__bit_1 F_0x2e_022_0x2e__0x2e__0x2e__bit0 F_0x2e_022_0x2e__0x2e__0x2e__bit1 F_0x2e_022_0x2e__0x2e__0x2e__bit2 -F_0x2e_022_0x2e__0x2e__0x2e__bit3 -F_0x2e_022_0x2e__0x2e__0x2e__bit4 -F_0x2e_022_0x2e__0x2e__0x2e__bit5 -F_0x2e_022_0x2e__0x2e__0x2e__bit6 -F_0x2e_022_0x2e__0x2e__0x2e__bit7 -F_0x2e_022_0x2e__0x2e__0x2e__bit8 -F_0x2e_022_0x2e__0x2e__0x2e__bit9 -F_0x2e_022_0x2e__0x2e__0x2e__bit10 -F_0x2e_022_0x2e__0x2e__0x2e__bit11 -F_0x2e_022_0x2e__0x2e__0x2e__bit12 F_0x2e_024026_bit_7 -F_0x2e_024026_bit_6 -F_0x2e_024026_bit_5 -F_0x2e_024026_bit_4 F_0x2e_024026_bit_3 F_0x2e_024026_bit_2 -F_0x2e_024026_bit_1 -F_0x2e_024026_bit0 F_0x2e_024026_bit1 F_0x2e_024026_bit2 F_0x2e_024026_bit3 F_0x2e_024026_bit4 -F_0x2e_024026_bit5 -F_0x2e_024026_bit6 -F_0x2e_024026_bit7 -F_0x2e_024026_bit8 -F_0x2e_024026_bit9 -F_0x2e_024026_bit10 -F_0x2e_024026_bit11 -F_0x2e_024026_bit12 -F_0x2e_025026_bit_7 -F_0x2e_025026_bit_6 -F_0x2e_025026_bit_5 -F_0x2e_025026_bit_4 -F_0x2e_025026_bit_3 -F_0x2e_025026_bit_2 -F_0x2e_025026_bit_1 -F_0x2e_025026_bit0 -F_0x2e_025026_bit1 -F_0x2e_025026_bit2 -F_0x2e_025026_bit3 -F_0x2e_025026_bit4 -F_0x2e_025026_bit5 -F_0x2e_025026_bit6 -F_0x2e_025026_bit7 -F_0x2e_025026_bit8 -F_0x2e_025026_bit9 -F_0x2e_025026_bit10 -F_0x2e_025026_bit11 -F_0x2e_025026_bit12 -F_0x2e_025_0x2e__0x2e__0x2e__bit_7 -F_0x2e_025_0x2e__0x2e__0x2e__bit_6 -F_0x2e_025_0x2e__0x2e__0x2e__bit_5 -F_0x2e_025_0x2e__0x2e__0x2e__bit_4 -F_0x2e_025_0x2e__0x2e__0x2e__bit_3 -F_0x2e_025_0x2e__0x2e__0x2e__bit_2 -F_0x2e_025_0x2e__0x2e__0x2e__bit_1 F_0x2e_025_0x2e__0x2e__0x2e__bit0 F_0x2e_025_0x2e__0x2e__0x2e__bit1 -F_0x2e_025_0x2e__0x2e__0x2e__bit2 -F_0x2e_025_0x2e__0x2e__0x2e__bit3 F_0x2e_025_0x2e__0x2e__0x2e__bit4 -F_0x2e_025_0x2e__0x2e__0x2e__bit5 -F_0x2e_025_0x2e__0x2e__0x2e__bit6 -F_0x2e_025_0x2e__0x2e__0x2e__bit7 -F_0x2e_025_0x2e__0x2e__0x2e__bit8 -F_0x2e_025_0x2e__0x2e__0x2e__bit9 -F_0x2e_025_0x2e__0x2e__0x2e__bit10 -F_0x2e_025_0x2e__0x2e__0x2e__bit11 -F_0x2e_025_0x2e__0x2e__0x2e__bit12 F_0x2e_026027_bit_7 -F_0x2e_026027_bit_6 -F_0x2e_026027_bit_5 -F_0x2e_026027_bit_4 F_0x2e_026027_bit_3 F_0x2e_026027_bit_2 -F_0x2e_026027_bit_1 -F_0x2e_026027_bit0 -F_0x2e_026027_bit1 -F_0x2e_026027_bit2 F_0x2e_026027_bit3 -F_0x2e_026027_bit4 F_0x2e_026027_bit5 -F_0x2e_026027_bit6 -F_0x2e_026027_bit7 -F_0x2e_026027_bit8 -F_0x2e_026027_bit9 -F_0x2e_026027_bit10 -F_0x2e_026027_bit11 -F_0x2e_026027_bit12 F_0x2e_027_0x2e__0x2e__0x2e__bit_7 -F_0x2e_027_0x2e__0x2e__0x2e__bit_6 -F_0x2e_027_0x2e__0x2e__0x2e__bit_5 -F_0x2e_027_0x2e__0x2e__0x2e__bit_4 F_0x2e_027_0x2e__0x2e__0x2e__bit_3 F_0x2e_027_0x2e__0x2e__0x2e__bit_2 -F_0x2e_027_0x2e__0x2e__0x2e__bit_1 -F_0x2e_027_0x2e__0x2e__0x2e__bit0 -F_0x2e_027_0x2e__0x2e__0x2e__bit1 -F_0x2e_027_0x2e__0x2e__0x2e__bit2 F_0x2e_027_0x2e__0x2e__0x2e__bit3 -F_0x2e_027_0x2e__0x2e__0x2e__bit4 F_0x2e_027_0x2e__0x2e__0x2e__bit5 -F_0x2e_027_0x2e__0x2e__0x2e__bit6 -F_0x2e_027_0x2e__0x2e__0x2e__bit7 -F_0x2e_027_0x2e__0x2e__0x2e__bit8 -F_0x2e_027_0x2e__0x2e__0x2e__bit9 -F_0x2e_027_0x2e__0x2e__0x2e__bit10 -F_0x2e_027_0x2e__0x2e__0x2e__bit11 -F_0x2e_027_0x2e__0x2e__0x2e__bit12 -F_0x2e_027032_bit_7 -F_0x2e_027032_bit_6 -F_0x2e_027032_bit_5 -F_0x2e_027032_bit_4 -F_0x2e_027032_bit_3 -F_0x2e_027032_bit_2 -F_0x2e_027032_bit_1 -F_0x2e_027032_bit0 -F_0x2e_027032_bit1 -F_0x2e_027032_bit2 -F_0x2e_027032_bit3 -F_0x2e_027032_bit4 -F_0x2e_027032_bit5 -F_0x2e_027032_bit6 -F_0x2e_027032_bit7 -F_0x2e_027032_bit8 -F_0x2e_027032_bit9 -F_0x2e_027032_bit10 -F_0x2e_027032_bit11 -F_0x2e_027032_bit12 -F_0x2e_030031_bit_7 -F_0x2e_030031_bit_6 -F_0x2e_030031_bit_5 -F_0x2e_030031_bit_4 -F_0x2e_030031_bit_3 -F_0x2e_030031_bit_2 -F_0x2e_030031_bit_1 -F_0x2e_030031_bit0 -F_0x2e_030031_bit1 -F_0x2e_030031_bit2 -F_0x2e_030031_bit3 -F_0x2e_030031_bit4 -F_0x2e_030031_bit5 -F_0x2e_030031_bit6 -F_0x2e_030031_bit7 -F_0x2e_030031_bit8 -F_0x2e_030031_bit9 -F_0x2e_030031_bit10 -F_0x2e_030031_bit11 -F_0x2e_030031_bit12 -F_0x2e_031032_bit_7 -F_0x2e_031032_bit_6 -F_0x2e_031032_bit_5 -F_0x2e_031032_bit_4 -F_0x2e_031032_bit_3 -F_0x2e_031032_bit_2 -F_0x2e_031032_bit_1 F_0x2e_031032_bit0 -F_0x2e_031032_bit1 F_0x2e_031032_bit2 -F_0x2e_031032_bit3 -F_0x2e_031032_bit4 -F_0x2e_031032_bit5 -F_0x2e_031032_bit6 -F_0x2e_031032_bit7 -F_0x2e_031032_bit8 -F_0x2e_031032_bit9 -F_0x2e_031032_bit10 -F_0x2e_031032_bit11 -F_0x2e_031032_bit12 -F_0x2e_029031_bit_7 -F_0x2e_029031_bit_6 -F_0x2e_029031_bit_5 -F_0x2e_029031_bit_4 -F_0x2e_029031_bit_3 -F_0x2e_029031_bit_2 -F_0x2e_029031_bit_1 F_0x2e_029031_bit0 -F_0x2e_029031_bit1 F_0x2e_029031_bit2 -F_0x2e_029031_bit3 -F_0x2e_029031_bit4 -F_0x2e_029031_bit5 -F_0x2e_029031_bit6 -F_0x2e_029031_bit7 -F_0x2e_029031_bit8 -F_0x2e_029031_bit9 -F_0x2e_029031_bit10 -F_0x2e_029031_bit11 -F_0x2e_029031_bit12 -F_0x2e_028029_bit_7 -F_0x2e_028029_bit_6 -F_0x2e_028029_bit_5 -F_0x2e_028029_bit_4 -F_0x2e_028029_bit_3 -F_0x2e_028029_bit_2 -F_0x2e_028029_bit_1 -F_0x2e_028029_bit0 -F_0x2e_028029_bit1 -F_0x2e_028029_bit2 -F_0x2e_028029_bit3 -F_0x2e_028029_bit4 -F_0x2e_028029_bit5 -F_0x2e_028029_bit6 -F_0x2e_028029_bit7 -F_0x2e_028029_bit8 -F_0x2e_028029_bit9 -F_0x2e_028029_bit10 -F_0x2e_028029_bit11 -F_0x2e_028029_bit12 -F_0x2e_028_0x2e__0x2e__0x2e__bit_7 -F_0x2e_028_0x2e__0x2e__0x2e__bit_6 -F_0x2e_028_0x2e__0x2e__0x2e__bit_5 -F_0x2e_028_0x2e__0x2e__0x2e__bit_4 -F_0x2e_028_0x2e__0x2e__0x2e__bit_3 -F_0x2e_028_0x2e__0x2e__0x2e__bit_2 -F_0x2e_028_0x2e__0x2e__0x2e__bit_1 -F_0x2e_028_0x2e__0x2e__0x2e__bit0 -F_0x2e_028_0x2e__0x2e__0x2e__bit1 -F_0x2e_028_0x2e__0x2e__0x2e__bit2 -F_0x2e_028_0x2e__0x2e__0x2e__bit3 -F_0x2e_028_0x2e__0x2e__0x2e__bit4 -F_0x2e_028_0x2e__0x2e__0x2e__bit5 -F_0x2e_028_0x2e__0x2e__0x2e__bit6 -F_0x2e_028_0x2e__0x2e__0x2e__bit7 -F_0x2e_028_0x2e__0x2e__0x2e__bit8 -F_0x2e_028_0x2e__0x2e__0x2e__bit9 -F_0x2e_028_0x2e__0x2e__0x2e__bit10 -F_0x2e_028_0x2e__0x2e__0x2e__bit11 -F_0x2e_028_0x2e__0x2e__0x2e__bit12 -F_0x2e_032033_bit_7 -F_0x2e_032033_bit_6 -F_0x2e_032033_bit_5 -F_0x2e_032033_bit_4 -F_0x2e_032033_bit_3 -F_0x2e_032033_bit_2 -F_0x2e_032033_bit_1 F_0x2e_032033_bit0 -F_0x2e_032033_bit1 F_0x2e_032033_bit2 -F_0x2e_032033_bit3 -F_0x2e_032033_bit4 -F_0x2e_032033_bit5 -F_0x2e_032033_bit6 -F_0x2e_032033_bit7 -F_0x2e_032033_bit8 -F_0x2e_032033_bit9 -F_0x2e_032033_bit10 -F_0x2e_032033_bit11 -F_0x2e_032033_bit12 -F_0x2e_033037_bit_7 -F_0x2e_033037_bit_6 -F_0x2e_033037_bit_5 -F_0x2e_033037_bit_4 -F_0x2e_033037_bit_3 -F_0x2e_033037_bit_2 -F_0x2e_033037_bit_1 F_0x2e_033037_bit0 -F_0x2e_033037_bit1 F_0x2e_033037_bit2 -F_0x2e_033037_bit3 -F_0x2e_033037_bit4 -F_0x2e_033037_bit5 -F_0x2e_033037_bit6 -F_0x2e_033037_bit7 -F_0x2e_033037_bit8 -F_0x2e_033037_bit9 -F_0x2e_033037_bit10 -F_0x2e_033037_bit11 -F_0x2e_033037_bit12 -F_0x2e_034036_bit_7 -F_0x2e_034036_bit_6 -F_0x2e_034036_bit_5 -F_0x2e_034036_bit_4 -F_0x2e_034036_bit_3 -F_0x2e_034036_bit_2 -F_0x2e_034036_bit_1 -F_0x2e_034036_bit0 -F_0x2e_034036_bit1 -F_0x2e_034036_bit2 -F_0x2e_034036_bit3 -F_0x2e_034036_bit4 -F_0x2e_034036_bit5 -F_0x2e_034036_bit6 -F_0x2e_034036_bit7 -F_0x2e_034036_bit8 -F_0x2e_034036_bit9 -F_0x2e_034036_bit10 -F_0x2e_034036_bit11 -F_0x2e_034036_bit12 -F_0x2e_035036_bit_7 -F_0x2e_035036_bit_6 -F_0x2e_035036_bit_5 -F_0x2e_035036_bit_4 -F_0x2e_035036_bit_3 -F_0x2e_035036_bit_2 -F_0x2e_035036_bit_1 -F_0x2e_035036_bit0 -F_0x2e_035036_bit1 -F_0x2e_035036_bit2 -F_0x2e_035036_bit3 -F_0x2e_035036_bit4 -F_0x2e_035036_bit5 -F_0x2e_035036_bit6 -F_0x2e_035036_bit7 -F_0x2e_035036_bit8 -F_0x2e_035036_bit9 -F_0x2e_035036_bit10 -F_0x2e_035036_bit11 -F_0x2e_035036_bit12 -F_0x2e_037038_bit_7 -F_0x2e_037038_bit_6 -F_0x2e_037038_bit_5 -F_0x2e_037038_bit_4 -F_0x2e_037038_bit_3 -F_0x2e_037038_bit_2 -F_0x2e_037038_bit_1 F_0x2e_037038_bit0 -F_0x2e_037038_bit1 F_0x2e_037038_bit2 -F_0x2e_037038_bit3 -F_0x2e_037038_bit4 -F_0x2e_037038_bit5 -F_0x2e_037038_bit6 -F_0x2e_037038_bit7 -F_0x2e_037038_bit8 -F_0x2e_037038_bit9 -F_0x2e_037038_bit10 -F_0x2e_037038_bit11 -F_0x2e_037038_bit12 -F_0x2e_039040_bit_7 -F_0x2e_039040_bit_6 -F_0x2e_039040_bit_5 -F_0x2e_039040_bit_4 -F_0x2e_039040_bit_3 -F_0x2e_039040_bit_2 -F_0x2e_039040_bit_1 F_0x2e_039040_bit0 -F_0x2e_039040_bit1 F_0x2e_039040_bit2 -F_0x2e_039040_bit3 -F_0x2e_039040_bit4 -F_0x2e_039040_bit5 -F_0x2e_039040_bit6 -F_0x2e_039040_bit7 -F_0x2e_039040_bit8 -F_0x2e_039040_bit9 -F_0x2e_039040_bit10 -F_0x2e_039040_bit11 -F_0x2e_039040_bit12 -F_0x2e_040_0x2e__0x2e__0x2e__bit_7 -F_0x2e_040_0x2e__0x2e__0x2e__bit_6 -F_0x2e_040_0x2e__0x2e__0x2e__bit_5 -F_0x2e_040_0x2e__0x2e__0x2e__bit_4 -F_0x2e_040_0x2e__0x2e__0x2e__bit_3 -F_0x2e_040_0x2e__0x2e__0x2e__bit_2 -F_0x2e_040_0x2e__0x2e__0x2e__bit_1 -F_0x2e_040_0x2e__0x2e__0x2e__bit0 -F_0x2e_040_0x2e__0x2e__0x2e__bit1 -F_0x2e_040_0x2e__0x2e__0x2e__bit2 -F_0x2e_040_0x2e__0x2e__0x2e__bit3 -F_0x2e_040_0x2e__0x2e__0x2e__bit4 -F_0x2e_040_0x2e__0x2e__0x2e__bit5 -F_0x2e_040_0x2e__0x2e__0x2e__bit6 -F_0x2e_040_0x2e__0x2e__0x2e__bit7 -F_0x2e_040_0x2e__0x2e__0x2e__bit8 -F_0x2e_040_0x2e__0x2e__0x2e__bit9 -F_0x2e_040_0x2e__0x2e__0x2e__bit10 -F_0x2e_040_0x2e__0x2e__0x2e__bit11 -F_0x2e_040_0x2e__0x2e__0x2e__bit12 -F_0x2e_041_0x2e__0x2e__0x2e__bit_7 -F_0x2e_041_0x2e__0x2e__0x2e__bit_6 -F_0x2e_041_0x2e__0x2e__0x2e__bit_5 -F_0x2e_041_0x2e__0x2e__0x2e__bit_4 -F_0x2e_041_0x2e__0x2e__0x2e__bit_3 -F_0x2e_041_0x2e__0x2e__0x2e__bit_2 -F_0x2e_041_0x2e__0x2e__0x2e__bit_1 -F_0x2e_041_0x2e__0x2e__0x2e__bit0 -F_0x2e_041_0x2e__0x2e__0x2e__bit1 -F_0x2e_041_0x2e__0x2e__0x2e__bit2 -F_0x2e_041_0x2e__0x2e__0x2e__bit3 -F_0x2e_041_0x2e__0x2e__0x2e__bit4 -F_0x2e_041_0x2e__0x2e__0x2e__bit5 -F_0x2e_041_0x2e__0x2e__0x2e__bit6 -F_0x2e_041_0x2e__0x2e__0x2e__bit7 -F_0x2e_041_0x2e__0x2e__0x2e__bit8 -F_0x2e_041_0x2e__0x2e__0x2e__bit9 -F_0x2e_041_0x2e__0x2e__0x2e__bit10 -F_0x2e_041_0x2e__0x2e__0x2e__bit11 -F_0x2e_041_0x2e__0x2e__0x2e__bit12 -F_0x2e_040041_bit_7 -F_0x2e_040041_bit_6 -F_0x2e_040041_bit_5 -F_0x2e_040041_bit_4 -F_0x2e_040041_bit_3 -F_0x2e_040041_bit_2 -F_0x2e_040041_bit_1 F_0x2e_040041_bit0 F_0x2e_040041_bit1 F_0x2e_040041_bit2 F_0x2e_040041_bit3 -F_0x2e_040041_bit4 -F_0x2e_040041_bit5 -F_0x2e_040041_bit6 -F_0x2e_040041_bit7 -F_0x2e_040041_bit8 -F_0x2e_040041_bit9 -F_0x2e_040041_bit10 -F_0x2e_040041_bit11 -F_0x2e_040041_bit12 -F_0x2e_041042_bit_7 -F_0x2e_041042_bit_6 -F_0x2e_041042_bit_5 -F_0x2e_041042_bit_4 -F_0x2e_041042_bit_3 -F_0x2e_041042_bit_2 -F_0x2e_041042_bit_1 -F_0x2e_041042_bit0 -F_0x2e_041042_bit1 F_0x2e_041042_bit2 -F_0x2e_041042_bit3 F_0x2e_041042_bit4 -F_0x2e_041042_bit5 -F_0x2e_041042_bit6 -F_0x2e_041042_bit7 -F_0x2e_041042_bit8 -F_0x2e_041042_bit9 -F_0x2e_041042_bit10 -F_0x2e_041042_bit11 -F_0x2e_041042_bit12 -F_0x2e_042_0x2e__0x2e__0x2e__bit_7 -F_0x2e_042_0x2e__0x2e__0x2e__bit_6 -F_0x2e_042_0x2e__0x2e__0x2e__bit_5 -F_0x2e_042_0x2e__0x2e__0x2e__bit_4 -F_0x2e_042_0x2e__0x2e__0x2e__bit_3 -F_0x2e_042_0x2e__0x2e__0x2e__bit_2 -F_0x2e_042_0x2e__0x2e__0x2e__bit_1 -F_0x2e_042_0x2e__0x2e__0x2e__bit0 F_0x2e_042_0x2e__0x2e__0x2e__bit1 -F_0x2e_042_0x2e__0x2e__0x2e__bit2 F_0x2e_042_0x2e__0x2e__0x2e__bit3 F_0x2e_042_0x2e__0x2e__0x2e__bit4 -F_0x2e_042_0x2e__0x2e__0x2e__bit5 -F_0x2e_042_0x2e__0x2e__0x2e__bit6 -F_0x2e_042_0x2e__0x2e__0x2e__bit7 -F_0x2e_042_0x2e__0x2e__0x2e__bit8 -F_0x2e_042_0x2e__0x2e__0x2e__bit9 -F_0x2e_042_0x2e__0x2e__0x2e__bit10 -F_0x2e_042_0x2e__0x2e__0x2e__bit11 -F_0x2e_042_0x2e__0x2e__0x2e__bit12 -F_0x2e_011012_bit_7 -F_0x2e_011012_bit_6 -F_0x2e_011012_bit_5 -F_0x2e_011012_bit_4 -F_0x2e_011012_bit_3 -F_0x2e_011012_bit_2 -F_0x2e_011012_bit_1 F_0x2e_011012_bit0 -F_0x2e_011012_bit1 F_0x2e_011012_bit2 -F_0x2e_011012_bit3 F_0x2e_011012_bit4 -F_0x2e_011012_bit5 -F_0x2e_011012_bit6 -F_0x2e_011012_bit7 -F_0x2e_011012_bit8 -F_0x2e_011012_bit9 -F_0x2e_011012_bit10 -F_0x2e_011012_bit11 -F_0x2e_011012_bit12 -F_0x2e_036037_bit_7 -F_0x2e_036037_bit_6 -F_0x2e_036037_bit_5 -F_0x2e_036037_bit_4 -F_0x2e_036037_bit_3 -F_0x2e_036037_bit_2 -F_0x2e_036037_bit_1 -F_0x2e_036037_bit0 -F_0x2e_036037_bit1 -F_0x2e_036037_bit2 -F_0x2e_036037_bit3 -F_0x2e_036037_bit4 -F_0x2e_036037_bit5 -F_0x2e_036037_bit6 -F_0x2e_036037_bit7 -F_0x2e_036037_bit8 -F_0x2e_036037_bit9 -F_0x2e_036037_bit10 -F_0x2e_036037_bit11 -F_0x2e_036037_bit12 -F_0x2e_038040_bit_7 -F_0x2e_038040_bit_6 -F_0x2e_038040_bit_5 -F_0x2e_038040_bit_4 -F_0x2e_038040_bit_3 -F_0x2e_038040_bit_2 -F_0x2e_038040_bit_1 -F_0x2e_038040_bit0 F_0x2e_038040_bit1 -F_0x2e_038040_bit2 F_0x2e_038040_bit3 -F_0x2e_038040_bit4 -F_0x2e_038040_bit5 -F_0x2e_038040_bit6 -F_0x2e_038040_bit7 -F_0x2e_038040_bit8 -F_0x2e_038040_bit9 -F_0x2e_038040_bit10 -F_0x2e_038040_bit11 -F_0x2e_038040_bit12 
c objectif function=72021203
c Total CPU time (ms) : 1239.298
#### 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): 1.13 1.03 1.01 2/54 5499
Raw data (stat): 5499 (runsolver) R 5498 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838951225 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.26 1.06 1.02 4/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18109 4 1 0 721 36 0 0 25 0 11 0 838951225 860086272 20260 4294967295 134512640 134569956 3221224368 3221214752 1130883104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209982 20260 13086 16 0 209966 0
vsize: 839928
[startup+20.0006 s]
Raw data (loadavg): 1.30 1.08 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18112 4 1 0 1666 37 0 0 25 0 11 0 838951225 861794304 20979 4294967295 134512640 134569956 3221224368 3221214604 1131245875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210399 20979 13086 16 0 210383 0
vsize: 841596
[startup+30.0008 s]
Raw data (loadavg): 1.25 1.07 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18112 4 1 0 2615 37 0 0 25 0 11 0 838951225 861728768 21044 4294967295 134512640 134569956 3221224368 3221214544 1131262797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21044 13086 16 0 210367 0
vsize: 841532
[startup+40.0025 s]
Raw data (loadavg): 1.21 1.07 1.02 4/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18112 4 1 0 3552 37 0 0 25 0 11 0 838951225 861970432 21268 4294967295 134512640 134569956 3221224368 3221213416 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210442 21268 13086 16 0 210426 0
vsize: 841768
[startup+50.0176 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18112 4 1 0 4513 37 0 0 25 0 11 0 838951225 861728768 21736 4294967295 134512640 134569956 3221224368 3221214528 1131438514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21736 13086 16 0 210367 0
vsize: 841532
[startup+60.0179 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18112 4 1 0 5487 37 0 0 24 0 11 0 838951225 861728768 21784 4294967295 134512640 134569956 3221224368 3221214544 1131262297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21784 13086 16 0 210367 0
vsize: 841532
[startup+70.0176 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 6463 37 0 0 25 0 11 0 838951225 861728768 21875 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21875 13086 16 0 210367 0
vsize: 841532
[startup+80.0187 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 7442 37 0 0 24 0 11 0 838951225 861728768 21843 4294967295 134512640 134569956 3221224368 3221214456 1131199001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21843 13086 16 0 210367 0
vsize: 841532
[startup+90.0194 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 8421 37 0 0 25 0 11 0 838951225 861728768 21894 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 21894 13086 16 0 210367 0
vsize: 841532
[startup+100.02 s]
Raw data (loadavg): 1.08 1.05 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 9395 37 0 0 25 0 11 0 838951225 861728768 21974 4294967295 134512640 134569956 3221224368 3221214608 1131392814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 21974 13086 16 0 210367 0
vsize: 841532
[startup+110.021 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 10369 38 0 0 25 0 11 0 838951225 861728768 22010 4294967295 134512640 134569956 3221224368 3221214024 1076460929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22010 13086 16 0 210367 0
vsize: 841532
[startup+120.021 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 11344 38 0 0 24 0 11 0 838951225 861728768 22093 4294967295 134512640 134569956 3221224368 3221214648 1131413557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22093 13086 16 0 210367 0
vsize: 841532
[startup+130.022 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 12323 38 0 0 25 0 11 0 838951225 861728768 22160 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22160 13086 16 0 210367 0
vsize: 841532
[startup+140.022 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 13295 38 0 0 25 0 11 0 838951225 861728768 22218 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22218 13086 16 0 210367 0
vsize: 841532
[startup+150.024 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 14261 38 0 0 24 0 11 0 838951225 861728768 22260 4294967295 134512640 134569956 3221224368 3221214744 1131204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22260 13086 16 0 210367 0
vsize: 841532
[startup+160.024 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 15225 38 0 0 25 0 11 0 838951225 861728768 22371 4294967295 134512640 134569956 3221224368 3221214648 1131413434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22371 13086 16 0 210367 0
vsize: 841532
[startup+170.024 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 16196 38 0 0 25 0 11 0 838951225 861728768 22471 4294967295 134512640 134569956 3221224368 3221214544 1131262994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22471 13086 16 0 210367 0
vsize: 841532
[startup+180.026 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) S 5498 24821 24820 0 -1 0 18113 4 1 0 17171 38 0 0 25 0 11 0 838951225 861728768 22604 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22604 13086 16 0 210367 0
vsize: 841532
[startup+190.027 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 18152 38 0 0 25 0 11 0 838951225 861728768 22657 4294967295 134512640 134569956 3221224368 3221214648 1131412343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22657 13086 16 0 210367 0
vsize: 841532
[startup+200.028 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 19134 38 0 0 25 0 11 0 838951225 861728768 22706 4294967295 134512640 134569956 3221224368 3221214648 1131417333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22706 13086 16 0 210367 0
vsize: 841532
[startup+210.029 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 20118 38 0 0 22 0 11 0 838951225 861728768 22755 4294967295 134512640 134569956 3221224368 3221214544 1131262301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22755 13086 16 0 210367 0
vsize: 841532
[startup+220.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 21102 38 0 0 25 0 11 0 838951225 861728768 22795 4294967295 134512640 134569956 3221224368 3221214544 1131262334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22795 13086 16 0 210367 0
vsize: 841532
[startup+230.03 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 22086 39 0 0 25 0 11 0 838951225 861728768 22839 4294967295 134512640 134569956 3221224368 3221214544 1131262847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22839 13086 16 0 210367 0
vsize: 841532
[startup+240.03 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 23069 39 0 0 25 0 11 0 838951225 861728768 22877 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22877 13086 16 0 210367 0
vsize: 841532
[startup+250.031 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 24053 39 0 0 25 0 11 0 838951225 861728768 22915 4294967295 134512640 134569956 3221224368 3221214648 1131413553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22915 13086 16 0 210367 0
vsize: 841532
[startup+260.032 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 25036 39 0 0 25 0 11 0 838951225 861728768 22962 4294967295 134512640 134569956 3221224368 3221214544 1131262397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 22962 13086 16 0 210367 0
vsize: 841532
[startup+270.032 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 26021 39 0 0 25 0 11 0 838951225 861728768 23002 4294967295 134512640 134569956 3221224368 3221214544 1131263364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 23002 13086 16 0 210367 0
vsize: 841532
[startup+280.032 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 27002 39 0 0 25 0 11 0 838951225 861728768 23043 4294967295 134512640 134569956 3221224368 3221214648 1131417179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23043 13086 16 0 210367 0
vsize: 841532
[startup+290.033 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 27984 40 0 0 25 0 11 0 838951225 861728768 23078 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23078 13086 16 0 210367 0
vsize: 841532
[startup+300.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 28961 40 0 0 24 0 11 0 838951225 861728768 23118 4294967295 134512640 134569956 3221224368 3221214544 1131263076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23118 13086 16 0 210367 0
vsize: 841532
[startup+310.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 29940 41 0 0 25 0 11 0 838951225 861728768 23164 4294967295 134512640 134569956 3221224368 3221214544 1131262797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23164 13086 16 0 210367 0
vsize: 841532
[startup+320.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 30917 41 0 0 25 0 11 0 838951225 861728768 23217 4294967295 134512640 134569956 3221224368 3221214544 1131263248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23217 13086 16 0 210367 0
vsize: 841532
[startup+330.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 31896 41 0 0 25 0 11 0 838951225 861728768 23266 4294967295 134512640 134569956 3221224368 3221214648 1131413553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23266 13086 16 0 210367 0
vsize: 841532
[startup+340.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 32872 42 0 0 25 0 11 0 838951225 861728768 23328 4294967295 134512640 134569956 3221224368 3221214648 1131412149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23328 13086 16 0 210367 0
vsize: 841532
[startup+350.035 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 33852 42 0 0 25 0 11 0 838951225 861728768 23380 4294967295 134512640 134569956 3221224368 3221214648 1131412506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23380 13086 16 0 210367 0
vsize: 841532
[startup+360.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 34831 42 0 0 25 0 11 0 838951225 861728768 23433 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23433 13086 16 0 210367 0
vsize: 841532
[startup+370.035 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 35806 43 0 0 25 0 11 0 838951225 861728768 23478 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23478 13086 16 0 210367 0
vsize: 841532
[startup+380.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 36784 43 0 0 25 0 11 0 838951225 861728768 23529 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23529 13086 16 0 210367 0
vsize: 841532
[startup+390.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 37761 43 0 0 25 0 11 0 838951225 861728768 23582 4294967295 134512640 134569956 3221224368 3221214544 1131262339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23582 13086 16 0 210367 0
vsize: 841532
[startup+400.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 38740 44 0 0 25 0 11 0 838951225 861728768 23634 4294967295 134512640 134569956 3221224368 3221214544 1131263031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23634 13086 16 0 210367 0
vsize: 841532
[startup+410.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 39718 44 0 0 25 0 11 0 838951225 861728768 23690 4294967295 134512640 134569956 3221224368 3221214648 1131413624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23690 13086 16 0 210367 0
vsize: 841532
[startup+420.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 40698 44 0 0 25 0 11 0 838951225 861728768 23735 4294967295 134512640 134569956 3221224368 3221214544 1131262391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23735 13086 16 0 210367 0
vsize: 841532
[startup+430.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 41674 45 0 0 25 0 11 0 838951225 861728768 23787 4294967295 134512640 134569956 3221224368 3221214544 1131263255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23787 13086 16 0 210367 0
vsize: 841532
[startup+440.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 42651 45 0 0 25 0 11 0 838951225 861728768 23826 4294967295 134512640 134569956 3221224368 3221214544 1131263076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23826 13086 16 0 210367 0
vsize: 841532
[startup+450.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 43626 45 0 0 25 0 11 0 838951225 861728768 23881 4294967295 134512640 134569956 3221224368 3221214544 1131262795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23881 13086 16 0 210367 0
vsize: 841532
[startup+460.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 44600 46 0 0 25 0 11 0 838951225 861728768 23923 4294967295 134512640 134569956 3221224368 3221214648 1131412270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23923 13086 16 0 210367 0
vsize: 841532
[startup+470.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 45571 46 0 0 25 0 11 0 838951225 861728768 23968 4294967295 134512640 134569956 3221224368 3221214616 1131393423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 23968 13086 16 0 210367 0
vsize: 841532
[startup+480.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 46544 46 0 0 25 0 11 0 838951225 861728768 24023 4294967295 134512640 134569956 3221224368 3221214256 1131570961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24023 13086 16 0 210367 0
vsize: 841532
[startup+490.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 47516 47 0 0 25 0 11 0 838951225 861728768 24085 4294967295 134512640 134569956 3221224368 3221214144 1131570961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24085 13086 16 0 210367 0
vsize: 841532
[startup+500.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) S 5498 24821 24820 0 -1 0 18113 4 1 0 48491 47 0 0 25 0 11 0 838951225 861728768 24136 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24136 13086 16 0 210367 0
vsize: 841532
[startup+510.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 49460 48 0 0 25 0 11 0 838951225 861728768 24206 4294967295 134512640 134569956 3221224368 3221214648 1131417201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24206 13086 16 0 210367 0
vsize: 841532
[startup+520.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 50440 48 0 0 25 0 11 0 838951225 861728768 24259 4294967295 134512640 134569956 3221224368 3221214544 1131262384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24259 13086 16 0 210367 0
vsize: 841532
[startup+530.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) S 5498 24821 24820 0 -1 0 18113 4 1 0 51413 48 0 0 25 0 11 0 838951225 861728768 24307 4294967295 134512640 134569956 3221224368 3221213248 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24307 13086 16 0 210367 0
vsize: 841532
[startup+540.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 52388 49 0 0 25 0 11 0 838951225 861728768 24355 4294967295 134512640 134569956 3221224368 3221214456 1131198994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24355 13086 16 0 210367 0
vsize: 841532
[startup+550.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 53362 49 0 0 25 0 11 0 838951225 861728768 24398 4294967295 134512640 134569956 3221224368 3221214648 1131417460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24398 13086 16 0 210367 0
vsize: 841532
[startup+560.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 54328 50 0 0 25 0 11 0 838951225 861728768 24466 4294967295 134512640 134569956 3221224368 3221214392 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24466 13086 16 0 210367 0
vsize: 841532
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 55294 50 0 0 25 0 11 0 838951225 861728768 24527 4294967295 134512640 134569956 3221224368 3221214080 1131604165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24527 13086 16 0 210367 0
vsize: 841532
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18113 4 1 0 56266 51 0 0 25 0 11 0 838951225 861728768 24616 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24616 13086 16 0 210367 0
vsize: 841532
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 57238 51 0 0 25 0 11 0 838951225 861728768 24695 4294967295 134512640 134569956 3221224368 3221214456 1131200028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24695 13086 16 0 210367 0
vsize: 841532
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 58213 52 0 0 25 0 11 0 838951225 861728768 24747 4294967295 134512640 134569956 3221224368 3221214080 1131602474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24747 13086 16 0 210367 0
vsize: 841532
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 59188 52 0 0 25 0 11 0 838951225 861728768 24794 4294967295 134512640 134569956 3221224368 3221214544 1131262956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24794 13086 16 0 210367 0
vsize: 841532
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 60160 52 0 0 25 0 11 0 838951225 861728768 24855 4294967295 134512640 134569956 3221224368 3221214648 1131412343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24855 13086 16 0 210367 0
vsize: 841532
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 61133 53 0 0 25 0 11 0 838951225 861728768 24915 4294967295 134512640 134569956 3221224368 3221214648 1131412149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24915 13086 16 0 210367 0
vsize: 841532
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 62105 53 0 0 25 0 11 0 838951225 861728768 24972 4294967295 134512640 134569956 3221224368 3221214544 1131262988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 24972 13086 16 0 210367 0
vsize: 841532
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 63078 53 0 0 25 0 11 0 838951225 861728768 25035 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25035 13086 16 0 210367 0
vsize: 841532
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 64053 53 0 0 25 0 11 0 838951225 861728768 25111 4294967295 134512640 134569956 3221224368 3221214544 1131262786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 25111 13086 16 0 210367 0
vsize: 841532
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 65027 53 0 0 25 0 11 0 838951225 861728768 25169 4294967295 134512640 134569956 3221224368 3221214544 1131262856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25169 13086 16 0 210367 0
vsize: 841532
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 66000 53 0 0 25 0 11 0 838951225 861728768 25225 4294967295 134512640 134569956 3221224368 3221214648 1131412105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25225 13086 16 0 210367 0
vsize: 841532
[startup+690.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 66971 53 0 0 25 0 11 0 838951225 861728768 25282 4294967295 134512640 134569956 3221224368 3221214544 1131262851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25282 13086 16 0 210367 0
vsize: 841532
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 67940 53 0 0 25 0 11 0 838951225 861728768 25338 4294967295 134512640 134569956 3221224368 3221214256 1131570967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25338 13086 16 0 210367 0
vsize: 841532
[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 68908 53 0 0 25 0 11 0 838951225 861728768 25407 4294967295 134512640 134569956 3221224368 3221214528 1131603485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25407 13086 16 0 210367 0
vsize: 841532
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 69874 54 0 0 25 0 11 0 838951225 861728768 25464 4294967295 134512640 134569956 3221224368 3221214644 1131262284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25464 13086 16 0 210367 0
vsize: 841532
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 70838 54 0 0 25 0 11 0 838951225 861728768 25550 4294967295 134512640 134569956 3221224368 3221213968 1131604413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25550 13086 16 0 210367 0
vsize: 841532
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 71809 54 0 0 25 0 11 0 838951225 861728768 25624 4294967295 134512640 134569956 3221224368 3221214624 1131283707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25624 13086 16 0 210367 0
vsize: 841532
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 72777 54 0 0 21 0 11 0 838951225 861728768 25720 4294967295 134512640 134569956 3221224368 3221214544 1131263306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25720 13086 16 0 210367 0
vsize: 841532
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 73751 54 0 0 25 0 11 0 838951225 861728768 25778 4294967295 134512640 134569956 3221224368 3221214544 1131262895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25778 13086 16 0 210367 0
vsize: 841532
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 74726 54 0 0 25 0 11 0 838951225 861728768 25837 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25837 13086 16 0 210367 0
vsize: 841532
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 75703 54 0 0 25 0 11 0 838951225 861728768 25887 4294967295 134512640 134569956 3221224368 3221214032 1131570961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25887 13086 16 0 210367 0
vsize: 841532
[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 76679 54 0 0 25 0 11 0 838951225 861728768 25939 4294967295 134512640 134569956 3221224368 3221214456 1131198957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25939 13086 16 0 210367 0
vsize: 841532
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 77644 54 0 0 24 0 11 0 838951225 861728768 25996 4294967295 134512640 134569956 3221224368 3221214544 1131262797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 25996 13086 16 0 210367 0
vsize: 841532
[startup+810.053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 78614 54 0 0 25 0 11 0 838951225 861728768 26046 4294967295 134512640 134569956 3221224368 3221214140 1131570904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26046 13086 16 0 210367 0
vsize: 841532
[startup+820.052 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 79583 54 0 0 25 0 11 0 838951225 861728768 26107 4294967295 134512640 134569956 3221224368 3221214192 1131605218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26107 13086 16 0 210367 0
vsize: 841532
[startup+830.053 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 80559 54 0 0 25 0 11 0 838951225 861728768 26180 4294967295 134512640 134569956 3221224368 3221214544 1131262523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26180 13086 16 0 210367 0
vsize: 841532
[startup+840.052 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 81540 54 0 0 25 0 11 0 838951225 861728768 26205 4294967295 134512640 134569956 3221224368 3221214112 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26205 13086 16 0 210367 0
vsize: 841532
[startup+850.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 82518 54 0 0 25 0 11 0 838951225 861728768 26238 4294967295 134512640 134569956 3221224368 3221214544 1131262334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26238 13086 16 0 210367 0
vsize: 841532
[startup+860.054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 83495 54 0 0 25 0 11 0 838951225 861728768 26263 4294967295 134512640 134569956 3221224368 3221214616 1131392728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26263 13086 16 0 210367 0
vsize: 841532
[startup+870.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 84473 55 0 0 25 0 11 0 838951225 861728768 26285 4294967295 134512640 134569956 3221224368 3221214616 1131392649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26285 13086 16 0 210367 0
vsize: 841532
[startup+880.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 85448 55 0 0 25 0 11 0 838951225 861728768 26326 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26326 13086 16 0 210367 0
vsize: 841532
[startup+890.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 86424 55 0 0 25 0 11 0 838951225 861728768 26359 4294967295 134512640 134569956 3221224368 3221214648 1131413493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26359 13086 16 0 210367 0
vsize: 841532
[startup+900.055 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 87402 55 0 0 25 0 11 0 838951225 861728768 26395 4294967295 134512640 134569956 3221224368 3221214536 1131436750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26395 13086 16 0 210367 0
vsize: 841532
[startup+910.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 88378 55 0 0 25 0 11 0 838951225 861728768 26440 4294967295 134512640 134569956 3221224368 3221214648 1131412292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26440 13086 16 0 210367 0
vsize: 841532
[startup+920.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 89353 55 0 0 25 0 11 0 838951225 861728768 26467 4294967295 134512640 134569956 3221224368 3221214544 1131262960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26467 13086 16 0 210367 0
vsize: 841532
[startup+930.057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 90329 56 0 0 25 0 11 0 838951225 861728768 26507 4294967295 134512640 134569956 3221224368 3221214648 1131414444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26507 13086 16 0 210367 0
vsize: 841532
[startup+940.057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 91306 56 0 0 24 0 11 0 838951225 861728768 26554 4294967295 134512640 134569956 3221224368 3221214832 1131195097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26554 13086 16 0 210367 0
vsize: 841532
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 92285 57 0 0 24 0 11 0 838951225 861728768 26580 4294967295 134512640 134569956 3221224368 3221214544 1131263273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26580 13086 16 0 210367 0
vsize: 841532
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 93264 57 0 0 25 0 11 0 838951225 861728768 26602 4294967295 134512640 134569956 3221224368 3221214648 1131412315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26602 13086 16 0 210367 0
vsize: 841532
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 94245 57 0 0 25 0 11 0 838951225 861728768 26627 4294967295 134512640 134569956 3221224368 3221214544 1131262305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26627 13086 16 0 210367 0
vsize: 841532
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 95226 58 0 0 25 0 11 0 838951225 861728768 26653 4294967295 134512640 134569956 3221224368 3221214544 1131262795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26653 13086 16 0 210367 0
vsize: 841532
[startup+990.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 96203 58 0 0 25 0 11 0 838951225 861728768 26673 4294967295 134512640 134569956 3221224368 3221214544 1131262365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26673 13086 16 0 210367 0
vsize: 841532
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 97181 58 0 0 25 0 11 0 838951225 861728768 26694 4294967295 134512640 134569956 3221224368 3221214664 1131183005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26694 13086 16 0 210367 0
vsize: 841532
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 98158 59 0 0 25 0 11 0 838951225 861728768 26711 4294967295 134512640 134569956 3221224368 3221214648 1131412315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26711 13086 16 0 210367 0
vsize: 841532
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 99137 59 0 0 25 0 11 0 838951225 861728768 26752 4294967295 134512640 134569956 3221224368 3221214544 1131262827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210383 26752 13086 16 0 210367 0
vsize: 841532
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 100116 59 0 0 25 0 11 0 838951225 861728768 26775 4294967295 134512640 134569956 3221224368 3221214544 1131262305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26775 13086 16 0 210367 0
vsize: 841532
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 101094 59 0 0 25 0 11 0 838951225 861728768 26799 4294967295 134512640 134569956 3221224368 3221214544 1131262407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26799 13086 16 0 210367 0
vsize: 841532
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 102069 60 0 0 25 0 11 0 838951225 861728768 26824 4294967295 134512640 134569956 3221224368 3221214792 1131580252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26824 13086 16 0 210367 0
vsize: 841532
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 103046 60 0 0 25 0 11 0 838951225 861728768 26850 4294967295 134512640 134569956 3221224368 3221214544 1131262705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26850 13086 16 0 210367 0
vsize: 841532
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 104022 61 0 0 25 0 11 0 838951225 861728768 26888 4294967295 134512640 134569956 3221224368 3221214644 1131262291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26888 13086 16 0 210367 0
vsize: 841532
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 105002 61 0 0 25 0 11 0 838951225 861728768 26919 4294967295 134512640 134569956 3221224368 3221214648 1131417362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26919 13086 16 0 210367 0
vsize: 841532
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 105980 62 0 0 25 0 11 0 838951225 861728768 26938 4294967295 134512640 134569956 3221224368 3221214544 1131262305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26938 13086 16 0 210367 0
vsize: 841532
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 106958 62 0 0 25 0 11 0 838951225 861728768 26966 4294967295 134512640 134569956 3221224368 3221214456 1131199420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26966 13086 16 0 210367 0
vsize: 841532
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 107936 63 0 0 25 0 11 0 838951225 861728768 26991 4294967295 134512640 134569956 3221224368 3221214544 1131262350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 26991 13086 16 0 210367 0
vsize: 841532
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 108916 63 0 0 25 0 11 0 838951225 861728768 27028 4294967295 134512640 134569956 3221224368 3221214544 1131262782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27028 13086 16 0 210367 0
vsize: 841532
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 109893 64 0 0 25 0 11 0 838951225 861728768 27051 4294967295 134512640 134569956 3221224368 3221214544 1131262818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27051 13086 16 0 210367 0
vsize: 841532
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 110870 64 0 0 25 0 11 0 838951225 861728768 27076 4294967295 134512640 134569956 3221224368 3221214188 1131570784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27076 13086 16 0 210367 0
vsize: 841532
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 111847 64 0 0 25 0 11 0 838951225 861728768 27096 4294967295 134512640 134569956 3221224368 3221214648 1131414297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27096 13086 16 0 210367 0
vsize: 841532
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 112823 65 0 0 25 0 11 0 838951225 861728768 27132 4294967295 134512640 134569956 3221224368 3221214544 1131262415 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27132 13086 16 0 210367 0
vsize: 841532
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 113800 65 0 0 25 0 11 0 838951225 861728768 27155 4294967295 134512640 134569956 3221224368 3221214544 1131262305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27155 13086 16 0 210367 0
vsize: 841532
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 114780 65 0 0 25 0 11 0 838951225 861728768 27180 4294967295 134512640 134569956 3221224368 3221214544 1131263500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27180 13086 16 0 210367 0
vsize: 841532
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 115759 66 0 0 25 0 11 0 838951225 861728768 27202 4294967295 134512640 134569956 3221224368 3221214480 1131570922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27202 13086 16 0 210367 0
vsize: 841532
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 116739 66 0 0 25 0 11 0 838951225 861728768 27226 4294967295 134512640 134569956 3221224368 3221214456 1131198965 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27226 13086 16 0 210367 0
vsize: 841532
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 117718 67 0 0 25 0 11 0 838951225 861728768 27244 4294967295 134512640 134569956 3221224368 3221214544 1131263624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27244 13086 16 0 210367 0
vsize: 841532
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 118696 67 0 0 25 0 11 0 838951225 861728768 27266 4294967295 134512640 134569956 3221224368 3221214544 1131263031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27266 13086 16 0 210367 0
vsize: 841532
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 119674 68 0 0 25 0 11 0 838951225 861728768 27295 4294967295 134512640 134569956 3221224368 3221214544 1131262768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27295 13086 16 0 210367 0
vsize: 841532
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 5510
Raw data (stat): 5499 (java) R 5498 24821 24820 0 -1 0 18114 4 1 0 120653 68 0 0 25 0 11 0 838951225 861728768 27321 4294967295 134512640 134569956 3221224368 3221214544 1131262750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210383 27321 13086 16 0 210367 0
vsize: 841532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5512
Raw data (stat): 5499 (java) Z 5498 24821 24820 0 -1 1036 18114 16891 1 0 120671 73 4561 55 25 0 1 0 838951225 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): 1240.32
CPU time (s): 1253.63
CPU user time (s): 1252.33
CPU system time (s): 1.2968
CPU usage (%): 101.073
Max. virtual memory (Kb): 841768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	72021203
#### END VERIFIER DATA ####