PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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	1176.86
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 39191

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 23:00:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27252 boxname=wulflinc4 idbench=1380 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 27252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        119556 kB
Buffers:         35144 kB
Cached:         857536 kB
SwapCached:        568 kB
Active:          48708 kB
Inactive:       846048 kB
HighTotal:      131008 kB
HighFree:         3864 kB
LowTotal:       903652 kB
LowFree:        115692 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14872 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:20:02 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27252 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/wulflinc4/normalized-mps-v2-13-7-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): 1.06 0.99 0.91 1/54 22903
Raw data (stat): 22903 (runsolver) R 22902 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853570539 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22903
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1065 0 0 0 983 16 0 0 25 0 1 0 853570539 9961472 1039 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2432 1039 566 18 0 2414 0
vsize: 9728
[startup+20.002 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22903
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1491 0 0 0 1970 29 0 0 25 0 1 0 853570539 11677696 1465 4294967295 134512640 134581267 3221224576 3221223488 134528042 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.0029 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22903
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1546 0 0 0 2960 39 0 0 25 0 1 0 853570539 11943936 1520 4294967295 134512640 134581267 3221224576 3221223472 134517894 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.0119 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22903
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1546 0 0 0 3944 56 0 0 25 0 1 0 853570539 11943936 1520 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.0166 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22903
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1546 0 0 0 4927 73 0 0 25 0 1 0 853570539 11943936 1520 4294967295 134512640 134581267 3221224576 3221223504 134519803 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.0175 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 1698 0 0 0 5921 79 0 0 25 0 1 0 853570539 12599296 1672 4294967295 134512640 134581267 3221224576 3221223472 134517792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 1672 566 18 0 3058 0
vsize: 12304
[startup+70.0184 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 6915 85 0 0 25 0 1 0 853570539 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+80.0202 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 7908 92 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223536 134519781 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.0215 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 8894 106 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223552 134560674 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.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 9887 114 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+110.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 10880 121 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+120.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 11872 129 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+130.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 12864 137 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+140.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 13857 145 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223248 1075290883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+150.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 14851 151 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223504 134520092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+160.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 15844 157 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+170.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 16840 162 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+180.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 17834 168 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+190.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2249 0 0 0 18829 173 0 0 25 0 1 0 853570539 14798848 2223 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2223 566 18 0 3595 0
vsize: 14452
[startup+200.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2250 0 0 0 19825 178 0 0 25 0 1 0 853570539 14798848 2224 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2224 566 18 0 3595 0
vsize: 14452
[startup+210.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2270 0 0 0 20820 183 0 0 25 0 1 0 853570539 14929920 2244 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2244 566 18 0 3627 0
vsize: 14580
[startup+220.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2390 0 0 0 21815 188 0 0 25 0 1 0 853570539 15454208 2364 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2364 566 18 0 3755 0
vsize: 15092
[startup+230.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2598 0 0 0 22812 192 0 0 25 0 1 0 853570539 16240640 2572 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2572 566 18 0 3947 0
vsize: 15860
[startup+240.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 23807 197 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+250.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 24802 201 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+260.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 25799 205 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+270.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 26796 209 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+280.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 27790 214 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+290.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 28785 219 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+300.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22905
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 29780 224 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+310.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 30775 230 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+320.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 31769 236 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+330.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 32765 240 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223552 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+340.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 33761 245 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+350.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2617 0 0 0 34755 251 0 0 25 0 1 0 853570539 16371712 2591 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2591 566 18 0 3979 0
vsize: 15988
[startup+360.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2647 0 0 0 35751 255 0 0 25 0 1 0 853570539 16502784 2621 4294967295 134512640 134581267 3221224576 3221223264 1075288733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4029 2621 566 18 0 4011 0
vsize: 16116
[startup+370.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 36746 260 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+380.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 37740 266 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+390.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 38734 273 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223568 134560587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+400.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 39727 280 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+410.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 40721 286 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+420.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 41715 292 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223440 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+430.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2816 0 0 0 42711 296 0 0 25 0 1 0 853570539 17141760 2790 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4185 2790 566 18 0 4167 0
vsize: 16740
[startup+440.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 2947 0 0 0 43706 301 0 0 25 0 1 0 853570539 17666048 2921 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4313 2921 566 18 0 4295 0
vsize: 17252
[startup+450.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3010 0 0 0 44702 306 0 0 25 0 1 0 853570539 17924096 2984 4294967295 134512640 134581267 3221224576 3221223472 134527752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4376 2984 566 18 0 4358 0
vsize: 17504
[startup+460.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3010 0 0 0 45701 307 0 0 25 0 1 0 853570539 17924096 2984 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4376 2984 566 18 0 4358 0
vsize: 17504
[startup+470.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 46698 311 0 0 25 0 1 0 853570539 18440192 3098 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+480.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 47691 317 0 0 25 0 1 0 853570539 18440192 3098 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+490.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 48689 320 0 0 25 0 1 0 853570539 18440192 3098 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 3098 566 18 0 4484 0
vsize: 18008
[startup+500.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 49684 325 0 0 25 0 1 0 853570539 17948672 3002 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4382 3002 566 18 0 4364 0
vsize: 17528
[startup+510.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 50679 330 0 0 25 0 1 0 853570539 17936384 2999 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4379 2999 566 18 0 4361 0
vsize: 17516
[startup+520.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3124 0 0 0 51676 334 0 0 25 0 1 0 853570539 17932288 2998 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4378 2998 566 18 0 4360 0
vsize: 17512
[startup+530.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3330 0 0 0 52673 336 0 0 25 0 1 0 853570539 18841600 3204 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3204 566 18 0 4582 0
vsize: 18400
[startup+540.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3746 0 0 0 53669 340 0 0 25 0 1 0 853570539 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+550.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3746 0 0 0 54665 345 0 0 25 0 1 0 853570539 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+560.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3746 0 0 0 55660 350 0 0 25 0 1 0 853570539 20529152 3620 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+570.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3746 0 0 0 56656 355 0 0 25 0 1 0 853570539 20529152 3620 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+580.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3746 0 0 0 57654 357 0 0 25 0 1 0 853570539 20529152 3620 4294967295 134512640 134581267 3221224576 3221223568 134561111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 3620 566 18 0 4994 0
vsize: 20048
[startup+590.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 58650 361 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+600.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 59646 365 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+610.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 60642 369 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+620.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 61638 373 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+630.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 62632 379 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223228 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+640.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 63628 384 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+650.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 64623 389 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+660.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 65620 392 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+670.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 66616 397 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+680.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 67613 400 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+690.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 68610 403 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+700.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 69607 406 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+710.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 70604 409 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+720.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 71601 412 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+730.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 72600 414 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+740.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 73599 415 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+750.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 74595 419 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+760.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 75592 422 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+770.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 76588 426 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+780.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 77584 430 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223396 1075289714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+790.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 78581 433 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+800.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 3777 0 0 0 79579 436 0 0 25 0 1 0 853570539 20660224 3651 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 3651 566 18 0 5026 0
vsize: 20176
[startup+810.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4158 0 0 0 80576 439 0 0 25 0 1 0 853570539 22228992 4032 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4032 566 18 0 5409 0
vsize: 21708
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 81573 442 0 0 25 0 1 0 853570539 23023616 4212 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4212 566 18 0 5603 0
vsize: 22484
[startup+830.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 82571 444 0 0 25 0 1 0 853570539 23023616 4212 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4212 566 18 0 5603 0
vsize: 22484
[startup+840.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 83566 450 0 0 25 0 1 0 853570539 23023616 4212 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5621 4212 566 18 0 5603 0
vsize: 22484
[startup+850.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 84562 454 0 0 25 0 1 0 853570539 22892544 4209 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+860.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 85558 458 0 0 25 0 1 0 853570539 22892544 4209 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+870.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 86554 462 0 0 25 0 1 0 853570539 22892544 4209 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+880.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 87551 465 0 0 25 0 1 0 853570539 22892544 4209 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5589 4209 566 18 0 5571 0
vsize: 22356
[startup+890.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 88548 468 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+900.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 89546 471 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+910.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 90543 474 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+920.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 91539 478 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+930.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 92536 481 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+940.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 93533 484 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+950.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 94528 490 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 95524 494 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+970.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 96520 498 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+980.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 97516 502 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+990.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 98514 505 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 99510 508 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4338 0 0 0 100502 517 0 0 25 0 1 0 853570539 22806528 4188 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4188 566 18 0 5550 0
vsize: 22272
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 101497 522 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 102490 529 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 103485 535 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 104482 538 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 105479 541 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223520 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 106476 544 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 107473 547 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223552 134560702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 108470 550 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 109467 553 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 110464 556 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 111462 558 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134520015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 112460 561 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 113456 565 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 114454 567 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 115452 570 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 116451 571 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 117449 573 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 22272
[startup+1188.95 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 22907
Raw data (stat): 22903 (Pueblo-v2) R 22902 21152 21151 0 -1 0 4339 0 0 0 117449 573 0 0 25 0 1 0 853570539 22806528 4189 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4189 566 18 0 5550 0
vsize: 0

Child status: 10
Real time (s): 1188.95
CPU time (s): 1189.02
CPU user time (s): 1183.25
CPU system time (s): 5.77112
CPU usage (%): 100.005
Max. virtual memory (Kb): 22484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-14
#### END VERIFIER DATA ####