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 38813

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 17:24:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26868 boxname=wulflinc2 idbench=996 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 26868
/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:        797296 kB
Buffers:         25132 kB
Cached:         189812 kB
SwapCached:       1160 kB
Active:          29228 kB
Inactive:       188212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        797044 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14080 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:43:57 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26868 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-protfold.opb
c #variables read: 1835 - #constraints read: 3985
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 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.74 0.91 0.89 1/54 27308
Raw data (stat): 27308 (runsolver) R 27307 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851566299 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.78 0.91 0.89 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1064 0 0 0 982 17 0 0 25 0 1 0 851566299 9961472 1038 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2432 1038 566 18 0 2414 0
vsize: 9728
[startup+20.0019 s]
Raw data (loadavg): 0.81 0.91 0.89 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1491 0 0 0 1969 30 0 0 25 0 1 0 851566299 11677696 1465 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+30.0012 s]
Raw data (loadavg): 0.84 0.92 0.89 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1546 0 0 0 2959 40 0 0 25 0 1 0 851566299 11943936 1520 4294967295 134512640 134581267 3221224576 3221223488 134527759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 1520 566 18 0 2898 0
vsize: 11664
[startup+40.0009 s]
Raw data (loadavg): 0.86 0.92 0.89 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1546 0 0 0 3942 57 0 0 25 0 1 0 851566299 11943936 1520 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 1520 566 18 0 2898 0
vsize: 11664
[startup+50.001 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1546 0 0 0 4926 73 0 0 25 0 1 0 851566299 11943936 1520 4294967295 134512640 134581267 3221224576 3221223520 134558934 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2916 1520 566 18 0 2898 0
vsize: 11664
[startup+60.0013 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 1704 0 0 0 5919 81 0 0 25 0 1 0 851566299 12599296 1678 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 1679 566 18 0 3058 0
vsize: 12304
[startup+70.001 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 6914 86 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+80.001 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 7907 93 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 8893 107 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+100.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 9887 113 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+110.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 10882 118 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 11872 129 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+130.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 12863 137 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+140.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 13856 145 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 14850 152 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+160.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 15844 158 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 16840 162 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 17834 168 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223344 1075288351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2249 0 0 0 18829 173 0 0 25 0 1 0 851566299 14798848 2223 4294967295 134512640 134581267 3221224576 3221223568 134561117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+200.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2250 0 0 0 19825 177 0 0 25 0 1 0 851566299 14798848 2224 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2224 566 18 0 3595 0
vsize: 14452
[startup+210.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2270 0 0 0 20820 183 0 0 25 0 1 0 851566299 14929920 2244 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3645 2244 566 18 0 3627 0
vsize: 14580
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2390 0 0 0 21815 188 0 0 25 0 1 0 851566299 15454208 2364 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2364 566 18 0 3755 0
vsize: 15092
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2611 0 0 0 22812 191 0 0 25 0 1 0 851566299 16240640 2585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2585 566 18 0 3947 0
vsize: 15860
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 23808 195 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 24804 199 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+260.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 25801 202 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+270.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 26798 206 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+280.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 27792 211 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+290.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 28787 216 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+300.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 29782 222 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223428 1075285147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+310.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 30776 228 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 31773 231 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 32770 235 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 33764 240 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223440 134560276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2617 0 0 0 34758 247 0 0 25 0 1 0 851566299 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2736 0 0 0 35752 253 0 0 25 0 1 0 851566299 16760832 2710 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4092 2710 566 18 0 4074 0
vsize: 16368
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 36747 258 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 37741 265 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 38736 270 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 39731 275 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223504 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 40724 282 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 41719 288 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 2816 0 0 0 42715 292 0 0 25 0 1 0 851566299 17141760 2790 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3010 0 0 0 43711 295 0 0 25 0 1 0 851566299 17924096 2984 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4376 2984 566 18 0 4358 0
vsize: 17504
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3010 0 0 0 44707 300 0 0 25 0 1 0 851566299 17924096 2984 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4376 2984 566 18 0 4358 0
vsize: 17504
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 45705 302 0 0 25 0 1 0 851566299 18440192 3098 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 46701 306 0 0 25 0 1 0 851566299 18440192 3098 4294967295 134512640 134581267 3221224576 3221223616 134564993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 47694 313 0 0 25 0 1 0 851566299 18440192 3098 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 48689 319 0 0 25 0 1 0 851566299 18440192 3098 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 49684 324 0 0 25 0 1 0 851566299 17936384 2999 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4379 2999 566 18 0 4361 0
vsize: 17516
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 50680 329 0 0 25 0 1 0 851566299 17936384 2999 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4379 2999 566 18 0 4361 0
vsize: 17516
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3124 0 0 0 51678 331 0 0 25 0 1 0 851566299 17932288 2998 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4378 2998 566 18 0 4360 0
vsize: 17512
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3746 0 0 0 52676 333 0 0 25 0 1 0 851566299 20529152 3620 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3746 0 0 0 53670 339 0 0 25 0 1 0 851566299 20529152 3620 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3746 0 0 0 54666 343 0 0 25 0 1 0 851566299 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3746 0 0 0 55660 349 0 0 25 0 1 0 851566299 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3746 0 0 0 56659 351 0 0 25 0 1 0 851566299 20529152 3620 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 57655 355 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 58647 363 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 59643 367 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 60638 372 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 61632 378 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 62627 384 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 63620 391 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 64616 395 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 65612 400 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 66608 404 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 67604 408 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 68601 411 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 69599 414 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 70597 416 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 71595 418 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 72593 420 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 73589 424 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 74586 427 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 75582 431 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 76579 435 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 77576 438 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 3777 0 0 0 78573 440 0 0 25 0 1 0 851566299 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4158 0 0 0 79570 444 0 0 25 0 1 0 851566299 22228992 4032 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5427 4032 566 18 0 5409 0
vsize: 21708
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 80568 446 0 0 25 0 1 0 851566299 23023616 4212 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4212 566 18 0 5603 0
vsize: 22484
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 81565 450 0 0 25 0 1 0 851566299 23023616 4212 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4212 566 18 0 5603 0
vsize: 22484
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 82560 454 0 0 25 0 1 0 851566299 22970368 4212 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5608 4212 566 18 0 5590 0
vsize: 22432
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 83556 459 0 0 25 0 1 0 851566299 22892544 4209 4294967295 134512640 134581267 3221224576 3221223264 1075288510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 84552 463 0 0 25 0 1 0 851566299 22892544 4209 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 85549 466 0 0 25 0 1 0 851566299 22892544 4209 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 86547 468 0 0 25 0 1 0 851566299 22892544 4209 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 87545 470 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 88542 473 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 89539 476 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 90536 480 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 91534 482 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 92528 488 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 93524 492 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 94520 496 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223560 134560634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 95516 501 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 96513 504 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 97508 509 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 98502 515 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223440 134560314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4338 0 0 0 99496 521 0 0 25 0 1 0 851566299 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134520039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 100489 529 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223440 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 101481 536 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 102477 541 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223552 134560677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 103474 544 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 104472 547 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 105468 550 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 106465 553 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 107462 557 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 108459 560 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 109457 562 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223536 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 110456 564 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 111452 567 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 112450 569 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 113447 573 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 114445 575 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 115442 579 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 116439 582 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 117436 585 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27308
Raw data (stat): 27308 (Pueblo-v2) R 27307 31399 31398 0 -1 0 4339 0 0 0 117436 585 0 0 25 0 1 0 851566299 22806528 4189 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.02
CPU user time (s): 1183.13
CPU system time (s): 5.8831
CPU usage (%): 100.017
Max. virtual memory (Kb): 22484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####