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/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 29606

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 09:29:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21008 boxname=wulflinc2 idbench=996 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 21008
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        531536 kB
Buffers:         29400 kB
Cached:         453384 kB
SwapCached:        696 kB
Active:          49668 kB
Inactive:       435500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        531284 kB
SwapTotal:     2097136 kB
SwapFree:      2095796 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5620 kB
Slab:            12260 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:50:05 (client local time) WITH STATUS 143 IN 1257.52 SECONDS
stats: 21008 0 1257.52 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/wulflinc2/normalized-mps-v2-20-10-protfold.opb
c reading problem ... done. Time 5.301 ms.
c #vars     1835
c #constraints  2149
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 -18 		Current CPU time: 40.69 ms
c CURRENT OPTIMUM=                 -19 		Current CPU time: 736.42 ms
c starts	: 10
c conflicts	: 1661
c decisions	: 13341
c propagations	: 162907
c inspects	: 1417815
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 12
c learned clauses	: 1661
c root simplifications	: 10
s SATISFIABLE
v -N_0x23_1_0x23_2_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_3_0x23_4_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_8_0x23_9_bit0 -N_0x23_9_0x23_10_bit0 -N_0x23_10_0x23_11_bit0 -N_0x23_11_0x23_12_bit0 -N_0x23_12_0x23_13_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_15_0x23_16_bit0 N_0x23_16_0x23_17_bit0 -N_0x23_17_0x23_18_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_23_0x23_24_bit0 N_0x23_24_0x23_25_bit0 -N_0x23_25_0x23_26_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_27_0x23_28_bit0 N_0x23_29_0x23_30_bit0 -N_0x23_30_0x23_31_bit0 -N_0x23_31_0x23_32_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_33_0x23_34_bit0 -N_0x23_34_0x23_35_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_37_0x23_38_bit0 -N_0x23_38_0x23_39_bit0 N_0x23_39_0x23_40_bit0 N_0x23_40_0x23_41_bit0 N_0x23_41_0x23_42_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 -N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_2_0x23_9_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_9_0x23_16_bit0 N_0x23_10_0x23_17_bit0 -N_0x23_11_0x23_18_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_16_0x23_23_bit0 N_0x23_17_0x23_24_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_21_0x23_28_bit0 N_0x23_22_0x23_29_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_36_bit0 N_0x23_30_0x23_37_bit0 -N_0x23_31_0x23_38_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_33_0x23_40_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_37_0x23_44_bit0 -N_0x23_38_0x23_45_bit0 -N_0x23_39_0x23_46_bit0 N_0x23_40_0x23_47_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_42_0x23_49_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 N_0x23_8_0x23_16_bit0 -N_0x23_9_0x23_17_bit0 -N_0x23_10_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_15_0x23_23_bit0 N_0x23_16_0x23_24_bit0 N_0x23_17_0x23_25_bit0 -N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 N_0x23_29_0x23_37_bit0 -N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 -N_0x23_33_0x23_41_bit0 N_0x23_34_0x23_42_bit0 -N_0x23_36_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_46_bit0 N_0x23_39_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_18_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_18_bit0 x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_30_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_43_0x23_34_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_13_bit0 x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_23_bit0 x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_16_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_20_bit0 x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_27_bit0 x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_1_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_29_bit0 x_0x23_39_0x23_27_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_16_bit0 x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_32_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_26_bit0 x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_1_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_20_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_26_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_30_0x23_34_bit0 x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_11_bit0 x_0x23_29_0x23_9_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_29_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_30_bit0 x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_3_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_32_bit0 x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_9_bit0 x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_13_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_9_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_3_bit0 x_0x23_17_0x23_1_bit0 x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_23_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_9_bit0 -x_0x23_11_0x23_8_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_6_bit0 x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_9_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_8_0x23_8_bit0 x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_11_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_6_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_19_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 -x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0 
c objectif function=-19
c Total CPU time (ms) : 1259.539
#### 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 12264
Raw data (stat): 12264 (runsolver) R 12263 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779585819 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.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 3/64 12274
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18085 0 1 0 743 40 0 0 25 0 11 0 779585819 859344896 20708 4294967295 134512640 134569956 3221224368 3221214624 1131366258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209801 20708 13086 16 0 209785 0
vsize: 839204
[startup+20.0078 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12274
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18092 0 1 0 1618 40 0 0 25 0 11 0 779585819 859820032 22736 4294967295 134512640 134569956 3221224368 3221214656 1131540080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209917 22736 13086 16 0 209901 0
vsize: 839668
[startup+30.0177 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 12274
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18093 0 1 0 2572 40 0 0 25 0 11 0 779585819 858304512 22486 4294967295 134512640 134569956 3221224368 3221214664 1131371584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 22486 13086 16 0 209531 0
vsize: 838188
[startup+40.0189 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 12274
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18093 0 1 0 3520 40 0 0 25 0 11 0 779585819 858304512 22680 4294967295 134512640 134569956 3221224368 3221214768 1131306506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 22680 13086 16 0 209531 0
vsize: 838188
[startup+50.0184 s]
Raw data (loadavg): 1.09 1.02 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 4453 40 0 0 25 0 11 0 779585819 858304512 23030 4294967295 134512640 134569956 3221224368 3221214560 1131518321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 23030 13086 16 0 209531 0
vsize: 838188
[startup+60.018 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 5398 40 0 0 25 0 11 0 779585819 858304512 23355 4294967295 134512640 134569956 3221224368 3221214696 1131311476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 23355 13086 16 0 209531 0
vsize: 838188
[startup+70.0214 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 6323 40 0 0 25 0 11 0 779585819 858304512 23610 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 23610 13086 16 0 209531 0
vsize: 838188
[startup+80.0275 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 7260 40 0 0 25 0 11 0 779585819 858304512 23783 4294967295 134512640 134569956 3221224368 3221214620 1130885169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 23783 13086 16 0 209531 0
vsize: 838188
[startup+90.0272 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 8187 41 0 0 25 0 11 0 779585819 858304512 23976 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 23976 13086 16 0 209531 0
vsize: 838188
[startup+100.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 9121 41 0 0 25 0 11 0 779585819 858304512 24138 4294967295 134512640 134569956 3221224368 3221214648 1131425220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 24138 13086 16 0 209531 0
vsize: 838188
[startup+110.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 10066 41 0 0 25 0 11 0 779585819 858304512 24306 4294967295 134512640 134569956 3221224368 3221214464 1131217948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 24306 13086 16 0 209531 0
vsize: 838188
[startup+120.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 11010 41 0 0 25 0 11 0 779585819 858304512 24555 4294967295 134512640 134569956 3221224368 3221214560 1131519003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 24555 13086 16 0 209531 0
vsize: 838188
[startup+130.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 11958 41 0 0 25 0 11 0 779585819 858304512 24618 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 24618 13086 16 0 209531 0
vsize: 838188
[startup+140.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 12895 41 0 0 25 0 11 0 779585819 858304512 24795 4294967295 134512640 134569956 3221224368 3221214648 1131425175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 24795 13086 16 0 209531 0
vsize: 838188
[startup+150.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 13834 41 0 0 24 0 11 0 779585819 858304512 24902 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 24902 13086 16 0 209531 0
vsize: 838188
[startup+160.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 14763 41 0 0 25 0 11 0 779585819 858304512 25124 4294967295 134512640 134569956 3221224368 3221214648 1131425197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25124 13086 16 0 209531 0
vsize: 838188
[startup+170.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 15702 41 0 0 25 0 11 0 779585819 858304512 25433 4294967295 134512640 134569956 3221224368 3221214552 1131300064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25433 13086 16 0 209531 0
vsize: 838188
[startup+180.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 16634 41 0 0 25 0 11 0 779585819 858304512 25537 4294967295 134512640 134569956 3221224368 3221214560 1131520678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25537 13086 16 0 209531 0
vsize: 838188
[startup+190.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 17584 41 0 0 25 0 11 0 779585819 858304512 25679 4294967295 134512640 134569956 3221224368 3221214648 1131425586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25679 13086 16 0 209531 0
vsize: 838188
[startup+200.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 18521 41 0 0 25 0 11 0 779585819 858304512 25803 4294967295 134512640 134569956 3221224368 3221214656 1131539077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25803 13086 16 0 209531 0
vsize: 838188
[startup+210.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 19479 42 0 0 25 0 11 0 779585819 858304512 25920 4294967295 134512640 134569956 3221224368 3221214560 1131518072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 25920 13086 16 0 209531 0
vsize: 838188
[startup+220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 20412 42 0 0 25 0 11 0 779585819 858304512 26137 4294967295 134512640 134569956 3221224368 3221214552 1131262573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26137 13086 16 0 209531 0
vsize: 838188
[startup+230.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 21347 42 0 0 25 0 11 0 779585819 858304512 26408 4294967295 134512640 134569956 3221224368 3221214656 1131539155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26408 13086 16 0 209531 0
vsize: 838188
[startup+240.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 22299 42 0 0 25 0 11 0 779585819 858304512 26578 4294967295 134512640 134569956 3221224368 3221214552 1131299632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26578 13086 16 0 209531 0
vsize: 838188
[startup+250.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 23268 42 0 0 25 0 11 0 779585819 858304512 26703 4294967295 134512640 134569956 3221224368 3221214656 1131540027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26703 13086 16 0 209531 0
vsize: 838188
[startup+260.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 24242 42 0 0 25 0 11 0 779585819 858304512 26830 4294967295 134512640 134569956 3221224368 3221214620 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26830 13086 16 0 209531 0
vsize: 838188
[startup+270.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 25213 42 0 0 25 0 11 0 779585819 858304512 26852 4294967295 134512640 134569956 3221224368 3221214552 1131299908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26852 13086 16 0 209531 0
vsize: 838188
[startup+280.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 26139 42 0 0 25 0 11 0 779585819 858304512 26986 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 26986 13086 16 0 209531 0
vsize: 838188
[startup+290.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 27082 42 0 0 25 0 11 0 779585819 858304512 27071 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27071 13086 16 0 209531 0
vsize: 838188
[startup+300.172 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 28017 43 0 0 25 0 11 0 779585819 858304512 27234 4294967295 134512640 134569956 3221224368 3221214656 1131542764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27234 13086 16 0 209531 0
vsize: 838188
[startup+310.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 28966 43 0 0 25 0 11 0 779585819 858304512 27461 4294967295 134512640 134569956 3221224368 3221214644 1131317028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27461 13086 16 0 209531 0
vsize: 838188
[startup+320.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 29914 43 0 0 25 0 11 0 779585819 858304512 27584 4294967295 134512640 134569956 3221224368 3221214656 1131537989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27584 13086 16 0 209531 0
vsize: 838188
[startup+330.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 30861 44 0 0 25 0 11 0 779585819 858304512 27698 4294967295 134512640 134569956 3221224368 3221214648 1131209113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27698 13086 16 0 209531 0
vsize: 838188
[startup+340.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 31820 44 0 0 25 0 11 0 779585819 858304512 27782 4294967295 134512640 134569956 3221224368 3221214552 1131262624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27782 13086 16 0 209531 0
vsize: 838188
[startup+350.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 32780 44 0 0 25 0 11 0 779585819 858304512 27887 4294967295 134512640 134569956 3221224368 3221214560 1131518186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 27887 13086 16 0 209531 0
vsize: 838188
[startup+360.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 33729 45 0 0 25 0 11 0 779585819 858304512 28023 4294967295 134512640 134569956 3221224368 3221214768 1131306508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 28023 13086 16 0 209531 0
vsize: 838188
[startup+370.175 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 34686 45 0 0 25 0 11 0 779585819 858304512 28095 4294967295 134512640 134569956 3221224368 3221214648 1131425200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28095 13086 16 0 209531 0
vsize: 838188
[startup+380.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 35648 45 0 0 25 0 11 0 779585819 858304512 28187 4294967295 134512640 134569956 3221224368 3221214656 1131542979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28187 13086 16 0 209531 0
vsize: 838188
[startup+390.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 36607 45 0 0 25 0 11 0 779585819 858304512 28248 4294967295 134512640 134569956 3221224368 3221214536 1131573730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28248 13086 16 0 209531 0
vsize: 838188
[startup+400.176 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 37567 45 0 0 25 0 11 0 779585819 858304512 28317 4294967295 134512640 134569956 3221224368 3221214648 1131426035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28317 13086 16 0 209531 0
vsize: 838188
[startup+410.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 38522 45 0 0 25 0 11 0 779585819 858304512 28448 4294967295 134512640 134569956 3221224368 3221214648 1131425352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28448 13086 16 0 209531 0
vsize: 838188
[startup+420.177 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 39476 45 0 0 25 0 11 0 779585819 858304512 28607 4294967295 134512640 134569956 3221224368 3221214648 1131425220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28607 13086 16 0 209531 0
vsize: 838188
[startup+430.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) S 12263 31399 31398 0 -1 0 18138 3 1 0 40435 45 0 0 25 0 11 0 779585819 858304512 28757 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28757 13086 16 0 209531 0
vsize: 838188
[startup+440.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 41400 45 0 0 25 0 11 0 779585819 858304512 28898 4294967295 134512640 134569956 3221224368 3221214656 1131537795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28898 13086 16 0 209531 0
vsize: 838188
[startup+450.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 42364 45 0 0 25 0 11 0 779585819 858304512 28940 4294967295 134512640 134569956 3221224368 3221214552 1131299557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 28940 13086 16 0 209531 0
vsize: 838188
[startup+460.185 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) S 12263 31399 31398 0 -1 0 18138 3 1 0 43317 45 0 0 25 0 11 0 779585819 858304512 29002 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 29002 13086 16 0 209531 0
vsize: 838188
[startup+470.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 44280 45 0 0 25 0 11 0 779585819 858304512 29103 4294967295 134512640 134569956 3221224368 3221214644 1131263308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29103 13086 16 0 209531 0
vsize: 838188
[startup+480.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 45243 46 0 0 25 0 11 0 779585819 858304512 29153 4294967295 134512640 134569956 3221224368 3221214664 1131371627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29153 13086 16 0 209531 0
vsize: 838188
[startup+490.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 46206 46 0 0 25 0 11 0 779585819 858304512 29252 4294967295 134512640 134569956 3221224368 3221214656 1131540027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 29252 13086 16 0 209531 0
vsize: 838188
[startup+500.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 47169 47 0 0 25 0 11 0 779585819 858304512 29346 4294967295 134512640 134569956 3221224368 3221214648 1131425220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29346 13086 16 0 209531 0
vsize: 838188
[startup+510.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 48132 47 0 0 25 0 11 0 779585819 858304512 29489 4294967295 134512640 134569956 3221224368 3221214624 1131209148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29489 13086 16 0 209531 0
vsize: 838188
[startup+520.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 49097 47 0 0 25 0 11 0 779585819 858304512 29554 4294967295 134512640 134569956 3221224368 3221214552 1131299667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29554 13086 16 0 209531 0
vsize: 838188
[startup+530.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 50061 47 0 0 25 0 11 0 779585819 858304512 29673 4294967295 134512640 134569956 3221224368 3221214656 1131539132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29673 13086 16 0 209531 0
vsize: 838188
[startup+540.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 51019 47 0 0 25 0 11 0 779585819 858304512 29731 4294967295 134512640 134569956 3221224368 3221214420 1078032677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29731 13086 16 0 209531 0
vsize: 838188
[startup+550.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 51974 48 0 0 25 0 11 0 779585819 858304512 29840 4294967295 134512640 134569956 3221224368 3221214648 1131425271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29840 13086 16 0 209531 0
vsize: 838188
[startup+560.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 52924 48 0 0 25 0 11 0 779585819 858304512 29979 4294967295 134512640 134569956 3221224368 3221214648 1131425586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 29979 13086 16 0 209531 0
vsize: 838188
[startup+570.191 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 53883 49 0 0 25 0 11 0 779585819 858304512 30092 4294967295 134512640 134569956 3221224368 3221214552 1131300514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30092 13086 16 0 209531 0
vsize: 838188
[startup+580.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 54843 49 0 0 25 0 11 0 779585819 858304512 30215 4294967295 134512640 134569956 3221224368 3221214552 1131262573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30215 13086 16 0 209531 0
vsize: 838188
[startup+590.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 55804 49 0 0 25 0 11 0 779585819 858304512 30312 4294967295 134512640 134569956 3221224368 3221214464 1131216935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30312 13086 16 0 209531 0
vsize: 838188
[startup+600.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 56772 49 0 0 25 0 11 0 779585819 858304512 30393 4294967295 134512640 134569956 3221224368 3221214648 1131425349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30393 13086 16 0 209531 0
vsize: 838188
[startup+610.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 57734 50 0 0 25 0 11 0 779585819 858304512 30485 4294967295 134512640 134569956 3221224368 3221214552 1131263183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30485 13086 16 0 209531 0
vsize: 838188
[startup+620.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 58696 50 0 0 25 0 11 0 779585819 858304512 30541 4294967295 134512640 134569956 3221224368 3221214620 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30541 13086 16 0 209531 0
vsize: 838188
[startup+630.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 59664 51 0 0 25 0 11 0 779585819 858304512 30644 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30644 13086 16 0 209531 0
vsize: 838188
[startup+640.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 60634 51 0 0 25 0 11 0 779585819 858304512 30719 4294967295 134512640 134569956 3221224368 3221214648 1131425700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30719 13086 16 0 209531 0
vsize: 838188
[startup+650.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 61587 51 0 0 25 0 11 0 779585819 858304512 30850 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30850 13086 16 0 209531 0
vsize: 838188
[startup+660.202 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 62545 51 0 0 25 0 11 0 779585819 858304512 30969 4294967295 134512640 134569956 3221224368 3221214464 1131216900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 30969 13086 16 0 209531 0
vsize: 838188
[startup+670.309 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 63524 52 0 0 25 0 11 0 779585819 858304512 31026 4294967295 134512640 134569956 3221224368 3221214552 1131300258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31026 13086 16 0 209531 0
vsize: 838188
[startup+680.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 64493 52 0 0 25 0 11 0 779585819 858304512 31073 4294967295 134512640 134569956 3221224368 3221214648 1131425516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31073 13086 16 0 209531 0
vsize: 838188
[startup+690.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 65448 53 0 0 25 0 11 0 779585819 858304512 31166 4294967295 134512640 134569956 3221224368 3221214568 1131262573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31166 13086 16 0 209531 0
vsize: 838188
[startup+700.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 66410 53 0 0 25 0 11 0 779585819 858304512 31254 4294967295 134512640 134569956 3221224368 3221214620 1130885120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31254 13086 16 0 209531 0
vsize: 838188
[startup+710.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 67384 53 0 0 25 0 11 0 779585819 858304512 31338 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31338 13086 16 0 209531 0
vsize: 838188
[startup+720.315 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 68346 54 0 0 25 0 11 0 779585819 858304512 31428 4294967295 134512640 134569956 3221224368 3221214552 1131262573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31428 13086 16 0 209531 0
vsize: 838188
[startup+730.316 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12275
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18138 3 1 0 69319 54 0 0 25 0 11 0 779585819 858304512 31497 4294967295 134512640 134569956 3221224368 3221214552 1131262744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31497 13086 16 0 209531 0
vsize: 838188
[startup+740.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) S 12263 31399 31398 0 -1 0 18138 3 1 0 70274 55 0 0 25 0 11 0 779585819 858304512 31591 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31591 13086 16 0 209531 0
vsize: 838188
[startup+750.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 71230 55 0 0 25 0 11 0 779585819 858304512 31680 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31680 13086 16 0 209531 0
vsize: 838188
[startup+760.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 72175 55 0 0 25 0 11 0 779585819 858304512 31800 4294967295 134512640 134569956 3221224368 3221214648 1131425586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 31800 13086 16 0 209531 0
vsize: 838188
[startup+770.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 73118 55 0 0 25 0 11 0 779585819 858304512 31962 4294967295 134512640 134569956 3221224368 3221214652 1131299532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 31962 13086 16 0 209531 0
vsize: 838188
[startup+780.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 74075 56 0 0 25 0 11 0 779585819 858304512 32065 4294967295 134512640 134569956 3221224368 3221214644 1131317028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 32065 13086 16 0 209531 0
vsize: 838188
[startup+790.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 75037 57 0 0 25 0 11 0 779585819 858304512 32138 4294967295 134512640 134569956 3221224368 3221214652 1131299532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 32138 13086 16 0 209531 0
vsize: 838188
[startup+800.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 75987 57 0 0 25 0 11 0 779585819 858304512 32217 4294967295 134512640 134569956 3221224368 3221214552 1131300783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 32217 13086 16 0 209531 0
vsize: 838188
[startup+810.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 76938 57 0 0 25 0 11 0 779585819 858304512 32348 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 32348 13086 16 0 209531 0
vsize: 838188
[startup+820.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 77896 57 0 0 25 0 11 0 779585819 858304512 32448 4294967295 134512640 134569956 3221224368 3221214656 1131537989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32448 13086 16 0 209531 0
vsize: 838188
[startup+830.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 78852 58 0 0 25 0 11 0 779585819 858304512 32538 4294967295 134512640 134569956 3221224368 3221214576 1131262475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32538 13086 16 0 209531 0
vsize: 838188
[startup+840.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 79820 58 0 0 25 0 11 0 779585819 858304512 32608 4294967295 134512640 134569956 3221224368 3221214704 1131262573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32608 13086 16 0 209531 0
vsize: 838188
[startup+850.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 80785 58 0 0 25 0 11 0 779585819 858304512 32710 4294967295 134512640 134569956 3221224368 3221214372 1131210313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32710 13086 16 0 209531 0
vsize: 838188
[startup+860.319 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 81738 58 0 0 25 0 11 0 779585819 858304512 32729 4294967295 134512640 134569956 3221224368 3221214560 1131518100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32729 13086 16 0 209531 0
vsize: 838188
[startup+870.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 82690 58 0 0 25 0 11 0 779585819 858304512 32788 4294967295 134512640 134569956 3221224368 3221214272 1131635473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32788 13086 16 0 209531 0
vsize: 838188
[startup+880.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 83636 58 0 0 25 0 11 0 779585819 858304512 32844 4294967295 134512640 134569956 3221224368 3221214656 1131542892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32844 13086 16 0 209531 0
vsize: 838188
[startup+890.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 84592 58 0 0 25 0 11 0 779585819 858304512 32967 4294967295 134512640 134569956 3221224368 3221214052 1131635472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 32967 13086 16 0 209531 0
vsize: 838188
[startup+900.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 85560 58 0 0 25 0 11 0 779585819 858304512 33007 4294967295 134512640 134569956 3221224368 3221214656 1131543710 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33007 13086 16 0 209531 0
vsize: 838188
[startup+910.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 86508 58 0 0 23 0 11 0 779585819 858304512 33158 4294967295 134512640 134569956 3221224368 3221214552 1131299553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33158 13086 16 0 209531 0
vsize: 838188
[startup+920.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 87457 58 0 0 25 0 11 0 779585819 858304512 33336 4294967295 134512640 134569956 3221224368 3221214656 1131537989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33336 13086 16 0 209531 0
vsize: 838188
[startup+930.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 88416 58 0 0 25 0 11 0 779585819 858304512 33423 4294967295 134512640 134569956 3221224368 3221214648 1131425314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33423 13086 16 0 209531 0
vsize: 838188
[startup+940.318 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 89374 58 0 0 24 0 11 0 779585819 858304512 33486 4294967295 134512640 134569956 3221224368 3221214552 1131299639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33486 13086 16 0 209531 0
vsize: 838188
[startup+950.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 90330 58 0 0 25 0 11 0 779585819 858304512 33609 4294967295 134512640 134569956 3221224368 3221214648 1131425734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33609 13086 16 0 209531 0
vsize: 838188
[startup+960.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 91289 58 0 0 25 0 11 0 779585819 858304512 33687 4294967295 134512640 134569956 3221224368 3221214296 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33687 13086 16 0 209531 0
vsize: 838188
[startup+970.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 92235 58 0 0 25 0 11 0 779585819 858304512 33794 4294967295 134512640 134569956 3221224368 3221214552 1131262573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33794 13086 16 0 209531 0
vsize: 838188
[startup+980.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 93201 58 0 0 25 0 11 0 779585819 858304512 33838 4294967295 134512640 134569956 3221224368 3221214328 1131635393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 33838 13086 16 0 209531 0
vsize: 838188
[startup+990.317 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 94130 58 0 0 25 0 11 0 779585819 858304512 34080 4294967295 134512640 134569956 3221224368 3221214568 1131262412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 34080 13086 16 0 209531 0
vsize: 838188
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 95069 58 0 0 25 0 11 0 779585819 858304512 34253 4294967295 134512640 134569956 3221224368 3221214432 1131636010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 34253 13086 16 0 209531 0
vsize: 838188
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 96017 58 0 0 25 0 11 0 779585819 858304512 34413 4294967295 134512640 134569956 3221224368 3221214464 1131216935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 34413 13086 16 0 209531 0
vsize: 838188
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 96964 58 0 0 25 0 11 0 779585819 858304512 34669 4294967295 134512640 134569956 3221224368 3221214656 1131542821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 34669 13086 16 0 209531 0
vsize: 838188
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 97921 59 0 0 25 0 11 0 779585819 858304512 34745 4294967295 134512640 134569956 3221224368 3221214656 1131539151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 34745 13086 16 0 209531 0
vsize: 838188
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 98888 59 0 0 25 0 11 0 779585819 858304512 34789 4294967295 134512640 134569956 3221224368 3221214800 1131352707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 34789 13086 16 0 209531 0
vsize: 838188
[startup+1050.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 99846 59 0 0 25 0 11 0 779585819 858304512 34859 4294967295 134512640 134569956 3221224368 3221214552 1131262573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 34859 13086 16 0 209531 0
vsize: 838188
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 100800 60 0 0 24 0 11 0 779585819 858304512 34915 4294967295 134512640 134569956 3221224368 3221214656 1131539930 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 34915 13086 16 0 209531 0
vsize: 838188
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 101741 60 0 0 25 0 11 0 779585819 858304512 35087 4294967295 134512640 134569956 3221224368 3221214656 1131539068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35087 13086 16 0 209531 0
vsize: 838188
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 102703 60 0 0 25 0 11 0 779585819 858304512 35169 4294967295 134512640 134569956 3221224368 3221214552 1131300021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35169 13086 16 0 209531 0
vsize: 838188
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 103663 61 0 0 25 0 11 0 779585819 858304512 35279 4294967295 134512640 134569956 3221224368 3221214644 1131262220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35279 13086 16 0 209531 0
vsize: 838188
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 104624 61 0 0 25 0 11 0 779585819 858304512 35380 4294967295 134512640 134569956 3221224368 3221214552 1131299887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35380 13086 16 0 209531 0
vsize: 838188
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 105590 61 0 0 25 0 11 0 779585819 858304512 35405 4294967295 134512640 134569956 3221224368 3221214656 1131537779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35405 13086 16 0 209531 0
vsize: 838188
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 106546 62 0 0 25 0 11 0 779585819 858304512 35424 4294967295 134512640 134569956 3221224368 3221214648 1131425935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35424 13086 16 0 209531 0
vsize: 838188
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 107503 62 0 0 25 0 11 0 779585819 858304512 35539 4294967295 134512640 134569956 3221224368 3221214568 1131262436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35539 13086 16 0 209531 0
vsize: 838188
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) S 12263 31399 31398 0 -1 0 18139 3 1 0 108459 62 0 0 25 0 11 0 779585819 858304512 35662 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35662 13086 16 0 209531 0
vsize: 838188
[startup+1150.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 109426 63 0 0 25 0 11 0 779585819 858304512 35716 4294967295 134512640 134569956 3221224368 3221214552 1131262530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35716 13086 16 0 209531 0
vsize: 838188
[startup+1160.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 110393 63 0 0 25 0 11 0 779585819 858304512 35790 4294967295 134512640 134569956 3221224368 3221214552 1131262377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35790 13086 16 0 209531 0
vsize: 838188
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 111354 63 0 0 25 0 11 0 779585819 858304512 35813 4294967295 134512640 134569956 3221224368 3221214552 1131299990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35813 13086 16 0 209531 0
vsize: 838188
[startup+1180.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 112311 64 0 0 25 0 11 0 779585819 858304512 35998 4294967295 134512640 134569956 3221224368 3221214648 1131425879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209547 35998 13086 16 0 209531 0
vsize: 838188
[startup+1190.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 113286 64 0 0 25 0 11 0 779585819 858304512 35998 4294967295 134512640 134569956 3221224368 3221214560 1131517834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 35998 13086 16 0 209531 0
vsize: 838188
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 114254 64 0 0 25 0 11 0 779585819 858304512 36056 4294967295 134512640 134569956 3221224368 3221214552 1131300783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36056 13086 16 0 209531 0
vsize: 838188
[startup+1210.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 115222 64 0 0 25 0 11 0 779585819 858304512 36150 4294967295 134512640 134569956 3221224368 3221214648 1131425317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36150 13086 16 0 209531 0
vsize: 838188
[startup+1220.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 116193 64 0 0 25 0 11 0 779585819 858304512 36168 4294967295 134512640 134569956 3221224368 3221214656 1131538154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36168 13086 16 0 209531 0
vsize: 838188
[startup+1230.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 117152 64 0 0 25 0 11 0 779585819 858304512 36269 4294967295 134512640 134569956 3221224368 3221214644 1131209056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36269 13086 16 0 209531 0
vsize: 838188
[startup+1240.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 118121 64 0 0 25 0 11 0 779585819 858304512 36269 4294967295 134512640 134569956 3221224368 3221214552 1131262530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36269 13086 16 0 209531 0
vsize: 838188
[startup+1250.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 119073 65 0 0 25 0 11 0 779585819 858304512 36375 4294967295 134512640 134569956 3221224368 3221214656 1131537957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36375 13086 16 0 209531 0
vsize: 838188
[startup+1260.32 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 12276
Raw data (stat): 12264 (java) R 12263 31399 31398 0 -1 0 18139 3 1 0 120022 65 0 0 25 0 11 0 779585819 858304512 36471 4294967295 134512640 134569956 3221224368 3221214552 1131300500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209547 36471 13086 16 0 209531 0
vsize: 838188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.64 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12278
Raw data (stat): 12264 (java) Z 12263 31399 31398 0 -1 1036 18139 16760 1 0 120046 65 5597 43 25 0 1 0 779585819 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): 1260.63
CPU time (s): 1257.52
CPU user time (s): 1256.43
CPU system time (s): 1.08683
CPU usage (%): 99.7529
Max. virtual memory (Kb): 839668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####