PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 30088

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        697196 kB
Buffers:         33492 kB
Cached:         279100 kB
SwapCached:        412 kB
Active:          87996 kB
Inactive:       226960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        696944 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16752 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 15:03:53 (client local time) WITH STATUS 143 IN 1217.82 SECONDS
stats: 21492 0 1217.82 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/wulflinc6/normalized-mps-v2-13-7-ran10x12.opb
c reading problem ... done. Time 4.87 ms.
c #vars     2520
c #constraints  164
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1114179 		Current CPU time: 15.66 ms
c CURRENT OPTIMUM=             1106037 		Current CPU time: 74.22 ms
c CURRENT OPTIMUM=             1089813 		Current CPU time: 81.03 ms
c CURRENT OPTIMUM=              976588 		Current CPU time: 197.30 ms
c CURRENT OPTIMUM=              940492 		Current CPU time: 211.18 ms
c CURRENT OPTIMUM=              897329 		Current CPU time: 316.82 ms
c CURRENT OPTIMUM=              860849 		Current CPU time: 335.23 ms
c CURRENT OPTIMUM=              808445 		Current CPU time: 660.07 ms
c CURRENT OPTIMUM=              795645 		Current CPU time: 684.91 ms
c CURRENT OPTIMUM=              774653 		Current CPU time: 710.75 ms
c CURRENT OPTIMUM=              761853 		Current CPU time: 737.45 ms
c CURRENT OPTIMUM=              748541 		Current CPU time: 765.12 ms
c CURRENT OPTIMUM=              735741 		Current CPU time: 793.62 ms
c CURRENT OPTIMUM=              715332 		Current CPU time: 1085.39 ms
c CURRENT OPTIMUM=              703556 		Current CPU time: 1113.48 ms
c CURRENT OPTIMUM=              680260 		Current CPU time: 1142.37 ms
c CURRENT OPTIMUM=              668484 		Current CPU time: 1171.82 ms
c CURRENT OPTIMUM=              656964 		Current CPU time: 1202.02 ms
c starts	: 19
c conflicts	: 92
c decisions	: 21063
c propagations	: 87722
c inspects	: 463161
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 92
c root simplifications	: 87
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 X3_bit0 X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 X10_bit0 -X10_bit1 X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 X23_bit0 -X23_bit1 X23_bit2 -X23_bit3 X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 X25_bit0 -X25_bit1 X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 X29_bit1 X29_bit2 X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 X32_bit_7 X32_bit_6 X32_bit_5 X32_bit_4 X32_bit_3 X32_bit_2 X32_bit_1 -X32_bit0 X32_bit1 -X32_bit2 X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 X37_bit_7 X37_bit_6 X37_bit_5 X37_bit_4 X37_bit_3 X37_bit_2 X37_bit_1 X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 X40_bit0 X40_bit1 X40_bit2 X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 X68_bit1 -X68_bit2 X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 X74_bit0 -X74_bit1 X74_bit2 X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 X76_bit0 -X76_bit1 X76_bit2 X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 X95_bit0 -X95_bit1 X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 X96_bit_4 X96_bit_3 X96_bit_2 X96_bit_1 X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 X107_bit0 X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 -X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 X119_bit_4 X119_bit_3 X119_bit_2 X119_bit_1 X119_bit0 -X119_bit1 -X119_bit2 X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 -Y8_bit0 Y9_bit0 Y10_bit0 Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 Y23_bit0 -Y24_bit0 Y25_bit0 Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 -Y30_bit0 -Y31_bit0 Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 -Y67_bit0 Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 -Y72_bit0 -Y73_bit0 Y74_bit0 -Y75_bit0 Y76_bit0 -Y77_bit0 Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 -Y94_bit0 Y95_bit0 Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 -Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 Y107_bit0 Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 -Y112_bit0 Y113_bit0 -Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 Y119_bit0 
c objectif function=656964
c Total CPU time (ms) : 1219.314
#### 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): 1.02 1.02 1.00 2/54 8137
Raw data (stat): 8137 (runsolver) R 8136 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781468883 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.10 1.04 1.01 3/64 8147
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18070 0 1 0 676 41 0 0 25 0 11 0 781468883 859742208 20745 4294967295 134512640 134569956 3221224368 3221214552 1131338353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209898 20745 13086 16 0 209882 0
vsize: 839592
[startup+20.0004 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18117 3 1 0 1596 42 0 0 25 0 11 0 781468883 859381760 20918 4294967295 134512640 134569956 3221224368 3221214736 1131208227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 20918 13086 16 0 209794 0
vsize: 839240
[startup+30.0008 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18119 3 1 0 2550 42 0 0 25 0 11 0 781468883 859381760 21143 4294967295 134512640 134569956 3221224368 3221214504 1131238940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209810 21143 13086 16 0 209794 0
vsize: 839240
[startup+40.0003 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18119 3 1 0 3504 43 0 0 25 0 11 0 781468883 859381760 21186 4294967295 134512640 134569956 3221224368 3221214576 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21186 13086 16 0 209794 0
vsize: 839240
[startup+50.001 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18119 3 1 0 4432 43 0 0 25 0 11 0 781468883 859381760 21678 4294967295 134512640 134569956 3221224368 3221214680 1131404209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21678 13086 16 0 209794 0
vsize: 839240
[startup+60.0011 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18119 3 1 0 5404 43 0 0 25 0 11 0 781468883 859381760 21824 4294967295 134512640 134569956 3221224368 3221214680 1131408753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21824 13086 16 0 209794 0
vsize: 839240
[startup+70.0008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 8148
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18119 3 1 0 6390 44 0 0 25 0 11 0 781468883 859381760 21904 4294967295 134512640 134569956 3221224368 3221214680 1131406124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209810 21904 13086 16 0 209794 0
vsize: 839240
[startup+80.0014 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 8149
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 7373 44 0 0 25 0 11 0 781468883 859381760 21920 4294967295 134512640 134569956 3221224368 3221214576 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21920 13086 16 0 209794 0
vsize: 839240
[startup+90.0017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 8348 44 0 0 25 0 11 0 781468883 859381760 21935 4294967295 134512640 134569956 3221224368 3221214576 1131338260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21935 13086 16 0 209794 0
vsize: 839240
[startup+100.001 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 9329 45 0 0 25 0 11 0 781468883 859381760 21943 4294967295 134512640 134569956 3221224368 3221214624 1131356836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21943 13086 16 0 209794 0
vsize: 839240
[startup+110.002 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 10307 45 0 0 25 0 11 0 781468883 859381760 21968 4294967295 134512640 134569956 3221224368 3221214576 1131338872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 21968 13086 16 0 209794 0
vsize: 839240
[startup+120.002 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 11284 45 0 0 25 0 11 0 781468883 859381760 22134 4294967295 134512640 134569956 3221224368 3221214576 1131338486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22134 13086 16 0 209794 0
vsize: 839240
[startup+130.002 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 12267 45 0 0 25 0 11 0 781468883 859381760 22135 4294967295 134512640 134569956 3221224368 3221214576 1131337908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22135 13086 16 0 209794 0
vsize: 839240
[startup+140.002 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 13252 45 0 0 25 0 11 0 781468883 859381760 22188 4294967295 134512640 134569956 3221224368 3221214680 1131404173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22188 13086 16 0 209794 0
vsize: 839240
[startup+150.002 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 14242 46 0 0 25 0 11 0 781468883 859381760 22229 4294967295 134512640 134569956 3221224368 3221214576 1131338581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22229 13086 16 0 209794 0
vsize: 839240
[startup+160.002 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 15235 46 0 0 25 0 11 0 781468883 859381760 22249 4294967295 134512640 134569956 3221224368 3221214680 1131408792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22249 13086 16 0 209794 0
vsize: 839240
[startup+170.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 16229 46 0 0 25 0 11 0 781468883 859381760 22255 4294967295 134512640 134569956 3221224368 3221214576 1131338917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22255 13086 16 0 209794 0
vsize: 839240
[startup+180.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 17222 46 0 0 25 0 11 0 781468883 859381760 22263 4294967295 134512640 134569956 3221224368 3221214576 1131338425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22263 13086 16 0 209794 0
vsize: 839240
[startup+190.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8150
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 18215 46 0 0 25 0 11 0 781468883 859381760 22272 4294967295 134512640 134569956 3221224368 3221214576 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22272 13086 16 0 209794 0
vsize: 839240
[startup+200.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8151
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 19207 46 0 0 25 0 11 0 781468883 859381760 22280 4294967295 134512640 134569956 3221224368 3221214576 1131337900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22280 13086 16 0 209794 0
vsize: 839240
[startup+210.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8151
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 20194 46 0 0 25 0 11 0 781468883 859381760 22289 4294967295 134512640 134569956 3221224368 3221214576 1131338057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22289 13086 16 0 209794 0
vsize: 839240
[startup+220.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 21178 47 0 0 25 0 11 0 781468883 859381760 22297 4294967295 134512640 134569956 3221224368 3221214680 1131406005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22297 13086 16 0 209794 0
vsize: 839240
[startup+230.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 22163 47 0 0 25 0 11 0 781468883 859381760 22346 4294967295 134512640 134569956 3221224368 3221214576 1131338414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22346 13086 16 0 209794 0
vsize: 839240
[startup+240.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 23143 47 0 0 25 0 11 0 781468883 859381760 22346 4294967295 134512640 134569956 3221224368 3221214576 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22346 13086 16 0 209794 0
vsize: 839240
[startup+250.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 24128 47 0 0 25 0 11 0 781468883 859381760 22404 4294967295 134512640 134569956 3221224368 3221214680 1131408841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22404 13086 16 0 209794 0
vsize: 839240
[startup+260.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 25114 48 0 0 25 0 11 0 781468883 859381760 22465 4294967295 134512640 134569956 3221224368 3221214680 1131404209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22465 13086 16 0 209794 0
vsize: 839240
[startup+270.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 26107 48 0 0 25 0 11 0 781468883 859381760 22479 4294967295 134512640 134569956 3221224368 3221214488 1131219004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22479 13086 16 0 209794 0
vsize: 839240
[startup+280.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 27100 48 0 0 25 0 11 0 781468883 859381760 22494 4294967295 134512640 134569956 3221224368 3221214544 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22494 13086 16 0 209794 0
vsize: 839240
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 28094 48 0 0 25 0 11 0 781468883 859381760 22495 4294967295 134512640 134569956 3221224368 3221214576 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22495 13086 16 0 209794 0
vsize: 839240
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 29088 48 0 0 25 0 11 0 781468883 859381760 22506 4294967295 134512640 134569956 3221224368 3221214680 1131408830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22506 13086 16 0 209794 0
vsize: 839240
[startup+310.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8152
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 30082 48 0 0 25 0 11 0 781468883 859381760 22518 4294967295 134512640 134569956 3221224368 3221214680 1131404166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22518 13086 16 0 209794 0
vsize: 839240
[startup+320.005 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 8153
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 31075 48 0 0 25 0 11 0 781468883 859381760 22533 4294967295 134512640 134569956 3221224368 3221214520 1131338850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22533 13086 16 0 209794 0
vsize: 839240
[startup+330.005 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 8153
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 32062 48 0 0 25 0 11 0 781468883 859381760 22538 4294967295 134512640 134569956 3221224368 3221214520 1131337981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22538 13086 16 0 209794 0
vsize: 839240
[startup+340.005 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 33048 48 0 0 25 0 11 0 781468883 859381760 22538 4294967295 134512640 134569956 3221224368 3221214536 1131338281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22538 13086 16 0 209794 0
vsize: 839240
[startup+350.005 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 34030 49 0 0 22 0 11 0 781468883 859381760 22596 4294967295 134512640 134569956 3221224368 3221214536 1131338954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22596 13086 16 0 209794 0
vsize: 839240
[startup+360.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 35017 49 0 0 24 0 11 0 781468883 859381760 22597 4294967295 134512640 134569956 3221224368 3221214536 1131338553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22597 13086 16 0 209794 0
vsize: 839240
[startup+370.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 36002 49 0 0 25 0 11 0 781468883 859381760 22654 4294967295 134512640 134569956 3221224368 3221214448 1131219609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22654 13086 16 0 209794 0
vsize: 839240
[startup+380.007 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 36990 49 0 0 25 0 11 0 781468883 859381760 22655 4294967295 134512640 134569956 3221224368 3221214536 1131338474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22655 13086 16 0 209794 0
vsize: 839240
[startup+390.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 37979 49 0 0 25 0 11 0 781468883 859381760 22702 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22702 13086 16 0 209794 0
vsize: 839240
[startup+400.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 38972 49 0 0 25 0 11 0 781468883 859381760 22708 4294967295 134512640 134569956 3221224368 3221214640 1131404340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22708 13086 16 0 209794 0
vsize: 839240
[startup+410.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 39966 49 0 0 25 0 11 0 781468883 859381760 22715 4294967295 134512640 134569956 3221224368 3221214640 1131405239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22715 13086 16 0 209794 0
vsize: 839240
[startup+420.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 40957 49 0 0 25 0 11 0 781468883 859381760 22723 4294967295 134512640 134569956 3221224368 3221214640 1131406141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22723 13086 16 0 209794 0
vsize: 839240
[startup+430.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 41943 49 0 0 25 0 11 0 781468883 859381760 22733 4294967295 134512640 134569956 3221224368 3221214536 1131338406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22733 13086 16 0 209794 0
vsize: 839240
[startup+440.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 42930 49 0 0 25 0 11 0 781468883 859381760 22738 4294967295 134512640 134569956 3221224368 3221214536 1131337889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22738 13086 16 0 209794 0
vsize: 839240
[startup+450.007 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 43919 50 0 0 25 0 11 0 781468883 859381760 22789 4294967295 134512640 134569956 3221224368 3221214536 1131338597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22789 13086 16 0 209794 0
vsize: 839240
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 44914 50 0 0 25 0 11 0 781468883 859381760 22794 4294967295 134512640 134569956 3221224368 3221214504 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22794 13086 16 0 209794 0
vsize: 839240
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 45909 50 0 0 25 0 11 0 781468883 859381760 22795 4294967295 134512640 134569956 3221224368 3221214536 1131338896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22795 13086 16 0 209794 0
vsize: 839240
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 46904 50 0 0 25 0 11 0 781468883 859381760 22803 4294967295 134512640 134569956 3221224368 3221214640 1131404209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22803 13086 16 0 209794 0
vsize: 839240
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 47899 50 0 0 25 0 11 0 781468883 859381760 22805 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22805 13086 16 0 209794 0
vsize: 839240
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 48896 50 0 0 25 0 11 0 781468883 859381760 22813 4294967295 134512640 134569956 3221224368 3221214536 1131338948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22813 13086 16 0 209794 0
vsize: 839240
[startup+510.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 49890 50 0 0 25 0 11 0 781468883 859381760 22814 4294967295 134512640 134569956 3221224368 3221214640 1131406161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22814 13086 16 0 209794 0
vsize: 839240
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 50886 51 0 0 25 0 11 0 781468883 859381760 22821 4294967295 134512640 134569956 3221224368 3221214536 1131338593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22821 13086 16 0 209794 0
vsize: 839240
[startup+530.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 51880 51 0 0 25 0 11 0 781468883 859381760 22821 4294967295 134512640 134569956 3221224368 3221214640 1131405151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22821 13086 16 0 209794 0
vsize: 839240
[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 52876 51 0 0 25 0 11 0 781468883 859381760 22830 4294967295 134512640 134569956 3221224368 3221214448 1131218996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22830 13086 16 0 209794 0
vsize: 839240
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 53870 51 0 0 25 0 11 0 781468883 859381760 22830 4294967295 134512640 134569956 3221224368 3221214640 1131403989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22830 13086 16 0 209794 0
vsize: 839240
[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 54866 51 0 0 25 0 11 0 781468883 859381760 22838 4294967295 134512640 134569956 3221224368 3221214640 1131408923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22838 13086 16 0 209794 0
vsize: 839240
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) S 8136 25568 25567 0 -1 0 18120 3 1 0 55860 51 0 0 25 0 11 0 781468883 859381760 22840 4294967295 134512640 134569956 3221224368 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22840 13086 16 0 209794 0
vsize: 839240
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 56855 51 0 0 25 0 11 0 781468883 859381760 22848 4294967295 134512640 134569956 3221224368 3221214640 1131408948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22848 13086 16 0 209794 0
vsize: 839240
[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 57849 52 0 0 25 0 11 0 781468883 859381760 22849 4294967295 134512640 134569956 3221224368 3221214536 1131338844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22849 13086 16 0 209794 0
vsize: 839240
[startup+600.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 58844 52 0 0 25 0 11 0 781468883 859381760 22857 4294967295 134512640 134569956 3221224368 3221214448 1131218576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22857 13086 16 0 209794 0
vsize: 839240
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 59839 52 0 0 25 0 11 0 781468883 859381760 22865 4294967295 134512640 134569956 3221224368 3221214640 1131404173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22865 13086 16 0 209794 0
vsize: 839240
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 60834 52 0 0 25 0 11 0 781468883 859381760 22865 4294967295 134512640 134569956 3221224368 3221214640 1131404334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22865 13086 16 0 209794 0
vsize: 839240
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 61828 52 0 0 25 0 11 0 781468883 859381760 22873 4294967295 134512640 134569956 3221224368 3221214448 1131219601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22873 13086 16 0 209794 0
vsize: 839240
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 62823 53 0 0 25 0 11 0 781468883 859381760 22874 4294967295 134512640 134569956 3221224368 3221214536 1131338493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22874 13086 16 0 209794 0
vsize: 839240
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 63818 53 0 0 25 0 11 0 781468883 859381760 22885 4294967295 134512640 134569956 3221224368 3221214536 1131337953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22885 13086 16 0 209794 0
vsize: 839240
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8154
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 64814 53 0 0 25 0 11 0 781468883 859381760 22885 4294967295 134512640 134569956 3221224368 3221214536 1131337900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22885 13086 16 0 209794 0
vsize: 839240
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8155
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 65803 53 0 0 25 0 11 0 781468883 859381760 22889 4294967295 134512640 134569956 3221224368 3221214536 1131338281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22889 13086 16 0 209794 0
vsize: 839240
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8155
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 66791 53 0 0 25 0 11 0 781468883 859381760 22890 4294967295 134512640 134569956 3221224368 3221214536 1131337889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22890 13086 16 0 209794 0
vsize: 839240
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8156
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 67778 54 0 0 25 0 11 0 781468883 859381760 22935 4294967295 134512640 134569956 3221224368 3221214536 1131338456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22935 13086 16 0 209794 0
vsize: 839240
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8156
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 68767 54 0 0 25 0 11 0 781468883 859381760 22935 4294967295 134512640 134569956 3221224368 3221214536 1131338450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22935 13086 16 0 209794 0
vsize: 839240
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8156
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 69756 54 0 0 25 0 11 0 781468883 859381760 22935 4294967295 134512640 134569956 3221224368 3221214536 1131338844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22935 13086 16 0 209794 0
vsize: 839240
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8157
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 70743 54 0 0 25 0 11 0 781468883 859381760 22980 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22980 13086 16 0 209794 0
vsize: 839240
[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8157
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 71732 54 0 0 25 0 11 0 781468883 859381760 22981 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22981 13086 16 0 209794 0
vsize: 839240
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8158
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 72719 55 0 0 25 0 11 0 781468883 859381760 22981 4294967295 134512640 134569956 3221224368 3221214640 1131405302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 22981 13086 16 0 209794 0
vsize: 839240
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8158
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 73707 55 0 0 25 0 11 0 781468883 859381760 23027 4294967295 134512640 134569956 3221224368 3221214536 1131338325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23027 13086 16 0 209794 0
vsize: 839240
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8158
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 74696 55 0 0 25 0 11 0 781468883 859381760 23027 4294967295 134512640 134569956 3221224368 3221214536 1131338577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23027 13086 16 0 209794 0
vsize: 839240
[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8159
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 75683 55 0 0 25 0 11 0 781468883 859381760 23084 4294967295 134512640 134569956 3221224368 3221214640 1131406124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23084 13086 16 0 209794 0
vsize: 839240
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8159
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 76670 55 0 0 25 0 11 0 781468883 859381760 23084 4294967295 134512640 134569956 3221224368 3221214640 1131408841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23084 13086 16 0 209794 0
vsize: 839240
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8159
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 77658 55 0 0 17 0 11 0 781468883 859381760 23084 4294967295 134512640 134569956 3221224368 3221214640 1131408931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23084 13086 16 0 209794 0
vsize: 839240
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 78646 55 0 0 25 0 11 0 781468883 859381760 23137 4294967295 134512640 134569956 3221224368 3221214640 1131405246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209810 23137 13086 16 0 209794 0
vsize: 839240
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 79631 55 0 0 25 0 11 0 781468883 859381760 23138 4294967295 134512640 134569956 3221224368 3221214536 1131338581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23138 13086 16 0 209794 0
vsize: 839240
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 80618 55 0 0 25 0 11 0 781468883 859381760 23138 4294967295 134512640 134569956 3221224368 3221214536 1131338844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23138 13086 16 0 209794 0
vsize: 839240
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 81607 55 0 0 25 0 11 0 781468883 859381760 23211 4294967295 134512640 134569956 3221224368 3221214432 1131475823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23211 13086 16 0 209794 0
vsize: 839240
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 82599 56 0 0 25 0 11 0 781468883 859381760 23211 4294967295 134512640 134569956 3221224368 3221214432 1131238951 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23211 13086 16 0 209794 0
vsize: 839240
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 83576 56 0 0 24 0 11 0 781468883 859381760 23211 4294967295 134512640 134569956 3221224368 3221214536 1131337889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23211 13086 16 0 209794 0
vsize: 839240
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 84555 56 0 0 25 0 11 0 781468883 859381760 23212 4294967295 134512640 134569956 3221224368 3221214536 1131337922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23212 13086 16 0 209794 0
vsize: 839240
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 85537 56 0 0 25 0 11 0 781468883 859381760 23340 4294967295 134512640 134569956 3221224368 3221214536 1131338869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23340 13086 16 0 209794 0
vsize: 839240
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 86531 56 0 0 25 0 11 0 781468883 859381760 23347 4294967295 134512640 134569956 3221224368 3221214536 1131338420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23347 13086 16 0 209794 0
vsize: 839240
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 87526 56 0 0 25 0 11 0 781468883 859381760 23357 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23357 13086 16 0 209794 0
vsize: 839240
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 88521 56 0 0 25 0 11 0 781468883 859381760 23362 4294967295 134512640 134569956 3221224368 3221214536 1131338593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23362 13086 16 0 209794 0
vsize: 839240
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 89516 57 0 0 25 0 11 0 781468883 859381760 23362 4294967295 134512640 134569956 3221224368 3221214536 1131337885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23362 13086 16 0 209794 0
vsize: 839240
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 90511 57 0 0 23 0 11 0 781468883 859381760 23372 4294967295 134512640 134569956 3221224368 3221214536 1131338595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23372 13086 16 0 209794 0
vsize: 839240
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 91506 57 0 0 25 0 11 0 781468883 859381760 23372 4294967295 134512640 134569956 3221224368 3221214536 1131338353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23372 13086 16 0 209794 0
vsize: 839240
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 92500 57 0 0 25 0 11 0 781468883 859381760 23373 4294967295 134512640 134569956 3221224368 3221214640 1131404173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23373 13086 16 0 209794 0
vsize: 839240
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 93495 57 0 0 25 0 11 0 781468883 859381760 23383 4294967295 134512640 134569956 3221224368 3221214536 1131337922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23383 13086 16 0 209794 0
vsize: 839240
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 94490 57 0 0 25 0 11 0 781468883 859381760 23383 4294967295 134512640 134569956 3221224368 3221214536 1131338860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23383 13086 16 0 209794 0
vsize: 839240
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 95484 57 0 0 25 0 11 0 781468883 859381760 23392 4294967295 134512640 134569956 3221224368 3221214640 1131408888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23392 13086 16 0 209794 0
vsize: 839240
[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 96478 57 0 0 25 0 11 0 781468883 859381760 23392 4294967295 134512640 134569956 3221224368 3221214640 1131404209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23392 13086 16 0 209794 0
vsize: 839240
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8160
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 97472 58 0 0 25 0 11 0 781468883 859381760 23402 4294967295 134512640 134569956 3221224368 3221214536 1131338474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23402 13086 16 0 209794 0
vsize: 839240
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 98459 62 0 0 25 0 11 0 781468883 859381760 23403 4294967295 134512640 134569956 3221224368 3221214536 1131338648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23403 13086 16 0 209794 0
vsize: 839240
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 99455 63 0 0 25 0 11 0 781468883 859381760 23413 4294967295 134512640 134569956 3221224368 3221214536 1131338618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23413 13086 16 0 209794 0
vsize: 839240
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 100451 63 0 0 25 0 11 0 781468883 859381760 23417 4294967295 134512640 134569956 3221224368 3221214536 1131337885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23417 13086 16 0 209794 0
vsize: 839240
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 101445 63 0 0 25 0 11 0 781468883 859381760 23419 4294967295 134512640 134569956 3221224368 3221214640 1131405137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23419 13086 16 0 209794 0
vsize: 839240
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 102438 63 0 0 25 0 11 0 781468883 859381760 23421 4294967295 134512640 134569956 3221224368 3221214536 1131338269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23421 13086 16 0 209794 0
vsize: 839240
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 103433 63 0 0 25 0 11 0 781468883 859381760 23431 4294967295 134512640 134569956 3221224368 3221214536 1131338205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209810 23431 13086 16 0 209794 0
vsize: 839240
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8213
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 104430 63 0 0 25 0 11 0 781468883 859381760 23431 4294967295 134512640 134569956 3221224368 3221214640 1131406095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23431 13086 16 0 209794 0
vsize: 839240
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8215
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 105424 64 0 0 25 0 11 0 781468883 859381760 23436 4294967295 134512640 134569956 3221224368 3221214640 1131405220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23436 13086 16 0 209794 0
vsize: 839240
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8215
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 106420 64 0 0 25 0 11 0 781468883 859381760 23436 4294967295 134512640 134569956 3221224368 3221214536 1131337889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23436 13086 16 0 209794 0
vsize: 839240
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8216
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 107411 64 0 0 25 0 11 0 781468883 859381760 23444 4294967295 134512640 134569956 3221224368 3221214640 1131404209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23444 13086 16 0 209794 0
vsize: 839240
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8216
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 108397 64 0 0 25 0 11 0 781468883 859381760 23444 4294967295 134512640 134569956 3221224368 3221214448 1131218585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23444 13086 16 0 209794 0
vsize: 839240
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8216
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 109383 64 0 0 25 0 11 0 781468883 859381760 23444 4294967295 134512640 134569956 3221224368 3221214636 1131337875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23444 13086 16 0 209794 0
vsize: 839240
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8217
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 110369 64 0 0 25 0 11 0 781468883 859381760 23499 4294967295 134512640 134569956 3221224368 3221214640 1131404173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23499 13086 16 0 209794 0
vsize: 839240
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8217
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 111355 64 0 0 25 0 11 0 781468883 859381760 23499 4294967295 134512640 134569956 3221224368 3221214536 1131337885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23499 13086 16 0 209794 0
vsize: 839240
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8217
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 112341 64 0 0 25 0 11 0 781468883 859381760 23500 4294967295 134512640 134569956 3221224368 3221214640 1131408841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23500 13086 16 0 209794 0
vsize: 839240
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8218
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 113328 65 0 0 25 0 11 0 781468883 859381760 23551 4294967295 134512640 134569956 3221224368 3221214640 1131405246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23551 13086 16 0 209794 0
vsize: 839240
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8218
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 114314 65 0 0 22 0 11 0 781468883 859381760 23551 4294967295 134512640 134569956 3221224368 3221214536 1131337900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23551 13086 16 0 209794 0
vsize: 839240
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8218
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 115301 65 0 0 25 0 11 0 781468883 859381760 23552 4294967295 134512640 134569956 3221224368 3221214640 1131404173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23552 13086 16 0 209794 0
vsize: 839240
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8219
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 116287 65 0 0 25 0 11 0 781468883 859381760 23605 4294967295 134512640 134569956 3221224368 3221214640 1131404166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23605 13086 16 0 209794 0
vsize: 839240
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8219
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 117274 65 0 0 25 0 11 0 781468883 859381760 23605 4294967295 134512640 134569956 3221224368 3221214536 1131338272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23605 13086 16 0 209794 0
vsize: 839240
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8219
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 118262 66 0 0 25 0 11 0 781468883 859381760 23605 4294967295 134512640 134569956 3221224368 3221214536 1131338420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23605 13086 16 0 209794 0
vsize: 839240
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8220
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 119249 66 0 0 25 0 11 0 781468883 859381760 23657 4294967295 134512640 134569956 3221224368 3221214640 1131404106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23657 13086 16 0 209794 0
vsize: 839240
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 8220
Raw data (stat): 8137 (java) R 8136 25568 25567 0 -1 0 18120 3 1 0 120236 66 0 0 25 0 11 0 781468883 859381760 23657 4294967295 134512640 134569956 3221224368 3221214640 1131404309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209810 23657 13086 16 0 209794 0
vsize: 839240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.35 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8222
Raw data (stat): 8137 (java) Z 8136 25568 25567 0 -1 1036 18120 3908 1 0 120259 66 1433 23 25 0 1 0 781468883 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): 1220.35
CPU time (s): 1217.82
CPU user time (s): 1216.93
CPU system time (s): 0.897863
CPU usage (%): 99.7934
Max. virtual memory (Kb): 839592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	656964
#### END VERIFIER DATA ####