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-bell3b.opb
MD5SUM	efb36546b6b37df68ff339bb766886b9
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	1780
Biggest coefficient in the objective function	50331648000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	1076758128151185266
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	50331648000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	1076758128151185266
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1225.11
Number of variables	2283
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	195
Trace number 29515

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        830244 kB
Buffers:         29468 kB
Cached:         155220 kB
SwapCached:          0 kB
Active:          60660 kB
Inactive:       126720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        829992 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11288 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 08:48:42 (client local time) WITH STATUS 143 IN 1225.11 SECONDS
stats: 20913 0 1225.11 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/wulflinc3/normalized-mps-v2-20-10-bell3b.opb
c reading problem ... done. Time 3.937 ms.
c #vars     2283
c #constraints  151
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=   51549814387450070 		Current CPU time: 57.39 ms
c CURRENT OPTIMUM=   51548751254661770 		Current CPU time: 79.91 ms
c CURRENT OPTIMUM=   51449084313976770 		Current CPU time: 98.00 ms
c CURRENT OPTIMUM=   51383548313976770 		Current CPU time: 106.58 ms
c CURRENT OPTIMUM=   51367164313976770 		Current CPU time: 116.45 ms
c CURRENT OPTIMUM=   51363068313976770 		Current CPU time: 127.64 ms
c CURRENT OPTIMUM=   51362044313976770 		Current CPU time: 140.22 ms
c CURRENT OPTIMUM=   50840828313976770 		Current CPU time: 154.75 ms
c CURRENT OPTIMUM=    1856564311000550 		Current CPU time: 164.49 ms
c starts	: 15
c conflicts	: 886
c decisions	: 67300
c propagations	: 106443
c inspects	: 534426
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 886
c root simplifications	: 169
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 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 -h7_bit0 -h7_bit1 -h7_bit2 h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 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 -g1_bit10 -g1_bit11 -g1_bit12 -g1_bit13 g2_bit0 g2_bit1 g2_bit2 g2_bit3 g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g2_bit10 -g2_bit11 -g2_bit12 -g2_bit13 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g3_bit10 -g3_bit11 -g3_bit12 -g3_bit13 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g4_bit10 -g4_bit11 -g4_bit12 -g4_bit13 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g5_bit10 -g5_bit11 -g5_bit12 -g5_bit13 -g6_bit0 g6_bit1 g6_bit2 -g6_bit3 g6_bit4 -g6_bit5 -g6_bit6 g6_bit7 -g6_bit8 -g6_bit9 -g6_bit10 -g6_bit11 -g6_bit12 -g6_bit13 -g7_bit0 g7_bit1 g7_bit2 g7_bit3 -g7_bit4 g7_bit5 g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 -g7_bit10 -g7_bit11 -g7_bit12 -g7_bit13 -g9_bit0 g9_bit1 -g9_bit2 g9_bit3 -g9_bit4 g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -g9_bit10 -g9_bit11 -g9_bit12 -g9_bit13 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=1856564311000550
c Total CPU time (ms) : 1229.31
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 31688
Raw data (stat): 31688 (runsolver) R 31687 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779209890 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.0015 s]
Raw data (loadavg): 1.10 1.02 1.01 4/64 31698
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18089 0 1 0 660 38 0 0 24 0 11 0 779209890 866926592 21743 4294967295 134512640 134569956 3221224368 3221214336 1130897667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211652 21743 13086 16 0 211636 0
vsize: 846608
[startup+20.0024 s]
Raw data (loadavg): 1.39 1.08 1.03 2/64 31698
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18125 0 1 0 1451 38 0 0 25 0 11 0 779209890 876449792 24847 4294967295 134512640 134569956 3221224368 3221214660 1130920737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213977 24847 13086 16 0 213961 0
vsize: 855908
[startup+30.0028 s]
Raw data (loadavg): 1.33 1.08 1.02 2/64 31698
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 2396 38 0 0 25 0 11 0 779209890 872361984 24379 4294967295 134512640 134569956 3221224368 3221214608 1131249200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212979 24379 13086 16 0 212963 0
vsize: 851916
[startup+40.003 s]
Raw data (loadavg): 1.28 1.08 1.02 2/64 31698
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 3339 38 0 0 25 0 11 0 779209890 871120896 24309 4294967295 134512640 134569956 3221224368 3221214672 1131421668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 24309 13086 16 0 212660 0
vsize: 850704
[startup+50.0039 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 31698
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 4284 38 0 0 25 0 11 0 779209890 871120896 24569 4294967295 134512640 134569956 3221224368 3221214384 1131573728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 24569 13086 16 0 212660 0
vsize: 850704
[startup+60.0043 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 31699
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 5244 38 0 0 25 0 11 0 779209890 871120896 24622 4294967295 134512640 134569956 3221224368 3221214384 1131573777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 24622 13086 16 0 212660 0
vsize: 850704
[startup+70.0054 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 31699
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 6207 38 0 0 25 0 11 0 779209890 871120896 24753 4294967295 134512640 134569956 3221224368 3221214676 1131574272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 24753 13086 16 0 212660 0
vsize: 850704
[startup+80.0063 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 31699
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 7164 38 0 0 25 0 11 0 779209890 871120896 24906 4294967295 134512640 134569956 3221224368 3221214504 1085679308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 24906 13086 16 0 212660 0
vsize: 850704
[startup+90.0066 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 31700
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 8134 38 0 0 25 0 11 0 779209890 871120896 25006 4294967295 134512640 134569956 3221224368 3221214544 1131270409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25006 13086 16 0 212660 0
vsize: 850704
[startup+100.007 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 31701
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 9099 38 0 0 25 0 11 0 779209890 871120896 25264 4294967295 134512640 134569956 3221224368 3221214544 1131270888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 25264 13086 16 0 212660 0
vsize: 850704
[startup+110.008 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 31702
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 10070 39 0 0 25 0 11 0 779209890 871120896 25470 4294967295 134512640 134569956 3221224368 3221214544 1131270092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25470 13086 16 0 212660 0
vsize: 850704
[startup+120.008 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 31703
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 11051 39 0 0 25 0 11 0 779209890 871120896 25561 4294967295 134512640 134569956 3221224368 3221214544 1131270478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25561 13086 16 0 212660 0
vsize: 850704
[startup+130.01 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 31704
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 12030 39 0 0 25 0 11 0 779209890 871120896 25621 4294967295 134512640 134569956 3221224368 3221214344 1131567920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25621 13086 16 0 212660 0
vsize: 850704
[startup+140.01 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 31704
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 13011 39 0 0 25 0 11 0 779209890 871120896 25667 4294967295 134512640 134569956 3221224368 3221214632 1131423583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25667 13086 16 0 212660 0
vsize: 850704
[startup+150.011 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 31705
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 13996 39 0 0 25 0 11 0 779209890 871120896 25707 4294967295 134512640 134569956 3221224368 3221214544 1131269989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25707 13086 16 0 212660 0
vsize: 850704
[startup+160.012 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 31706
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 14983 39 0 0 25 0 11 0 779209890 871120896 25746 4294967295 134512640 134569956 3221224368 3221214648 1131574309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25746 13086 16 0 212660 0
vsize: 850704
[startup+170.012 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 15960 39 0 0 25 0 11 0 779209890 871120896 25787 4294967295 134512640 134569956 3221224368 3221214400 1085679366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25787 13086 16 0 212660 0
vsize: 850704
[startup+180.012 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 16936 39 0 0 25 0 11 0 779209890 871120896 25789 4294967295 134512640 134569956 3221224368 3221214544 1131270520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25789 13086 16 0 212660 0
vsize: 850704
[startup+190.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 17911 39 0 0 25 0 11 0 779209890 871120896 25846 4294967295 134512640 134569956 3221224368 3221214512 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25846 13086 16 0 212660 0
vsize: 850704
[startup+200.013 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 18884 39 0 0 25 0 11 0 779209890 871120896 25936 4294967295 134512640 134569956 3221224368 3221214588 1131566732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 25936 13086 16 0 212660 0
vsize: 850704
[startup+210.014 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 19860 39 0 0 25 0 11 0 779209890 871120896 26005 4294967295 134512640 134569956 3221224368 3221214544 1131270534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26005 13086 16 0 212660 0
vsize: 850704
[startup+220.014 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 20837 39 0 0 25 0 11 0 779209890 871120896 26049 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26049 13086 16 0 212660 0
vsize: 850704
[startup+230.015 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 21807 39 0 0 25 0 11 0 779209890 871120896 26087 4294967295 134512640 134569956 3221224368 3221214456 1131210593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26087 13086 16 0 212660 0
vsize: 850704
[startup+240.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 22775 39 0 0 25 0 11 0 779209890 871120896 26158 4294967295 134512640 134569956 3221224368 3221214544 1131270447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26158 13086 16 0 212660 0
vsize: 850704
[startup+250.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 23741 39 0 0 25 0 11 0 779209890 871120896 26230 4294967295 134512640 134569956 3221224368 3221214632 1131426432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26230 13086 16 0 212660 0
vsize: 850704
[startup+260.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 24705 39 0 0 25 0 11 0 779209890 871120896 26305 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26305 13086 16 0 212660 0
vsize: 850704
[startup+270.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 25657 40 0 0 25 0 11 0 779209890 871120896 26409 4294967295 134512640 134569956 3221224368 3221214392 1131249429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26409 13086 16 0 212660 0
vsize: 850704
[startup+280.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 26618 40 0 0 25 0 11 0 779209890 871120896 26500 4294967295 134512640 134569956 3221224368 3221214584 1131566741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26500 13086 16 0 212660 0
vsize: 850704
[startup+290.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 27580 40 0 0 25 0 11 0 779209890 871120896 26591 4294967295 134512640 134569956 3221224368 3221214544 1131269981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26591 13086 16 0 212660 0
vsize: 850704
[startup+300.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 28548 40 0 0 25 0 11 0 779209890 871120896 26817 4294967295 134512640 134569956 3221224368 3221214544 1131270616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26817 13086 16 0 212660 0
vsize: 850704
[startup+310.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 29522 40 0 0 25 0 11 0 779209890 871120896 26900 4294967295 134512640 134569956 3221224368 3221214544 1131270030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26900 13086 16 0 212660 0
vsize: 850704
[startup+320.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 30499 40 0 0 25 0 11 0 779209890 871120896 26961 4294967295 134512640 134569956 3221224368 3221214632 1131421622 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26961 13086 16 0 212660 0
vsize: 850704
[startup+330.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 31475 40 0 0 25 0 11 0 779209890 871120896 26998 4294967295 134512640 134569956 3221224368 3221214544 1131270503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 26998 13086 16 0 212660 0
vsize: 850704
[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 32453 40 0 0 25 0 11 0 779209890 871120896 27055 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27055 13086 16 0 212660 0
vsize: 850704
[startup+350.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 33433 40 0 0 25 0 11 0 779209890 871120896 27126 4294967295 134512640 134569956 3221224368 3221214416 1131325813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27126 13086 16 0 212660 0
vsize: 850704
[startup+360.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 34418 40 0 0 25 0 11 0 779209890 871120896 27158 4294967295 134512640 134569956 3221224368 3221214544 1131270439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27158 13086 16 0 212660 0
vsize: 850704
[startup+370.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 35407 40 0 0 25 0 11 0 779209890 871120896 27183 4294967295 134512640 134569956 3221224368 3221214400 1131249563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27183 13086 16 0 212660 0
vsize: 850704
[startup+380.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 36394 40 0 0 24 0 11 0 779209890 871120896 27243 4294967295 134512640 134569956 3221224368 3221214400 1131249225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27243 13086 16 0 212660 0
vsize: 850704
[startup+390.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 37387 40 0 0 25 0 11 0 779209890 871120896 27271 4294967295 134512640 134569956 3221224368 3221214392 1131249169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27271 13086 16 0 212660 0
vsize: 850704
[startup+400.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 38377 41 0 0 25 0 11 0 779209890 871120896 27271 4294967295 134512640 134569956 3221224368 3221214544 1131270402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27271 13086 16 0 212660 0
vsize: 850704
[startup+410.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 39367 41 0 0 25 0 11 0 779209890 871120896 27287 4294967295 134512640 134569956 3221224368 3221214632 1131421461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27287 13086 16 0 212660 0
vsize: 850704
[startup+420.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 40354 41 0 0 25 0 11 0 779209890 871120896 27289 4294967295 134512640 134569956 3221224368 3221214544 1131270505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27289 13086 16 0 212660 0
vsize: 850704
[startup+430.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 41337 41 0 0 25 0 11 0 779209890 871120896 27289 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27289 13086 16 0 212660 0
vsize: 850704
[startup+440.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 42320 41 0 0 25 0 11 0 779209890 871120896 27305 4294967295 134512640 134569956 3221224368 3221214392 1131248932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27305 13086 16 0 212660 0
vsize: 850704
[startup+450.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 43302 41 0 0 24 0 11 0 779209890 871120896 27370 4294967295 134512640 134569956 3221224368 3221214544 1131270449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27370 13086 16 0 212660 0
vsize: 850704
[startup+460.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 44288 41 0 0 25 0 11 0 779209890 871120896 27395 4294967295 134512640 134569956 3221224368 3221214632 1131423579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27395 13086 16 0 212660 0
vsize: 850704
[startup+470.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 45274 42 0 0 25 0 11 0 779209890 871120896 27436 4294967295 134512640 134569956 3221224368 3221214544 1131270582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27436 13086 16 0 212660 0
vsize: 850704
[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 46261 42 0 0 25 0 11 0 779209890 871120896 27455 4294967295 134512640 134569956 3221224368 3221214632 1131426452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27455 13086 16 0 212660 0
vsize: 850704
[startup+490.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 47246 42 0 0 25 0 11 0 779209890 871120896 27467 4294967295 134512640 134569956 3221224368 3221214176 1131568068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27467 13086 16 0 212660 0
vsize: 850704
[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 48224 42 0 0 25 0 11 0 779209890 871120896 27509 4294967295 134512640 134569956 3221224368 3221214632 1131422765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27509 13086 16 0 212660 0
vsize: 850704
[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 49205 42 0 0 25 0 11 0 779209890 871120896 27532 4294967295 134512640 134569956 3221224368 3221214240 1131573777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27532 13086 16 0 212660 0
vsize: 850704
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 50188 42 0 0 25 0 11 0 779209890 871120896 27581 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27581 13086 16 0 212660 0
vsize: 850704
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 51173 42 0 0 25 0 11 0 779209890 871120896 27632 4294967295 134512640 134569956 3221224368 3221214544 1131270124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27632 13086 16 0 212660 0
vsize: 850704
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 52155 42 0 0 25 0 11 0 779209890 871120896 27644 4294967295 134512640 134569956 3221224368 3221214544 1131269977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27644 13086 16 0 212660 0
vsize: 850704
[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 53136 42 0 0 25 0 11 0 779209890 871120896 27685 4294967295 134512640 134569956 3221224368 3221214544 1131573752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27685 13086 16 0 212660 0
vsize: 850704
[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 54118 43 0 0 25 0 11 0 779209890 871120896 27738 4294967295 134512640 134569956 3221224368 3221214576 1131446487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27738 13086 16 0 212660 0
vsize: 850704
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 55104 43 0 0 25 0 11 0 779209890 871120896 27760 4294967295 134512640 134569956 3221224368 3221214544 1131271018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27760 13086 16 0 212660 0
vsize: 850704
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 56092 44 0 0 25 0 11 0 779209890 871120896 27781 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27781 13086 16 0 212660 0
vsize: 850704
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 57079 44 0 0 25 0 11 0 779209890 871120896 27794 4294967295 134512640 134569956 3221224368 3221214544 1131269981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27794 13086 16 0 212660 0
vsize: 850704
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 58063 45 0 0 25 0 11 0 779209890 871120896 27803 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27803 13086 16 0 212660 0
vsize: 850704
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 59043 45 0 0 25 0 11 0 779209890 871120896 27806 4294967295 134512640 134569956 3221224368 3221214428 1131573776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27806 13086 16 0 212660 0
vsize: 850704
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 60023 45 0 0 25 0 11 0 779209890 871120896 27855 4294967295 134512640 134569956 3221224368 3221214544 1131270908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 27855 13086 16 0 212660 0
vsize: 850704
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 61002 46 0 0 25 0 11 0 779209890 871120896 27871 4294967295 134512640 134569956 3221224368 3221214544 1131270905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27871 13086 16 0 212660 0
vsize: 850704
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 61984 46 0 0 25 0 11 0 779209890 871120896 27932 4294967295 134512640 134569956 3221224368 3221214544 1131270527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27932 13086 16 0 212660 0
vsize: 850704
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 62968 46 0 0 25 0 11 0 779209890 871120896 27983 4294967295 134512640 134569956 3221224368 3221214520 1131556538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27983 13086 16 0 212660 0
vsize: 850704
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 63953 46 0 0 25 0 11 0 779209890 871120896 27998 4294967295 134512640 134569956 3221224368 3221214544 1131270042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 27998 13086 16 0 212660 0
vsize: 850704
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 64936 46 0 0 25 0 11 0 779209890 871120896 28007 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28007 13086 16 0 212660 0
vsize: 850704
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 65914 47 0 0 25 0 11 0 779209890 871120896 28057 4294967295 134512640 134569956 3221224368 3221214472 1131574536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28057 13086 16 0 212660 0
vsize: 850704
[startup+690.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 66897 47 0 0 25 0 11 0 779209890 871120896 28071 4294967295 134512640 134569956 3221224368 3221214456 1131211612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28071 13086 16 0 212660 0
vsize: 850704
[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 67882 47 0 0 25 0 11 0 779209890 871120896 28113 4294967295 134512640 134569956 3221224368 3221214544 1131270447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28113 13086 16 0 212660 0
vsize: 850704
[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 68872 48 0 0 25 0 11 0 779209890 871120896 28129 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28129 13086 16 0 212660 0
vsize: 850704
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 69862 48 0 0 25 0 11 0 779209890 871120896 28143 4294967295 134512640 134569956 3221224368 3221214416 1131325696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28143 13086 16 0 212660 0
vsize: 850704
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 70856 48 0 0 25 0 11 0 779209890 871120896 28148 4294967295 134512640 134569956 3221224368 3221214400 1131249421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28148 13086 16 0 212660 0
vsize: 850704
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 71845 48 0 0 25 0 11 0 779209890 871120896 28153 4294967295 134512640 134569956 3221224368 3221214632 1131426344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28153 13086 16 0 212660 0
vsize: 850704
[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 72836 49 0 0 25 0 11 0 779209890 871120896 28162 4294967295 134512640 134569956 3221224368 3221214416 1131324992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28162 13086 16 0 212660 0
vsize: 850704
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 73829 49 0 0 25 0 11 0 779209890 871120896 28162 4294967295 134512640 134569956 3221224368 3221214416 1131326710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28162 13086 16 0 212660 0
vsize: 850704
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 74819 49 0 0 25 0 11 0 779209890 871120896 28181 4294967295 134512640 134569956 3221224368 3221214500 1131249902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28181 13086 16 0 212660 0
vsize: 850704
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 75811 50 0 0 25 0 11 0 779209890 871120896 28183 4294967295 134512640 134569956 3221224368 3221214544 1131270124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28183 13086 16 0 212660 0
vsize: 850704
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 76804 50 0 0 25 0 11 0 779209890 871120896 28186 4294967295 134512640 134569956 3221224368 3221214544 1131270662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28186 13086 16 0 212660 0
vsize: 850704
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 77790 50 0 0 25 0 11 0 779209890 871120896 28186 4294967295 134512640 134569956 3221224368 3221214544 1131271006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28186 13086 16 0 212660 0
vsize: 850704
[startup+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 78775 51 0 0 25 0 11 0 779209890 871120896 28198 4294967295 134512640 134569956 3221224368 3221214544 1131269996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28198 13086 16 0 212660 0
vsize: 850704
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 79762 51 0 0 25 0 11 0 779209890 871120896 28209 4294967295 134512640 134569956 3221224368 3221214544 1131269989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28209 13086 16 0 212660 0
vsize: 850704
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 80743 52 0 0 25 0 11 0 779209890 871120896 28214 4294967295 134512640 134569956 3221224368 3221214632 1131422514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28214 13086 16 0 212660 0
vsize: 850704
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 81731 52 0 0 25 0 11 0 779209890 871120896 28254 4294967295 134512640 134569956 3221224368 3221214288 1131568053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28254 13086 16 0 212660 0
vsize: 850704
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 82715 52 0 0 25 0 11 0 779209890 871120896 28264 4294967295 134512640 134569956 3221224368 3221214632 1131421479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28264 13086 16 0 212660 0
vsize: 850704
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 83694 52 0 0 25 0 11 0 779209890 871120896 28272 4294967295 134512640 134569956 3221224368 3221214496 1131304712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28272 13086 16 0 212660 0
vsize: 850704
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 84677 53 0 0 25 0 11 0 779209890 871120896 28331 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28331 13086 16 0 212660 0
vsize: 850704
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 85661 53 0 0 25 0 11 0 779209890 871120896 28341 4294967295 134512640 134569956 3221224368 3221214392 1131249066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28341 13086 16 0 212660 0
vsize: 850704
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 86646 54 0 0 25 0 11 0 779209890 871120896 28365 4294967295 134512640 134569956 3221224368 3221214416 1131325918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28365 13086 16 0 212660 0
vsize: 850704
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 87630 54 0 0 24 0 11 0 779209890 871120896 28370 4294967295 134512640 134569956 3221224368 3221214416 1131325652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28370 13086 16 0 212660 0
vsize: 850704
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 88617 55 0 0 25 0 11 0 779209890 871120896 28410 4294967295 134512640 134569956 3221224368 3221214504 1131301159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28410 13086 16 0 212660 0
vsize: 850704
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 89605 55 0 0 25 0 11 0 779209890 871120896 28434 4294967295 134512640 134569956 3221224368 3221214488 1131573724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28434 13086 16 0 212660 0
vsize: 850704
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 90593 55 0 0 25 0 11 0 779209890 871120896 28451 4294967295 134512640 134569956 3221224368 3221214632 1131426320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28451 13086 16 0 212660 0
vsize: 850704
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 91581 55 0 0 25 0 11 0 779209890 871120896 28482 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28482 13086 16 0 212660 0
vsize: 850704
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 92565 55 0 0 25 0 11 0 779209890 871120896 28482 4294967295 134512640 134569956 3221224368 3221214096 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28482 13086 16 0 212660 0
vsize: 850704
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 93554 56 0 0 25 0 11 0 779209890 871120896 28534 4294967295 134512640 134569956 3221224368 3221214544 1131270449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28534 13086 16 0 212660 0
vsize: 850704
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 94547 56 0 0 25 0 11 0 779209890 871120896 28543 4294967295 134512640 134569956 3221224368 3221214544 1131270908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28543 13086 16 0 212660 0
vsize: 850704
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 95540 57 0 0 25 0 11 0 779209890 871120896 28554 4294967295 134512640 134569956 3221224368 3221214428 1131573776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28554 13086 16 0 212660 0
vsize: 850704
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 96532 57 0 0 25 0 11 0 779209890 871120896 28555 4294967295 134512640 134569956 3221224368 3221214544 1131270682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28555 13086 16 0 212660 0
vsize: 850704
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 97521 57 0 0 25 0 11 0 779209890 871120896 28556 4294967295 134512640 134569956 3221224368 3221214284 1131568081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28556 13086 16 0 212660 0
vsize: 850704
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 98508 57 0 0 25 0 11 0 779209890 871120896 28561 4294967295 134512640 134569956 3221224368 3221214400 1131249225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28561 13086 16 0 212660 0
vsize: 850704
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 99492 58 0 0 25 0 11 0 779209890 871120896 28564 4294967295 134512640 134569956 3221224368 3221214468 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28564 13086 16 0 212660 0
vsize: 850704
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 100474 58 0 0 24 0 11 0 779209890 871120896 28602 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28602 13086 16 0 212660 0
vsize: 850704
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 101462 59 0 0 25 0 11 0 779209890 871120896 28608 4294967295 134512640 134569956 3221224368 3221214344 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28608 13086 16 0 212660 0
vsize: 850704
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 102445 59 0 0 25 0 11 0 779209890 871120896 28613 4294967295 134512640 134569956 3221224368 3221214544 1131270068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212676 28613 13086 16 0 212660 0
vsize: 850704
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 103426 59 0 0 25 0 11 0 779209890 871120896 28613 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28613 13086 16 0 212660 0
vsize: 850704
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 104409 59 0 0 25 0 11 0 779209890 871120896 28685 4294967295 134512640 134569956 3221224368 3221214544 1131270545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28685 13086 16 0 212660 0
vsize: 850704
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 105399 59 0 0 25 0 11 0 779209890 871120896 28697 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28697 13086 16 0 212660 0
vsize: 850704
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 106385 60 0 0 25 0 11 0 779209890 871120896 28717 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28717 13086 16 0 212660 0
vsize: 850704
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 107375 60 0 0 25 0 11 0 779209890 871120896 28719 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28719 13086 16 0 212660 0
vsize: 850704
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 108363 60 0 0 25 0 11 0 779209890 871120896 28720 4294967295 134512640 134569956 3221224368 3221214544 1131270218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28720 13086 16 0 212660 0
vsize: 850704
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 109349 61 0 0 25 0 11 0 779209890 871120896 28723 4294967295 134512640 134569956 3221224368 3221214544 1131270007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28723 13086 16 0 212660 0
vsize: 850704
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 110337 61 0 0 25 0 11 0 779209890 871120896 28763 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28763 13086 16 0 212660 0
vsize: 850704
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 111330 61 0 0 25 0 11 0 779209890 871120896 28763 4294967295 134512640 134569956 3221224368 3221214632 1131426390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28763 13086 16 0 212660 0
vsize: 850704
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 112318 61 0 0 25 0 11 0 779209890 871120896 28767 4294967295 134512640 134569956 3221224368 3221214760 1131665878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28767 13086 16 0 212660 0
vsize: 850704
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 113300 62 0 0 25 0 11 0 779209890 871120896 28789 4294967295 134512640 134569956 3221224368 3221214544 1131270018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28789 13086 16 0 212660 0
vsize: 850704
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 114287 62 0 0 25 0 11 0 779209890 871120896 28789 4294967295 134512640 134569956 3221224368 3221214544 1131270873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28789 13086 16 0 212660 0
vsize: 850704
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 115267 62 0 0 25 0 11 0 779209890 871120896 28797 4294967295 134512640 134569956 3221224368 3221214540 1131210528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28797 13086 16 0 212660 0
vsize: 850704
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 116254 63 0 0 25 0 11 0 779209890 871120896 28856 4294967295 134512640 134569956 3221224368 3221214544 1131270007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28856 13086 16 0 212660 0
vsize: 850704
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 117246 63 0 0 25 0 11 0 779209890 871120896 28858 4294967295 134512640 134569956 3221224368 3221214544 1131270610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28858 13086 16 0 212660 0
vsize: 850704
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 118239 63 0 0 25 0 11 0 779209890 871120896 28866 4294967295 134512640 134569956 3221224368 3221214544 1131270638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28866 13086 16 0 212660 0
vsize: 850704
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 119234 63 0 0 25 0 11 0 779209890 871120896 28871 4294967295 134512640 134569956 3221224368 3221214640 1131566741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28871 13086 16 0 212660 0
vsize: 850704
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 31707
Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 120230 64 0 0 25 0 11 0 779209890 871120896 28873 4294967295 134512640 134569956 3221224368 3221214544 1131270203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212676 28873 13086 16 0 212660 0
vsize: 850704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.39 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31709
Raw data (stat): 31688 (java) Z 31687 20224 20223 0 -1 1036 18172 6547 1 0 120255 64 2166 24 25 0 1 0 779209890 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.39
CPU time (s): 1225.11
CPU user time (s): 1224.22
CPU system time (s): 0.889864
CPU usage (%): 99.5714
Max. virtual memory (Kb): 855908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1856564311000550
#### END VERIFIER DATA ####