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 42869

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        703124 kB
Buffers:         25224 kB
Cached:         283108 kB
SwapCached:        660 kB
Active:          25456 kB
Inactive:       284940 kB
HighTotal:      131008 kB
HighFree:         1848 kB
LowTotal:       903652 kB
LowFree:        701276 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15496 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:20:13 (client local time) WITH STATUS 10 IN 1200.46 SECONDS
stats: 26080 0 1200.46 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 101
c small objective detected

c Decision: 12484/88151	Time: 114.053/86400
c Decision: 12484/88151	Time: 124.426/86400
c Decision: 12484/88151	Time: 138.312/86400
c Decision: 12484/88151	Time: 151.051/86400
c Decision: 12484/88151	Time: 158.649/86400
c Decision: 12484/88151	Time: 165.475/86400
c Decision: 12484/88151	Time: 178.344/86400
c Decision: 12484/88151	Time: 192.072/86400
c Decision: 12484/88151	Time: 201.848/86400
c Decision: 12484/88151	Time: 213.122/86400
c Decision: 12484/88151	Time: 227.115/86400
c Decision: 12484/88151	Time: 242.021/86400
c Decision: 12484/88151	Time: 253.454/86400
c Decision: 12484/88151	Time: 266.602/86400
c Decision: 12484/88151	Time: 283.847/86400
c Decision: 12484/88151	Time: 300.704/86400
c Decision: 12484/88151	Time: 315.866/86400
c Decision: 12484/88151	Time: 331.258/86400
c Decision: 12484/88151	Time: 343.189/86400
c Decision: 12484/88151	Time: 351.314/86400
c Decision: 12484/88151	Time: 366.02/86400
c Decision: 12484/88151	Time: 381.262/86400
c Decision: 12484/88151	Time: 392.844/86400
c Decision: 12484/88151	Time: 407.889/86400
c Decision: 12484/88151	Time: 422.868/86400
c Decision: 12484/88151	Time: 433.816/86400
c Decision: 12484/88151	Time: 449.45/86400
c Decision: 12484/88151	Time: 457.349/86400
c Decision: 12484/88151	Time: 466.266/86400
c Decision: 12484/88151	Time: 476.172/86400
c Decision: 12484/88151	Time: 492.359/86400
c Decision: 12484/88151	Time: 507.344/86400
c Decision: 12484/88151	Time: 521.395/86400
c Decision: 12484/88151	Time: 537.789/86400
c Decision: 12484/88151	Time: 552.413/86400
c Decision: 12484/88151	Time: 561.581/86400
c Decision: 12484/88151	Time: 570.158/86400
c Decision: 12484/88151	Time: 577.911/86400
c Decision: 12484/88151	Time: 586.963/86400
c Decision: 12484/88151	Time: 595.086/86400
c Decision: 12484/88151	Time: 603.184/86400
c Decision: 12484/88151	Time: 613.308/86400
c Decision: 12484/88151	Time: 624.231/86400
c Decision: 12484/88151	Time: 638.904/86400
c Decision: 12484/88151	Time: 655.881/86400
c Decision: 12484/88151	Time: 672.621/86400
c Decision: 12484/88151	Time: 684.362/86400
c Decision: 12484/88151	Time: 695.119/86400
c Decision: 12484/88151	Time: 709.167/86400
c Decision: 12484/88151	Time: 721.787/86400
c Decision: 12484/88151	Time: 736.548/86400
c Decision: 12484/88151	Time: 751.448/86400
c Decision: 12484/88151	Time: 767.001/86400
c Decision: 12484/88151	Time: 784.777/86400
c Decision: 12484/88151	Time: 801.644/86400
c Decision: 12484/88151	Time: 819.483/86400
c Decision: 12484/88151	Time: 835.046/86400
c Decision: 12484/88151	Time: 852.279/86400
c Decision: 12484/88151	Time: 869.227/86400
c Decision: 12484/88151	Time: 880.931/86400
c Decision: 12484/88151	Time: 895.656/86400
c Decision: 12484/88151	Time: 908.651/86400
c Decision: 12484/88151	Time: 927.278/86400
c Decision: 12484/88151	Time: 943.48/86400
c Decision: 12484/88151	Time: 951.806/86400
c Decision: 12484/88151	Time: 960.944/86400
c Decision: 12484/88151	Time: 973.762/86400
c Decision: 12484/88151	Time: 989.505/86400
c Decision: 12484/88151	Time: 1007.16/86400
c Decision: 12484/88151	Time: 1021.49/86400
c Decision: 12484/88151	Time: 1033.93/86400
c Decision: 12484/88151	Time: 1051.58/86400
c Decision: 12484/88151	Time: 1060.96/86400
c Decision: 12484/88151	Time: 1073.31/86400
c Decision: 12484/88151	Time: 1090.27/86400
c Decision: 12484/88151	Time: 1103.84/86400
c Decision: 12484/88151	Time: 1114.73/86400
c Decision: 12484/88151	Time: 1123.23/86400
c Decision: 12484/88151	Time: 1134.8/86400
c Decision: 12484/88151	Time: 1149.9/86400
c Decision: 12484/88151	Time: 1169.02/86400
c Decision: 12484/88151	Time: 1183.42/86400s SATISFIABLE
v N_0x23_10_0x23_11_bit0 -N_0x23_10_0x23_17_bit0 N_0x23_10_0x23_18_bit0 N_0x23_11_0x23_12_bit0 N_0x23_11_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 N_0x23_12_0x23_13_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_16_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_17_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 -N_0x23_17_0x23_18_bit0 -N_0x23_17_0x23_24_bit0 -N_0x23_17_0x23_25_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_1_0x23_2_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_25_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_26_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_28_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_30_bit0 -N_0x23_29_0x23_36_bit0 -N_0x23_29_0x23_37_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_2_0x23_9_bit0 N_0x23_30_0x23_31_bit0 N_0x23_30_0x23_37_bit0 N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_32_bit0 N_0x23_31_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 N_0x23_33_0x23_34_bit0 N_0x23_33_0x23_40_bit0 N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_35_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_36_0x23_44_bit0 N_0x23_37_0x23_38_bit0 N_0x23_37_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_39_bit0 -N_0x23_38_0x23_45_bit0 N_0x23_38_0x23_46_bit0 -N_0x23_39_0x23_40_bit0 -N_0x23_39_0x23_46_bit0 -N_0x23_39_0x23_47_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_3_0x23_4_bit0 N_0x23_40_0x23_41_bit0 -N_0x23_40_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -N_0x23_42_0x23_49_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_4_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_8_0x23_16_bit0 -N_0x23_8_0x23_9_bit0 N_0x23_9_0x23_10_bit0 N_0x23_9_0x23_16_bit0 -N_0x23_9_0x23_17_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_28_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_7_bit0 x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_8_bit0 x_0x23_11_0x23_9_bit0 -x_0x23_12_0x23_10_bit0 x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_12_bit0 x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_23_bit0 x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_22_bit0 x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_1_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_3_bit0 -x_0x23_17_0x23_4_bit0 x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_35_bit0 x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_9_bit0 x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_2_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_13_bit0 x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_24_bit0 x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_35_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_21_bit0 x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_3_bit0 x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_29_bit0 x_0x23_26_0x23_2_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_14_bit0 x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_24_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_9_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_6_bit0 x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_25_bit0 x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_34_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_26_bit0 x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_32_0x23_20_bit0 x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_19_bit0 x_0x23_33_0x23_1_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_15_bit0 x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_32_bit0 x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_31_bit0 x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_2_bit0 x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_27_bit0 x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_1_bit0 x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_17_bit0 x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_16_bit0 x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_34_bit0 x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_33_bit0 x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_45_0x23_30_bit0 x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_28_bit0 x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_18_bit0 x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_11_bit0 x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_5_bit0 x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 17520
Raw data (stat): 17520 (runsolver) R 17519 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972395381 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17520
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 13346 0 0 0 970 29 0 0 25 0 1 0 972395381 43327488 7450 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10578 7450 301 301 0 10277 0
vsize: 42312
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17520
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 13923 0 0 0 1967 32 0 0 25 0 1 0 972395381 45928448 8027 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11213 8027 301 301 0 10912 0
vsize: 44852
[startup+30.0008 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17520
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14274 0 0 0 2964 35 0 0 25 0 1 0 972395381 47669248 8378 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11638 8378 301 301 0 11337 0
vsize: 46552
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17520
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14667 0 0 0 3962 37 0 0 25 0 1 0 972395381 49479680 8771 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12080 8771 301 301 0 11779 0
vsize: 48320
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17520
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14844 0 0 0 4961 39 0 0 25 0 1 0 972395381 50143232 8948 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12242 8948 301 301 0 11941 0
vsize: 48968
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15017 0 0 0 5959 40 0 0 25 0 1 0 972395381 50745344 9121 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12389 9121 301 301 0 12088 0
vsize: 49556
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15143 0 0 0 6957 42 0 0 25 0 1 0 972395381 51347456 9247 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12536 9247 301 301 0 12235 0
vsize: 50144
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15197 0 0 0 7956 44 0 0 25 0 1 0 972395381 51544064 9301 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12584 9301 301 301 0 12283 0
vsize: 50336
[startup+90.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15237 0 0 0 8954 46 0 0 25 0 1 0 972395381 51544064 9341 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12584 9341 301 301 0 12283 0
vsize: 50336
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15272 0 0 0 9953 47 0 0 25 0 1 0 972395381 51544064 9376 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12584 9376 301 301 0 12283 0
vsize: 50336
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15334 0 0 0 10952 48 0 0 25 0 1 0 972395381 51679232 9438 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12617 9438 301 301 0 12316 0
vsize: 50468
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15591 0 0 0 11950 50 0 0 25 0 1 0 972395381 52011008 9522 4294967295 134512640 135730672 3221224576 3221222992 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12698 9522 301 301 0 12397 0
vsize: 50792
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15635 0 0 0 12948 52 0 0 25 0 1 0 972395381 52146176 9566 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12731 9566 301 301 0 12430 0
vsize: 50924
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15835 0 0 0 13947 54 0 0 25 0 1 0 972395381 52281344 9593 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12764 9593 301 301 0 12463 0
vsize: 51056
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16036 0 0 0 14946 56 0 0 25 0 1 0 972395381 52416512 9621 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12797 9621 301 301 0 12496 0
vsize: 51188
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16266 0 0 0 15945 57 0 0 25 0 1 0 972395381 52551680 9678 4294967295 134512640 135730672 3221224576 3221222688 134732532 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12830 9678 301 301 0 12529 0
vsize: 51320
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16605 0 0 0 16943 59 0 0 25 0 1 0 972395381 52551680 9844 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12830 9844 301 301 0 12529 0
vsize: 51320
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16813 0 0 0 17941 61 0 0 25 0 1 0 972395381 52686848 9879 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12863 9879 301 301 0 12562 0
vsize: 51452
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16991 0 0 0 18940 62 0 0 25 0 1 0 972395381 52686848 9884 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12863 9884 301 301 0 12562 0
vsize: 51452
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17187 0 0 0 19939 64 0 0 25 0 1 0 972395381 52822016 9907 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12896 9907 301 301 0 12595 0
vsize: 51584
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17449 0 0 0 20938 65 0 0 25 0 1 0 972395381 53227520 9996 4294967295 134512640 135730672 3221224576 3221222848 134732674 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 9996 301 301 0 12694 0
vsize: 51980
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17665 0 0 0 21936 67 0 0 25 0 1 0 972395381 53227520 10039 4294967295 134512640 135730672 3221224576 3221222964 134747444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10039 301 301 0 12694 0
vsize: 51980
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17695 0 0 0 22934 68 0 0 25 0 1 0 972395381 53227520 10069 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10069 301 301 0 12694 0
vsize: 51980
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17883 0 0 0 23933 70 0 0 25 0 1 0 972395381 53227520 10084 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10084 301 301 0 12694 0
vsize: 51980
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18062 0 0 0 24932 71 0 0 25 0 1 0 972395381 53227520 10090 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10090 301 301 0 12694 0
vsize: 51980
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18240 0 0 0 25930 73 0 0 25 0 1 0 972395381 53227520 10095 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10095 301 301 0 12694 0
vsize: 51980
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18249 0 0 0 26929 74 0 0 25 0 1 0 972395381 53227520 10104 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12995 10104 301 301 0 12694 0
vsize: 51980
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18442 0 0 0 27927 76 0 0 25 0 1 0 972395381 53362688 10124 4294967295 134512640 135730672 3221224576 3221222880 135282415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13028 10124 301 301 0 12727 0
vsize: 52112
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18661 0 0 0 28926 78 0 0 25 0 1 0 972395381 53633024 10170 4294967295 134512640 135730672 3221224576 3221223016 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13094 10170 301 301 0 12793 0
vsize: 52376
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18681 0 0 0 29924 79 0 0 25 0 1 0 972395381 53768192 10190 4294967295 134512640 135730672 3221224576 3221222864 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13127 10190 301 301 0 12826 0
vsize: 52508
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18861 0 0 0 30923 81 0 0 25 0 1 0 972395381 53768192 10197 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13127 10197 301 301 0 12826 0
vsize: 52508
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18902 0 0 0 31921 82 0 0 25 0 1 0 972395381 53903360 10238 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13160 10238 301 301 0 12859 0
vsize: 52640
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17522
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19112 0 0 0 32920 84 0 0 25 0 1 0 972395381 54235136 10275 4294967295 134512640 135730672 3221224576 3221222992 134748094 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13241 10275 301 301 0 12940 0
vsize: 52964
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19289 0 0 0 33917 86 0 0 25 0 1 0 972395381 54235136 10279 4294967295 134512640 135730672 3221224576 3221222864 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13241 10279 301 301 0 12940 0
vsize: 52964
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19487 0 0 0 34915 89 0 0 25 0 1 0 972395381 54235136 10304 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13241 10304 301 301 0 12940 0
vsize: 52964
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19687 0 0 0 35914 90 0 0 25 0 1 0 972395381 54370304 10331 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13274 10331 301 301 0 12973 0
vsize: 53096
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19719 0 0 0 36912 92 0 0 25 0 1 0 972395381 54566912 10363 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10363 301 301 0 13021 0
vsize: 53288
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19910 0 0 0 37911 94 0 0 25 0 1 0 972395381 54566912 10381 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10381 301 301 0 13021 0
vsize: 53288
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20088 0 0 0 38909 95 0 0 25 0 1 0 972395381 54566912 10386 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10386 301 301 0 13021 0
vsize: 53288
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20265 0 0 0 39907 98 0 0 25 0 1 0 972395381 54566912 10390 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10390 301 301 0 13021 0
vsize: 53288
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20272 0 0 0 40906 99 0 0 25 0 1 0 972395381 54566912 10397 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10397 301 301 0 13021 0
vsize: 53288
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20453 0 0 0 41904 101 0 0 25 0 1 0 972395381 54566912 10405 4294967295 134512640 135730672 3221224576 3221222732 135291103 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13322 10405 301 301 0 13021 0
vsize: 53288
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20663 0 0 0 42903 102 0 0 25 0 1 0 972395381 54763520 10442 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10442 301 301 0 13069 0
vsize: 53480
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20896 0 0 0 43902 103 0 0 25 0 1 0 972395381 54763520 10502 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10502 301 301 0 13069 0
vsize: 53480
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20898 0 0 0 44900 105 0 0 25 0 1 0 972395381 54763520 10504 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10504 301 301 0 13069 0
vsize: 53480
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21075 0 0 0 45899 106 0 0 25 0 1 0 972395381 54763520 10508 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10508 301 301 0 13069 0
vsize: 53480
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21325 0 0 0 46898 108 0 0 25 0 1 0 972395381 54763520 10585 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10585 301 301 0 13069 0
vsize: 53480
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21600 0 0 0 47896 109 0 0 25 0 1 0 972395381 54763520 10687 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13370 10687 301 301 0 13069 0
vsize: 53480
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21861 0 0 0 48894 111 0 0 25 0 1 0 972395381 55070720 10775 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13445 10775 301 301 0 13144 0
vsize: 53780
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22120 0 0 0 49892 113 0 0 25 0 1 0 972395381 55476224 10861 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 10861 301 301 0 13243 0
vsize: 54176
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22125 0 0 0 50891 115 0 0 25 0 1 0 972395381 55476224 10866 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 10866 301 301 0 13243 0
vsize: 54176
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22301 0 0 0 51890 116 0 0 25 0 1 0 972395381 55476224 10869 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13544 10869 301 301 0 13243 0
vsize: 54176
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22483 0 0 0 52888 118 0 0 25 0 1 0 972395381 55476224 10878 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13544 10878 301 301 0 13243 0
vsize: 54176
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22489 0 0 0 53888 119 0 0 25 0 1 0 972395381 55476224 10884 4294967295 134512640 135730672 3221224576 3221222988 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13544 10884 301 301 0 13243 0
vsize: 54176
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22684 0 0 0 54886 120 0 0 25 0 1 0 972395381 55611392 10906 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13577 10906 301 301 0 13276 0
vsize: 54308
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22909 0 0 0 55885 122 0 0 25 0 1 0 972395381 55775232 10958 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13617 10958 301 301 0 13316 0
vsize: 54468
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23087 0 0 0 56884 123 0 0 25 0 1 0 972395381 55775232 10963 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13617 10963 301 301 0 13316 0
vsize: 54468
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23277 0 0 0 57883 124 0 0 25 0 1 0 972395381 64163840 10980 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15665 10980 301 301 0 15364 0
vsize: 62660
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23597 0 0 0 58882 125 0 0 25 0 1 0 972395381 64163840 11127 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15665 11127 301 301 0 15364 0
vsize: 62660
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23918 0 0 0 59881 127 0 0 25 0 1 0 972395381 64163840 11275 4294967295 134512640 135730672 3221224576 3221222992 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15665 11275 301 301 0 15364 0
vsize: 62660
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24366 0 0 0 60880 128 0 0 25 0 1 0 972395381 64294912 11377 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15697 11377 301 301 0 15396 0
vsize: 62788
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24552 0 0 0 61879 128 0 0 25 0 1 0 972395381 64294912 11390 4294967295 134512640 135730672 3221224576 3221222880 135282963 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15697 11390 301 301 0 15396 0
vsize: 62788
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24650 0 0 0 62879 129 0 0 25 0 1 0 972395381 65273856 11488 4294967295 134512640 135730672 3221224576 3221222704 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15936 11498 301 301 0 15635 0
vsize: 63744
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24768 0 0 0 63878 130 0 0 25 0 1 0 972395381 64565248 11433 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 11433 301 301 0 15462 0
vsize: 63052
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24944 0 0 0 64877 132 0 0 25 0 1 0 972395381 64565248 11436 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15763 11436 301 301 0 15462 0
vsize: 63052
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25007 0 0 0 65875 133 0 0 25 0 1 0 972395381 64864256 11499 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11499 301 301 0 15535 0
vsize: 63344
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25182 0 0 0 66874 135 0 0 25 0 1 0 972395381 64864256 11501 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11501 301 301 0 15535 0
vsize: 63344
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25360 0 0 0 67873 136 0 0 25 0 1 0 972395381 64864256 11506 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11506 301 301 0 15535 0
vsize: 63344
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25364 0 0 0 68871 137 0 0 25 0 1 0 972395381 64864256 11510 4294967295 134512640 135730672 3221224576 3221222880 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11510 301 301 0 15535 0
vsize: 63344
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25541 0 0 0 69870 139 0 0 25 0 1 0 972395381 64864256 11514 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11514 301 301 0 15535 0
vsize: 63344
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25717 0 0 0 70869 141 0 0 25 0 1 0 972395381 64864256 11517 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15836 11517 301 301 0 15535 0
vsize: 63344
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25934 0 0 0 71867 142 0 0 25 0 1 0 972395381 65134592 11561 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15902 11561 301 301 0 15601 0
vsize: 63608
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26128 0 0 0 72866 143 0 0 25 0 1 0 972395381 65269760 11582 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15935 11582 301 301 0 15634 0
vsize: 63740
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26132 0 0 0 73865 144 0 0 25 0 1 0 972395381 65269760 11586 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15935 11586 301 301 0 15634 0
vsize: 63740
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26309 0 0 0 74865 145 0 0 25 0 1 0 972395381 65269760 11590 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15935 11590 301 301 0 15634 0
vsize: 63740
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26486 0 0 0 75864 146 0 0 25 0 1 0 972395381 65269760 11594 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15935 11594 301 301 0 15634 0
vsize: 63740
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26491 0 0 0 76863 148 0 0 25 0 1 0 972395381 65269760 11599 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15935 11599 301 301 0 15634 0
vsize: 63740
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26698 0 0 0 77862 149 0 0 25 0 1 0 972395381 65466368 11633 4294967295 134512640 135730672 3221224576 3221222864 134747927 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15983 11633 301 301 0 15682 0
vsize: 63932
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26700 0 0 0 78861 150 0 0 25 0 1 0 972395381 65466368 11635 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15983 11635 301 301 0 15682 0
vsize: 63932
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26930 0 0 0 79860 151 0 0 25 0 1 0 972395381 65871872 11692 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16082 11692 301 301 0 15781 0
vsize: 64328
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27113 0 0 0 80859 152 0 0 25 0 1 0 972395381 65871872 11702 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16082 11702 301 301 0 15781 0
vsize: 64328
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27153 0 0 0 81857 154 0 0 25 0 1 0 972395381 66068480 11742 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16130 11742 301 301 0 15829 0
vsize: 64520
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27328 0 0 0 82857 155 0 0 25 0 1 0 972395381 66068480 11744 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16130 11744 301 301 0 15829 0
vsize: 64520
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27334 0 0 0 83855 156 0 0 25 0 1 0 972395381 66068480 11750 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16130 11750 301 301 0 15829 0
vsize: 64520
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27528 0 0 0 84855 157 0 0 25 0 1 0 972395381 66203648 11771 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16163 11771 301 301 0 15862 0
vsize: 64652
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27723 0 0 0 85853 159 0 0 25 0 1 0 972395381 66338816 11793 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11793 301 301 0 15895 0
vsize: 64784
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27727 0 0 0 86852 160 0 0 25 0 1 0 972395381 66338816 11797 4294967295 134512640 135730672 3221224576 3221222732 135291218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11797 301 301 0 15895 0
vsize: 64784
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27903 0 0 0 87850 162 0 0 25 0 1 0 972395381 66338816 11800 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11800 301 301 0 15895 0
vsize: 64784
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28079 0 0 0 88848 164 0 0 25 0 1 0 972395381 66338816 11803 4294967295 134512640 135730672 3221224576 3221222848 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11803 301 301 0 15895 0
vsize: 64784
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28082 0 0 0 89848 165 0 0 25 0 1 0 972395381 66338816 11806 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11806 301 301 0 15895 0
vsize: 64784
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28262 0 0 0 90847 166 0 0 25 0 1 0 972395381 66338816 11813 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11813 301 301 0 15895 0
vsize: 64784
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28438 0 0 0 91845 167 0 0 25 0 1 0 972395381 66338816 11816 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11816 301 301 0 15895 0
vsize: 64784
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28441 0 0 0 92844 168 0 0 25 0 1 0 972395381 66338816 11819 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16196 11819 301 301 0 15895 0
vsize: 64784
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28624 0 0 0 93844 170 0 0 25 0 1 0 972395381 66502656 11829 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16236 11829 301 301 0 15935 0
vsize: 64944
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28801 0 0 0 94842 171 0 0 25 0 1 0 972395381 66502656 11833 4294967295 134512640 135730672 3221224576 3221222864 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16236 11833 301 301 0 15935 0
vsize: 64944
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28984 0 0 0 95841 172 0 0 25 0 1 0 972395381 66502656 11843 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16236 11843 301 301 0 15935 0
vsize: 64944
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29167 0 0 0 96840 173 0 0 25 0 1 0 972395381 66502656 11853 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16236 11853 301 301 0 15935 0
vsize: 64944
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29358 0 0 0 97838 175 0 0 25 0 1 0 972395381 66650112 11871 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16272 11871 301 301 0 15971 0
vsize: 65088
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29361 0 0 0 98837 176 0 0 25 0 1 0 972395381 66650112 11874 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16272 11874 301 301 0 15971 0
vsize: 65088
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29583 0 0 0 99836 178 0 0 25 0 1 0 972395381 66785280 11923 4294967295 134512640 135730672 3221224576 3221222864 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16305 11923 301 301 0 16004 0
vsize: 65220
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29587 0 0 0 100835 179 0 0 25 0 1 0 972395381 66785280 11927 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16305 11927 301 301 0 16004 0
vsize: 65220
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29768 0 0 0 101834 181 0 0 25 0 1 0 972395381 66785280 11935 4294967295 134512640 135730672 3221224576 3221222700 134739216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16305 11935 301 301 0 16004 0
vsize: 65220
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29979 0 0 0 102833 182 0 0 25 0 1 0 972395381 66785280 11973 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16305 11973 301 301 0 16004 0
vsize: 65220
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30214 0 0 0 103831 184 0 0 25 0 1 0 972395381 66785280 12035 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16305 12035 301 301 0 16004 0
vsize: 65220
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30234 0 0 0 104830 185 0 0 25 0 1 0 972395381 66920448 12055 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12055 301 301 0 16037 0
vsize: 65352
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30410 0 0 0 105829 186 0 0 25 0 1 0 972395381 66920448 12058 4294967295 134512640 135730672 3221224576 3221222960 134763671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12058 301 301 0 16037 0
vsize: 65352
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30588 0 0 0 106828 187 0 0 25 0 1 0 972395381 66920448 12063 4294967295 134512640 135730672 3221224576 3221223056 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12063 301 301 0 16037 0
vsize: 65352
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30779 0 0 0 107827 189 0 0 25 0 1 0 972395381 66920448 12081 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12081 301 301 0 16037 0
vsize: 65352
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30812 0 0 0 108826 190 0 0 25 0 1 0 972395381 66920448 12114 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12114 301 301 0 16037 0
vsize: 65352
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31032 0 0 0 109824 192 0 0 25 0 1 0 972395381 66920448 12161 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16338 12161 301 301 0 16037 0
vsize: 65352
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31308 0 0 0 110823 193 0 0 25 0 1 0 972395381 67035136 12264 4294967295 134512640 135730672 3221224576 3221222976 134744745 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16366 12264 301 301 0 16065 0
vsize: 65464
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31316 0 0 0 111823 193 0 0 25 0 1 0 972395381 67035136 12272 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16366 12272 301 301 0 16065 0
vsize: 65464
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31707 0 0 0 112821 195 0 0 25 0 1 0 972395381 67035136 12317 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16366 12317 301 301 0 16065 0
vsize: 65464
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31788 0 0 0 113820 196 0 0 25 0 1 0 972395381 67035136 12398 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16366 12398 301 301 0 16065 0
vsize: 65464
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32020 0 0 0 114820 197 0 0 25 0 1 0 972395381 67170304 12457 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12457 301 301 0 16098 0
vsize: 65596
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32231 0 0 0 115818 199 0 0 25 0 1 0 972395381 67170304 12495 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12495 301 301 0 16098 0
vsize: 65596
[startup+1170.03 s]
Raw data (loadavg): 1.30 1.04 0.93 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32266 0 0 0 116818 200 0 0 25 0 1 0 972395381 67170304 12530 4294967295 134512640 135730672 3221224576 3221223056 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12530 301 301 0 16098 0
vsize: 65596
[startup+1180.03 s]
Raw data (loadavg): 1.25 1.03 0.93 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32460 0 0 0 117817 201 0 0 25 0 1 0 972395381 67170304 12551 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12551 301 301 0 16098 0
vsize: 65596
[startup+1190.03 s]
Raw data (loadavg): 1.21 1.03 0.93 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32640 0 0 0 118816 202 0 0 25 0 1 0 972395381 67170304 12558 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12558 301 301 0 16098 0
vsize: 65596
[startup+1200.03 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 17524
Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32652 0 0 0 119815 203 0 0 25 0 1 0 972395381 67170304 12570 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16399 12570 301 301 0 16098 0
vsize: 65596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 1.18 1.03 0.93 1/54 17524
Raw data (stat): 17520 (pb2sat-v2) Z 17519 7266 7265 0 -1 12 32654 0 0 0 119840 205 0 0 25 0 1 0 972395381 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.31
CPU time (s): 1200.46
CPU user time (s): 1198.41
CPU system time (s): 2.05369
CPU usage (%): 100.013
Max. virtual memory (Kb): 65596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####