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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-bell3a.opb
MD5SUM	26dd13d463ba85c3a30386739f6ae61e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	1716
Biggest coefficient in the objective function	5134096531456000
Number of bits for the biggest coefficient in the objective function	53
Sum of the numbers in the objective function	216401520151185266
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	5134096531456000
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	216401520151185266
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.96
Number of variables	2219
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	191
Trace number 29627

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 09:48:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21029 boxname=wulflinc12 idbench=1017 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  26dd13d463ba85c3a30386739f6ae61e  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
IDLAUNCH: 21029
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        400028 kB
Buffers:         34336 kB
Cached:         578868 kB
SwapCached:        564 kB
Active:          28420 kB
Inactive:       587224 kB
HighTotal:      131008 kB
HighFree:        46312 kB
LowTotal:       903652 kB
LowFree:        353716 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13232 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:08:51 (client local time) WITH STATUS 143 IN 1243.96 SECONDS
stats: 21029 0 1243.96 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/wulflinc12/normalized-mps-v2-20-10-bell3a.opb
c reading problem ... done. Time 3.661 ms.
c #vars     2219
c #constraints  151
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    7389636589126850 		Current CPU time: 56.56 ms
c CURRENT OPTIMUM=    4344865108638375 		Current CPU time: 91.09 ms
c CURRENT OPTIMUM=    4228326620898260 		Current CPU time: 239.53 ms
c CURRENT OPTIMUM=    4038110506434560 		Current CPU time: 322.88 ms
c CURRENT OPTIMUM=    1628427484334760 		Current CPU time: 469.92 ms
c starts	: 11
c conflicts	: 797
c decisions	: 62624
c propagations	: 108290
c inspects	: 427407
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 797
c root simplifications	: 74
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d9_bit0 -d10_bit0 -d12_bit0 -d13_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d20_bit0 d21_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -h17_bit0 -h17_bit1 -h17_bit2 -h17_bit3 h17_bit4 -h17_bit5 -h17_bit6 -h17_bit7 -h17_bit8 -h17_bit9 -h20_bit0 -h20_bit1 -h20_bit2 -h20_bit3 -h20_bit4 -h20_bit5 -h20_bit6 -h20_bit7 -h20_bit8 -h20_bit9 -h21_bit0 -h21_bit1 -h21_bit2 -h21_bit3 -h21_bit4 -h21_bit5 -h21_bit6 -h21_bit7 -h21_bit8 -h21_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 g6_bit4 g6_bit5 g6_bit6 g6_bit7 g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -g10_bit0 -g10_bit1 -g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 -g10_bit6 g10_bit7 -g10_bit8 -g10_bit9 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g12_bit7 -g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 -g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 -g15_bit3 -g15_bit4 -g15_bit5 -g15_bit6 -g15_bit7 g15_bit8 -g15_bit9 -g16_bit0 -g16_bit1 -g16_bit2 -g16_bit3 g16_bit4 -g16_bit5 -g16_bit6 -g16_bit7 -g16_bit8 -g16_bit9 -g17_bit0 g17_bit1 g17_bit2 -g17_bit3 g17_bit4 -g17_bit5 g17_bit6 -g17_bit7 -g17_bit8 -g17_bit9 g20_bit0 -g20_bit1 -g20_bit2 g20_bit3 g20_bit4 -g20_bit5 -g20_bit6 -g20_bit7 -g20_bit8 -g20_bit9 -g21_bit0 -g21_bit1 -g21_bit2 -g21_bit3 -g21_bit4 g21_bit5 -g21_bit6 -g21_bit7 -g21_bit8 -g21_bit9 -a1_bit_10 -a1_bit_9 -a1_bit_8 -a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 -a1_bit0 -a1_bit1 a1_bit2 -a1_bit3 -a1_bit4 a1_bit5 a1_bit6 -a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 -a2_bit_8 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 -a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 -a3_bit5 -a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 a7_bit5 -a7_bit6 a7_bit7 -a7_bit8 -a7_bit9 a7_bit10 -a7_bit11 -a7_bit12 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 -a8_bit2 -a8_bit3 a8_bit4 a8_bit5 a8_bit6 a8_bit7 a8_bit8 a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 -a9_bit_9 -a9_bit_8 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 a9_bit3 a9_bit4 a9_bit5 a9_bit6 a9_bit7 a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_bit19 -a10_bit_10 -a10_bit_9 -a10_bit_8 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a10_bit13 -a10_bit14 -a10_bit15 -a10_bit16 -a10_bit17 -a10_bit18 -a10_bit19 a11_bit_10 a11_bit_9 a11_bit_8 a11_bit_7 a11_bit_6 a11_bit_5 a11_bit_4 a11_bit_3 a11_bit_2 a11_bit_1 a11_bit0 a11_bit1 a11_bit2 a11_bit3 a11_bit4 a11_bit5 a11_bit6 a11_bit7 -a11_bit8 a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 -a11_bit13 -a11_bit14 -a11_bit15 -a11_bit16 -a11_bit17 -a11_bit18 -a11_bit19 -a12_bit_10 -a12_bit_9 -a12_bit_8 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a12_bit13 -a12_bit14 -a12_bit15 -a12_bit16 -a12_bit17 -a12_bit18 -a12_bit19 -a13_bit_10 -a13_bit_9 -a13_bit_8 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 a13_bit3 -a13_bit4 a13_bit5 a13_bit6 -a13_bit7 -a13_bit8 -a13_bit9 -a13_bit10 -a13_bit11 -a13_bit12 -a13_bit13 -a13_bit14 -a13_bit15 -a13_bit16 -a13_bit17 -a13_bit18 -a13_bit19 -a14_bit_10 -a14_bit_9 -a14_bit_8 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 -a14_bit2 -a14_bit3 -a14_bit4 -a14_bit5 -a14_bit6 a14_bit7 a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a14_bit13 -a14_bit14 -a14_bit15 -a14_bit16 -a14_bit17 -a14_bit18 -a14_bit19 -a15_bit_10 -a15_bit_9 -a15_bit_8 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 -a15_bit2 -a15_bit3 -a15_bit4 -a15_bit5 -a15_bit6 -a15_bit7 -a15_bit8 -a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a15_bit13 -a15_bit14 -a15_bit15 -a15_bit16 -a15_bit17 -a15_bit18 -a15_bit19 -a16_bit_10 -a16_bit_9 -a16_bit_8 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a16_bit13 -a16_bit14 -a16_bit15 -a16_bit16 -a16_bit17 -a16_bit18 -a16_bit19 -a17_bit_10 -a17_bit_9 -a17_bit_8 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 -a17_bit1 -a17_bit2 -a17_bit3 -a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 -a17_bit12 -a17_bit13 -a17_bit14 -a17_bit15 -a17_bit16 -a17_bit17 -a17_bit18 -a17_bit19 -a18_bit_10 -a18_bit_9 -a18_bit_8 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 -a18_bit1 -a18_bit2 -a18_bit3 -a18_bit4 -a18_bit5 -a18_bit6 -a18_bit7 -a18_bit8 -a18_bit9 -a18_bit10 a18_bit11 -a18_bit12 -a18_bit13 -a18_bit14 -a18_bit15 -a18_bit16 -a18_bit17 -a18_bit18 -a18_bit19 -a19_bit_10 -a19_bit_9 -a19_bit_8 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 -a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a19_bit13 -a19_bit14 -a19_bit15 -a19_bit16 -a19_bit17 -a19_bit18 -a19_bit19 -a20_bit_10 -a20_bit_9 -a20_bit_8 -a20_bit_7 -a20_bit_6 -a20_bit_5 -a20_bit_4 -a20_bit_3 -a20_bit_2 -a20_bit_1 -a20_bit0 -a20_bit1 -a20_bit2 -a20_bit3 -a20_bit4 -a20_bit5 -a20_bit6 -a20_bit7 -a20_bit8 -a20_bit9 -a20_bit10 -a20_bit11 -a20_bit12 -a20_bit13 -a20_bit14 -a20_bit15 -a20_bit16 -a20_bit17 -a20_bit18 -a20_bit19 -a21_bit_10 -a21_bit_9 -a21_bit_8 -a21_bit_7 -a21_bit_6 -a21_bit_5 -a21_bit_4 -a21_bit_3 -a21_bit_2 -a21_bit_1 -a21_bit0 -a21_bit1 -a21_bit2 -a21_bit3 -a21_bit4 -a21_bit5 -a21_bit6 -a21_bit7 -a21_bit8 -a21_bit9 -a21_bit10 -a21_bit11 -a21_bit12 -a21_bit13 -a21_bit14 -a21_bit15 -a21_bit16 -a21_bit17 -a21_bit18 -a21_bit19 -a22_bit_10 -a22_bit_9 -a22_bit_8 -a22_bit_7 -a22_bit_6 -a22_bit_5 -a22_bit_4 -a22_bit_3 -a22_bit_2 -a22_bit_1 -a22_bit0 -a22_bit1 -a22_bit2 -a22_bit3 -a22_bit4 -a22_bit5 -a22_bit6 -a22_bit7 -a22_bit8 -a22_bit9 a22_bit10 -a22_bit11 -a22_bit12 -a22_bit13 -a22_bit14 -a22_bit15 -a22_bit16 -a22_bit17 -a22_bit18 -a22_bit19 -a23_bit_10 -a23_bit_9 -a23_bit_8 -a23_bit_7 -a23_bit_6 -a23_bit_5 -a23_bit_4 -a23_bit_3 -a23_bit_2 -a23_bit_1 -a23_bit0 -a23_bit1 -a23_bit2 -a23_bit3 -a23_bit4 -a23_bit5 -a23_bit6 -a23_bit7 -a23_bit8 -a23_bit9 -a23_bit10 -a23_bit11 -a23_bit12 a23_bit13 -a23_bit14 -a23_bit15 -a23_bit16 -a23_bit17 -a23_bit18 -a23_bit19 -b1_bit_10 -b1_bit_9 -b1_bit_8 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b2_bit13 -b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 -b4_bit_10 -b4_bit_9 -b4_bit_8 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b4_bit13 -b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 -b5_bit_10 -b5_bit_9 -b5_bit_8 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b5_bit13 -b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 -b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 -b7_bit_9 -b7_bit_8 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 -b7_bit_1 -b7_bit0 -b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 -b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 -b9_bit_9 -b9_bit_8 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 -b10_bit_10 -b10_bit_9 -b10_bit_8 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 -b12_bit_10 -b12_bit_9 -b12_bit_8 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 b16_bit11 -b16_bit12 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 -b17_bit_10 -b17_bit_9 -b17_bit_8 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 -b17_bit1 -b17_bit2 -b17_bit3 -b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 -b17_bit12 -b17_bit13 -b17_bit14 -b17_bit15 -b17_bit16 -b17_bit17 -b17_bit18 -b17_bit19 -b18_bit_10 -b18_bit_9 -b18_bit_8 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 -b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 -b18_bit7 -b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 -b18_bit12 -b18_bit13 -b18_bit14 -b18_bit15 -b18_bit16 -b18_bit17 -b18_bit18 -b18_bit19 -b19_bit_10 -b19_bit_9 -b19_bit_8 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 -b19_bit3 -b19_bit4 -b19_bit5 -b19_bit6 -b19_bit7 -b19_bit8 -b19_bit9 -b19_bit10 -b19_bit11 -b19_bit12 -b19_bit13 -b19_bit14 -b19_bit15 -b19_bit16 -b19_bit17 -b19_bit18 -b19_bit19 -b20_bit_10 -b20_bit_9 -b20_bit_8 -b20_bit_7 -b20_bit_6 -b20_bit_5 -b20_bit_4 -b20_bit_3 -b20_bit_2 -b20_bit_1 -b20_bit0 -b20_bit1 -b20_bit2 -b20_bit3 -b20_bit4 -b20_bit5 -b20_bit6 -b20_bit7 -b20_bit8 -b20_bit9 -b20_bit10 -b20_bit11 -b20_bit12 -b20_bit13 -b20_bit14 -b20_bit15 -b20_bit16 -b20_bit17 -b20_bit18 -b20_bit19 -b21_bit_10 -b21_bit_9 -b21_bit_8 -b21_bit_7 -b21_bit_6 -b21_bit_5 -b21_bit_4 -b21_bit_3 -b21_bit_2 -b21_bit_1 -b21_bit0 -b21_bit1 -b21_bit2 -b21_bit3 -b21_bit4 -b21_bit5 -b21_bit6 -b21_bit7 -b21_bit8 -b21_bit9 -b21_bit10 -b21_bit11 -b21_bit12 -b21_bit13 -b21_bit14 -b21_bit15 -b21_bit16 -b21_bit17 -b21_bit18 -b21_bit19 -b22_bit_10 -b22_bit_9 -b22_bit_8 -b22_bit_7 -b22_bit_6 -b22_bit_5 -b22_bit_4 -b22_bit_3 -b22_bit_2 -b22_bit_1 -b22_bit0 -b22_bit1 -b22_bit2 -b22_bit3 -b22_bit4 -b22_bit5 -b22_bit6 -b22_bit7 -b22_bit8 -b22_bit9 -b22_bit10 -b22_bit11 -b22_bit12 -b22_bit13 -b22_bit14 -b22_bit15 -b22_bit16 -b22_bit17 -b22_bit18 -b22_bit19 -b23_bit_10 -b23_bit_9 -b23_bit_8 -b23_bit_7 -b23_bit_6 -b23_bit_5 -b23_bit_4 -b23_bit_3 -b23_bit_2 -b23_bit_1 -b23_bit0 -b23_bit1 -b23_bit2 -b23_bit3 -b23_bit4 -b23_bit5 -b23_bit6 -b23_bit7 -b23_bit8 -b23_bit9 -b23_bit10 -b23_bit11 -b23_bit12 -b23_bit13 -b23_bit14 -b23_bit15 -b23_bit16 -b23_bit17 -b23_bit18 -b23_bit19 c1_bit0 c2_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 -c8_bit0 -c9_bit0 c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 c15_bit0 c16_bit0 c17_bit0 -c18_bit0 c19_bit0 c20_bit0 c21_bit0 -c22_bit0 -c23_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 f10_bit_10 f10_bit_9 f10_bit_8 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 f10_bit3 f10_bit4 f10_bit5 -f10_bit6 -f10_bit7 f10_bit8 -f10_bit9 f10_bit10 -f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 -f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 -f13_bit5 -f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f15_bit_10 -f15_bit_9 -f15_bit_8 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 -f15_bit10 f15_bit11 f15_bit12 -f15_bit13 -f15_bit14 -f15_bit15 -f15_bit16 -f15_bit17 -f15_bit18 -f15_bit19 -f16_bit_10 -f16_bit_9 -f16_bit_8 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 f16_bit7 f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f16_bit13 -f16_bit14 -f16_bit15 -f16_bit16 -f16_bit17 -f16_bit18 -f16_bit19 -f17_bit_10 -f17_bit_9 -f17_bit_8 -f17_bit_7 -f17_bit_6 -f17_bit_5 -f17_bit_4 -f17_bit_3 -f17_bit_2 -f17_bit_1 -f17_bit0 -f17_bit1 -f17_bit2 -f17_bit3 f17_bit4 -f17_bit5 -f17_bit6 -f17_bit7 -f17_bit8 -f17_bit9 -f17_bit10 f17_bit11 -f17_bit12 -f17_bit13 -f17_bit14 -f17_bit15 -f17_bit16 -f17_bit17 -f17_bit18 -f17_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 f2_bit1 -f2_bit2 -f2_bit3 f2_bit4 f2_bit5 -f2_bit6 -f2_bit7 -f2_bit8 -f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f2_bit13 -f2_bit14 -f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f20_bit_10 -f20_bit_9 -f20_bit_8 -f20_bit_7 -f20_bit_6 -f20_bit_5 -f20_bit_4 -f20_bit_3 -f20_bit_2 -f20_bit_1 -f20_bit0 -f20_bit1 -f20_bit2 f20_bit3 f20_bit4 -f20_bit5 f20_bit6 -f20_bit7 -f20_bit8 f20_bit9 -f20_bit10 -f20_bit11 -f20_bit12 -f20_bit13 -f20_bit14 -f20_bit15 -f20_bit16 -f20_bit17 -f20_bit18 -f20_bit19 f21_bit_10 f21_bit_9 f21_bit_8 f21_bit_7 f21_bit_6 f21_bit_5 f21_bit_4 f21_bit_3 f21_bit_2 f21_bit_1 f21_bit0 f21_bit1 f21_bit2 f21_bit3 -f21_bit4 -f21_bit5 f21_bit6 f21_bit7 -f21_bit8 -f21_bit9 -f21_bit10 -f21_bit11 -f21_bit12 -f21_bit13 -f21_bit14 -f21_bit15 -f21_bit16 -f21_bit17 -f21_bit18 -f21_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 f3_bit10 -f3_bit11 -f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 f4_bit1 -f4_bit2 f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 -f5_bit11 -f5_bit12 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 f6_bit_10 f6_bit_9 f6_bit_8 f6_bit_7 f6_bit_6 f6_bit_5 f6_bit_4 f6_bit_3 f6_bit_2 f6_bit_1 f6_bit0 f6_bit1 f6_bit2 f6_bit3 f6_bit4 f6_bit5 f6_bit6 -f6_bit7 -f6_bit8 f6_bit9 f6_bit10 f6_bit11 -f6_bit12 f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 -f7_bit5 -f7_bit6 -f7_bit7 -f7_bit8 -f7_bit9 -f7_bit10 -f7_bit11 -f7_bit12 -f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 -f9_bit_10 -f9_bit_9 -f9_bit_8 -f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 -f9_bit1 -f9_bit2 -f9_bit3 -f9_bit4 -f9_bit5 -f9_bit6 -f9_bit7 -f9_bit8 -f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 
c objectif function=1628427484334760
c Total CPU time (ms) : 1229.292
#### 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.93 0.98 0.99 2/54 10721
Raw data (stat): 10721 (runsolver) R 10720 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779691488 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.16 1.03 1.01 4/64 10731
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18098 0 1 0 742 44 0 0 25 0 11 0 779691488 863850496 21185 4294967295 134512640 134569956 3221224368 3221214760 1131130688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210901 21185 13086 16 0 210885 0
vsize: 843604
[startup+20.0004 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 10731
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18100 0 1 0 1669 45 0 0 25 0 11 0 779691488 866668544 22137 4294967295 134512640 134569956 3221224368 3221214512 1131277713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 22137 13086 16 0 211573 0
vsize: 846356
[startup+30.0021 s]
Raw data (loadavg): 1.18 1.05 1.01 2/64 10731
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18100 0 1 0 2632 45 0 0 25 0 11 0 779691488 866668544 22271 4294967295 134512640 134569956 3221224368 3221214328 1131410477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 22271 13086 16 0 211573 0
vsize: 846356
[startup+40.0019 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 10731
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18100 0 1 0 3599 45 0 0 25 0 11 0 779691488 866668544 22540 4294967295 134512640 134569956 3221224368 3221214548 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211589 22540 13086 16 0 211573 0
vsize: 846356
[startup+50.003 s]
Raw data (loadavg): 1.13 1.04 1.01 2/64 10731
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18100 0 1 0 4555 46 0 0 25 0 11 0 779691488 866668544 22894 4294967295 134512640 134569956 3221224368 3221214616 1131310979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 22894 13086 16 0 211573 0
vsize: 846356
[startup+60.0028 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 10732
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18146 4 1 0 5500 46 0 0 25 0 11 0 779691488 866668544 23339 4294967295 134512640 134569956 3221224368 3221214576 1131229554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 23339 13086 16 0 211573 0
vsize: 846356
[startup+70.0061 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 10732
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 6450 46 0 0 16 0 11 0 779691488 866668544 23679 4294967295 134512640 134569956 3221224368 3221214496 1131277848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 23679 13086 16 0 211573 0
vsize: 846356
[startup+80.0064 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 10732
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 7403 46 0 0 24 0 11 0 779691488 866668544 23845 4294967295 134512640 134569956 3221224368 3221214176 1085679296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 23845 13086 16 0 211573 0
vsize: 846356
[startup+90.0067 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 10732
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 8347 47 0 0 24 0 11 0 779691488 866668544 23887 4294967295 134512640 134569956 3221224368 3221214304 1131600273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 23887 13086 16 0 211573 0
vsize: 846356
[startup+100.008 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 9291 47 0 0 25 0 11 0 779691488 866668544 23950 4294967295 134512640 134569956 3221224368 3221214640 1131298770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 23950 13086 16 0 211573 0
vsize: 846356
[startup+110.008 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 10224 47 0 0 25 0 11 0 779691488 866668544 24248 4294967295 134512640 134569956 3221224368 3221214640 1131298430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24248 13086 16 0 211573 0
vsize: 846356
[startup+120.009 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 11186 47 0 0 25 0 11 0 779691488 866668544 24644 4294967295 134512640 134569956 3221224368 3221214384 1131277848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24644 13086 16 0 211573 0
vsize: 846356
[startup+130.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 12166 47 0 0 25 0 11 0 779691488 866668544 24757 4294967295 134512640 134569956 3221224368 3221214640 1131298955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24757 13086 16 0 211573 0
vsize: 846356
[startup+140.01 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 13146 48 0 0 25 0 11 0 779691488 866668544 24812 4294967295 134512640 134569956 3221224368 3221214504 1131600248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24812 13086 16 0 211573 0
vsize: 846356
[startup+150.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 14135 48 0 0 25 0 11 0 779691488 866668544 24902 4294967295 134512640 134569956 3221224368 3221214696 1131189487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24902 13086 16 0 211573 0
vsize: 846356
[startup+160.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 15124 48 0 0 25 0 11 0 779691488 866668544 24908 4294967295 134512640 134569956 3221224368 3221214640 1131299078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24908 13086 16 0 211573 0
vsize: 846356
[startup+170.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 16111 48 0 0 25 0 11 0 779691488 866668544 24908 4294967295 134512640 134569956 3221224368 3221214696 1131189376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24908 13086 16 0 211573 0
vsize: 846356
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 17094 49 0 0 25 0 11 0 779691488 866668544 24953 4294967295 134512640 134569956 3221224368 3221214640 1131298998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24953 13086 16 0 211573 0
vsize: 846356
[startup+190.013 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 18078 49 0 0 25 0 11 0 779691488 866668544 24985 4294967295 134512640 134569956 3221224368 3221214552 1131616784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 24985 13086 16 0 211573 0
vsize: 846356
[startup+200.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 19059 49 0 0 25 0 11 0 779691488 866668544 25011 4294967295 134512640 134569956 3221224368 3221214696 1131189393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25011 13086 16 0 211573 0
vsize: 846356
[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 20040 50 0 0 25 0 11 0 779691488 866668544 25043 4294967295 134512640 134569956 3221224368 3221214636 1131208160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25043 13086 16 0 211573 0
vsize: 846356
[startup+220.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 21023 50 0 0 25 0 11 0 779691488 866668544 25095 4294967295 134512640 134569956 3221224368 3221214640 1131298988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25095 13086 16 0 211573 0
vsize: 846356
[startup+230.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 22015 50 0 0 25 0 11 0 779691488 866668544 25160 4294967295 134512640 134569956 3221224368 3221214384 1131325167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25160 13086 16 0 211573 0
vsize: 846356
[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10733
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 23007 50 0 0 25 0 11 0 779691488 866668544 25168 4294967295 134512640 134569956 3221224368 3221214640 1131298929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25168 13086 16 0 211573 0
vsize: 846356
[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 23997 50 0 0 25 0 11 0 779691488 866668544 25182 4294967295 134512640 134569956 3221224368 3221214404 1131598921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25182 13086 16 0 211573 0
vsize: 846356
[startup+260.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 24985 51 0 0 25 0 11 0 779691488 866668544 25198 4294967295 134512640 134569956 3221224368 3221214368 1131277975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25198 13086 16 0 211573 0
vsize: 846356
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 25971 51 0 0 25 0 11 0 779691488 866668544 25199 4294967295 134512640 134569956 3221224368 3221214368 1131599094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25199 13086 16 0 211573 0
vsize: 846356
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 26954 51 0 0 24 0 11 0 779691488 866668544 25215 4294967295 134512640 134569956 3221224368 3221214640 1131298836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25215 13086 16 0 211573 0
vsize: 846356
[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 27938 52 0 0 25 0 11 0 779691488 866668544 25258 4294967295 134512640 134569956 3221224368 3221214640 1131298412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25258 13086 16 0 211573 0
vsize: 846356
[startup+300.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 28924 52 0 0 25 0 11 0 779691488 866668544 25325 4294967295 134512640 134569956 3221224368 3221214744 1131289438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25325 13086 16 0 211573 0
vsize: 846356
[startup+310.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 29913 53 0 0 25 0 11 0 779691488 866668544 25343 4294967295 134512640 134569956 3221224368 3221214456 1131313198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25343 13086 16 0 211573 0
vsize: 846356
[startup+320.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10734
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 30905 53 0 0 25 0 11 0 779691488 866668544 25345 4294967295 134512640 134569956 3221224368 3221214232 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25345 13086 16 0 211573 0
vsize: 846356
[startup+330.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 31893 53 0 0 25 0 11 0 779691488 866668544 25374 4294967295 134512640 134569956 3221224368 3221214640 1131298894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25374 13086 16 0 211573 0
vsize: 846356
[startup+340.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 32882 54 0 0 25 0 11 0 779691488 866668544 25390 4294967295 134512640 134569956 3221224368 3221214640 1131298560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25390 13086 16 0 211573 0
vsize: 846356
[startup+350.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 33863 54 0 0 25 0 11 0 779691488 866668544 25390 4294967295 134512640 134569956 3221224368 3221214640 1131298978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25390 13086 16 0 211573 0
vsize: 846356
[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 34846 55 0 0 25 0 11 0 779691488 866668544 25418 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25418 13086 16 0 211573 0
vsize: 846356
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 35827 55 0 0 25 0 11 0 779691488 866668544 25461 4294967295 134512640 134569956 3221224368 3221214640 1131298483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25461 13086 16 0 211573 0
vsize: 846356
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 36799 56 0 0 25 0 11 0 779691488 866668544 25513 4294967295 134512640 134569956 3221224368 3221214592 1131209169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25513 13086 16 0 211573 0
vsize: 846356
[startup+390.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 37770 56 0 0 25 0 11 0 779691488 866668544 25528 4294967295 134512640 134569956 3221224368 3221214640 1131298875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25528 13086 16 0 211573 0
vsize: 846356
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 38738 56 0 0 25 0 11 0 779691488 866668544 25597 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25597 13086 16 0 211573 0
vsize: 846356
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 39704 57 0 0 24 0 11 0 779691488 866668544 25684 4294967295 134512640 134569956 3221224368 3221214744 1131288645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25684 13086 16 0 211573 0
vsize: 846356
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 40671 57 0 0 25 0 11 0 779691488 866668544 25731 4294967295 134512640 134569956 3221224368 3221214640 1131299668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25731 13086 16 0 211573 0
vsize: 846356
[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 41641 58 0 0 25 0 11 0 779691488 866668544 25825 4294967295 134512640 134569956 3221224368 3221214640 1131298826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 25825 13086 16 0 211573 0
vsize: 846356
[startup+440.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 42622 58 0 0 25 0 11 0 779691488 866668544 26000 4294967295 134512640 134569956 3221224368 3221214448 1131277970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26000 13086 16 0 211573 0
vsize: 846356
[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 43613 59 0 0 25 0 11 0 779691488 866668544 26055 4294967295 134512640 134569956 3221224368 3221214464 1131327245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26055 13086 16 0 211573 0
vsize: 846356
[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 44606 59 0 0 25 0 11 0 779691488 866668544 26060 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26060 13086 16 0 211573 0
vsize: 846356
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10735
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 45595 59 0 0 25 0 11 0 779691488 866668544 26069 4294967295 134512640 134569956 3221224368 3221214696 1131189532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26069 13086 16 0 211573 0
vsize: 846356
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 46577 59 0 0 25 0 11 0 779691488 866668544 26071 4294967295 134512640 134569956 3221224368 3221214696 1131189522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26071 13086 16 0 211573 0
vsize: 846356
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 47558 60 0 0 25 0 11 0 779691488 866668544 26071 4294967295 134512640 134569956 3221224368 3221214460 1131318313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26071 13086 16 0 211573 0
vsize: 846356
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 48544 60 0 0 25 0 11 0 779691488 866668544 26122 4294967295 134512640 134569956 3221224368 3221214552 1131318951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26122 13086 16 0 211573 0
vsize: 846356
[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 49533 61 0 0 25 0 11 0 779691488 866668544 26155 4294967295 134512640 134569956 3221224368 3221214464 1131277846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26155 13086 16 0 211573 0
vsize: 846356
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 50526 61 0 0 25 0 11 0 779691488 866668544 26197 4294967295 134512640 134569956 3221224368 3221214268 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26197 13086 16 0 211573 0
vsize: 846356
[startup+530.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 51513 62 0 0 25 0 11 0 779691488 866668544 26200 4294967295 134512640 134569956 3221224368 3221214464 1131325167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26200 13086 16 0 211573 0
vsize: 846356
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 52500 62 0 0 25 0 11 0 779691488 866668544 26205 4294967295 134512640 134569956 3221224368 3221214600 1131600248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26205 13086 16 0 211573 0
vsize: 846356
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 53482 63 0 0 24 0 11 0 779691488 866668544 26205 4294967295 134512640 134569956 3221224368 3221214272 1131600273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26205 13086 16 0 211573 0
vsize: 846356
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 54461 63 0 0 25 0 11 0 779691488 866668544 26231 4294967295 134512640 134569956 3221224368 3221214744 1131289453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26231 13086 16 0 211573 0
vsize: 846356
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 55441 63 0 0 25 0 11 0 779691488 866668544 26290 4294967295 134512640 134569956 3221224368 3221214456 1131616702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26290 13086 16 0 211573 0
vsize: 846356
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 56427 64 0 0 25 0 11 0 779691488 866668544 26349 4294967295 134512640 134569956 3221224368 3221214592 1131208221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26349 13086 16 0 211573 0
vsize: 846356
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 57416 64 0 0 25 0 11 0 779691488 866668544 26377 4294967295 134512640 134569956 3221224368 3221214640 1131299378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26377 13086 16 0 211573 0
vsize: 846356
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 58402 64 0 0 25 0 11 0 779691488 866668544 26385 4294967295 134512640 134569956 3221224368 3221214740 1131189609 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26385 13086 16 0 211573 0
vsize: 846356
[startup+610.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 59385 65 0 0 24 0 11 0 779691488 866668544 26385 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26385 13086 16 0 211573 0
vsize: 846356
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 60369 65 0 0 25 0 11 0 779691488 866668544 26439 4294967295 134512640 134569956 3221224368 3221214592 1131208186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26439 13086 16 0 211573 0
vsize: 846356
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 61360 66 0 0 25 0 11 0 779691488 866668544 26458 4294967295 134512640 134569956 3221224368 3221214568 1085632301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26458 13086 16 0 211573 0
vsize: 846356
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 62346 66 0 0 25 0 11 0 779691488 866668544 26459 4294967295 134512640 134569956 3221224368 3221214640 1131298542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26459 13086 16 0 211573 0
vsize: 846356
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 63335 66 0 0 25 0 11 0 779691488 866668544 26470 4294967295 134512640 134569956 3221224368 3221214640 1131298412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26470 13086 16 0 211573 0
vsize: 846356
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 64322 67 0 0 25 0 11 0 779691488 866668544 26485 4294967295 134512640 134569956 3221224368 3221214648 1131617514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26485 13086 16 0 211573 0
vsize: 846356
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 65307 67 0 0 25 0 11 0 779691488 866668544 26535 4294967295 134512640 134569956 3221224368 3221214408 1131600248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26535 13086 16 0 211573 0
vsize: 846356
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 66293 68 0 0 25 0 11 0 779691488 866668544 26536 4294967295 134512640 134569956 3221224368 3221214640 1131298894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26536 13086 16 0 211573 0
vsize: 846356
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 67274 68 0 0 25 0 11 0 779691488 866668544 26540 4294967295 134512640 134569956 3221224368 3221214504 1131600177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26540 13086 16 0 211573 0
vsize: 846356
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10736
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 68248 68 0 0 25 0 11 0 779691488 866668544 26582 4294967295 134512640 134569956 3221224368 3221214640 1131298978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26582 13086 16 0 211573 0
vsize: 846356
[startup+710.049 s]
Raw data (loadavg): 1.23 1.05 1.02 4/69 10788
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 69224 69 0 0 25 0 11 0 779691488 866668544 26639 4294967295 134512640 134569956 3221224368 3221214640 1131298665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211589 26639 13086 16 0 211573 0
vsize: 846356
[startup+720.049 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 70207 70 0 0 25 0 11 0 779691488 866668544 26713 4294967295 134512640 134569956 3221224368 3221214640 1131298476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26713 13086 16 0 211573 0
vsize: 846356
[startup+730.05 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 71195 70 0 0 25 0 11 0 779691488 866668544 26741 4294967295 134512640 134569956 3221224368 3221214640 1131298836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26741 13086 16 0 211573 0
vsize: 846356
[startup+740.051 s]
Raw data (loadavg): 1.14 1.04 1.01 3/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 72179 71 0 0 24 0 11 0 779691488 866668544 26742 4294967295 134512640 134569956 3221224368 3221213192 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26742 13086 16 0 211573 0
vsize: 846356
[startup+750.052 s]
Raw data (loadavg): 1.11 1.04 1.01 2/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 73162 71 0 0 25 0 11 0 779691488 866668544 26743 4294967295 134512640 134569956 3221224368 3221214464 1131325540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26743 13086 16 0 211573 0
vsize: 846356
[startup+760.053 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 74141 72 0 0 25 0 11 0 779691488 866668544 26746 4294967295 134512640 134569956 3221224368 3221214500 1130885141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26746 13086 16 0 211573 0
vsize: 846356
[startup+770.053 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 10789
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 75124 72 0 0 25 0 11 0 779691488 866668544 26809 4294967295 134512640 134569956 3221224368 3221214536 1131313198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26809 13086 16 0 211573 0
vsize: 846356
[startup+780.053 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 76110 73 0 0 25 0 11 0 779691488 866668544 26825 4294967295 134512640 134569956 3221224368 3221214744 1131289449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26825 13086 16 0 211573 0
vsize: 846356
[startup+790.053 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 77095 73 0 0 25 0 11 0 779691488 866668544 26889 4294967295 134512640 134569956 3221224368 3221214360 1131615512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26889 13086 16 0 211573 0
vsize: 846356
[startup+800.055 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 78079 73 0 0 25 0 11 0 779691488 866668544 26902 4294967295 134512640 134569956 3221224368 3221214456 1131616748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26902 13086 16 0 211573 0
vsize: 846356
[startup+810.055 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 79063 74 0 0 25 0 11 0 779691488 866668544 26914 4294967295 134512640 134569956 3221224368 3221214640 1131299028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26914 13086 16 0 211573 0
vsize: 846356
[startup+820.056 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 80042 74 0 0 25 0 11 0 779691488 866668544 26957 4294967295 134512640 134569956 3221224368 3221214640 1131298430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26957 13086 16 0 211573 0
vsize: 846356
[startup+830.056 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 81024 74 0 0 25 0 11 0 779691488 866668544 26983 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 26983 13086 16 0 211573 0
vsize: 846356
[startup+840.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 82007 75 0 0 25 0 11 0 779691488 866668544 27030 4294967295 134512640 134569956 3221224368 3221214640 1131298794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27030 13086 16 0 211573 0
vsize: 846356
[startup+850.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 82990 75 0 0 25 0 11 0 779691488 866668544 27042 4294967295 134512640 134569956 3221224368 3221214640 1131298483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27042 13086 16 0 211573 0
vsize: 846356
[startup+860.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 83974 76 0 0 25 0 11 0 779691488 866668544 27081 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27081 13086 16 0 211573 0
vsize: 846356
[startup+870.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 84961 76 0 0 25 0 11 0 779691488 866668544 27112 4294967295 134512640 134569956 3221224368 3221214640 1131299321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27112 13086 16 0 211573 0
vsize: 846356
[startup+880.058 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 85947 77 0 0 25 0 11 0 779691488 866668544 27133 4294967295 134512640 134569956 3221224368 3221214640 1131299385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27133 13086 16 0 211573 0
vsize: 846356
[startup+890.059 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 86934 77 0 0 25 0 11 0 779691488 866668544 27139 4294967295 134512640 134569956 3221224368 3221214448 1131318329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27139 13086 16 0 211573 0
vsize: 846356
[startup+900.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 87907 78 0 0 25 0 11 0 779691488 866668544 27147 4294967295 134512640 134569956 3221224368 3221214696 1131189376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27147 13086 16 0 211573 0
vsize: 846356
[startup+910.059 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 88879 78 0 0 25 0 11 0 779691488 866668544 27158 4294967295 134512640 134569956 3221224368 3221214640 1131298869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27158 13086 16 0 211573 0
vsize: 846356
[startup+920.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 89854 78 0 0 25 0 11 0 779691488 866668544 27223 4294967295 134512640 134569956 3221224368 3221214744 1131289449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27223 13086 16 0 211573 0
vsize: 846356
[startup+930.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 90826 79 0 0 25 0 11 0 779691488 866668544 27323 4294967295 134512640 134569956 3221224368 3221214464 1131277713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27323 13086 16 0 211573 0
vsize: 846356
[startup+940.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 91812 79 0 0 25 0 11 0 779691488 866668544 27374 4294967295 134512640 134569956 3221224368 3221214640 1131299324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27374 13086 16 0 211573 0
vsize: 846356
[startup+950.062 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 92799 79 0 0 25 0 11 0 779691488 866668544 27419 4294967295 134512640 134569956 3221224368 3221214696 1131189468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27419 13086 16 0 211573 0
vsize: 846356
[startup+960.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 93788 79 0 0 25 0 11 0 779691488 866668544 27432 4294967295 134512640 134569956 3221224368 3221214524 1131230843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27432 13086 16 0 211573 0
vsize: 846356
[startup+970.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 94780 80 0 0 25 0 11 0 779691488 866668544 27438 4294967295 134512640 134569956 3221224368 3221214640 1131298929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27438 13086 16 0 211573 0
vsize: 846356
[startup+980.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 95767 80 0 0 25 0 11 0 779691488 866668544 27456 4294967295 134512640 134569956 3221224368 3221214264 1131599176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27456 13086 16 0 211573 0
vsize: 846356
[startup+990.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 96754 80 0 0 25 0 11 0 779691488 866668544 27458 4294967295 134512640 134569956 3221224368 3221214680 1131229560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27458 13086 16 0 211573 0
vsize: 846356
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 97736 81 0 0 25 0 11 0 779691488 866668544 27461 4294967295 134512640 134569956 3221224368 3221214464 1131325762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27461 13086 16 0 211573 0
vsize: 846356
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10791
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 98712 81 0 0 25 0 11 0 779691488 866668544 27461 4294967295 134512640 134569956 3221224368 3221214640 1131299416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27461 13086 16 0 211573 0
vsize: 846356
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 99693 82 0 0 25 0 11 0 779691488 866668544 27526 4294967295 134512640 134569956 3221224368 3221214640 1131298862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27526 13086 16 0 211573 0
vsize: 846356
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10793
Raw data (stat): 10721 (java) S 10720 32284 32283 0 -1 0 18147 4 1 0 100665 83 0 0 25 0 11 0 779691488 866668544 27542 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27542 13086 16 0 211573 0
vsize: 846356
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 101641 83 0 0 24 0 11 0 779691488 866668544 27593 4294967295 134512640 134569956 3221224368 3221214592 1131208569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27593 13086 16 0 211573 0
vsize: 846356
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 102617 84 0 0 25 0 11 0 779691488 866668544 27633 4294967295 134512640 134569956 3221224368 3221214696 1131189393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27633 13086 16 0 211573 0
vsize: 846356
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 103596 84 0 0 25 0 11 0 779691488 866668544 27770 4294967295 134512640 134569956 3221224368 3221214640 1131298542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27770 13086 16 0 211573 0
vsize: 846356
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 104585 84 0 0 25 0 11 0 779691488 866668544 27776 4294967295 134512640 134569956 3221224368 3221214696 1131189369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27776 13086 16 0 211573 0
vsize: 846356
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 105575 85 0 0 25 0 11 0 779691488 866668544 27806 4294967295 134512640 134569956 3221224368 3221214676 1131230843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27806 13086 16 0 211573 0
vsize: 846356
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 106564 85 0 0 25 0 11 0 779691488 866668544 27807 4294967295 134512640 134569956 3221224368 3221214640 1131298414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27807 13086 16 0 211573 0
vsize: 846356
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 107551 85 0 0 25 0 11 0 779691488 866668544 27809 4294967295 134512640 134569956 3221224368 3221214592 1131208569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27809 13086 16 0 211573 0
vsize: 846356
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 108539 85 0 0 25 0 11 0 779691488 866668544 27811 4294967295 134512640 134569956 3221224368 3221214636 1131209188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27811 13086 16 0 211573 0
vsize: 846356
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 109521 86 0 0 25 0 11 0 779691488 866668544 27851 4294967295 134512640 134569956 3221224368 3221214640 1131299267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27851 13086 16 0 211573 0
vsize: 846356
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 110507 86 0 0 25 0 11 0 779691488 866668544 27856 4294967295 134512640 134569956 3221224368 3221214648 1131619386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27856 13086 16 0 211573 0
vsize: 846356
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 111492 86 0 0 25 0 11 0 779691488 866668544 27872 4294967295 134512640 134569956 3221224368 3221214596 1131600272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27872 13086 16 0 211573 0
vsize: 846356
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 112479 87 0 0 25 0 11 0 779691488 866668544 27902 4294967295 134512640 134569956 3221224368 3221214640 1131299138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27902 13086 16 0 211573 0
vsize: 846356
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 113468 87 0 0 24 0 11 0 779691488 866668544 27915 4294967295 134512640 134569956 3221224368 3221214640 1131299342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27915 13086 16 0 211573 0
vsize: 846356
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 114460 87 0 0 25 0 11 0 779691488 866668544 27918 4294967295 134512640 134569956 3221224368 3221214696 1131189376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27918 13086 16 0 211573 0
vsize: 846356
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 115452 88 0 0 25 0 11 0 779691488 866668544 27932 4294967295 134512640 134569956 3221224368 3221214640 1131298955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27932 13086 16 0 211573 0
vsize: 846356
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 116444 88 0 0 25 0 11 0 779691488 866668544 27938 4294967295 134512640 134569956 3221224368 3221214744 1131288481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27938 13086 16 0 211573 0
vsize: 846356
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 117434 88 0 0 25 0 11 0 779691488 866668544 27938 4294967295 134512640 134569956 3221224368 3221214640 1131298449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27938 13086 16 0 211573 0
vsize: 846356
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 118421 89 0 0 25 0 11 0 779691488 866668544 27947 4294967295 134512640 134569956 3221224368 3221214544 1131190480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27947 13086 16 0 211573 0
vsize: 846356
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 119407 89 0 0 25 0 11 0 779691488 866668544 27949 4294967295 134512640 134569956 3221224368 3221214448 1131277848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27949 13086 16 0 211573 0
vsize: 846356
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 10793
Raw data (stat): 10721 (java) R 10720 32284 32283 0 -1 0 18147 4 1 0 120392 90 0 0 25 0 11 0 779691488 866668544 27965 4294967295 134512640 134569956 3221224368 3221214696 1131189393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211589 27965 13086 16 0 211573 0
vsize: 846356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.37 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10795
Raw data (stat): 10721 (java) Z 10720 32284 32283 0 -1 1036 18147 14186 1 0 120416 95 3840 43 25 0 1 0 779691488 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): 1230.37
CPU time (s): 1243.96
CPU user time (s): 1242.57
CPU system time (s): 1.38679
CPU usage (%): 101.104
Max. virtual memory (Kb): 846356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1628427484334760
#### END VERIFIER DATA ####