Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
MD5SUMf118194cabf88b58b64a9e7aec087bc0
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51087398
Optimality of the best value was proved NO
Number of terms in the objective function 1488
Biggest coefficient in the objective function 375272767488
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 12937590079727
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 375272767488
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 12937590079727
Number of bits of the biggest sum of numbers44
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1260.87
Number of variables1488
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints62
Minimum length of a constraint1
Maximum length of a constraint240

Trace number 29542

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        684584 kB
Buffers:         34392 kB
Cached:         295420 kB
SwapCached:        600 kB
Active:          67112 kB
Inactive:       265144 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684332 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            12180 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:06:51 (client local time) WITH STATUS 143 IN 1260.87 SECONDS
stats: 20940 0 1260.87 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/wulflinc4/normalized-mps-v2-20-10-mod013.opb
c reading problem ... done. Time 2.805 ms.
c #vars     1488
c #constraints  76
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            52144137 		Current CPU time: 11.43 ms
c CURRENT OPTIMUM=            51087398 		Current CPU time: 892.19 ms
c starts	: 11
c conflicts	: 2393
c decisions	: 12632
c propagations	: 42311
c inspects	: 1784365
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2393
c root simplifications	: 74
s SATISFIABLE
v -C1_0x2e__bit_10 -C1_0x2e__bit_9 -C1_0x2e__bit_8 -C1_0x2e__bit_7 -C1_0x2e__bit_6 -C1_0x2e__bit_5 -C1_0x2e__bit_4 -C1_0x2e__bit_3 -C1_0x2e__bit_2 -C1_0x2e__bit_1 -C1_0x2e__bit0 -C1_0x2e__bit1 -C1_0x2e__bit2 -C1_0x2e__bit3 -C1_0x2e__bit4 -C1_0x2e__bit5 -C1_0x2e__bit6 -C1_0x2e__bit7 -C1_0x2e__bit8 -C1_0x2e__bit9 -C1_0x2e__bit10 -C1_0x2e__bit11 -C1_0x2e__bit12 -C1_0x2e__bit13 -C1_0x2e__bit14 -C1_0x2e__bit15 -C1_0x2e__bit16 -C1_0x2e__bit17 -C1_0x2e__bit18 -C1_0x2e__bit19 -C2_0x2e__bit_10 -C2_0x2e__bit_9 -C2_0x2e__bit_8 -C2_0x2e__bit_7 -C2_0x2e__bit_6 -C2_0x2e__bit_5 -C2_0x2e__bit_4 -C2_0x2e__bit_3 -C2_0x2e__bit_2 -C2_0x2e__bit_1 -C2_0x2e__bit0 C2_0x2e__bit1 C2_0x2e__bit2 C2_0x2e__bit3 C2_0x2e__bit4 -C2_0x2e__bit5 -C2_0x2e__bit6 -C2_0x2e__bit7 -C2_0x2e__bit8 -C2_0x2e__bit9 -C2_0x2e__bit10 -C2_0x2e__bit11 -C2_0x2e__bit12 -C2_0x2e__bit13 -C2_0x2e__bit14 -C2_0x2e__bit15 -C2_0x2e__bit16 -C2_0x2e__bit17 -C2_0x2e__bit18 -C2_0x2e__bit19 -C3_0x2e__bit_10 -C3_0x2e__bit_9 -C3_0x2e__bit_8 -C3_0x2e__bit_7 -C3_0x2e__bit_6 -C3_0x2e__bit_5 -C3_0x2e__bit_4 -C3_0x2e__bit_3 -C3_0x2e__bit_2 -C3_0x2e__bit_1 C3_0x2e__bit0 C3_0x2e__bit1 C3_0x2e__bit2 C3_0x2e__bit3 -C3_0x2e__bit4 -C3_0x2e__bit5 -C3_0x2e__bit6 -C3_0x2e__bit7 -C3_0x2e__bit8 -C3_0x2e__bit9 -C3_0x2e__bit10 -C3_0x2e__bit11 -C3_0x2e__bit12 -C3_0x2e__bit13 -C3_0x2e__bit14 -C3_0x2e__bit15 -C3_0x2e__bit16 -C3_0x2e__bit17 -C3_0x2e__bit18 -C3_0x2e__bit19 -C4_0x2e__bit_10 -C4_0x2e__bit_9 -C4_0x2e__bit_8 -C4_0x2e__bit_7 -C4_0x2e__bit_6 -C4_0x2e__bit_5 -C4_0x2e__bit_4 -C4_0x2e__bit_3 -C4_0x2e__bit_2 -C4_0x2e__bit_1 -C4_0x2e__bit0 -C4_0x2e__bit1 -C4_0x2e__bit2 -C4_0x2e__bit3 -C4_0x2e__bit4 -C4_0x2e__bit5 -C4_0x2e__bit6 -C4_0x2e__bit7 -C4_0x2e__bit8 -C4_0x2e__bit9 -C4_0x2e__bit10 -C4_0x2e__bit11 -C4_0x2e__bit12 -C4_0x2e__bit13 -C4_0x2e__bit14 -C4_0x2e__bit15 -C4_0x2e__bit16 -C4_0x2e__bit17 -C4_0x2e__bit18 -C4_0x2e__bit19 -C5_0x2e__bit_10 -C5_0x2e__bit_9 -C5_0x2e__bit_8 -C5_0x2e__bit_7 -C5_0x2e__bit_6 -C5_0x2e__bit_5 -C5_0x2e__bit_4 -C5_0x2e__bit_3 -C5_0x2e__bit_2 -C5_0x2e__bit_1 -C5_0x2e__bit0 -C5_0x2e__bit1 -C5_0x2e__bit2 -C5_0x2e__bit3 -C5_0x2e__bit4 -C5_0x2e__bit5 -C5_0x2e__bit6 -C5_0x2e__bit7 -C5_0x2e__bit8 -C5_0x2e__bit9 -C5_0x2e__bit10 -C5_0x2e__bit11 -C5_0x2e__bit12 -C5_0x2e__bit13 -C5_0x2e__bit14 -C5_0x2e__bit15 -C5_0x2e__bit16 -C5_0x2e__bit17 -C5_0x2e__bit18 -C5_0x2e__bit19 -C6_0x2e__bit_10 -C6_0x2e__bit_9 -C6_0x2e__bit_8 -C6_0x2e__bit_7 -C6_0x2e__bit_6 -C6_0x2e__bit_5 -C6_0x2e__bit_4 -C6_0x2e__bit_3 -C6_0x2e__bit_2 -C6_0x2e__bit_1 -C6_0x2e__bit0 -C6_0x2e__bit1 -C6_0x2e__bit2 -C6_0x2e__bit3 -C6_0x2e__bit4 -C6_0x2e__bit5 -C6_0x2e__bit6 -C6_0x2e__bit7 -C6_0x2e__bit8 -C6_0x2e__bit9 -C6_0x2e__bit10 -C6_0x2e__bit11 -C6_0x2e__bit12 -C6_0x2e__bit13 -C6_0x2e__bit14 -C6_0x2e__bit15 -C6_0x2e__bit16 -C6_0x2e__bit17 -C6_0x2e__bit18 -C6_0x2e__bit19 -C7_0x2e__bit_10 -C7_0x2e__bit_9 -C7_0x2e__bit_8 -C7_0x2e__bit_7 -C7_0x2e__bit_6 -C7_0x2e__bit_5 -C7_0x2e__bit_4 -C7_0x2e__bit_3 -C7_0x2e__bit_2 -C7_0x2e__bit_1 -C7_0x2e__bit0 -C7_0x2e__bit1 -C7_0x2e__bit2 -C7_0x2e__bit3 -C7_0x2e__bit4 -C7_0x2e__bit5 -C7_0x2e__bit6 -C7_0x2e__bit7 -C7_0x2e__bit8 -C7_0x2e__bit9 -C7_0x2e__bit10 -C7_0x2e__bit11 -C7_0x2e__bit12 -C7_0x2e__bit13 -C7_0x2e__bit14 -C7_0x2e__bit15 -C7_0x2e__bit16 -C7_0x2e__bit17 -C7_0x2e__bit18 -C7_0x2e__bit19 -C8_0x2e__bit_10 -C8_0x2e__bit_9 -C8_0x2e__bit_8 -C8_0x2e__bit_7 -C8_0x2e__bit_6 -C8_0x2e__bit_5 -C8_0x2e__bit_4 -C8_0x2e__bit_3 -C8_0x2e__bit_2 -C8_0x2e__bit_1 -C8_0x2e__bit0 -C8_0x2e__bit1 -C8_0x2e__bit2 -C8_0x2e__bit3 -C8_0x2e__bit4 -C8_0x2e__bit5 -C8_0x2e__bit6 -C8_0x2e__bit7 -C8_0x2e__bit8 -C8_0x2e__bit9 -C8_0x2e__bit10 -C8_0x2e__bit11 -C8_0x2e__bit12 -C8_0x2e__bit13 -C8_0x2e__bit14 -C8_0x2e__bit15 -C8_0x2e__bit16 -C8_0x2e__bit17 -C8_0x2e__bit18 -C8_0x2e__bit19 -C9_0x2e__bit_10 -C9_0x2e__bit_9 -C9_0x2e__bit_8 -C9_0x2e__bit_7 -C9_0x2e__bit_6 -C9_0x2e__bit_5 -C9_0x2e__bit_4 -C9_0x2e__bit_3 -C9_0x2e__bit_2 -C9_0x2e__bit_1 C9_0x2e__bit0 -C9_0x2e__bit1 -C9_0x2e__bit2 -C9_0x2e__bit3 -C9_0x2e__bit4 C9_0x2e__bit5 -C9_0x2e__bit6 -C9_0x2e__bit7 -C9_0x2e__bit8 -C9_0x2e__bit9 -C9_0x2e__bit10 -C9_0x2e__bit11 -C9_0x2e__bit12 -C9_0x2e__bit13 -C9_0x2e__bit14 -C9_0x2e__bit15 -C9_0x2e__bit16 -C9_0x2e__bit17 -C9_0x2e__bit18 -C9_0x2e__bit19 -C10_0x2e__bit_10 -C10_0x2e__bit_9 -C10_0x2e__bit_8 -C10_0x2e__bit_7 -C10_0x2e__bit_6 -C10_0x2e__bit_5 -C10_0x2e__bit_4 -C10_0x2e__bit_3 -C10_0x2e__bit_2 -C10_0x2e__bit_1 -C10_0x2e__bit0 -C10_0x2e__bit1 -C10_0x2e__bit2 -C10_0x2e__bit3 -C10_0x2e__bit4 -C10_0x2e__bit5 -C10_0x2e__bit6 -C10_0x2e__bit7 -C10_0x2e__bit8 -C10_0x2e__bit9 -C10_0x2e__bit10 -C10_0x2e__bit11 -C10_0x2e__bit12 -C10_0x2e__bit13 -C10_0x2e__bit14 -C10_0x2e__bit15 -C10_0x2e__bit16 -C10_0x2e__bit17 -C10_0x2e__bit18 -C10_0x2e__bit19 -C11_0x2e__bit_10 -C11_0x2e__bit_9 -C11_0x2e__bit_8 -C11_0x2e__bit_7 -C11_0x2e__bit_6 -C11_0x2e__bit_5 -C11_0x2e__bit_4 -C11_0x2e__bit_3 -C11_0x2e__bit_2 -C11_0x2e__bit_1 -C11_0x2e__bit0 C11_0x2e__bit1 -C11_0x2e__bit2 -C11_0x2e__bit3 -C11_0x2e__bit4 -C11_0x2e__bit5 -C11_0x2e__bit6 -C11_0x2e__bit7 -C11_0x2e__bit8 -C11_0x2e__bit9 -C11_0x2e__bit10 -C11_0x2e__bit11 -C11_0x2e__bit12 -C11_0x2e__bit13 -C11_0x2e__bit14 -C11_0x2e__bit15 -C11_0x2e__bit16 -C11_0x2e__bit17 -C11_0x2e__bit18 -C11_0x2e__bit19 -C12_0x2e__bit_10 -C12_0x2e__bit_9 -C12_0x2e__bit_8 -C12_0x2e__bit_7 -C12_0x2e__bit_6 -C12_0x2e__bit_5 -C12_0x2e__bit_4 -C12_0x2e__bit_3 -C12_0x2e__bit_2 -C12_0x2e__bit_1 -C12_0x2e__bit0 -C12_0x2e__bit1 -C12_0x2e__bit2 -C12_0x2e__bit3 -C12_0x2e__bit4 -C12_0x2e__bit5 -C12_0x2e__bit6 -C12_0x2e__bit7 -C12_0x2e__bit8 -C12_0x2e__bit9 -C12_0x2e__bit10 -C12_0x2e__bit11 -C12_0x2e__bit12 -C12_0x2e__bit13 -C12_0x2e__bit14 -C12_0x2e__bit15 -C12_0x2e__bit16 -C12_0x2e__bit17 -C12_0x2e__bit18 -C12_0x2e__bit19 -C13_0x2e__bit_10 -C13_0x2e__bit_9 -C13_0x2e__bit_8 -C13_0x2e__bit_7 -C13_0x2e__bit_6 -C13_0x2e__bit_5 -C13_0x2e__bit_4 -C13_0x2e__bit_3 -C13_0x2e__bit_2 -C13_0x2e__bit_1 -C13_0x2e__bit0 -C13_0x2e__bit1 -C13_0x2e__bit2 -C13_0x2e__bit3 -C13_0x2e__bit4 -C13_0x2e__bit5 -C13_0x2e__bit6 -C13_0x2e__bit7 -C13_0x2e__bit8 -C13_0x2e__bit9 -C13_0x2e__bit10 -C13_0x2e__bit11 -C13_0x2e__bit12 -C13_0x2e__bit13 -C13_0x2e__bit14 -C13_0x2e__bit15 -C13_0x2e__bit16 -C13_0x2e__bit17 -C13_0x2e__bit18 -C13_0x2e__bit19 C14_0x2e__bit_10 C14_0x2e__bit_9 -C14_0x2e__bit_8 -C14_0x2e__bit_7 -C14_0x2e__bit_6 -C14_0x2e__bit_5 -C14_0x2e__bit_4 -C14_0x2e__bit_3 -C14_0x2e__bit_2 -C14_0x2e__bit_1 -C14_0x2e__bit0 C14_0x2e__bit1 -C14_0x2e__bit2 -C14_0x2e__bit3 -C14_0x2e__bit4 -C14_0x2e__bit5 -C14_0x2e__bit6 -C14_0x2e__bit7 -C14_0x2e__bit8 -C14_0x2e__bit9 -C14_0x2e__bit10 -C14_0x2e__bit11 -C14_0x2e__bit12 -C14_0x2e__bit13 -C14_0x2e__bit14 -C14_0x2e__bit15 -C14_0x2e__bit16 -C14_0x2e__bit17 -C14_0x2e__bit18 -C14_0x2e__bit19 C15_0x2e__bit_10 -C15_0x2e__bit_9 C15_0x2e__bit_8 C15_0x2e__bit_7 C15_0x2e__bit_6 C15_0x2e__bit_5 C15_0x2e__bit_4 C15_0x2e__bit_3 C15_0x2e__bit_2 C15_0x2e__bit_1 -C15_0x2e__bit0 C15_0x2e__bit1 -C15_0x2e__bit2 -C15_0x2e__bit3 -C15_0x2e__bit4 -C15_0x2e__bit5 -C15_0x2e__bit6 -C15_0x2e__bit7 -C15_0x2e__bit8 -C15_0x2e__bit9 -C15_0x2e__bit10 -C15_0x2e__bit11 -C15_0x2e__bit12 -C15_0x2e__bit13 -C15_0x2e__bit14 -C15_0x2e__bit15 -C15_0x2e__bit16 -C15_0x2e__bit17 -C15_0x2e__bit18 -C15_0x2e__bit19 -C16_0x2e__bit_10 -C16_0x2e__bit_9 -C16_0x2e__bit_8 -C16_0x2e__bit_7 -C16_0x2e__bit_6 -C16_0x2e__bit_5 -C16_0x2e__bit_4 -C16_0x2e__bit_3 -C16_0x2e__bit_2 -C16_0x2e__bit_1 -C16_0x2e__bit0 -C16_0x2e__bit1 -C16_0x2e__bit2 -C16_0x2e__bit3 -C16_0x2e__bit4 -C16_0x2e__bit5 -C16_0x2e__bit6 -C16_0x2e__bit7 -C16_0x2e__bit8 -C16_0x2e__bit9 -C16_0x2e__bit10 -C16_0x2e__bit11 -C16_0x2e__bit12 -C16_0x2e__bit13 -C16_0x2e__bit14 -C16_0x2e__bit15 -C16_0x2e__bit16 -C16_0x2e__bit17 -C16_0x2e__bit18 -C16_0x2e__bit19 -C17_0x2e__bit_10 -C17_0x2e__bit_9 -C17_0x2e__bit_8 -C17_0x2e__bit_7 -C17_0x2e__bit_6 -C17_0x2e__bit_5 -C17_0x2e__bit_4 -C17_0x2e__bit_3 -C17_0x2e__bit_2 -C17_0x2e__bit_1 -C17_0x2e__bit0 -C17_0x2e__bit1 -C17_0x2e__bit2 -C17_0x2e__bit3 -C17_0x2e__bit4 -C17_0x2e__bit5 -C17_0x2e__bit6 -C17_0x2e__bit7 -C17_0x2e__bit8 -C17_0x2e__bit9 -C17_0x2e__bit10 -C17_0x2e__bit11 -C17_0x2e__bit12 -C17_0x2e__bit13 -C17_0x2e__bit14 -C17_0x2e__bit15 -C17_0x2e__bit16 -C17_0x2e__bit17 -C17_0x2e__bit18 -C17_0x2e__bit19 -C18_0x2e__bit_10 -C18_0x2e__bit_9 -C18_0x2e__bit_8 -C18_0x2e__bit_7 -C18_0x2e__bit_6 -C18_0x2e__bit_5 -C18_0x2e__bit_4 -C18_0x2e__bit_3 -C18_0x2e__bit_2 -C18_0x2e__bit_1 -C18_0x2e__bit0 -C18_0x2e__bit1 -C18_0x2e__bit2 -C18_0x2e__bit3 -C18_0x2e__bit4 -C18_0x2e__bit5 -C18_0x2e__bit6 -C18_0x2e__bit7 -C18_0x2e__bit8 -C18_0x2e__bit9 -C18_0x2e__bit10 -C18_0x2e__bit11 -C18_0x2e__bit12 -C18_0x2e__bit13 -C18_0x2e__bit14 -C18_0x2e__bit15 -C18_0x2e__bit16 -C18_0x2e__bit17 -C18_0x2e__bit18 -C18_0x2e__bit19 -C19_0x2e__bit_10 -C19_0x2e__bit_9 -C19_0x2e__bit_8 -C19_0x2e__bit_7 -C19_0x2e__bit_6 -C19_0x2e__bit_5 -C19_0x2e__bit_4 -C19_0x2e__bit_3 -C19_0x2e__bit_2 -C19_0x2e__bit_1 -C19_0x2e__bit0 -C19_0x2e__bit1 -C19_0x2e__bit2 -C19_0x2e__bit3 -C19_0x2e__bit4 -C19_0x2e__bit5 -C19_0x2e__bit6 -C19_0x2e__bit7 -C19_0x2e__bit8 -C19_0x2e__bit9 -C19_0x2e__bit10 -C19_0x2e__bit11 -C19_0x2e__bit12 -C19_0x2e__bit13 -C19_0x2e__bit14 -C19_0x2e__bit15 -C19_0x2e__bit16 -C19_0x2e__bit17 -C19_0x2e__bit18 -C19_0x2e__bit19 C20_0x2e__bit_10 C20_0x2e__bit_9 C20_0x2e__bit_8 C20_0x2e__bit_7 C20_0x2e__bit_6 C20_0x2e__bit_5 C20_0x2e__bit_4 C20_0x2e__bit_3 C20_0x2e__bit_2 C20_0x2e__bit_1 C20_0x2e__bit0 C20_0x2e__bit1 C20_0x2e__bit2 -C20_0x2e__bit3 -C20_0x2e__bit4 -C20_0x2e__bit5 -C20_0x2e__bit6 -C20_0x2e__bit7 -C20_0x2e__bit8 -C20_0x2e__bit9 -C20_0x2e__bit10 -C20_0x2e__bit11 -C20_0x2e__bit12 -C20_0x2e__bit13 -C20_0x2e__bit14 -C20_0x2e__bit15 -C20_0x2e__bit16 -C20_0x2e__bit17 -C20_0x2e__bit18 -C20_0x2e__bit19 C21_0x2e__bit_10 C21_0x2e__bit_9 C21_0x2e__bit_8 C21_0x2e__bit_7 C21_0x2e__bit_6 C21_0x2e__bit_5 C21_0x2e__bit_4 C21_0x2e__bit_3 C21_0x2e__bit_2 C21_0x2e__bit_1 C21_0x2e__bit0 -C21_0x2e__bit1 C21_0x2e__bit2 -C21_0x2e__bit3 -C21_0x2e__bit4 -C21_0x2e__bit5 -C21_0x2e__bit6 -C21_0x2e__bit7 -C21_0x2e__bit8 -C21_0x2e__bit9 -C21_0x2e__bit10 -C21_0x2e__bit11 -C21_0x2e__bit12 -C21_0x2e__bit13 -C21_0x2e__bit14 -C21_0x2e__bit15 -C21_0x2e__bit16 -C21_0x2e__bit17 -C21_0x2e__bit18 -C21_0x2e__bit19 C22_0x2e__bit_10 C22_0x2e__bit_9 C22_0x2e__bit_8 C22_0x2e__bit_7 C22_0x2e__bit_6 C22_0x2e__bit_5 C22_0x2e__bit_4 C22_0x2e__bit_3 C22_0x2e__bit_2 C22_0x2e__bit_1 C22_0x2e__bit0 C22_0x2e__bit1 -C22_0x2e__bit2 -C22_0x2e__bit3 -C22_0x2e__bit4 -C22_0x2e__bit5 -C22_0x2e__bit6 -C22_0x2e__bit7 -C22_0x2e__bit8 -C22_0x2e__bit9 -C22_0x2e__bit10 -C22_0x2e__bit11 -C22_0x2e__bit12 -C22_0x2e__bit13 -C22_0x2e__bit14 -C22_0x2e__bit15 -C22_0x2e__bit16 -C22_0x2e__bit17 -C22_0x2e__bit18 -C22_0x2e__bit19 C23_0x2e__bit_10 C23_0x2e__bit_9 -C23_0x2e__bit_8 -C23_0x2e__bit_7 -C23_0x2e__bit_6 -C23_0x2e__bit_5 -C23_0x2e__bit_4 -C23_0x2e__bit_3 -C23_0x2e__bit_2 -C23_0x2e__bit_1 C23_0x2e__bit0 C23_0x2e__bit1 C23_0x2e__bit2 -C23_0x2e__bit3 -C23_0x2e__bit4 -C23_0x2e__bit5 -C23_0x2e__bit6 -C23_0x2e__bit7 -C23_0x2e__bit8 -C23_0x2e__bit9 -C23_0x2e__bit10 -C23_0x2e__bit11 -C23_0x2e__bit12 -C23_0x2e__bit13 -C23_0x2e__bit14 -C23_0x2e__bit15 -C23_0x2e__bit16 -C23_0x2e__bit17 -C23_0x2e__bit18 -C23_0x2e__bit19 -C24_0x2e__bit_10 -C24_0x2e__bit_9 -C24_0x2e__bit_8 -C24_0x2e__bit_7 -C24_0x2e__bit_6 -C24_0x2e__bit_5 -C24_0x2e__bit_4 -C24_0x2e__bit_3 -C24_0x2e__bit_2 -C24_0x2e__bit_1 C24_0x2e__bit0 -C24_0x2e__bit1 C24_0x2e__bit2 -C24_0x2e__bit3 -C24_0x2e__bit4 -C24_0x2e__bit5 -C24_0x2e__bit6 -C24_0x2e__bit7 -C24_0x2e__bit8 -C24_0x2e__bit9 -C24_0x2e__bit10 -C24_0x2e__bit11 -C24_0x2e__bit12 -C24_0x2e__bit13 -C24_0x2e__bit14 -C24_0x2e__bit15 -C24_0x2e__bit16 -C24_0x2e__bit17 -C24_0x2e__bit18 -C24_0x2e__bit19 -C25_0x2e__bit_10 -C25_0x2e__bit_9 -C25_0x2e__bit_8 -C25_0x2e__bit_7 -C25_0x2e__bit_6 -C25_0x2e__bit_5 -C25_0x2e__bit_4 -C25_0x2e__bit_3 -C25_0x2e__bit_2 -C25_0x2e__bit_1 -C25_0x2e__bit0 -C25_0x2e__bit1 -C25_0x2e__bit2 -C25_0x2e__bit3 -C25_0x2e__bit4 -C25_0x2e__bit5 -C25_0x2e__bit6 -C25_0x2e__bit7 -C25_0x2e__bit8 -C25_0x2e__bit9 -C25_0x2e__bit10 -C25_0x2e__bit11 -C25_0x2e__bit12 -C25_0x2e__bit13 -C25_0x2e__bit14 -C25_0x2e__bit15 -C25_0x2e__bit16 -C25_0x2e__bit17 -C25_0x2e__bit18 -C25_0x2e__bit19 -C26_0x2e__bit_10 -C26_0x2e__bit_9 -C26_0x2e__bit_8 -C26_0x2e__bit_7 -C26_0x2e__bit_6 -C26_0x2e__bit_5 -C26_0x2e__bit_4 -C26_0x2e__bit_3 -C26_0x2e__bit_2 -C26_0x2e__bit_1 -C26_0x2e__bit0 -C26_0x2e__bit1 -C26_0x2e__bit2 -C26_0x2e__bit3 -C26_0x2e__bit4 -C26_0x2e__bit5 -C26_0x2e__bit6 -C26_0x2e__bit7 -C26_0x2e__bit8 -C26_0x2e__bit9 -C26_0x2e__bit10 -C26_0x2e__bit11 -C26_0x2e__bit12 -C26_0x2e__bit13 -C26_0x2e__bit14 -C26_0x2e__bit15 -C26_0x2e__bit16 -C26_0x2e__bit17 -C26_0x2e__bit18 -C26_0x2e__bit19 -C27_0x2e__bit_10 -C27_0x2e__bit_9 -C27_0x2e__bit_8 -C27_0x2e__bit_7 -C27_0x2e__bit_6 -C27_0x2e__bit_5 -C27_0x2e__bit_4 -C27_0x2e__bit_3 -C27_0x2e__bit_2 -C27_0x2e__bit_1 -C27_0x2e__bit0 -C27_0x2e__bit1 -C27_0x2e__bit2 -C27_0x2e__bit3 -C27_0x2e__bit4 -C27_0x2e__bit5 -C27_0x2e__bit6 -C27_0x2e__bit7 -C27_0x2e__bit8 -C27_0x2e__bit9 -C27_0x2e__bit10 -C27_0x2e__bit11 -C27_0x2e__bit12 -C27_0x2e__bit13 -C27_0x2e__bit14 -C27_0x2e__bit15 -C27_0x2e__bit16 -C27_0x2e__bit17 -C27_0x2e__bit18 -C27_0x2e__bit19 -C28_0x2e__bit_10 -C28_0x2e__bit_9 -C28_0x2e__bit_8 -C28_0x2e__bit_7 -C28_0x2e__bit_6 -C28_0x2e__bit_5 -C28_0x2e__bit_4 C28_0x2e__bit_3 C28_0x2e__bit_2 C28_0x2e__bit_1 -C28_0x2e__bit0 -C28_0x2e__bit1 -C28_0x2e__bit2 C28_0x2e__bit3 -C28_0x2e__bit4 -C28_0x2e__bit5 -C28_0x2e__bit6 -C28_0x2e__bit7 -C28_0x2e__bit8 -C28_0x2e__bit9 -C28_0x2e__bit10 -C28_0x2e__bit11 -C28_0x2e__bit12 -C28_0x2e__bit13 -C28_0x2e__bit14 -C28_0x2e__bit15 -C28_0x2e__bit16 -C28_0x2e__bit17 -C28_0x2e__bit18 -C28_0x2e__bit19 C29_0x2e__bit_10 -C29_0x2e__bit_9 -C29_0x2e__bit_8 -C29_0x2e__bit_7 -C29_0x2e__bit_6 -C29_0x2e__bit_5 -C29_0x2e__bit_4 -C29_0x2e__bit_3 -C29_0x2e__bit_2 -C29_0x2e__bit_1 C29_0x2e__bit0 -C29_0x2e__bit1 -C29_0x2e__bit2 C29_0x2e__bit3 -C29_0x2e__bit4 -C29_0x2e__bit5 -C29_0x2e__bit6 -C29_0x2e__bit7 -C29_0x2e__bit8 -C29_0x2e__bit9 -C29_0x2e__bit10 -C29_0x2e__bit11 -C29_0x2e__bit12 -C29_0x2e__bit13 -C29_0x2e__bit14 -C29_0x2e__bit15 -C29_0x2e__bit16 -C29_0x2e__bit17 -C29_0x2e__bit18 -C29_0x2e__bit19 C30_0x2e__bit_10 C30_0x2e__bit_9 C30_0x2e__bit_8 C30_0x2e__bit_7 C30_0x2e__bit_6 C30_0x2e__bit_5 C30_0x2e__bit_4 -C30_0x2e__bit_3 -C30_0x2e__bit_2 -C30_0x2e__bit_1 -C30_0x2e__bit0 C30_0x2e__bit1 -C30_0x2e__bit2 -C30_0x2e__bit3 -C30_0x2e__bit4 -C30_0x2e__bit5 -C30_0x2e__bit6 -C30_0x2e__bit7 -C30_0x2e__bit8 -C30_0x2e__bit9 -C30_0x2e__bit10 -C30_0x2e__bit11 -C30_0x2e__bit12 -C30_0x2e__bit13 -C30_0x2e__bit14 -C30_0x2e__bit15 -C30_0x2e__bit16 -C30_0x2e__bit17 -C30_0x2e__bit18 -C30_0x2e__bit19 -C31_0x2e__bit_10 -C31_0x2e__bit_9 -C31_0x2e__bit_8 -C31_0x2e__bit_7 -C31_0x2e__bit_6 -C31_0x2e__bit_5 -C31_0x2e__bit_4 -C31_0x2e__bit_3 -C31_0x2e__bit_2 -C31_0x2e__bit_1 -C31_0x2e__bit0 -C31_0x2e__bit1 -C31_0x2e__bit2 -C31_0x2e__bit3 -C31_0x2e__bit4 -C31_0x2e__bit5 -C31_0x2e__bit6 -C31_0x2e__bit7 -C31_0x2e__bit8 -C31_0x2e__bit9 -C31_0x2e__bit10 -C31_0x2e__bit11 -C31_0x2e__bit12 -C31_0x2e__bit13 -C31_0x2e__bit14 -C31_0x2e__bit15 -C31_0x2e__bit16 -C31_0x2e__bit17 -C31_0x2e__bit18 -C31_0x2e__bit19 -C32_0x2e__bit_10 -C32_0x2e__bit_9 -C32_0x2e__bit_8 -C32_0x2e__bit_7 -C32_0x2e__bit_6 -C32_0x2e__bit_5 -C32_0x2e__bit_4 -C32_0x2e__bit_3 -C32_0x2e__bit_2 -C32_0x2e__bit_1 -C32_0x2e__bit0 -C32_0x2e__bit1 -C32_0x2e__bit2 -C32_0x2e__bit3 -C32_0x2e__bit4 -C32_0x2e__bit5 -C32_0x2e__bit6 -C32_0x2e__bit7 -C32_0x2e__bit8 -C32_0x2e__bit9 -C32_0x2e__bit10 -C32_0x2e__bit11 -C32_0x2e__bit12 -C32_0x2e__bit13 -C32_0x2e__bit14 -C32_0x2e__bit15 -C32_0x2e__bit16 -C32_0x2e__bit17 -C32_0x2e__bit18 -C32_0x2e__bit19 -C33_0x2e__bit_10 -C33_0x2e__bit_9 -C33_0x2e__bit_8 -C33_0x2e__bit_7 -C33_0x2e__bit_6 -C33_0x2e__bit_5 -C33_0x2e__bit_4 -C33_0x2e__bit_3 -C33_0x2e__bit_2 -C33_0x2e__bit_1 -C33_0x2e__bit0 C33_0x2e__bit1 -C33_0x2e__bit2 -C33_0x2e__bit3 -C33_0x2e__bit4 -C33_0x2e__bit5 -C33_0x2e__bit6 -C33_0x2e__bit7 -C33_0x2e__bit8 -C33_0x2e__bit9 -C33_0x2e__bit10 -C33_0x2e__bit11 -C33_0x2e__bit12 -C33_0x2e__bit13 -C33_0x2e__bit14 -C33_0x2e__bit15 -C33_0x2e__bit16 -C33_0x2e__bit17 -C33_0x2e__bit18 -C33_0x2e__bit19 -C34_0x2e__bit_10 -C34_0x2e__bit_9 -C34_0x2e__bit_8 -C34_0x2e__bit_7 -C34_0x2e__bit_6 -C34_0x2e__bit_5 -C34_0x2e__bit_4 -C34_0x2e__bit_3 -C34_0x2e__bit_2 -C34_0x2e__bit_1 -C34_0x2e__bit0 -C34_0x2e__bit1 -C34_0x2e__bit2 -C34_0x2e__bit3 -C34_0x2e__bit4 -C34_0x2e__bit5 -C34_0x2e__bit6 -C34_0x2e__bit7 -C34_0x2e__bit8 -C34_0x2e__bit9 -C34_0x2e__bit10 -C34_0x2e__bit11 -C34_0x2e__bit12 -C34_0x2e__bit13 -C34_0x2e__bit14 -C34_0x2e__bit15 -C34_0x2e__bit16 -C34_0x2e__bit17 -C34_0x2e__bit18 -C34_0x2e__bit19 -C35_0x2e__bit_10 -C35_0x2e__bit_9 -C35_0x2e__bit_8 -C35_0x2e__bit_7 -C35_0x2e__bit_6 -C35_0x2e__bit_5 -C35_0x2e__bit_4 -C35_0x2e__bit_3 -C35_0x2e__bit_2 -C35_0x2e__bit_1 -C35_0x2e__bit0 -C35_0x2e__bit1 -C35_0x2e__bit2 C35_0x2e__bit3 -C35_0x2e__bit4 -C35_0x2e__bit5 -C35_0x2e__bit6 -C35_0x2e__bit7 -C35_0x2e__bit8 -C35_0x2e__bit9 -C35_0x2e__bit10 -C35_0x2e__bit11 -C35_0x2e__bit12 -C35_0x2e__bit13 -C35_0x2e__bit14 -C35_0x2e__bit15 -C35_0x2e__bit16 -C35_0x2e__bit17 -C35_0x2e__bit18 -C35_0x2e__bit19 -C36_0x2e__bit_10 -C36_0x2e__bit_9 -C36_0x2e__bit_8 -C36_0x2e__bit_7 -C36_0x2e__bit_6 -C36_0x2e__bit_5 -C36_0x2e__bit_4 -C36_0x2e__bit_3 -C36_0x2e__bit_2 -C36_0x2e__bit_1 -C36_0x2e__bit0 -C36_0x2e__bit1 -C36_0x2e__bit2 -C36_0x2e__bit3 -C36_0x2e__bit4 -C36_0x2e__bit5 -C36_0x2e__bit6 -C36_0x2e__bit7 -C36_0x2e__bit8 -C36_0x2e__bit9 -C36_0x2e__bit10 -C36_0x2e__bit11 -C36_0x2e__bit12 -C36_0x2e__bit13 -C36_0x2e__bit14 -C36_0x2e__bit15 -C36_0x2e__bit16 -C36_0x2e__bit17 -C36_0x2e__bit18 -C36_0x2e__bit19 -C37_0x2e__bit_10 -C37_0x2e__bit_9 -C37_0x2e__bit_8 -C37_0x2e__bit_7 -C37_0x2e__bit_6 -C37_0x2e__bit_5 -C37_0x2e__bit_4 -C37_0x2e__bit_3 -C37_0x2e__bit_2 -C37_0x2e__bit_1 -C37_0x2e__bit0 -C37_0x2e__bit1 -C37_0x2e__bit2 -C37_0x2e__bit3 -C37_0x2e__bit4 -C37_0x2e__bit5 -C37_0x2e__bit6 -C37_0x2e__bit7 -C37_0x2e__bit8 -C37_0x2e__bit9 -C37_0x2e__bit10 -C37_0x2e__bit11 -C37_0x2e__bit12 -C37_0x2e__bit13 -C37_0x2e__bit14 -C37_0x2e__bit15 -C37_0x2e__bit16 -C37_0x2e__bit17 -C37_0x2e__bit18 -C37_0x2e__bit19 -C38_0x2e__bit_10 -C38_0x2e__bit_9 -C38_0x2e__bit_8 -C38_0x2e__bit_7 -C38_0x2e__bit_6 -C38_0x2e__bit_5 -C38_0x2e__bit_4 -C38_0x2e__bit_3 -C38_0x2e__bit_2 -C38_0x2e__bit_1 -C38_0x2e__bit0 -C38_0x2e__bit1 -C38_0x2e__bit2 -C38_0x2e__bit3 -C38_0x2e__bit4 -C38_0x2e__bit5 -C38_0x2e__bit6 -C38_0x2e__bit7 -C38_0x2e__bit8 -C38_0x2e__bit9 -C38_0x2e__bit10 -C38_0x2e__bit11 -C38_0x2e__bit12 -C38_0x2e__bit13 -C38_0x2e__bit14 -C38_0x2e__bit15 -C38_0x2e__bit16 -C38_0x2e__bit17 -C38_0x2e__bit18 -C38_0x2e__bit19 -C39_0x2e__bit_10 -C39_0x2e__bit_9 -C39_0x2e__bit_8 -C39_0x2e__bit_7 -C39_0x2e__bit_6 -C39_0x2e__bit_5 -C39_0x2e__bit_4 -C39_0x2e__bit_3 -C39_0x2e__bit_2 -C39_0x2e__bit_1 -C39_0x2e__bit0 -C39_0x2e__bit1 -C39_0x2e__bit2 -C39_0x2e__bit3 -C39_0x2e__bit4 -C39_0x2e__bit5 -C39_0x2e__bit6 -C39_0x2e__bit7 -C39_0x2e__bit8 -C39_0x2e__bit9 -C39_0x2e__bit10 -C39_0x2e__bit11 -C39_0x2e__bit12 -C39_0x2e__bit13 -C39_0x2e__bit14 -C39_0x2e__bit15 -C39_0x2e__bit16 -C39_0x2e__bit17 -C39_0x2e__bit18 -C39_0x2e__bit19 -C40_0x2e__bit_10 -C40_0x2e__bit_9 -C40_0x2e__bit_8 -C40_0x2e__bit_7 -C40_0x2e__bit_6 -C40_0x2e__bit_5 -C40_0x2e__bit_4 -C40_0x2e__bit_3 -C40_0x2e__bit_2 -C40_0x2e__bit_1 -C40_0x2e__bit0 -C40_0x2e__bit1 -C40_0x2e__bit2 -C40_0x2e__bit3 -C40_0x2e__bit4 -C40_0x2e__bit5 -C40_0x2e__bit6 -C40_0x2e__bit7 -C40_0x2e__bit8 -C40_0x2e__bit9 -C40_0x2e__bit10 -C40_0x2e__bit11 -C40_0x2e__bit12 -C40_0x2e__bit13 -C40_0x2e__bit14 -C40_0x2e__bit15 -C40_0x2e__bit16 -C40_0x2e__bit17 -C40_0x2e__bit18 -C40_0x2e__bit19 -C41_0x2e__bit_10 -C41_0x2e__bit_9 -C41_0x2e__bit_8 -C41_0x2e__bit_7 -C41_0x2e__bit_6 -C41_0x2e__bit_5 -C41_0x2e__bit_4 -C41_0x2e__bit_3 -C41_0x2e__bit_2 -C41_0x2e__bit_1 -C41_0x2e__bit0 -C41_0x2e__bit1 -C41_0x2e__bit2 -C41_0x2e__bit3 -C41_0x2e__bit4 -C41_0x2e__bit5 -C41_0x2e__bit6 -C41_0x2e__bit7 -C41_0x2e__bit8 -C41_0x2e__bit9 -C41_0x2e__bit10 -C41_0x2e__bit11 -C41_0x2e__bit12 -C41_0x2e__bit13 -C41_0x2e__bit14 -C41_0x2e__bit15 -C41_0x2e__bit16 -C41_0x2e__bit17 -C41_0x2e__bit18 -C41_0x2e__bit19 -C42_0x2e__bit_10 -C42_0x2e__bit_9 -C42_0x2e__bit_8 -C42_0x2e__bit_7 -C42_0x2e__bit_6 -C42_0x2e__bit_5 -C42_0x2e__bit_4 -C42_0x2e__bit_3 -C42_0x2e__bit_2 -C42_0x2e__bit_1 -C42_0x2e__bit0 -C42_0x2e__bit1 -C42_0x2e__bit2 -C42_0x2e__bit3 -C42_0x2e__bit4 -C42_0x2e__bit5 -C42_0x2e__bit6 -C42_0x2e__bit7 -C42_0x2e__bit8 -C42_0x2e__bit9 -C42_0x2e__bit10 -C42_0x2e__bit11 -C42_0x2e__bit12 -C42_0x2e__bit13 -C42_0x2e__bit14 -C42_0x2e__bit15 -C42_0x2e__bit16 -C42_0x2e__bit17 -C42_0x2e__bit18 -C42_0x2e__bit19 -C43_0x2e__bit_10 -C43_0x2e__bit_9 -C43_0x2e__bit_8 -C43_0x2e__bit_7 -C43_0x2e__bit_6 -C43_0x2e__bit_5 -C43_0x2e__bit_4 -C43_0x2e__bit_3 -C43_0x2e__bit_2 -C43_0x2e__bit_1 -C43_0x2e__bit0 -C43_0x2e__bit1 -C43_0x2e__bit2 -C43_0x2e__bit3 -C43_0x2e__bit4 -C43_0x2e__bit5 -C43_0x2e__bit6 -C43_0x2e__bit7 -C43_0x2e__bit8 -C43_0x2e__bit9 -C43_0x2e__bit10 -C43_0x2e__bit11 -C43_0x2e__bit12 -C43_0x2e__bit13 -C43_0x2e__bit14 -C43_0x2e__bit15 -C43_0x2e__bit16 -C43_0x2e__bit17 -C43_0x2e__bit18 -C43_0x2e__bit19 C44_0x2e__bit_10 -C44_0x2e__bit_9 -C44_0x2e__bit_8 -C44_0x2e__bit_7 -C44_0x2e__bit_6 -C44_0x2e__bit_5 -C44_0x2e__bit_4 C44_0x2e__bit_3 -C44_0x2e__bit_2 -C44_0x2e__bit_1 C44_0x2e__bit0 C44_0x2e__bit1 -C44_0x2e__bit2 -C44_0x2e__bit3 -C44_0x2e__bit4 -C44_0x2e__bit5 -C44_0x2e__bit6 -C44_0x2e__bit7 -C44_0x2e__bit8 -C44_0x2e__bit9 -C44_0x2e__bit10 -C44_0x2e__bit11 -C44_0x2e__bit12 -C44_0x2e__bit13 -C44_0x2e__bit14 -C44_0x2e__bit15 -C44_0x2e__bit16 -C44_0x2e__bit17 -C44_0x2e__bit18 -C44_0x2e__bit19 -C45_0x2e__bit_10 -C45_0x2e__bit_9 -C45_0x2e__bit_8 -C45_0x2e__bit_7 -C45_0x2e__bit_6 -C45_0x2e__bit_5 -C45_0x2e__bit_4 -C45_0x2e__bit_3 -C45_0x2e__bit_2 -C45_0x2e__bit_1 -C45_0x2e__bit0 -C45_0x2e__bit1 -C45_0x2e__bit2 -C45_0x2e__bit3 -C45_0x2e__bit4 -C45_0x2e__bit5 -C45_0x2e__bit6 -C45_0x2e__bit7 -C45_0x2e__bit8 -C45_0x2e__bit9 -C45_0x2e__bit10 -C45_0x2e__bit11 -C45_0x2e__bit12 -C45_0x2e__bit13 -C45_0x2e__bit14 -C45_0x2e__bit15 -C45_0x2e__bit16 -C45_0x2e__bit17 -C45_0x2e__bit18 -C45_0x2e__bit19 C46_0x2e__bit_10 C46_0x2e__bit_9 C46_0x2e__bit_8 C46_0x2e__bit_7 C46_0x2e__bit_6 C46_0x2e__bit_5 C46_0x2e__bit_4 -C46_0x2e__bit_3 C46_0x2e__bit_2 C46_0x2e__bit_1 C46_0x2e__bit0 -C46_0x2e__bit1 -C46_0x2e__bit2 -C46_0x2e__bit3 -C46_0x2e__bit4 -C46_0x2e__bit5 -C46_0x2e__bit6 -C46_0x2e__bit7 -C46_0x2e__bit8 -C46_0x2e__bit9 -C46_0x2e__bit10 -C46_0x2e__bit11 -C46_0x2e__bit12 -C46_0x2e__bit13 -C46_0x2e__bit14 -C46_0x2e__bit15 -C46_0x2e__bit16 -C46_0x2e__bit17 -C46_0x2e__bit18 -C46_0x2e__bit19 -C47_0x2e__bit_10 -C47_0x2e__bit_9 -C47_0x2e__bit_8 -C47_0x2e__bit_7 -C47_0x2e__bit_6 -C47_0x2e__bit_5 -C47_0x2e__bit_4 -C47_0x2e__bit_3 -C47_0x2e__bit_2 -C47_0x2e__bit_1 -C47_0x2e__bit0 -C47_0x2e__bit1 -C47_0x2e__bit2 -C47_0x2e__bit3 -C47_0x2e__bit4 -C47_0x2e__bit5 -C47_0x2e__bit6 -C47_0x2e__bit7 -C47_0x2e__bit8 -C47_0x2e__bit9 -C47_0x2e__bit10 -C47_0x2e__bit11 -C47_0x2e__bit12 -C47_0x2e__bit13 -C47_0x2e__bit14 -C47_0x2e__bit15 -C47_0x2e__bit16 -C47_0x2e__bit17 -C47_0x2e__bit18 -C47_0x2e__bit19 -C48_0x2e__bit_10 -C48_0x2e__bit_9 -C48_0x2e__bit_8 -C48_0x2e__bit_7 -C48_0x2e__bit_6 -C48_0x2e__bit_5 -C48_0x2e__bit_4 -C48_0x2e__bit_3 -C48_0x2e__bit_2 -C48_0x2e__bit_1 -C48_0x2e__bit0 -C48_0x2e__bit1 -C48_0x2e__bit2 -C48_0x2e__bit3 -C48_0x2e__bit4 -C48_0x2e__bit5 -C48_0x2e__bit6 -C48_0x2e__bit7 -C48_0x2e__bit8 -C48_0x2e__bit9 -C48_0x2e__bit10 -C48_0x2e__bit11 -C48_0x2e__bit12 -C48_0x2e__bit13 -C48_0x2e__bit14 -C48_0x2e__bit15 -C48_0x2e__bit16 -C48_0x2e__bit17 -C48_0x2e__bit18 -C48_0x2e__bit19 -C50_0x2e__bit0 C51_0x2e__bit0 C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 C58_0x2e__bit0 -C59_0x2e__bit0 C60_0x2e__bit0 -C61_0x2e__bit0 -C62_0x2e__bit0 C63_0x2e__bit0 C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 C69_0x2e__bit0 C70_0x2e__bit0 C71_0x2e__bit0 C72_0x2e__bit0 C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 C77_0x2e__bit0 C78_0x2e__bit0 C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 C82_0x2e__bit0 -C83_0x2e__bit0 C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 C93_0x2e__bit0 -C94_0x2e__bit0 C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 
c objectif function=51087398
c Total CPU time (ms) : 1239.189
#### 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.86 0.97 0.99 2/54 32462
Raw data (stat): 32462 (runsolver) R 32461 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779316881 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.18 1.04 1.01 3/64 32472
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18098 0 1 0 754 37 0 0 25 0 11 0 779316881 873336832 23495 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213217 23495 13086 16 0 213201 0
vsize: 852868
[startup+20.0016 s]
Raw data (loadavg): 1.31 1.07 1.02 3/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18146 3 1 0 1677 37 0 0 25 0 11 0 779316881 880148480 25594 4294967295 134512640 134569956 3221224368 3221214584 1131234804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214880 25594 13086 16 0 214864 0
vsize: 859520
[startup+30.0027 s]
Raw data (loadavg): 1.41 1.10 1.03 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18147 3 1 0 2584 37 0 0 25 0 11 0 779316881 866983936 22778 4294967295 134512640 134569956 3221224368 3221214584 1131234653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211666 22778 13086 16 0 211650 0
vsize: 846664
[startup+40.0033 s]
Raw data (loadavg): 1.35 1.10 1.03 2/64 32473
Raw data (stat): 32462 (java) S 32461 21152 21151 0 -1 0 18147 3 1 0 3517 38 0 0 25 0 11 0 779316881 862064640 21901 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 21901 13086 16 0 210449 0
vsize: 841860
[startup+50.0052 s]
Raw data (loadavg): 1.29 1.09 1.03 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18147 3 1 0 4464 38 0 0 25 0 11 0 779316881 862064640 22260 4294967295 134512640 134569956 3221224368 3221214584 1131234804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 22260 13086 16 0 210449 0
vsize: 841860
[startup+60.0064 s]
Raw data (loadavg): 1.25 1.09 1.03 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18147 3 1 0 5422 38 0 0 25 0 11 0 779316881 862064640 22349 4294967295 134512640 134569956 3221224368 3221214608 1131293775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 22349 13086 16 0 210449 0
vsize: 841860
[startup+70.0068 s]
Raw data (loadavg): 1.21 1.08 1.03 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 6366 38 0 0 25 0 11 0 779316881 862064640 22538 4294967295 134512640 134569956 3221224368 3221214608 1131293959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 22538 13086 16 0 210449 0
vsize: 841860
[startup+80.0077 s]
Raw data (loadavg): 1.18 1.08 1.03 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 7308 38 0 0 25 0 11 0 779316881 862064640 22675 4294967295 134512640 134569956 3221224368 3221214584 1131235452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 22675 13086 16 0 210449 0
vsize: 841860
[startup+90.0085 s]
Raw data (loadavg): 1.15 1.08 1.02 2/64 32473
Raw data (stat): 32462 (java) S 32461 21152 21151 0 -1 0 18148 3 1 0 8261 39 0 0 25 0 11 0 779316881 862064640 22767 4294967295 134512640 134569956 3221224368 3221213184 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 22767 13086 16 0 210449 0
vsize: 841860
[startup+100.008 s]
Raw data (loadavg): 1.12 1.08 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 9214 39 0 0 25 0 11 0 779316881 862064640 22993 4294967295 134512640 134569956 3221224368 3221214512 1131324033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 22993 13086 16 0 210449 0
vsize: 841860
[startup+110.009 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 10166 39 0 0 25 0 11 0 779316881 862064640 23165 4294967295 134512640 134569956 3221224368 3221214584 1131235208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 23165 13086 16 0 210449 0
vsize: 841860
[startup+120.009 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 11105 40 0 0 24 0 11 0 779316881 862064640 23220 4294967295 134512640 134569956 3221224368 3221214584 1131234653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 23220 13086 16 0 210449 0
vsize: 841860
[startup+130.009 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 12059 40 0 0 25 0 11 0 779316881 862064640 23379 4294967295 134512640 134569956 3221224368 3221214584 1131234401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 23379 13086 16 0 210449 0
vsize: 841860
[startup+140.01 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 13013 40 0 0 25 0 11 0 779316881 862064640 23557 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 23557 13086 16 0 210449 0
vsize: 841860
[startup+150.011 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 13969 41 0 0 25 0 11 0 779316881 862064640 23744 4294967295 134512640 134569956 3221224368 3221214608 1131293936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 23744 13086 16 0 210449 0
vsize: 841860
[startup+160.012 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 14930 41 0 0 25 0 11 0 779316881 862064640 23896 4294967295 134512640 134569956 3221224368 3221214584 1131234405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 23896 13086 16 0 210449 0
vsize: 841860
[startup+170.012 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 15884 42 0 0 25 0 11 0 779316881 862064640 23954 4294967295 134512640 134569956 3221224368 3221214584 1131234754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 23954 13086 16 0 210449 0
vsize: 841860
[startup+180.012 s]
Raw data (loadavg): 1.03 1.05 1.02 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 16854 42 0 0 25 0 11 0 779316881 862064640 24060 4294967295 134512640 134569956 3221224368 3221214584 1131234423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 24060 13086 16 0 210449 0
vsize: 841860
[startup+190.013 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 17830 43 0 0 25 0 11 0 779316881 862064640 24175 4294967295 134512640 134569956 3221224368 3221214608 1131293826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24175 13086 16 0 210449 0
vsize: 841860
[startup+200.013 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 18801 43 0 0 25 0 11 0 779316881 862064640 24279 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24279 13086 16 0 210449 0
vsize: 841860
[startup+210.015 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 19763 43 0 0 24 0 11 0 779316881 862064640 24336 4294967295 134512640 134569956 3221224368 3221214396 1130894840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24336 13086 16 0 210449 0
vsize: 841860
[startup+220.015 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 20724 43 0 0 25 0 11 0 779316881 862064640 24355 4294967295 134512640 134569956 3221224368 3221214584 1131235003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24355 13086 16 0 210449 0
vsize: 841860
[startup+230.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 21674 44 0 0 25 0 11 0 779316881 862064640 24439 4294967295 134512640 134569956 3221224368 3221214672 1131345901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24439 13086 16 0 210449 0
vsize: 841860
[startup+240.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 22624 44 0 0 25 0 11 0 779316881 862064640 24647 4294967295 134512640 134569956 3221224368 3221214464 1131203566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 24647 13086 16 0 210449 0
vsize: 841860
[startup+250.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 23580 44 0 0 25 0 11 0 779316881 862064640 24826 4294967295 134512640 134569956 3221224368 3221214608 1131293710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24826 13086 16 0 210449 0
vsize: 841860
[startup+260.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 24544 44 0 0 25 0 11 0 779316881 862064640 24934 4294967295 134512640 134569956 3221224368 3221214616 1131278601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 24934 13086 16 0 210449 0
vsize: 841860
[startup+270.016 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 25506 45 0 0 25 0 11 0 779316881 862064640 25018 4294967295 134512640 134569956 3221224368 3221214608 1131293719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25018 13086 16 0 210449 0
vsize: 841860
[startup+280.016 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 26469 45 0 0 25 0 11 0 779316881 862064640 25125 4294967295 134512640 134569956 3221224368 3221214608 1131293846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25125 13086 16 0 210449 0
vsize: 841860
[startup+290.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 27428 46 0 0 25 0 11 0 779316881 862064640 25247 4294967295 134512640 134569956 3221224368 3221214512 1131228159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25247 13086 16 0 210449 0
vsize: 841860
[startup+300.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 28388 46 0 0 25 0 11 0 779316881 862064640 25326 4294967295 134512640 134569956 3221224368 3221214792 1131636828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 25326 13086 16 0 210449 0
vsize: 841860
[startup+310.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 29340 46 0 0 25 0 11 0 779316881 862064640 25430 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25430 13086 16 0 210449 0
vsize: 841860
[startup+320.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 30297 47 0 0 25 0 11 0 779316881 862064640 25552 4294967295 134512640 134569956 3221224368 3221214584 1131235318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25552 13086 16 0 210449 0
vsize: 841860
[startup+330.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 31251 47 0 0 25 0 11 0 779316881 862064640 25683 4294967295 134512640 134569956 3221224368 3221214672 1131344999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25683 13086 16 0 210449 0
vsize: 841860
[startup+340.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 32211 48 0 0 25 0 11 0 779316881 862064640 25801 4294967295 134512640 134569956 3221224368 3221214584 1131234397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25801 13086 16 0 210449 0
vsize: 841860
[startup+350.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) S 32461 21152 21151 0 -1 0 18148 3 1 0 33167 48 0 0 25 0 11 0 779316881 862064640 25914 4294967295 134512640 134569956 3221224368 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 25914 13086 16 0 210449 0
vsize: 841860
[startup+360.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 34129 48 0 0 25 0 11 0 779316881 862064640 26030 4294967295 134512640 134569956 3221224368 3221214584 1131234971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26030 13086 16 0 210449 0
vsize: 841860
[startup+370.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 35086 48 0 0 24 0 11 0 779316881 862064640 26151 4294967295 134512640 134569956 3221224368 3221214308 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26151 13086 16 0 210449 0
vsize: 841860
[startup+380.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 36044 48 0 0 25 0 11 0 779316881 862064640 26264 4294967295 134512640 134569956 3221224368 3221214584 1131235387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26264 13086 16 0 210449 0
vsize: 841860
[startup+390.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 37008 49 0 0 25 0 11 0 779316881 862064640 26372 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 26372 13086 16 0 210449 0
vsize: 841860
[startup+400.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 37981 49 0 0 25 0 11 0 779316881 862064640 26481 4294967295 134512640 134569956 3221224368 3221214672 1131344302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26481 13086 16 0 210449 0
vsize: 841860
[startup+410.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 38950 51 0 0 25 0 11 0 779316881 862064640 26576 4294967295 134512640 134569956 3221224368 3221214616 1131278439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26576 13086 16 0 210449 0
vsize: 841860
[startup+420.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 39917 51 0 0 25 0 11 0 779316881 862064640 26610 4294967295 134512640 134569956 3221224368 3221214672 1131344223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 26610 13086 16 0 210449 0
vsize: 841860
[startup+430.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 40878 51 0 0 25 0 11 0 779316881 862064640 26640 4294967295 134512640 134569956 3221224368 3221214672 1131343319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26640 13086 16 0 210449 0
vsize: 841860
[startup+440.021 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 41832 51 0 0 25 0 11 0 779316881 862064640 26754 4294967295 134512640 134569956 3221224368 3221214512 1131322985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26754 13086 16 0 210449 0
vsize: 841860
[startup+450.021 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 42787 51 0 0 25 0 11 0 779316881 862064640 26879 4294967295 134512640 134569956 3221224368 3221214656 1131452609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 26879 13086 16 0 210449 0
vsize: 841860
[startup+460.021 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 43742 52 0 0 25 0 11 0 779316881 862064640 27004 4294967295 134512640 134569956 3221224368 3221214512 1131321482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27004 13086 16 0 210449 0
vsize: 841860
[startup+470.02 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 44696 52 0 0 24 0 11 0 779316881 862064640 27126 4294967295 134512640 134569956 3221224368 3221214672 1131345272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27126 13086 16 0 210449 0
vsize: 841860
[startup+480.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 45655 53 0 0 25 0 11 0 779316881 862064640 27236 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 27236 13086 16 0 210449 0
vsize: 841860
[startup+490.021 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 46610 53 0 0 25 0 11 0 779316881 862064640 27379 4294967295 134512640 134569956 3221224368 3221214672 1131344348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27379 13086 16 0 210449 0
vsize: 841860
[startup+500.021 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 47564 53 0 0 25 0 11 0 779316881 862064640 27502 4294967295 134512640 134569956 3221224368 3221214792 1131637545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27502 13086 16 0 210449 0
vsize: 841860
[startup+510.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 48517 53 0 0 25 0 11 0 779316881 862064640 27632 4294967295 134512640 134569956 3221224368 3221214584 1131235003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27632 13086 16 0 210449 0
vsize: 841860
[startup+520.027 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 49476 54 0 0 25 0 11 0 779316881 862064640 27737 4294967295 134512640 134569956 3221224368 3221214608 1131293842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27737 13086 16 0 210449 0
vsize: 841860
[startup+530.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 50429 54 0 0 25 0 11 0 779316881 862064640 27861 4294967295 134512640 134569956 3221224368 3221214584 1131234857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27861 13086 16 0 210449 0
vsize: 841860
[startup+540.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 51382 54 0 0 25 0 11 0 779316881 862064640 27991 4294967295 134512640 134569956 3221224368 3221214432 1131383498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 27991 13086 16 0 210449 0
vsize: 841860
[startup+550.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 52336 55 0 0 24 0 11 0 779316881 862064640 28130 4294967295 134512640 134569956 3221224368 3221214608 1131429829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28130 13086 16 0 210449 0
vsize: 841860
[startup+560.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 53295 55 0 0 25 0 11 0 779316881 862064640 28245 4294967295 134512640 134569956 3221224368 3221214496 1131202936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28245 13086 16 0 210449 0
vsize: 841860
[startup+570.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 54249 55 0 0 25 0 11 0 779316881 862064640 28366 4294967295 134512640 134569956 3221224368 3221214584 1131234405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 28366 13086 16 0 210449 0
vsize: 841860
[startup+580.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 55202 55 0 0 25 0 11 0 779316881 862064640 28493 4294967295 134512640 134569956 3221224368 3221214496 1131203594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28493 13086 16 0 210449 0
vsize: 841860
[startup+590.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 56142 56 0 0 25 0 11 0 779316881 862064640 28659 4294967295 134512640 134569956 3221224368 3221214584 1131234864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28659 13086 16 0 210449 0
vsize: 841860
[startup+600.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 57100 56 0 0 25 0 11 0 779316881 862064640 28802 4294967295 134512640 134569956 3221224368 3221214584 1131235684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28802 13086 16 0 210449 0
vsize: 841860
[startup+610.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 58072 57 0 0 25 0 11 0 779316881 862064640 28951 4294967295 134512640 134569956 3221224368 3221214752 1131305504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 28951 13086 16 0 210449 0
vsize: 841860
[startup+620.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 59048 57 0 0 25 0 11 0 779316881 862064640 29076 4294967295 134512640 134569956 3221224368 3221214672 1131343179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29076 13086 16 0 210449 0
vsize: 841860
[startup+630.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 60025 58 0 0 25 0 11 0 779316881 862064640 29092 4294967295 134512640 134569956 3221224368 3221214668 1131235693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29092 13086 16 0 210449 0
vsize: 841860
[startup+640.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 61004 58 0 0 25 0 11 0 779316881 862064640 29093 4294967295 134512640 134569956 3221224368 3221214672 1131344220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29093 13086 16 0 210449 0
vsize: 841860
[startup+650.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 61985 59 0 0 25 0 11 0 779316881 862064640 29158 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29158 13086 16 0 210449 0
vsize: 841860
[startup+660.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 62967 59 0 0 25 0 11 0 779316881 862064640 29186 4294967295 134512640 134569956 3221224368 3221214584 1131234878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29186 13086 16 0 210449 0
vsize: 841860
[startup+670.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 63953 59 0 0 25 0 11 0 779316881 862064640 29214 4294967295 134512640 134569956 3221224368 3221214544 1131644672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29214 13086 16 0 210449 0
vsize: 841860
[startup+680.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 64936 60 0 0 25 0 11 0 779316881 862064640 29221 4294967295 134512640 134569956 3221224368 3221214396 1131485392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29221 13086 16 0 210449 0
vsize: 841860
[startup+690.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 65925 60 0 0 25 0 11 0 779316881 862064640 29240 4294967295 134512640 134569956 3221224368 3221214584 1131234532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29240 13086 16 0 210449 0
vsize: 841860
[startup+700.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 66909 60 0 0 25 0 11 0 779316881 862064640 29247 4294967295 134512640 134569956 3221224368 3221214584 1131234478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29247 13086 16 0 210449 0
vsize: 841860
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 67887 61 0 0 25 0 11 0 779316881 862064640 29254 4294967295 134512640 134569956 3221224368 3221214584 1131234430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29254 13086 16 0 210449 0
vsize: 841860
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 68872 61 0 0 25 0 11 0 779316881 862064640 29255 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29255 13086 16 0 210449 0
vsize: 841860
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 69852 61 0 0 25 0 11 0 779316881 862064640 29304 4294967295 134512640 134569956 3221224368 3221214672 1131344302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29304 13086 16 0 210449 0
vsize: 841860
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 70839 61 0 0 25 0 11 0 779316881 862064640 29316 4294967295 134512640 134569956 3221224368 3221214672 1131343179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29316 13086 16 0 210449 0
vsize: 841860
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 71825 62 0 0 25 0 11 0 779316881 862064640 29321 4294967295 134512640 134569956 3221224368 3221214168 1131483636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29321 13086 16 0 210449 0
vsize: 841860
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 72812 62 0 0 25 0 11 0 779316881 862064640 29332 4294967295 134512640 134569956 3221224368 3221214584 1131234397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29332 13086 16 0 210449 0
vsize: 841860
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 73800 62 0 0 25 0 11 0 779316881 862064640 29337 4294967295 134512640 134569956 3221224368 3221214584 1131234795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29337 13086 16 0 210449 0
vsize: 841860
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 74786 62 0 0 25 0 11 0 779316881 862064640 29337 4294967295 134512640 134569956 3221224368 3221214584 1131235324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29337 13086 16 0 210449 0
vsize: 841860
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 75775 63 0 0 25 0 11 0 779316881 862064640 29342 4294967295 134512640 134569956 3221224368 3221214584 1131235003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29342 13086 16 0 210449 0
vsize: 841860
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 76759 63 0 0 25 0 11 0 779316881 862064640 29344 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29344 13086 16 0 210449 0
vsize: 841860
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 77749 63 0 0 24 0 11 0 779316881 862064640 29349 4294967295 134512640 134569956 3221224368 3221214584 1131234692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29349 13086 16 0 210449 0
vsize: 841860
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 78730 64 0 0 25 0 11 0 779316881 862064640 29351 4294967295 134512640 134569956 3221224368 3221214212 1131484544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29351 13086 16 0 210449 0
vsize: 841860
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32473
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 79714 64 0 0 25 0 11 0 779316881 862064640 29362 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29362 13086 16 0 210449 0
vsize: 841860
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 32520
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 80698 65 0 0 25 0 11 0 779316881 862064640 29364 4294967295 134512640 134569956 3221224368 3221214584 1131234575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 29364 13086 16 0 210449 0
vsize: 841860
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32526
Raw data (stat): 32462 (java) S 32461 21152 21151 0 -1 0 18148 3 1 0 81680 69 0 0 25 0 11 0 779316881 862064640 29413 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29413 13086 16 0 210449 0
vsize: 841860
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32526
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 82664 69 0 0 25 0 11 0 779316881 862064640 29417 4294967295 134512640 134569956 3221224368 3221214448 1131649636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29417 13086 16 0 210449 0
vsize: 841860
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32526
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 83651 69 0 0 25 0 11 0 779316881 862064640 29425 4294967295 134512640 134569956 3221224368 3221214672 1131345849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29425 13086 16 0 210449 0
vsize: 841860
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32526
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 84637 70 0 0 25 0 11 0 779316881 862064640 29425 4294967295 134512640 134569956 3221224368 3221214672 1131344316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29425 13086 16 0 210449 0
vsize: 841860
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32526
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 85626 70 0 0 25 0 11 0 779316881 862064640 29439 4294967295 134512640 134569956 3221224368 3221214584 1131235381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29439 13086 16 0 210449 0
vsize: 841860
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32527
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 86607 70 0 0 25 0 11 0 779316881 862064640 29454 4294967295 134512640 134569956 3221224368 3221214584 1131235062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29454 13086 16 0 210449 0
vsize: 841860
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32527
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 87592 70 0 0 25 0 11 0 779316881 862064640 29458 4294967295 134512640 134569956 3221224368 3221214608 1131293707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29458 13086 16 0 210449 0
vsize: 841860
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 88571 71 0 0 25 0 11 0 779316881 862064640 29458 4294967295 134512640 134569956 3221224368 3221214672 1131345920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29458 13086 16 0 210449 0
vsize: 841860
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 89550 72 0 0 25 0 11 0 779316881 862064640 29502 4294967295 134512640 134569956 3221224368 3221214584 1131234430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29502 13086 16 0 210449 0
vsize: 841860
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 90538 72 0 0 25 0 11 0 779316881 862064640 29502 4294967295 134512640 134569956 3221224368 3221214584 1131234727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29502 13086 16 0 210449 0
vsize: 841860
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 91517 73 0 0 25 0 11 0 779316881 862064640 29555 4294967295 134512640 134569956 3221224368 3221214584 1131235452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29555 13086 16 0 210449 0
vsize: 841860
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 92505 73 0 0 25 0 11 0 779316881 862064640 29560 4294967295 134512640 134569956 3221224368 3221214672 1131344228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29560 13086 16 0 210449 0
vsize: 841860
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 93485 73 0 0 25 0 11 0 779316881 862064640 29599 4294967295 134512640 134569956 3221224368 3221214584 1131234849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29599 13086 16 0 210449 0
vsize: 841860
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 94472 74 0 0 25 0 11 0 779316881 862064640 29601 4294967295 134512640 134569956 3221224368 3221214584 1131234485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29601 13086 16 0 210449 0
vsize: 841860
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 95456 74 0 0 25 0 11 0 779316881 862064640 29613 4294967295 134512640 134569956 3221224368 3221214580 1131202912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29613 13086 16 0 210449 0
vsize: 841860
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 96444 75 0 0 25 0 11 0 779316881 862064640 29620 4294967295 134512640 134569956 3221224368 3221214496 1131202956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29620 13086 16 0 210449 0
vsize: 841860
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 97431 75 0 0 25 0 11 0 779316881 862064640 29620 4294967295 134512640 134569956 3221224368 3221214496 1131202965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29620 13086 16 0 210449 0
vsize: 841860
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 98413 75 0 0 25 0 11 0 779316881 862064640 29630 4294967295 134512640 134569956 3221224368 3221214256 1131648160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29630 13086 16 0 210449 0
vsize: 841860
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 99399 76 0 0 25 0 11 0 779316881 862064640 29630 4294967295 134512640 134569956 3221224368 3221214584 1131235345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29630 13086 16 0 210449 0
vsize: 841860
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 100381 76 0 0 25 0 11 0 779316881 862064640 29630 4294967295 134512640 134569956 3221224368 3221214396 1131485392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29630 13086 16 0 210449 0
vsize: 841860
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 101367 76 0 0 25 0 11 0 779316881 862064640 29698 4294967295 134512640 134569956 3221224368 3221214672 1131345159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29698 13086 16 0 210449 0
vsize: 841860
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 102354 77 0 0 25 0 11 0 779316881 862064640 29700 4294967295 134512640 134569956 3221224368 3221214712 1131338836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29700 13086 16 0 210449 0
vsize: 841860
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 103339 77 0 0 25 0 11 0 779316881 862064640 29721 4294967295 134512640 134569956 3221224368 3221214668 1131235693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29721 13086 16 0 210449 0
vsize: 841860
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 104320 78 0 0 24 0 11 0 779316881 862064640 29737 4294967295 134512640 134569956 3221224368 3221214584 1131234931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 29737 13086 16 0 210449 0
vsize: 841860
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 105303 78 0 0 25 0 11 0 779316881 862064640 29740 4294967295 134512640 134569956 3221224368 3221214584 1131235400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29740 13086 16 0 210449 0
vsize: 841860
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 106274 79 0 0 24 0 11 0 779316881 862064640 29790 4294967295 134512640 134569956 3221224368 3221214584 1131235026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29790 13086 16 0 210449 0
vsize: 841860
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 107251 79 0 0 25 0 11 0 779316881 862064640 29792 4294967295 134512640 134569956 3221224368 3221214320 1131485393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29792 13086 16 0 210449 0
vsize: 841860
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 108225 79 0 0 25 0 11 0 779316881 862064640 29842 4294967295 134512640 134569956 3221224368 3221214672 1131344288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29842 13086 16 0 210449 0
vsize: 841860
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 109208 80 0 0 25 0 11 0 779316881 862064640 29973 4294967295 134512640 134569956 3221224368 3221214584 1131235085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29973 13086 16 0 210449 0
vsize: 841860
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 110190 80 0 0 25 0 11 0 779316881 862064640 29980 4294967295 134512640 134569956 3221224368 3221214084 1131485336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 29980 13086 16 0 210449 0
vsize: 841860
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 111167 81 0 0 25 0 11 0 779316881 862064640 30010 4294967295 134512640 134569956 3221224368 3221214672 1131344248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30010 13086 16 0 210449 0
vsize: 841860
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32529
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 112140 81 0 0 25 0 11 0 779316881 862064640 30016 4294967295 134512640 134569956 3221224368 3221214584 1131234899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30016 13086 16 0 210449 0
vsize: 841860
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 113110 82 0 0 25 0 11 0 779316881 862064640 30091 4294967295 134512640 134569956 3221224368 3221214672 1131342959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30091 13086 16 0 210449 0
vsize: 841860
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 114080 83 0 0 25 0 11 0 779316881 862064640 30173 4294967295 134512640 134569956 3221224368 3221214584 1131234536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30173 13086 16 0 210449 0
vsize: 841860
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 115053 83 0 0 25 0 11 0 779316881 862064640 30258 4294967295 134512640 134569956 3221224368 3221214672 1131345820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30258 13086 16 0 210449 0
vsize: 841860
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 116029 84 0 0 25 0 11 0 779316881 862064640 30336 4294967295 134512640 134569956 3221224368 3221214032 1085632273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 30336 13086 16 0 210449 0
vsize: 841860
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 117012 84 0 0 25 0 11 0 779316881 862064640 30393 4294967295 134512640 134569956 3221224368 3221214040 1131485250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30393 13086 16 0 210449 0
vsize: 841860
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 117993 84 0 0 25 0 11 0 779316881 862064640 30466 4294967295 134512640 134569956 3221224368 3221214416 1131485386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30466 13086 16 0 210449 0
vsize: 841860
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 118976 85 0 0 25 0 11 0 779316881 862064640 30472 4294967295 134512640 134569956 3221224368 3221214548 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210465 30472 13086 16 0 210449 0
vsize: 841860
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 32531
Raw data (stat): 32462 (java) R 32461 21152 21151 0 -1 0 18148 3 1 0 119963 85 0 0 25 0 11 0 779316881 862064640 30496 4294967295 134512640 134569956 3221224368 3221213992 1131483636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210465 30496 13086 16 0 210449 0
vsize: 841860
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32533
Raw data (stat): 32462 (java) Z 32461 21152 21151 0 -1 1036 18148 28485 1 0 119975 91 5936 83 22 0 1 0 779316881 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.35
CPU time (s): 1260.87
CPU user time (s): 1259.12
CPU system time (s): 1.74673
CPU usage (%): 101.655
Max. virtual memory (Kb): 859520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	51087398
#### END VERIFIER DATA ####