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 28401

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 02:16:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12938 boxname=wulflinc24 idbench=996 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 12938
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        906472 kB
Buffers:          1044 kB
Cached:         104552 kB
SwapCached:        620 kB
Active:          22732 kB
Inactive:        85380 kB
HighTotal:      131008 kB
HighFree:        35224 kB
LowTotal:       903652 kB
LowFree:        871248 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14224 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:35:48 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 12938 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2149 constraints.
c preprocess terminated 24.241 s
c Initial Lower Bound: -120
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -17 @ 24.779
c NEW SOLUTION FOUND: -18 @ 24.781
c NEW SOLUTION FOUND: -19 @ 82.986
c NEW SOLUTION FOUND: -20 @ 136.804
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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_19_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 -x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 -x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.88 0.97 0.93 2/54 12862
Raw data (stat): 12862 (runsolver) R 12861 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835204348 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99949 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 12275 0 0 0 968 30 0 0 25 0 1 0 835204348 53997568 12246 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13183 12246 1111 63 0 13120 0
vsize: 52732
[startup+20.0003 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 12275 0 0 0 1969 30 0 0 25 0 1 0 835204348 53997568 12246 4294967295 134512640 134714540 3221224592 3221223056 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13183 12246 1111 63 0 13120 0
vsize: 52732
[startup+29.9996 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 13012 0 0 0 2966 32 0 0 25 0 1 0 835204348 56967168 12983 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13908 12983 1111 63 0 13845 0
vsize: 55632
[startup+40.0267 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 13038 0 0 0 3967 33 0 0 25 0 1 0 835204348 57102336 13009 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 13009 1111 63 0 13878 0
vsize: 55764
[startup+50.0383 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 13264 0 0 0 4967 35 0 0 25 0 1 0 835204348 57913344 13235 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14139 13235 1111 63 0 14076 0
vsize: 56556
[startup+60.0376 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 13855 0 0 0 5966 36 0 0 25 0 1 0 835204348 60346368 13826 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14733 13826 1111 63 0 14670 0
vsize: 58932
[startup+70.0373 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 14171 0 0 0 6965 37 0 0 25 0 1 0 835204348 61698048 14142 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15063 14142 1111 63 0 15000 0
vsize: 60252
[startup+80.0429 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 14398 0 0 0 7965 38 0 0 25 0 1 0 835204348 62644224 14369 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15294 14369 1111 63 0 15231 0
vsize: 61176
[startup+90.0433 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 14902 0 0 0 8962 40 0 0 25 0 1 0 835204348 64684032 14873 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15792 14873 1111 63 0 15729 0
vsize: 63168
[startup+100.044 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 15691 0 0 0 9959 43 0 0 25 0 1 0 835204348 67928064 15662 4294967295 134512640 134714540 3221224592 3221223388 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16584 15662 1111 63 0 16521 0
vsize: 66336
[startup+110.043 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 15732 0 0 0 10959 43 0 0 25 0 1 0 835204348 68063232 15703 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16617 15703 1111 63 0 16554 0
vsize: 66468
[startup+120.044 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 16098 0 0 0 11958 44 0 0 25 0 1 0 835204348 69550080 16069 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 16069 1111 63 0 16917 0
vsize: 67920
[startup+130.043 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 16253 0 0 0 12957 46 0 0 25 0 1 0 835204348 70246400 16224 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16224 1111 63 0 17087 0
vsize: 68600
[startup+140.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 16996 0 0 0 13954 48 0 0 25 0 1 0 835204348 73220096 16967 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 16967 1111 63 0 17813 0
vsize: 71504
[startup+150.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 16996 0 0 0 14954 48 0 0 25 0 1 0 835204348 73220096 16967 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 16967 1111 63 0 17813 0
vsize: 71504
[startup+160.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 16996 0 0 0 15954 49 0 0 25 0 1 0 835204348 73220096 16967 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 16967 1111 63 0 17813 0
vsize: 71504
[startup+170.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17021 0 0 0 16954 49 0 0 25 0 1 0 835204348 73355264 16992 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17909 16992 1111 63 0 17846 0
vsize: 71636
[startup+180.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17235 0 0 0 17954 49 0 0 25 0 1 0 835204348 74301440 17206 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17206 1111 63 0 18077 0
vsize: 72560
[startup+190.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 18954 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+200.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 19954 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+210.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 20955 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+220.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 21955 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+230.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 22955 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+240.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 23955 49 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+250.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17250 0 0 0 24955 50 0 0 25 0 1 0 835204348 74301440 17221 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18140 17221 1111 63 0 18077 0
vsize: 72560
[startup+260.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17314 0 0 0 25955 50 0 0 25 0 1 0 835204348 74571776 17285 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18206 17285 1111 63 0 18143 0
vsize: 72824
[startup+270.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17403 0 0 0 26955 50 0 0 25 0 1 0 835204348 74977280 17374 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17374 1111 63 0 18242 0
vsize: 73220
[startup+280.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17448 0 0 0 27955 50 0 0 25 0 1 0 835204348 75112448 17419 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18338 17419 1111 63 0 18275 0
vsize: 73352
[startup+290.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17506 0 0 0 28955 50 0 0 25 0 1 0 835204348 75382784 17477 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18404 17477 1111 63 0 18341 0
vsize: 73616
[startup+300.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17655 0 0 0 29955 51 0 0 25 0 1 0 835204348 75923456 17626 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18536 17626 1111 63 0 18473 0
vsize: 74144
[startup+310.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 17655 0 0 0 30955 51 0 0 25 0 1 0 835204348 75923456 17626 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18536 17626 1111 63 0 18473 0
vsize: 74144
[startup+320.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 18139 0 0 0 31953 53 0 0 25 0 1 0 835204348 77950976 18110 4294967295 134512640 134714540 3221224592 3221223408 134622340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19031 18110 1111 63 0 18968 0
vsize: 76124
[startup+330.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 18628 0 0 0 32952 54 0 0 25 0 1 0 835204348 79978496 18599 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19526 18599 1111 63 0 19463 0
vsize: 78104
[startup+340.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 18628 0 0 0 33952 54 0 0 25 0 1 0 835204348 79978496 18599 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19526 18599 1111 63 0 19463 0
vsize: 78104
[startup+350.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 18861 0 0 0 34951 55 0 0 25 0 1 0 835204348 80924672 18832 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19757 18832 1111 63 0 19694 0
vsize: 79028
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19463 0 0 0 35950 56 0 0 25 0 1 0 835204348 83382272 19434 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20357 19434 1111 63 0 20294 0
vsize: 81428
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19463 0 0 0 36950 56 0 0 25 0 1 0 835204348 83382272 19434 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20357 19434 1111 63 0 20294 0
vsize: 81428
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19463 0 0 0 37950 56 0 0 25 0 1 0 835204348 83382272 19434 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20357 19434 1111 63 0 20294 0
vsize: 81428
[startup+390.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19507 0 0 0 38951 56 0 0 25 0 1 0 835204348 83574784 19478 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20404 19478 1111 63 0 20341 0
vsize: 81616
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19705 0 0 0 39951 57 0 0 25 0 1 0 835204348 84385792 19676 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20602 19676 1111 63 0 20539 0
vsize: 82408
[startup+410.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 19772 0 0 0 40950 57 0 0 25 0 1 0 835204348 84656128 19743 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20668 19743 1111 63 0 20605 0
vsize: 82672
[startup+420.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20001 0 0 0 41950 57 0 0 25 0 1 0 835204348 85602304 19972 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20899 19972 1111 63 0 20836 0
vsize: 83596
[startup+430.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20148 0 0 0 42950 57 0 0 25 0 1 0 835204348 86142976 20119 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21031 20119 1111 63 0 20968 0
vsize: 84124
[startup+440.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20148 0 0 0 43951 57 0 0 25 0 1 0 835204348 86142976 20119 4294967295 134512640 134714540 3221224592 3221223464 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21031 20119 1111 63 0 20968 0
vsize: 84124
[startup+450.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20148 0 0 0 44951 58 0 0 25 0 1 0 835204348 86142976 20119 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21031 20119 1111 63 0 20968 0
vsize: 84124
[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20260 0 0 0 45950 58 0 0 25 0 1 0 835204348 86683648 20231 4294967295 134512640 134714540 3221224592 3221223376 134622323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21163 20231 1111 63 0 21100 0
vsize: 84652
[startup+470.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20437 0 0 0 46950 58 0 0 25 0 1 0 835204348 87363584 20408 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21329 20408 1111 63 0 21266 0
vsize: 85316
[startup+480.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20437 0 0 0 47951 58 0 0 25 0 1 0 835204348 87363584 20408 4294967295 134512640 134714540 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21329 20408 1111 63 0 21266 0
vsize: 85316
[startup+490.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20569 0 0 0 48950 58 0 0 25 0 1 0 835204348 87904256 20540 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21461 20540 1111 63 0 21398 0
vsize: 85844
[startup+500.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20673 0 0 0 49950 59 0 0 25 0 1 0 835204348 88309760 20644 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21560 20644 1111 63 0 21497 0
vsize: 86240
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20701 0 0 0 50950 59 0 0 25 0 1 0 835204348 88444928 20672 4294967295 134512640 134714540 3221224592 3221223368 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21593 20672 1111 63 0 21530 0
vsize: 86372
[startup+520.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20753 0 0 0 51951 59 0 0 25 0 1 0 835204348 88715264 20724 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21659 20724 1111 63 0 21596 0
vsize: 86636
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 20805 0 0 0 52951 59 0 0 25 0 1 0 835204348 88850432 20776 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21692 20776 1111 63 0 21629 0
vsize: 86768
[startup+540.059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21064 0 0 0 53951 60 0 0 25 0 1 0 835204348 89931776 21035 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21956 21035 1111 63 0 21893 0
vsize: 87824
[startup+550.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21139 0 0 0 54952 60 0 0 25 0 1 0 835204348 90202112 21110 4294967295 134512640 134714540 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21110 1111 63 0 21959 0
vsize: 88088
[startup+560.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21139 0 0 0 55952 60 0 0 25 0 1 0 835204348 90202112 21110 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21110 1111 63 0 21959 0
vsize: 88088
[startup+570.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21139 0 0 0 56952 60 0 0 25 0 1 0 835204348 90202112 21110 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21110 1111 63 0 21959 0
vsize: 88088
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21139 0 0 0 57952 60 0 0 25 0 1 0 835204348 90202112 21110 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21110 1111 63 0 21959 0
vsize: 88088
[startup+590.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21139 0 0 0 58952 60 0 0 25 0 1 0 835204348 90202112 21110 4294967295 134512640 134714540 3221224592 3221223408 134622409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21110 1111 63 0 21959 0
vsize: 88088
[startup+600.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21265 0 0 0 59952 61 0 0 25 0 1 0 835204348 90742784 21236 4294967295 134512640 134714540 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22154 21236 1111 63 0 22091 0
vsize: 88616
[startup+610.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21561 0 0 0 60951 62 0 0 25 0 1 0 835204348 91959296 21532 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22451 21532 1111 63 0 22388 0
vsize: 89804
[startup+620.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21561 0 0 0 61953 62 0 0 25 0 1 0 835204348 91959296 21532 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22451 21532 1111 63 0 22388 0
vsize: 89804
[startup+630.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21561 0 0 0 62954 62 0 0 25 0 1 0 835204348 91959296 21532 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22451 21532 1111 63 0 22388 0
vsize: 89804
[startup+640.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21561 0 0 0 63954 62 0 0 25 0 1 0 835204348 91959296 21532 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22451 21532 1111 63 0 22388 0
vsize: 89804
[startup+650.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21597 0 0 0 64954 62 0 0 25 0 1 0 835204348 92094464 21568 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22484 21568 1111 63 0 22421 0
vsize: 89936
[startup+660.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21639 0 0 0 65954 62 0 0 25 0 1 0 835204348 92229632 21610 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22517 21610 1111 63 0 22454 0
vsize: 90068
[startup+670.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21818 0 0 0 66953 63 0 0 25 0 1 0 835204348 93040640 21789 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22715 21789 1111 63 0 22652 0
vsize: 90860
[startup+680.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 21853 0 0 0 67953 63 0 0 25 0 1 0 835204348 93175808 21824 4294967295 134512640 134714540 3221224592 3221223324 134554894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22748 21824 1111 63 0 22685 0
vsize: 90992
[startup+690.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 68953 64 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+700.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 69953 64 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+710.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 70953 64 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+720.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 71953 64 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+730.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 72953 64 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+740.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 73953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223148 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+750.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 74953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+760.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 75953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+770.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 76953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+780.088 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 77953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+790.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 78953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+800.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 79953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+810.089 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 80953 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+820.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 81954 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+830.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 82954 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+840.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 83954 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+850.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 84954 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+860.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22215 0 0 0 85954 65 0 0 25 0 1 0 835204348 94597120 22186 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23095 22186 1111 63 0 23032 0
vsize: 92380
[startup+870.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22271 0 0 0 86954 65 0 0 25 0 1 0 835204348 94867456 22242 4294967295 134512640 134714540 3221224592 3221223328 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23161 22242 1111 63 0 23098 0
vsize: 92644
[startup+880.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22379 0 0 0 87955 65 0 0 25 0 1 0 835204348 95272960 22350 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23260 22350 1111 63 0 23197 0
vsize: 93040
[startup+890.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22379 0 0 0 88955 65 0 0 25 0 1 0 835204348 95272960 22350 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23260 22350 1111 63 0 23197 0
vsize: 93040
[startup+900.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22379 0 0 0 89955 65 0 0 25 0 1 0 835204348 95272960 22350 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23260 22350 1111 63 0 23197 0
vsize: 93040
[startup+910.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22379 0 0 0 90955 65 0 0 25 0 1 0 835204348 95272960 22350 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23260 22350 1111 63 0 23197 0
vsize: 93040
[startup+920.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22379 0 0 0 91955 65 0 0 25 0 1 0 835204348 95272960 22350 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23260 22350 1111 63 0 23197 0
vsize: 93040
[startup+930.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22453 0 0 0 92955 66 0 0 25 0 1 0 835204348 95678464 22424 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23359 22424 1111 63 0 23296 0
vsize: 93436
[startup+940.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22708 0 0 0 93955 66 0 0 25 0 1 0 835204348 96624640 22679 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22679 1111 63 0 23527 0
vsize: 94360
[startup+950.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22708 0 0 0 94955 66 0 0 25 0 1 0 835204348 96624640 22679 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22679 1111 63 0 23527 0
vsize: 94360
[startup+960.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22708 0 0 0 95955 66 0 0 25 0 1 0 835204348 96624640 22679 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22679 1111 63 0 23527 0
vsize: 94360
[startup+970.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22708 0 0 0 96955 66 0 0 25 0 1 0 835204348 96624640 22679 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22679 1111 63 0 23527 0
vsize: 94360
[startup+980.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22708 0 0 0 97955 66 0 0 25 0 1 0 835204348 96624640 22679 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23590 22679 1111 63 0 23527 0
vsize: 94360
[startup+990.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22718 0 0 0 98956 66 0 0 25 0 1 0 835204348 96759808 22689 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23623 22689 1111 63 0 23560 0
vsize: 94492
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22718 0 0 0 99956 66 0 0 25 0 1 0 835204348 96759808 22689 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23623 22689 1111 63 0 23560 0
vsize: 94492
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22718 0 0 0 100956 66 0 0 25 0 1 0 835204348 96759808 22689 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23623 22689 1111 63 0 23560 0
vsize: 94492
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22718 0 0 0 101956 67 0 0 25 0 1 0 835204348 96759808 22689 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23623 22689 1111 63 0 23560 0
vsize: 94492
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22726 0 0 0 102956 67 0 0 25 0 1 0 835204348 96759808 22697 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23623 22697 1111 63 0 23560 0
vsize: 94492
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22775 0 0 0 103956 67 0 0 25 0 1 0 835204348 96894976 22746 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23656 22746 1111 63 0 23593 0
vsize: 94624
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22775 0 0 0 104957 67 0 0 25 0 1 0 835204348 96894976 22746 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23656 22746 1111 63 0 23593 0
vsize: 94624
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22779 0 0 0 105957 67 0 0 25 0 1 0 835204348 97030144 22750 4294967295 134512640 134714540 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23689 22750 1111 63 0 23626 0
vsize: 94756
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22819 0 0 0 106957 67 0 0 25 0 1 0 835204348 97157120 22790 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23720 22790 1111 63 0 23657 0
vsize: 94880
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22926 0 0 0 107957 67 0 0 25 0 1 0 835204348 97562624 22897 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23819 22897 1111 63 0 23756 0
vsize: 95276
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22967 0 0 0 108957 67 0 0 25 0 1 0 835204348 97697792 22938 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23852 22938 1111 63 0 23789 0
vsize: 95408
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22967 0 0 0 109957 67 0 0 25 0 1 0 835204348 97697792 22938 4294967295 134512640 134714540 3221224592 3221223312 134622735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23852 22938 1111 63 0 23789 0
vsize: 95408
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 22968 0 0 0 110957 68 0 0 25 0 1 0 835204348 97697792 22939 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23852 22939 1111 63 0 23789 0
vsize: 95408
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23105 0 0 0 111956 68 0 0 25 0 1 0 835204348 98357248 23076 4294967295 134512640 134714540 3221224592 3221223328 134622825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24013 23076 1111 63 0 23950 0
vsize: 96052
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23411 0 0 0 112955 69 0 0 25 0 1 0 835204348 99573760 23382 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24310 23382 1111 63 0 24247 0
vsize: 97240
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23587 0 0 0 113955 70 0 0 25 0 1 0 835204348 100249600 23558 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24475 23558 1111 63 0 24412 0
vsize: 97900
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23587 0 0 0 114955 70 0 0 25 0 1 0 835204348 100249600 23558 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24475 23558 1111 63 0 24412 0
vsize: 97900
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23607 0 0 0 115955 70 0 0 25 0 1 0 835204348 100384768 23578 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24508 23578 1111 63 0 24445 0
vsize: 98032
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23607 0 0 0 116955 70 0 0 25 0 1 0 835204348 100384768 23578 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24508 23578 1111 63 0 24445 0
vsize: 98032
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 12862
Raw data (stat): 12862 (bsolo_mis) R 12861 4613 4612 0 -1 0 23607 0 0 0 116955 70 0 0 25 0 1 0 835204348 100384768 23578 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24508 23578 1111 63 0 24445 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.06
CPU user time (s): 1174.31
CPU system time (s): 0.754885
CPU usage (%): 100.014
Max. virtual memory (Kb): 98032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####