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/miplib/normalized-mps-v2-20-10-bell3a.opb
MD5SUM	20897ed4b3cd94cc1a84b64d339b40e4
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	1252.45
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 29509

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        756736 kB
Buffers:         29764 kB
Cached:         225664 kB
SwapCached:        524 kB
Active:          74768 kB
Inactive:       182824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        756484 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5332 kB
Slab:            14616 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:46:24 (client local time) WITH STATUS 143 IN 1252.45 SECONDS
stats: 20912 0 1252.45 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/wulflinc17/normalized-mps-v2-20-10-bell3a.opb
c reading problem ... done. Time 3.457 ms.
c #vars     2219
c #constraints  151
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=    7389636589126850 		Current CPU time: 55.77 ms
c CURRENT OPTIMUM=    4344865108638375 		Current CPU time: 88.94 ms
c CURRENT OPTIMUM=    4228326620898260 		Current CPU time: 231.23 ms
c CURRENT OPTIMUM=    4038110506434560 		Current CPU time: 311.09 ms
c CURRENT OPTIMUM=    1628427484334760 		Current CPU time: 451.82 ms
c starts	: 11
c conflicts	: 813
c decisions	: 63987
c propagations	: 110558
c inspects	: 444422
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 813
c root simplifications	: 76
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.298
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 20200
Raw data (stat): 20200 (runsolver) R 20199 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837436938 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.0004 s]
Raw data (loadavg): 1.01 1.00 0.99 4/64 20210
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18095 0 1 0 662 40 0 0 25 0 11 0 837436938 865685504 21701 4294967295 134512640 134569956 3221224368 3221214440 1131254766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211349 21701 13086 16 0 211333 0
vsize: 845396
[startup+20.0007 s]
Raw data (loadavg): 1.08 1.02 1.00 3/64 20210
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18098 0 1 0 1528 40 0 0 25 0 11 0 837436938 867999744 22744 4294967295 134512640 134569956 3221224368 3221214512 1131254781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211914 22744 13086 16 0 211898 0
vsize: 847656
[startup+30.0061 s]
Raw data (loadavg): 1.14 1.03 1.00 2/64 20210
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18098 0 1 0 2494 40 0 0 25 0 11 0 837436938 865300480 22354 4294967295 134512640 134569956 3221224368 3221214624 1131315420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211255 22354 13086 16 0 211239 0
vsize: 845020
[startup+40.0062 s]
Raw data (loadavg): 1.12 1.03 1.00 2/64 20210
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18098 0 1 0 3454 40 0 0 25 0 11 0 837436938 864120832 22248 4294967295 134512640 134569956 3221224368 3221214536 1131325095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 22248 13086 16 0 210951 0
vsize: 843868
[startup+50.0066 s]
Raw data (loadavg): 1.10 1.03 1.00 4/64 20210
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18099 0 1 0 4402 40 0 0 25 0 11 0 837436938 864120832 22604 4294967295 134512640 134569956 3221224368 3221213944 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 22604 13086 16 0 210951 0
vsize: 843868
[startup+60.0065 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 20211
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 5341 41 0 0 25 0 11 0 837436938 864120832 23043 4294967295 134512640 134569956 3221224368 3221214576 1131265842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 23043 13086 16 0 210951 0
vsize: 843868
[startup+70.0072 s]
Raw data (loadavg): 1.07 1.03 1.00 3/64 20211
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 6290 41 0 0 25 0 11 0 837436938 864120832 23387 4294967295 134512640 134569956 3221224368 3221214576 1131265964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 23387 13086 16 0 210951 0
vsize: 843868
[startup+80.0073 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 20211
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 7231 42 0 0 25 0 11 0 837436938 864120832 23551 4294967295 134512640 134569956 3221224368 3221214576 1131265900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 23551 13086 16 0 210951 0
vsize: 843868
[startup+90.0078 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 8172 42 0 0 25 0 11 0 837436938 864120832 23593 4294967295 134512640 134569956 3221224368 3221214672 1131501091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 23593 13086 16 0 210951 0
vsize: 843868
[startup+100.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 9104 42 0 0 25 0 11 0 837436938 864120832 23731 4294967295 134512640 134569956 3221224368 3221214560 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 23731 13086 16 0 210951 0
vsize: 843868
[startup+110.009 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 10040 43 0 0 25 0 11 0 837436938 864120832 24083 4294967295 134512640 134569956 3221224368 3221214600 1131698868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24083 13086 16 0 210951 0
vsize: 843868
[startup+120.009 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 11008 43 0 0 25 0 11 0 837436938 864120832 24350 4294967295 134512640 134569956 3221224368 3221214456 1131324925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 24350 13086 16 0 210951 0
vsize: 843868
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 11987 43 0 0 25 0 11 0 837436938 864120832 24465 4294967295 134512640 134569956 3221224368 3221214544 1131314891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24465 13086 16 0 210951 0
vsize: 843868
[startup+140.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 12970 44 0 0 25 0 11 0 837436938 864120832 24569 4294967295 134512640 134569956 3221224368 3221214672 1131501232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24569 13086 16 0 210951 0
vsize: 843868
[startup+150.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 13956 44 0 0 25 0 11 0 837436938 864120832 24608 4294967295 134512640 134569956 3221224368 3221214544 1131301399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24608 13086 16 0 210951 0
vsize: 843868
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 14944 44 0 0 25 0 11 0 837436938 864120832 24614 4294967295 134512640 134569956 3221224368 3221214456 1131326020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24614 13086 16 0 210951 0
vsize: 843868
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 15926 45 0 0 25 0 11 0 837436938 864120832 24641 4294967295 134512640 134569956 3221224368 3221214672 1131496153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24641 13086 16 0 210951 0
vsize: 843868
[startup+180.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 16913 45 0 0 25 0 11 0 837436938 864120832 24688 4294967295 134512640 134569956 3221224368 3221214584 1131266661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 24688 13086 16 0 210951 0
vsize: 843868
[startup+190.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 17891 45 0 0 25 0 11 0 837436938 864120832 24694 4294967295 134512640 134569956 3221224368 3221214672 1131498384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24694 13086 16 0 210951 0
vsize: 843868
[startup+200.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 18870 46 0 0 25 0 11 0 837436938 864120832 24726 4294967295 134512640 134569956 3221224368 3221214368 1131670649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24726 13086 16 0 210951 0
vsize: 843868
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 19851 47 0 0 25 0 11 0 837436938 864120832 24790 4294967295 134512640 134569956 3221224368 3221214672 1131496387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24790 13086 16 0 210951 0
vsize: 843868
[startup+220.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 20840 47 0 0 25 0 11 0 837436938 864120832 24861 4294967295 134512640 134569956 3221224368 3221214456 1131326724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24861 13086 16 0 210951 0
vsize: 843868
[startup+230.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20212
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 21832 47 0 0 25 0 11 0 837436938 864120832 24873 4294967295 134512640 134569956 3221224368 3221214560 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24873 13086 16 0 210951 0
vsize: 843868
[startup+240.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 22821 47 0 0 25 0 11 0 837436938 864120832 24887 4294967295 134512640 134569956 3221224368 3221214584 1131266695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24887 13086 16 0 210951 0
vsize: 843868
[startup+250.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 23807 48 0 0 25 0 11 0 837436938 864120832 24903 4294967295 134512640 134569956 3221224368 3221214432 1131254781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 24903 13086 16 0 210951 0
vsize: 843868
[startup+260.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 24794 48 0 0 25 0 11 0 837436938 864120832 24904 4294967295 134512640 134569956 3221224368 3221214672 1131501186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24904 13086 16 0 210951 0
vsize: 843868
[startup+270.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 25776 48 0 0 24 0 11 0 837436938 864120832 24920 4294967295 134512640 134569956 3221224368 3221214672 1131498363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24920 13086 16 0 210951 0
vsize: 843868
[startup+280.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 26759 49 0 0 25 0 11 0 837436938 864120832 24963 4294967295 134512640 134569956 3221224368 3221214584 1131266423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 24963 13086 16 0 210951 0
vsize: 843868
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 27745 49 0 0 25 0 11 0 837436938 864120832 25030 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25030 13086 16 0 210951 0
vsize: 843868
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 28734 50 0 0 25 0 11 0 837436938 864120832 25049 4294967295 134512640 134569956 3221224368 3221214432 1131254834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25049 13086 16 0 210951 0
vsize: 843868
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20213
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 29726 50 0 0 25 0 11 0 837436938 864120832 25054 4294967295 134512640 134569956 3221224368 3221214584 1131266698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25054 13086 16 0 210951 0
vsize: 843868
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 30712 50 0 0 25 0 11 0 837436938 864120832 25082 4294967295 134512640 134569956 3221224368 3221214584 1131266383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25082 13086 16 0 210951 0
vsize: 843868
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 31697 51 0 0 24 0 11 0 837436938 864120832 25095 4294967295 134512640 134569956 3221224368 3221214584 1131266730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25095 13086 16 0 210951 0
vsize: 843868
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 32680 51 0 0 25 0 11 0 837436938 864120832 25095 4294967295 134512640 134569956 3221224368 3221214364 1131670736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25095 13086 16 0 210951 0
vsize: 843868
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 33659 52 0 0 25 0 11 0 837436938 864120832 25164 4294967295 134512640 134569956 3221224368 3221214640 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25164 13086 16 0 210951 0
vsize: 843868
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 34633 53 0 0 24 0 11 0 837436938 864120832 25203 4294967295 134512640 134569956 3221224368 3221214584 1131266387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25203 13086 16 0 210951 0
vsize: 843868
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 35610 53 0 0 25 0 11 0 837436938 864120832 25219 4294967295 134512640 134569956 3221224368 3221214452 1131672076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25219 13086 16 0 210951 0
vsize: 843868
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 36578 53 0 0 25 0 11 0 837436938 864120832 25251 4294967295 134512640 134569956 3221224368 3221214672 1131501111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25251 13086 16 0 210951 0
vsize: 843868
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 37537 53 0 0 25 0 11 0 837436938 864120832 25353 4294967295 134512640 134569956 3221224368 3221214584 1131266904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 25353 13086 16 0 210951 0
vsize: 843868
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 38502 53 0 0 25 0 11 0 837436938 864120832 25430 4294967295 134512640 134569956 3221224368 3221214584 1131266266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25430 13086 16 0 210951 0
vsize: 843868
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 39473 54 0 0 25 0 11 0 837436938 864120832 25458 4294967295 134512640 134569956 3221224368 3221214672 1131501186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25458 13086 16 0 210951 0
vsize: 843868
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 40445 55 0 0 25 0 11 0 837436938 864120832 25635 4294967295 134512640 134569956 3221224368 3221214672 1131497549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25635 13086 16 0 210951 0
vsize: 843868
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 41433 55 0 0 25 0 11 0 837436938 864120832 25755 4294967295 134512640 134569956 3221224368 3221214500 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25755 13086 16 0 210951 0
vsize: 843868
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 42425 55 0 0 25 0 11 0 837436938 864120832 25761 4294967295 134512640 134569956 3221224368 3221214408 1131672322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25761 13086 16 0 210951 0
vsize: 843868
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20214
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 43415 55 0 0 25 0 11 0 837436938 864120832 25770 4294967295 134512640 134569956 3221224368 3221214672 1131498244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25770 13086 16 0 210951 0
vsize: 843868
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 44397 55 0 0 25 0 11 0 837436938 864120832 25772 4294967295 134512640 134569956 3221224368 3221214456 1131669012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25772 13086 16 0 210951 0
vsize: 843868
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 45378 55 0 0 25 0 11 0 837436938 864120832 25772 4294967295 134512640 134569956 3221224368 3221214528 1131196633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25772 13086 16 0 210951 0
vsize: 843868
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 46362 56 0 0 25 0 11 0 837436938 864120832 25823 4294967295 134512640 134569956 3221224368 3221214540 1131254380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25823 13086 16 0 210951 0
vsize: 843868
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 47351 56 0 0 25 0 11 0 837436938 864120832 25856 4294967295 134512640 134569956 3221224368 3221214432 1131254563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25856 13086 16 0 210951 0
vsize: 843868
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 48344 56 0 0 25 0 11 0 837436938 864120832 25898 4294967295 134512640 134569956 3221224368 3221214368 1131672316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25898 13086 16 0 210951 0
vsize: 843868
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 49329 56 0 0 24 0 11 0 837436938 864120832 25901 4294967295 134512640 134569956 3221224368 3221214160 1080216945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25901 13086 16 0 210951 0
vsize: 843868
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 50315 56 0 0 25 0 11 0 837436938 864120832 25906 4294967295 134512640 134569956 3221224368 3221214280 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25906 13086 16 0 210951 0
vsize: 843868
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 51297 57 0 0 25 0 11 0 837436938 864120832 25906 4294967295 134512640 134569956 3221224368 3221214672 1131501111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25906 13086 16 0 210951 0
vsize: 843868
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 52273 57 0 0 25 0 11 0 837436938 864120832 25970 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 25970 13086 16 0 210951 0
vsize: 843868
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 53255 57 0 0 25 0 11 0 837436938 864120832 26003 4294967295 134512640 134569956 3221224368 3221214584 1131266371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26003 13086 16 0 210951 0
vsize: 843868
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 54242 57 0 0 25 0 11 0 837436938 864120832 26052 4294967295 134512640 134569956 3221224368 3221214584 1131266737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26052 13086 16 0 210951 0
vsize: 843868
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 55228 58 0 0 25 0 11 0 837436938 864120832 26083 4294967295 134512640 134569956 3221224368 3221214672 1131496387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26083 13086 16 0 210951 0
vsize: 843868
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 56212 58 0 0 25 0 11 0 837436938 864120832 26086 4294967295 134512640 134569956 3221224368 3221214496 1131212505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26086 13086 16 0 210951 0
vsize: 843868
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 57195 58 0 0 25 0 11 0 837436938 864120832 26089 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26089 13086 16 0 210951 0
vsize: 843868
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 58182 59 0 0 25 0 11 0 837436938 864120832 26154 4294967295 134512640 134569956 3221224368 3221214584 1131266387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26154 13086 16 0 210951 0
vsize: 843868
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 59170 59 0 0 25 0 11 0 837436938 864120832 26160 4294967295 134512640 134569956 3221224368 3221214584 1131266640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26160 13086 16 0 210951 0
vsize: 843868
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 60156 59 0 0 25 0 11 0 837436938 864120832 26169 4294967295 134512640 134569956 3221224368 3221214452 1131670736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26169 13086 16 0 210951 0
vsize: 843868
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 61144 60 0 0 25 0 11 0 837436938 864120832 26186 4294967295 134512640 134569956 3221224368 3221214504 1131702109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26186 13086 16 0 210951 0
vsize: 843868
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 62129 60 0 0 25 0 11 0 837436938 864120832 26198 4294967295 134512640 134569956 3221224368 3221214316 1131670800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26198 13086 16 0 210951 0
vsize: 843868
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 63113 60 0 0 25 0 11 0 837436938 864120832 26237 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26237 13086 16 0 210951 0
vsize: 843868
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 64097 61 0 0 25 0 11 0 837436938 864120832 26240 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26240 13086 16 0 210951 0
vsize: 843868
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 65067 62 0 0 24 0 11 0 837436938 864120832 26244 4294967295 134512640 134569956 3221224368 3221214672 1131496355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26244 13086 16 0 210951 0
vsize: 843868
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 66044 62 0 0 25 0 11 0 837436938 864120832 26305 4294967295 134512640 134569956 3221224368 3221214672 1131496355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26305 13086 16 0 210951 0
vsize: 843868
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 67026 62 0 0 25 0 11 0 837436938 864120832 26412 4294967295 134512640 134569956 3221224368 3221214672 1131303472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26412 13086 16 0 210951 0
vsize: 843868
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 68014 63 0 0 25 0 11 0 837436938 864120832 26442 4294967295 134512640 134569956 3221224368 3221214584 1131266387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26442 13086 16 0 210951 0
vsize: 843868
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 68998 63 0 0 25 0 11 0 837436938 864120832 26443 4294967295 134512640 134569956 3221224368 3221214456 1131324925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26443 13086 16 0 210951 0
vsize: 843868
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 69980 63 0 0 25 0 11 0 837436938 864120832 26444 4294967295 134512640 134569956 3221224368 3221214544 1131301406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26444 13086 16 0 210951 0
vsize: 843868
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 70961 63 0 0 25 0 11 0 837436938 864120832 26447 4294967295 134512640 134569956 3221224368 3221214456 1131326721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26447 13086 16 0 210951 0
vsize: 843868
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 71942 64 0 0 25 0 11 0 837436938 864120832 26524 4294967295 134512640 134569956 3221224368 3221214432 1131254742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26524 13086 16 0 210951 0
vsize: 843868
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 72929 64 0 0 25 0 11 0 837436938 864120832 26526 4294967295 134512640 134569956 3221224368 3221214584 1131265853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26526 13086 16 0 210951 0
vsize: 843868
[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 73912 64 0 0 25 0 11 0 837436938 864120832 26602 4294967295 134512640 134569956 3221224368 3221214584 1131266664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26602 13086 16 0 210951 0
vsize: 843868
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 74895 65 0 0 25 0 11 0 837436938 864120832 26603 4294967295 134512640 134569956 3221224368 3221214672 1131497553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26603 13086 16 0 210951 0
vsize: 843868
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 75877 65 0 0 25 0 11 0 837436938 864120832 26616 4294967295 134512640 134569956 3221224368 3221214584 1131265853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26616 13086 16 0 210951 0
vsize: 843868
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 76856 65 0 0 25 0 11 0 837436938 864120832 26658 4294967295 134512640 134569956 3221224368 3221214584 1131266217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26658 13086 16 0 210951 0
vsize: 843868
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 77838 66 0 0 25 0 11 0 837436938 864120832 26684 4294967295 134512640 134569956 3221224368 3221214432 1131255027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26684 13086 16 0 210951 0
vsize: 843868
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 78818 67 0 0 25 0 11 0 837436938 864120832 26741 4294967295 134512640 134569956 3221224368 3221214584 1131265853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26741 13086 16 0 210951 0
vsize: 843868
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 79802 67 0 0 25 0 11 0 837436938 864120832 26744 4294967295 134512640 134569956 3221224368 3221214672 1131496387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26744 13086 16 0 210951 0
vsize: 843868
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 80785 67 0 0 25 0 11 0 837436938 864120832 26807 4294967295 134512640 134569956 3221224368 3221214672 1131496387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26807 13086 16 0 210951 0
vsize: 843868
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 81773 68 0 0 25 0 11 0 837436938 864120832 26831 4294967295 134512640 134569956 3221224368 3221214584 1131266730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26831 13086 16 0 210951 0
vsize: 843868
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 82758 68 0 0 25 0 11 0 837436938 864120832 26840 4294967295 134512640 134569956 3221224368 3221214584 1131266217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26840 13086 16 0 210951 0
vsize: 843868
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 83733 68 0 0 24 0 11 0 837436938 864120832 26842 4294967295 134512640 134569956 3221224368 3221214672 1131496355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26842 13086 16 0 210951 0
vsize: 843868
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 84706 68 0 0 25 0 11 0 837436938 864120832 26850 4294967295 134512640 134569956 3221224368 3221214672 1131496387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26850 13086 16 0 210951 0
vsize: 843868
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 85677 68 0 0 25 0 11 0 837436938 864120832 26913 4294967295 134512640 134569956 3221224368 3221214360 1131672328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26913 13086 16 0 210951 0
vsize: 843868
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 86648 69 0 0 25 0 11 0 837436938 864120832 26988 4294967295 134512640 134569956 3221224368 3221214544 1131301395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 26988 13086 16 0 210951 0
vsize: 843868
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 87632 69 0 0 25 0 11 0 837436938 864120832 27075 4294967295 134512640 134569956 3221224368 3221214288 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27075 13086 16 0 210951 0
vsize: 843868
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 88618 69 0 0 25 0 11 0 837436938 864120832 27120 4294967295 134512640 134569956 3221224368 3221214496 1131211892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27120 13086 16 0 210951 0
vsize: 843868
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 89606 70 0 0 25 0 11 0 837436938 864120832 27133 4294967295 134512640 134569956 3221224368 3221214500 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27133 13086 16 0 210951 0
vsize: 843868
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 90597 70 0 0 25 0 11 0 837436938 864120832 27139 4294967295 134512640 134569956 3221224368 3221214584 1131266287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27139 13086 16 0 210951 0
vsize: 843868
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 91584 71 0 0 25 0 11 0 837436938 864120832 27157 4294967295 134512640 134569956 3221224368 3221214368 1131672160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27157 13086 16 0 210951 0
vsize: 843868
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 92571 71 0 0 25 0 11 0 837436938 864120832 27159 4294967295 134512640 134569956 3221224368 3221214268 1131670800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27159 13086 16 0 210951 0
vsize: 843868
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 93549 72 0 0 25 0 11 0 837436938 864120832 27162 4294967295 134512640 134569956 3221224368 3221214432 1131254781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27162 13086 16 0 210951 0
vsize: 843868
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 94524 72 0 0 25 0 11 0 837436938 864120832 27162 4294967295 134512640 134569956 3221224368 3221214600 1131699588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27162 13086 16 0 210951 0
vsize: 843868
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 95502 72 0 0 25 0 11 0 837436938 864120832 27229 4294967295 134512640 134569956 3221224368 3221214672 1131496179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27229 13086 16 0 210951 0
vsize: 843868
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 96478 72 0 0 25 0 11 0 837436938 864120832 27243 4294967295 134512640 134569956 3221224368 3221214552 1131670812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27243 13086 16 0 210951 0
vsize: 843868
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 97452 73 0 0 25 0 11 0 837436938 864120832 27334 4294967295 134512640 134569956 3221224368 3221214672 1131496314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27334 13086 16 0 210951 0
vsize: 843868
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 98422 73 0 0 25 0 11 0 837436938 864120832 27418 4294967295 134512640 134569956 3221224368 3221214320 1131672316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27418 13086 16 0 210951 0
vsize: 843868
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 99407 73 0 0 25 0 11 0 837436938 864120832 27471 4294967295 134512640 134569956 3221224368 3221214584 1131265842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27471 13086 16 0 210951 0
vsize: 843868
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 100395 73 0 0 25 0 11 0 837436938 864120832 27496 4294967295 134512640 134569956 3221224368 3221214432 1131254927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27496 13086 16 0 210951 0
vsize: 843868
[startup+1040.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 101385 74 0 0 24 0 11 0 837436938 864120832 27507 4294967295 134512640 134569956 3221224368 3221214584 1131266431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27507 13086 16 0 210951 0
vsize: 843868
[startup+1050.05 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 102372 74 0 0 25 0 11 0 837436938 864120832 27510 4294967295 134512640 134569956 3221224368 3221214600 1131701730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27510 13086 16 0 210951 0
vsize: 843868
[startup+1060.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 103358 75 0 0 25 0 11 0 837436938 864120832 27511 4294967295 134512640 134569956 3221224368 3221214456 1131325033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27511 13086 16 0 210951 0
vsize: 843868
[startup+1070.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 104342 75 0 0 25 0 11 0 837436938 864120832 27513 4294967295 134512640 134569956 3221224368 3221214584 1131266640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27513 13086 16 0 210951 0
vsize: 843868
[startup+1080.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 105326 75 0 0 25 0 11 0 837436938 864120832 27555 4294967295 134512640 134569956 3221224368 3221214272 1131670801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27555 13086 16 0 210951 0
vsize: 843868
[startup+1090.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 106311 75 0 0 25 0 11 0 837436938 864120832 27568 4294967295 134512640 134569956 3221224368 3221214584 1131265772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27568 13086 16 0 210951 0
vsize: 843868
[startup+1100.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 107297 75 0 0 25 0 11 0 837436938 864120832 27594 4294967295 134512640 134569956 3221224368 3221214584 1131266202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27594 13086 16 0 210951 0
vsize: 843868
[startup+1110.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 108284 76 0 0 24 0 11 0 837436938 864120832 27606 4294967295 134512640 134569956 3221224368 3221214672 1131497545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27606 13086 16 0 210951 0
vsize: 843868
[startup+1120.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 109275 76 0 0 25 0 11 0 837436938 864120832 27619 4294967295 134512640 134569956 3221224368 3221214584 1131266771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27619 13086 16 0 210951 0
vsize: 843868
[startup+1130.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 110267 76 0 0 25 0 11 0 837436938 864120832 27633 4294967295 134512640 134569956 3221224368 3221214584 1131266258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27633 13086 16 0 210951 0
vsize: 843868
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 111258 77 0 0 25 0 11 0 837436938 864120832 27639 4294967295 134512640 134569956 3221224368 3221214672 1131496355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27639 13086 16 0 210951 0
vsize: 843868
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 112247 77 0 0 25 0 11 0 837436938 864120832 27639 4294967295 134512640 134569956 3221224368 3221214584 1131265960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27639 13086 16 0 210951 0
vsize: 843868
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 113233 77 0 0 25 0 11 0 837436938 864120832 27649 4294967295 134512640 134569956 3221224368 3221214432 1131256619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27649 13086 16 0 210951 0
vsize: 843868
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 114220 78 0 0 25 0 11 0 837436938 864120832 27650 4294967295 134512640 134569956 3221224368 3221214288 1131441876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27650 13086 16 0 210951 0
vsize: 843868
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 115204 78 0 0 25 0 11 0 837436938 864120832 27666 4294967295 134512640 134569956 3221224368 3221214584 1131266449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27666 13086 16 0 210951 0
vsize: 843868
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 116187 78 0 0 25 0 11 0 837436938 864120832 27700 4294967295 134512640 134569956 3221224368 3221214496 1131211462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27700 13086 16 0 210951 0
vsize: 843868
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 117171 79 0 0 25 0 11 0 837436938 864120832 27710 4294967295 134512640 134569956 3221224368 3221214456 1131324922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27710 13086 16 0 210951 0
vsize: 843868
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 118153 79 0 0 25 0 11 0 837436938 864120832 27710 4294967295 134512640 134569956 3221224368 3221214672 1131501328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27710 13086 16 0 210951 0
vsize: 843868
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 119133 79 0 0 25 0 11 0 837436938 864120832 27770 4294967295 134512640 134569956 3221224368 3221214584 1131265804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27770 13086 16 0 210951 0
vsize: 843868
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20215
Raw data (stat): 20200 (java) R 20199 7475 7474 0 -1 0 18145 3 1 0 120118 79 0 0 25 0 11 0 837436938 864120832 27785 4294967295 134512640 134569956 3221224368 3221214584 1131266158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210967 27785 13086 16 0 210951 0
vsize: 843868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.38 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20217
Raw data (stat): 20200 (java) Z 20199 7475 7474 0 -1 1036 18145 24758 1 0 120144 85 4948 66 25 0 1 0 837436938 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): 1230.38
CPU time (s): 1252.45
CPU user time (s): 1250.93
CPU system time (s): 1.51677
CPU usage (%): 101.794
Max. virtual memory (Kb): 847656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1628427484334760
#### END VERIFIER DATA ####