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/miplib3/normalized-mps-v2-13-7-egout.opb
MD5SUM	fd101f0ba1a3813e843a38997ab7ed84
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.04984
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 30017

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 13:50:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21420 boxname=wulflinc8 idbench=1408 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  fd101f0ba1a3813e843a38997ab7ed84  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 21420
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        353928 kB
Buffers:         37924 kB
Cached:         616508 kB
SwapCached:          0 kB
Active:          44096 kB
Inactive:       617312 kB
HighTotal:      131008 kB
HighFree:          980 kB
LowTotal:       903652 kB
LowFree:        352948 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7068 kB
Slab:            13708 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:10:47 (client local time) WITH STATUS 143 IN 1237.95 SECONDS
stats: 21420 0 1237.95 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/wulflinc8/normalized-mps-v2-13-7-egout.opb
c reading problem ... done. Time 2.513 ms.
c #vars     1155
c #constraints  134
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            72021203 		Current CPU time: 6.62 ms
c starts	: 9
c conflicts	: 4124
c decisions	: 7142
c propagations	: 67959
c inspects	: 1657194
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 4124
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.259
#### 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.85 0.97 0.99 2/54 18623
Raw data (stat): 18623 (runsolver) R 18622 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 767583137 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.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18102 4 1 0 754 41 0 0 25 0 11 0 767583137 857063424 19916 4294967295 134512640 134569956 3221224368 3221214576 1131264793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209244 19916 13086 16 0 209228 0
vsize: 836976
[startup+20.0017 s]
Raw data (loadavg): 1.11 1.02 1.01 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 1696 42 0 0 25 0 11 0 767583137 860069888 20642 4294967295 134512640 134569956 3221224368 3221214608 1131385304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 20642 13086 16 0 209962 0
vsize: 839912
[startup+30.002 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 2649 42 0 0 25 0 11 0 767583137 860069888 20679 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 20679 13086 16 0 209962 0
vsize: 839912
[startup+40.0024 s]
Raw data (loadavg): 1.08 1.02 1.00 3/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 3596 42 0 0 25 0 11 0 767583137 860069888 20845 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 20845 13086 16 0 209962 0
vsize: 839912
[startup+50.003 s]
Raw data (loadavg): 1.07 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 4557 42 0 0 25 0 11 0 767583137 860069888 21249 4294967295 134512640 134569956 3221224368 3221214608 1131385754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 21249 13086 16 0 209962 0
vsize: 839912
[startup+60.0033 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 5532 42 0 0 25 0 11 0 767583137 860069888 21297 4294967295 134512640 134569956 3221224368 3221214576 1131265233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21297 13086 16 0 209962 0
vsize: 839912
[startup+70.0046 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 6506 42 0 0 25 0 11 0 767583137 860069888 21387 4294967295 134512640 134569956 3221224368 3221214680 1131360820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21387 13086 16 0 209962 0
vsize: 839912
[startup+80.0053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 7485 43 0 0 25 0 11 0 767583137 860069888 21448 4294967295 134512640 134569956 3221224368 3221214576 1131265293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21448 13086 16 0 209962 0
vsize: 839912
[startup+90.0056 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18105 4 1 0 8462 43 0 0 25 0 11 0 767583137 860069888 21499 4294967295 134512640 134569956 3221224368 3221214680 1131359706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21499 13086 16 0 209962 0
vsize: 839912
[startup+100.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 9437 43 0 0 25 0 11 0 767583137 860069888 21578 4294967295 134512640 134569956 3221224368 3221214680 1131360800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21578 13086 16 0 209962 0
vsize: 839912
[startup+110.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 10409 43 0 0 25 0 11 0 767583137 860069888 21616 4294967295 134512640 134569956 3221224368 3221214680 1131360419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21616 13086 16 0 209962 0
vsize: 839912
[startup+120.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 11385 43 0 0 25 0 11 0 767583137 860069888 21694 4294967295 134512640 134569956 3221224368 3221214576 1131265572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21694 13086 16 0 209962 0
vsize: 839912
[startup+130.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 12363 44 0 0 25 0 11 0 767583137 860069888 21758 4294967295 134512640 134569956 3221224368 3221214528 1131569776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21758 13086 16 0 209962 0
vsize: 839912
[startup+140.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 13335 44 0 0 25 0 11 0 767583137 860069888 21819 4294967295 134512640 134569956 3221224368 3221214576 1131264797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21819 13086 16 0 209962 0
vsize: 839912
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 14303 44 0 0 25 0 11 0 767583137 860069888 21851 4294967295 134512640 134569956 3221224368 3221214676 1131266017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21851 13086 16 0 209962 0
vsize: 839912
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 15266 45 0 0 25 0 11 0 767583137 860069888 21955 4294967295 134512640 134569956 3221224368 3221214576 1131265386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 21955 13086 16 0 209962 0
vsize: 839912
[startup+170.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 16233 45 0 0 25 0 11 0 767583137 860069888 22055 4294967295 134512640 134569956 3221224368 3221214680 1131364054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22055 13086 16 0 209962 0
vsize: 839912
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 17205 46 0 0 24 0 11 0 767583137 860069888 22207 4294967295 134512640 134569956 3221224368 3221214680 1131359361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22207 13086 16 0 209962 0
vsize: 839912
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 18186 46 0 0 25 0 11 0 767583137 860069888 22253 4294967295 134512640 134569956 3221224368 3221214680 1131360669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22253 13086 16 0 209962 0
vsize: 839912
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 19169 46 0 0 25 0 11 0 767583137 860069888 22301 4294967295 134512640 134569956 3221224368 3221214680 1131360694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22301 13086 16 0 209962 0
vsize: 839912
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 20150 47 0 0 25 0 11 0 767583137 860069888 22353 4294967295 134512640 134569956 3221224368 3221214416 1131567865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22353 13086 16 0 209962 0
vsize: 839912
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 21135 48 0 0 25 0 11 0 767583137 860069888 22389 4294967295 134512640 134569956 3221224368 3221214488 1131202900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22389 13086 16 0 209962 0
vsize: 839912
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) S 18622 3132 3131 0 -1 0 18106 4 1 0 22117 48 0 0 25 0 11 0 767583137 860069888 22436 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22436 13086 16 0 209962 0
vsize: 839912
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 23100 48 0 0 25 0 11 0 767583137 860069888 22470 4294967295 134512640 134569956 3221224368 3221214576 1131265489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22470 13086 16 0 209962 0
vsize: 839912
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 24084 49 0 0 25 0 11 0 767583137 860069888 22508 4294967295 134512640 134569956 3221224368 3221214680 1131359494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22508 13086 16 0 209962 0
vsize: 839912
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 25066 49 0 0 25 0 11 0 767583137 860069888 22553 4294967295 134512640 134569956 3221224368 3221214576 1131265748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22553 13086 16 0 209962 0
vsize: 839912
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 26049 50 0 0 25 0 11 0 767583137 860069888 22593 4294967295 134512640 134569956 3221224368 3221214576 1131264830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22593 13086 16 0 209962 0
vsize: 839912
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 27032 50 0 0 25 0 11 0 767583137 860069888 22631 4294967295 134512640 134569956 3221224368 3221214576 1131265352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22631 13086 16 0 209962 0
vsize: 839912
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 28015 51 0 0 25 0 11 0 767583137 860069888 22665 4294967295 134512640 134569956 3221224368 3221214576 1131264812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22665 13086 16 0 209962 0
vsize: 839912
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 28996 51 0 0 25 0 11 0 767583137 860069888 22700 4294967295 134512640 134569956 3221224368 3221214680 1131360904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22700 13086 16 0 209962 0
vsize: 839912
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 29975 52 0 0 25 0 11 0 767583137 860069888 22751 4294967295 134512640 134569956 3221224368 3221214680 1131359708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22751 13086 16 0 209962 0
vsize: 839912
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 30953 52 0 0 25 0 11 0 767583137 860069888 22787 4294967295 134512640 134569956 3221224368 3221214576 1131265187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22787 13086 16 0 209962 0
vsize: 839912
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 31932 53 0 0 25 0 11 0 767583137 860069888 22846 4294967295 134512640 134569956 3221224368 3221214536 1131399720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22846 13086 16 0 209962 0
vsize: 839912
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 32911 54 0 0 25 0 11 0 767583137 860069888 22902 4294967295 134512640 134569956 3221224368 3221214576 1131265528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22902 13086 16 0 209962 0
vsize: 839912
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 33891 54 0 0 25 0 11 0 767583137 860069888 22953 4294967295 134512640 134569956 3221224368 3221214680 1131359339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 22953 13086 16 0 209962 0
vsize: 839912
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 34870 55 0 0 25 0 11 0 767583137 860069888 23002 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23002 13086 16 0 209962 0
vsize: 839912
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 35849 55 0 0 25 0 11 0 767583137 860069888 23055 4294967295 134512640 134569956 3221224368 3221214576 1131264814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23055 13086 16 0 209962 0
vsize: 839912
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 36826 56 0 0 25 0 11 0 767583137 860069888 23089 4294967295 134512640 134569956 3221224368 3221214488 1131202292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23089 13086 16 0 209962 0
vsize: 839912
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 37804 56 0 0 25 0 11 0 767583137 860069888 23146 4294967295 134512640 134569956 3221224368 3221214576 1131265285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23146 13086 16 0 209962 0
vsize: 839912
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 38783 57 0 0 25 0 11 0 767583137 860069888 23203 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23203 13086 16 0 209962 0
vsize: 839912
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 39762 57 0 0 25 0 11 0 767583137 860069888 23254 4294967295 134512640 134569956 3221224368 3221214576 1131264917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23254 13086 16 0 209962 0
vsize: 839912
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 40742 57 0 0 25 0 11 0 767583137 860069888 23301 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23301 13086 16 0 209962 0
vsize: 839912
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 41721 58 0 0 24 0 11 0 767583137 860069888 23349 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23349 13086 16 0 209962 0
vsize: 839912
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 42701 58 0 0 25 0 11 0 767583137 860069888 23398 4294967295 134512640 134569956 3221224368 3221214576 1131265352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23398 13086 16 0 209962 0
vsize: 839912
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 43678 59 0 0 25 0 11 0 767583137 860069888 23439 4294967295 134512640 134569956 3221224368 3221214576 1131265528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23439 13086 16 0 209962 0
vsize: 839912
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 44654 59 0 0 24 0 11 0 767583137 860069888 23488 4294967295 134512640 134569956 3221224368 3221214680 1131361642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23488 13086 16 0 209962 0
vsize: 839912
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 45630 60 0 0 25 0 11 0 767583137 860069888 23531 4294967295 134512640 134569956 3221224368 3221214680 1131360749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23531 13086 16 0 209962 0
vsize: 839912
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 46601 60 0 0 25 0 11 0 767583137 860069888 23581 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23581 13086 16 0 209962 0
vsize: 839912
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 47578 60 0 0 25 0 11 0 767583137 860069888 23627 4294967295 134512640 134569956 3221224368 3221214144 1131534167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23627 13086 16 0 209962 0
vsize: 839912
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 48551 60 0 0 25 0 11 0 767583137 860069888 23689 4294967295 134512640 134569956 3221224368 3221214576 1131265352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23689 13086 16 0 209962 0
vsize: 839912
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) S 18622 3132 3131 0 -1 0 18106 4 1 0 49527 61 0 0 25 0 11 0 767583137 860069888 23740 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23740 13086 16 0 209962 0
vsize: 839912
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) S 18622 3132 3131 0 -1 0 18106 4 1 0 50498 61 0 0 25 0 11 0 767583137 860069888 23796 4294967295 134512640 134569956 3221224368 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23796 13086 16 0 209962 0
vsize: 839912
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 51477 62 0 0 25 0 11 0 767583137 860069888 23863 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23863 13086 16 0 209962 0
vsize: 839912
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 52452 62 0 0 25 0 11 0 767583137 860069888 23911 4294967295 134512640 134569956 3221224368 3221214252 1131534096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23911 13086 16 0 209962 0
vsize: 839912
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 53430 62 0 0 25 0 11 0 767583137 860069888 23959 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 23959 13086 16 0 209962 0
vsize: 839912
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 54405 62 0 0 25 0 11 0 767583137 860069888 24000 4294967295 134512640 134569956 3221224368 3221214576 1131265714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24000 13086 16 0 209962 0
vsize: 839912
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 55370 63 0 0 25 0 11 0 767583137 860069888 24057 4294967295 134512640 134569956 3221224368 3221214576 1131265133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24057 13086 16 0 209962 0
vsize: 839912
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 56341 64 0 0 25 0 11 0 767583137 860069888 24114 4294967295 134512640 134569956 3221224368 3221214680 1131359989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24114 13086 16 0 209962 0
vsize: 839912
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18634
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 57310 64 0 0 25 0 11 0 767583137 860069888 24213 4294967295 134512640 134569956 3221224368 3221214680 1131360868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24213 13086 16 0 209962 0
vsize: 839912
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 18672
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 58280 68 0 0 25 0 11 0 767583137 860069888 24286 4294967295 134512640 134569956 3221224368 3221214576 1131265419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 24286 13086 16 0 209962 0
vsize: 839912
[startup+610.028 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 59253 69 0 0 25 0 11 0 767583137 860069888 24333 4294967295 134512640 134569956 3221224368 3221214168 1085679308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24333 13086 16 0 209962 0
vsize: 839912
[startup+620.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 60228 69 0 0 25 0 11 0 767583137 860069888 24385 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24385 13086 16 0 209962 0
vsize: 839912
[startup+630.028 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 61201 69 0 0 25 0 11 0 767583137 860069888 24440 4294967295 134512640 134569956 3221224368 3221213920 1131534081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24440 13086 16 0 209962 0
vsize: 839912
[startup+640.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 62174 70 0 0 25 0 11 0 767583137 860069888 24500 4294967295 134512640 134569956 3221224368 3221214680 1131364054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24500 13086 16 0 209962 0
vsize: 839912
[startup+650.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 63147 70 0 0 25 0 11 0 767583137 860069888 24559 4294967295 134512640 134569956 3221224368 3221214576 1131265860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24559 13086 16 0 209962 0
vsize: 839912
[startup+660.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 64119 70 0 0 24 0 11 0 767583137 860069888 24623 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24623 13086 16 0 209962 0
vsize: 839912
[startup+670.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18687
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 65097 70 0 0 25 0 11 0 767583137 860069888 24692 4294967295 134512640 134569956 3221224368 3221214680 1131359361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 24692 13086 16 0 209962 0
vsize: 839912
[startup+680.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 66071 71 0 0 25 0 11 0 767583137 860069888 24750 4294967295 134512640 134569956 3221224368 3221214576 1131264805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24750 13086 16 0 209962 0
vsize: 839912
[startup+690.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 67044 71 0 0 25 0 11 0 767583137 860069888 24808 4294967295 134512640 134569956 3221224368 3221214576 1131265293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24808 13086 16 0 209962 0
vsize: 839912
[startup+700.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 68014 71 0 0 25 0 11 0 767583137 860069888 24861 4294967295 134512640 134569956 3221224368 3221214296 1131568444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24861 13086 16 0 209962 0
vsize: 839912
[startup+710.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 68984 72 0 0 25 0 11 0 767583137 860069888 24915 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24915 13086 16 0 209962 0
vsize: 839912
[startup+720.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 69952 72 0 0 25 0 11 0 767583137 860069888 24979 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 24979 13086 16 0 209962 0
vsize: 839912
[startup+730.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 70922 72 0 0 25 0 11 0 767583137 860069888 25034 4294967295 134512640 134569956 3221224368 3221214028 1131534160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25034 13086 16 0 209962 0
vsize: 839912
[startup+740.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 71889 72 0 0 25 0 11 0 767583137 860069888 25110 4294967295 134512640 134569956 3221224368 3221214576 1131265461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25110 13086 16 0 209962 0
vsize: 839912
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 72854 73 0 0 25 0 11 0 767583137 860069888 25191 4294967295 134512640 134569956 3221224368 3221214680 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25191 13086 16 0 209962 0
vsize: 839912
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 73821 73 0 0 25 0 11 0 767583137 860069888 25273 4294967295 134512640 134569956 3221224368 3221214616 1131385417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25273 13086 16 0 209962 0
vsize: 839912
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 74795 73 0 0 25 0 11 0 767583137 860069888 25355 4294967295 134512640 134569956 3221224368 3221214528 1131573410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25355 13086 16 0 209962 0
vsize: 839912
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 75769 74 0 0 25 0 11 0 767583137 860069888 25400 4294967295 134512640 134569956 3221224368 3221213808 1131534161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25400 13086 16 0 209962 0
vsize: 839912
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 76746 74 0 0 25 0 11 0 767583137 860069888 25459 4294967295 134512640 134569956 3221224368 3221214576 1131265041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25459 13086 16 0 209962 0
vsize: 839912
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 77720 74 0 0 25 0 11 0 767583137 860069888 25521 4294967295 134512640 134569956 3221224368 3221214680 1131359561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25521 13086 16 0 209962 0
vsize: 839912
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 78692 75 0 0 25 0 11 0 767583137 860069888 25565 4294967295 134512640 134569956 3221224368 3221214072 1131569048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25565 13086 16 0 209962 0
vsize: 839912
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 79660 75 0 0 25 0 11 0 767583137 860069888 25612 4294967295 134512640 134569956 3221224368 3221214616 1131385840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25612 13086 16 0 209962 0
vsize: 839912
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 80627 75 0 0 25 0 11 0 767583137 860069888 25671 4294967295 134512640 134569956 3221224368 3221214680 1131364043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25671 13086 16 0 209962 0
vsize: 839912
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 81601 76 0 0 25 0 11 0 767583137 860069888 25750 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25750 13086 16 0 209962 0
vsize: 839912
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 82578 76 0 0 25 0 11 0 767583137 860069888 25792 4294967295 134512640 134569956 3221224368 3221214680 1131364058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 25792 13086 16 0 209962 0
vsize: 839912
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 83555 76 0 0 25 0 11 0 767583137 860069888 25825 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25825 13086 16 0 209962 0
vsize: 839912
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 84535 76 0 0 25 0 11 0 767583137 860069888 25848 4294967295 134512640 134569956 3221224368 3221214576 1131264805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25848 13086 16 0 209962 0
vsize: 839912
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 85512 76 0 0 25 0 11 0 767583137 860069888 25875 4294967295 134512640 134569956 3221224368 3221214576 1131265201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25875 13086 16 0 209962 0
vsize: 839912
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 86489 76 0 0 25 0 11 0 767583137 860069888 25904 4294967295 134512640 134569956 3221224368 3221214576 1131265384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25904 13086 16 0 209962 0
vsize: 839912
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 87464 76 0 0 25 0 11 0 767583137 860069888 25942 4294967295 134512640 134569956 3221224368 3221214680 1131360749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25942 13086 16 0 209962 0
vsize: 839912
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18689
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 88440 77 0 0 25 0 11 0 767583137 860069888 25974 4294967295 134512640 134569956 3221224368 3221214680 1131360675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 25974 13086 16 0 209962 0
vsize: 839912
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 89417 77 0 0 25 0 11 0 767583137 860069888 26019 4294967295 134512640 134569956 3221224368 3221214576 1131265157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26019 13086 16 0 209962 0
vsize: 839912
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 90392 77 0 0 25 0 11 0 767583137 860069888 26053 4294967295 134512640 134569956 3221224368 3221214632 1131382743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26053 13086 16 0 209962 0
vsize: 839912
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 91368 77 0 0 25 0 11 0 767583137 860069888 26085 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26085 13086 16 0 209962 0
vsize: 839912
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 92346 77 0 0 25 0 11 0 767583137 860069888 26135 4294967295 134512640 134569956 3221224368 3221214680 1131360786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26135 13086 16 0 209962 0
vsize: 839912
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 93326 77 0 0 25 0 11 0 767583137 860069888 26164 4294967295 134512640 134569956 3221224368 3221214528 1131574789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26164 13086 16 0 209962 0
vsize: 839912
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 94306 77 0 0 25 0 11 0 767583137 860069888 26190 4294967295 134512640 134569956 3221224368 3221214576 1131265437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26190 13086 16 0 209962 0
vsize: 839912
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 95286 77 0 0 25 0 11 0 767583137 860069888 26213 4294967295 134512640 134569956 3221224368 3221214384 1078032837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26213 13086 16 0 209962 0
vsize: 839912
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 96267 77 0 0 25 0 11 0 767583137 860069888 26238 4294967295 134512640 134569956 3221224368 3221214680 1131361642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26238 13086 16 0 209962 0
vsize: 839912
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 97248 78 0 0 25 0 11 0 767583137 860069888 26260 4294967295 134512640 134569956 3221224368 3221214576 1131265513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26260 13086 16 0 209962 0
vsize: 839912
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 98227 78 0 0 25 0 11 0 767583137 860069888 26280 4294967295 134512640 134569956 3221224368 3221214576 1131265293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26280 13086 16 0 209962 0
vsize: 839912
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 99205 78 0 0 25 0 11 0 767583137 860069888 26300 4294967295 134512640 134569956 3221224368 3221214576 1131265513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26300 13086 16 0 209962 0
vsize: 839912
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 100182 78 0 0 25 0 11 0 767583137 860069888 26324 4294967295 134512640 134569956 3221224368 3221214576 1131265029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26324 13086 16 0 209962 0
vsize: 839912
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 101162 78 0 0 25 0 11 0 767583137 860069888 26361 4294967295 134512640 134569956 3221224368 3221214576 1131265728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26361 13086 16 0 209962 0
vsize: 839912
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) S 18622 3132 3131 0 -1 0 18106 4 1 0 102143 78 0 0 25 0 11 0 767583137 860069888 26382 4294967295 134512640 134569956 3221224368 3221213216 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26382 13086 16 0 209962 0
vsize: 839912
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 103123 78 0 0 25 0 11 0 767583137 860069888 26406 4294967295 134512640 134569956 3221224368 3221214576 1131265473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26406 13086 16 0 209962 0
vsize: 839912
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 104099 78 0 0 25 0 11 0 767583137 860069888 26435 4294967295 134512640 134569956 3221224368 3221214680 1131363943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26435 13086 16 0 209962 0
vsize: 839912
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 105076 79 0 0 25 0 11 0 767583137 860069888 26458 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26458 13086 16 0 209962 0
vsize: 839912
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 106053 79 0 0 25 0 11 0 767583137 860069888 26501 4294967295 134512640 134569956 3221224368 3221214576 1131264873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26501 13086 16 0 209962 0
vsize: 839912
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 107036 79 0 0 25 0 11 0 767583137 860069888 26523 4294967295 134512640 134569956 3221224368 3221214576 1131265323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26523 13086 16 0 209962 0
vsize: 839912
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 108015 79 0 0 25 0 11 0 767583137 860069888 26542 4294967295 134512640 134569956 3221224368 3221214576 1131265282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26542 13086 16 0 209962 0
vsize: 839912
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 108994 79 0 0 25 0 11 0 767583137 860069888 26570 4294967295 134512640 134569956 3221224368 3221214576 1131265388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26570 13086 16 0 209962 0
vsize: 839912
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 109973 79 0 0 25 0 11 0 767583137 860069888 26595 4294967295 134512640 134569956 3221224368 3221213916 1077100736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26595 13086 16 0 209962 0
vsize: 839912
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 110954 79 0 0 24 0 11 0 767583137 860069888 26632 4294967295 134512640 134569956 3221224368 3221214576 1131264805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26632 13086 16 0 209962 0
vsize: 839912
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 111934 79 0 0 25 0 11 0 767583137 860069888 26648 4294967295 134512640 134569956 3221224368 3221214576 1131264814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26648 13086 16 0 209962 0
vsize: 839912
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 112912 79 0 0 25 0 11 0 767583137 860069888 26675 4294967295 134512640 134569956 3221224368 3221214680 1131360800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26675 13086 16 0 209962 0
vsize: 839912
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 113889 79 0 0 25 0 11 0 767583137 860069888 26700 4294967295 134512640 134569956 3221224368 3221214576 1131265187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26700 13086 16 0 209962 0
vsize: 839912
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 114866 80 0 0 25 0 11 0 767583137 860069888 26733 4294967295 134512640 134569956 3221224368 3221214680 1131359521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26733 13086 16 0 209962 0
vsize: 839912
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 115847 80 0 0 25 0 11 0 767583137 860069888 26752 4294967295 134512640 134569956 3221224368 3221214576 1131265644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26752 13086 16 0 209962 0
vsize: 839912
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 116825 80 0 0 24 0 11 0 767583137 860069888 26781 4294967295 134512640 134569956 3221224368 3221214576 1131264880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26781 13086 16 0 209962 0
vsize: 839912
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 117805 80 0 0 24 0 11 0 767583137 860069888 26803 4294967295 134512640 134569956 3221224368 3221214576 1131265437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26803 13086 16 0 209962 0
vsize: 839912
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 118787 80 0 0 25 0 11 0 767583137 860069888 26828 4294967295 134512640 134569956 3221224368 3221213968 1131566964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26828 13086 16 0 209962 0
vsize: 839912
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 119767 80 0 0 25 0 11 0 767583137 860069888 26844 4294967295 134512640 134569956 3221224368 3221214576 1131264801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209978 26844 13086 16 0 209962 0
vsize: 839912
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 18691
Raw data (stat): 18623 (java) R 18622 3132 3131 0 -1 0 18106 4 1 0 120745 80 0 0 25 0 11 0 767583137 860069888 26867 4294967295 134512640 134569956 3221224368 3221214680 1131360738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209978 26867 13086 16 0 209962 0
vsize: 839912
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 18693
Raw data (stat): 18623 (java) Z 18622 3132 3131 0 -1 1036 18106 7014 1 0 120765 80 2919 29 25 0 1 0 767583137 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): 1237.95
CPU user time (s): 1236.85
CPU system time (s): 1.09883
CPU usage (%): 99.809
Max. virtual memory (Kb): 839912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	72021203
#### END VERIFIER DATA ####