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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
MD5SUM	688d61d0de54e028c8c4910e094a132c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	893343
Optimality of the best value was proved	NO
Number of terms in the objective function	3549
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	949933178
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	949933178
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3549
Total number of constraints	195
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	195
Minimum length of a constraint	21
Maximum length of a constraint	260
Trace number 26879

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 17:36:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19282 boxname=wulflinc28 idbench=1484 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb
IDLAUNCH: 19282
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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:        776580 kB
Buffers:         34208 kB
Cached:         202416 kB
SwapCached:       1104 kB
Active:          61068 kB
Inactive:       178184 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        776300 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13296 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:55:48 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 19282 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3549 variables and 221 constraints.
c After prepocess the problem consists of 1914 variables and 221 constraints.
c preprocess terminated 2.404 s
c Initial Lower Bound: 37
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1213056 @ 302.932
c NEW SOLUTION FOUND: 1180672 @ 302.936
c NEW SOLUTION FOUND: 1161344 @ 303.1
c NEW SOLUTION FOUND: 1151104 @ 303.19
c NEW SOLUTION FOUND: 1129984 @ 304.052
c NEW SOLUTION FOUND: 1127168 @ 304.063
c NEW SOLUTION FOUND: 1095552 @ 304.075
c NEW SOLUTION FOUND: 1083648 @ 304.363
c NEW SOLUTION FOUND: 1056384 @ 306.946
c NEW SOLUTION FOUND: 1054592 @ 401.288
c NEW SOLUTION FOUND: 1053568 @ 401.467
c NEW SOLUTION FOUND: 1048320 @ 412.581
c NEW SOLUTION FOUND: 1043200 @ 412.671
c NEW SOLUTION FOUND: 1042176 @ 413.406
c NEW SOLUTION FOUND: 1035776 @ 446.652
c NEW SOLUTION FOUND: 1028352 @ 451.683
c NEW SOLUTION FOUND: 1027328 @ 452.718
c NEW SOLUTION FOUND: 1026560 @ 462.553
c NEW SOLUTION FOUND: 1021440 @ 463.752
c NEW SOLUTION FOUND: 1008768 @ 464.484
c NEW SOLUTION FOUND: 1007360 @ 499.271
c NEW SOLUTION FOUND: 1000320 @ 504.403
c NEW SOLUTION FOUND: 998912 @ 676.816
c NEW SOLUTION FOUND: 994432 @ 882.635
c NEW SOLUTION FOUND: 990464 @ 882.643
c NEW SOLUTION FOUND: 987520 @ 1112.78
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 X8_bit1 X8_bit2 X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 X41_bit0 -X41_bit1 X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 X44_bit0 X44_bit1 X44_bit2 -X44_bit3 X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 X64_bit0 -X64_bit1 X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 X76_bit0 X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 X86_bit1 X86_bit2 X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 X87_bit0 X87_bit1 X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 X94_bit0 -X94_bit1 X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 X105_bit1 -X105_bit2 -X105_bit3 X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 -X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 -X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 -X122_bit_2 -X122_bit_1 -X122_bit0 -X122_bit1 -X122_bit2 -X122_bit3 -X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 X123_bit0 -X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X124_bit_7 -X124_bit_6 -X124_bit_5 -X124_bit_4 -X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 X126_bit0 -X126_bit1 -X126_bit2 -X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 X128_bit1 X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 -X132_bit0 -X132_bit1 -X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 -X133_bit1 -X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 -X135_bit_3 -X135_bit_2 -X135_bit_1 -X135_bit0 X135_bit1 -X135_bit2 X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X137_bit_7 -X137_bit_6 -X137_bit_5 -X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 X138_bit0 X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X139_bit_7 -X139_bit_6 -X139_bit_5 -X139_bit_4 -X139_bit_3 -X139_bit_2 -X139_bit_1 -X139_bit0 -X139_bit1 -X139_bit2 -X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 -X140_bit1 -X140_bit2 -X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 X143_bit0 X143_bit1 -X143_bit2 X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -X144_bit_7 -X144_bit_6 -X144_bit_5 -X144_bit_4 -X144_bit_3 -X144_bit_2 -X144_bit_1 X144_bit0 -X144_bit1 -X144_bit2 -X144_bit3 -X144_bit4 -X144_bit5 -X144_bit6 -X144_bit7 -X144_bit8 -X144_bit9 -X144_bit10 -X144_bit11 -X144_bit12 -X145_bit_7 -X145_bit_6 -X145_bit_5 -X145_bit_4 -X145_bit_3 -X145_bit_2 -X145_bit_1 -X145_bit0 -X145_bit1 -X145_bit2 -X145_bit3 -X145_bit4 -X145_bit5 -X145_bit6 -X145_bit7 -X145_bit8 -X145_bit9 -X145_bit10 -X145_bit11 -X145_bit12 -X146_bit_7 -X146_bit_6 -X146_bit_5 -X146_bit_4 -X146_bit_3 -X146_bit_2 -X146_bit_1 -X146_bit0 -X146_bit1 -X146_bit2 -X146_bit3 -X146_bit4 -X146_bit5 -X146_bit6 -X146_bit7 -X146_bit8 -X146_bit9 -X146_bit10 -X146_bit11 -X146_bit12 -X147_bit_7 -X147_bit_6 -X147_bit_5 -X147_bit_4 -X147_bit_3 -X147_bit_2 -X147_bit_1 -X147_bit0 -X147_bit1 -X147_bit2 -X147_bit3 -X147_bit4 -X147_bit5 -X147_bit6 -X147_bit7 -X147_bit8 -X147_bit9 -X147_bit10 -X147_bit11 -X147_bit12 -X148_bit_7 -X148_bit_6 -X148_bit_5 -X148_bit_4 -X148_bit_3 -X148_bit_2 -X148_bit_1 -X148_bit0 -X148_bit1 -X148_bit2 -X148_bit3 -X148_bit4 -X148_bit5 -X148_bit6 -X148_bit7 -X148_bit8 -X148_bit9 -X148_bit10 -X148_bit11 -X148_bit12 -X149_bit_7 -X149_bit_6 -X149_bit_5 -X149_bit_4 -X149_bit_3 -X149_bit_2 -X149_bit_1 -X149_bit0 -X149_bit1 -X149_bit2 -X149_bit3 -X149_bit4 -X149_bit5 -X149_bit6 -X149_bit7 -X149_bit8 -X149_bit9 -X149_bit10 -X149_bit11 -X149_bit12 -X150_bit_7 -X150_bit_6 -X150_bit_5 -X150_bit_4 -X150_bit_3 -X150_bit_2 -X150_bit_1 -X150_bit0 -X150_bit1 -X150_bit2 -X150_bit3 -X150_bit4 -X150_bit5 -X150_bit6 -X150_bit7 -X150_bit8 -X150_bit9 -X150_bit10 -X150_bit11 -X150_bit12 -X151_bit_7 -X151_bit_6 -X151_bit_5 -X151_bit_4 -X151_bit_3 -X151_bit_2 -X151_bit_1 -X151_bit0 -X151_bit1 -X151_bit2 -X151_bit3 -X151_bit4 -X151_bit5 -X151_bit6 -X151_bit7 -X151_bit8 -X151_bit9 -X151_bit10 -X151_bit11 -X151_bit12 -X152_bit_7 -X152_bit_6 -X152_bit_5 -X152_bit_4 -X152_bit_3 -X152_bit_2 -X152_bit_1 -X152_bit0 -X152_bit1 -X152_bit2 -X152_bit3 -X152_bit4 -X152_bit5 -X152_bit6 -X152_bit7 -X152_bit8 -X152_bit9 -X152_bit10 -X152_bit11 -X152_bit12 -X153_bit_7 -X153_bit_6 -X153_bit_5 -X153_bit_4 -X153_bit_3 -X153_bit_2 -X153_bit_1 -X153_bit0 -X153_bit1 -X153_bit2 -X153_bit3 -X153_bit4 -X153_bit5 -X153_bit6 -X153_bit7 -X153_bit8 -X153_bit9 -X153_bit10 -X153_bit11 -X153_bit12 -X154_bit_7 -X154_bit_6 -X154_bit_5 -X154_bit_4 -X154_bit_3 -X154_bit_2 -X154_bit_1 -X154_bit0 -X154_bit1 -X154_bit2 -X154_bit3 -X154_bit4 -X154_bit5 -X154_bit6 -X154_bit7 -X154_bit8 -X154_bit9 -X154_bit10 -X154_bit11 -X154_bit12 -X155_bit_7 -X155_bit_6 -X155_bit_5 -X155_bit_4 -X155_bit_3 -X155_bit_2 -X155_bit_1 -X155_bit0 -X155_bit1 -X155_bit2 -X155_bit3 -X155_bit4 -X155_bit5 -X155_bit6 -X155_bit7 -X155_bit8 -X155_bit9 -X155_bit10 -X155_bit11 -X155_bit12 -X156_bit_7 -X156_bit_6 -X156_bit_5 -X156_bit_4 -X156_bit_3 -X156_bit_2 -X156_bit_1 X156_bit0 X156_bit1 X156_bit2 -X156_bit3 -X156_bit4 -X156_bit5 -X156_bit6 -X156_bit7 -X156_bit8 -X156_bit9 -X156_bit10 -X156_bit11 -X156_bit12 -X157_bit_7 -X157_bit_6 -X157_bit_5 -X157_bit_4 -X157_bit_3 -X157_bit_2 -X157_bit_1 X157_bit0 -X157_bit1 -X157_bit2 -X157_bit3 -X157_bit4 -X157_bit5 -X157_bit6 -X157_bit7 -X157_bit8 -X157_bit9 -X157_bit10 -X157_bit11 -X157_bit12 -X158_bit_7 -X158_bit_6 -X158_bit_5 -X158_bit_4 -X158_bit_3 -X158_bit_2 -X158_bit_1 -X158_bit0 X158_bit1 -X158_bit2 -X158_bit3 -X158_bit4 -X158_bit5 -X158_bit6 -X158_bit7 -X158_bit8 -X158_bit9 -X158_bit10 -X158_bit11 -X158_bit12 -X159_bit_7 -X159_bit_6 -X159_bit_5 -X159_bit_4 -X159_bit_3 -X159_bit_2 -X159_bit_1 -X159_bit0 -X159_bit1 -X159_bit2 -X159_bit3 -X159_bit4 -X159_bit5 -X159_bit6 -X159_bit7 -X159_bit8 -X159_bit9 -X159_bit10 -X159_bit11 -X159_bit12 -X160_bit_7 -X160_bit_6 -X160_bit_5 -X160_bit_4 -X160_bit_3 -X160_bit_2 -X160_bit_1 -X160_bit0 -X160_bit1 -X160_bit2 -X160_bit3 -X160_bit4 -X160_bit5 -X160_bit6 -X160_bit7 -X160_bit8 -X160_bit9 -X160_bit10 -X160_bit11 -X160_bit12 -X161_bit_7 -X161_bit_6 -X161_bit_5 -X161_bit_4 -X161_bit_3 -X161_bit_2 -X161_bit_1 -X161_bit0 X161_bit1 -X161_bit2 X161_bit3 -X161_bit4 -X161_bit5 -X161_bit6 -X161_bit7 -X161_bit8 -X161_bit9 -X161_bit10 -X161_bit11 -X161_bit12 -X162_bit_7 -X162_bit_6 -X162_bit_5 -X162_bit_4 -X162_bit_3 -X162_bit_2 -X162_bit_1 -X162_bit0 -X162_bit1 -X162_bit2 -X162_bit3 -X162_bit4 -X162_bit5 -X162_bit6 -X162_bit7 -X162_bit8 -X162_bit9 -X162_bit10 -X162_bit11 -X162_bit12 -X163_bit_7 -X163_bit_6 -X163_bit_5 -X163_bit_4 -X163_bit_3 -X163_bit_2 -X163_bit_1 -X163_bit0 -X163_bit1 -X163_bit2 -X163_bit3 -X163_bit4 -X163_bit5 -X163_bit6 -X163_bit7 -X163_bit8 -X163_bit9 -X163_bit10 -X163_bit11 -X163_bit12 -X164_bit_7 -X164_bit_6 -X164_bit_5 -X164_bit_4 -X164_bit_3 -X164_bit_2 -X164_bit_1 -X164_bit0 -X164_bit1 -X164_bit2 -X164_bit3 -X164_bit4 -X164_bit5 -X164_bit6 -X164_bit7 -X164_bit8 -X164_bit9 -X164_bit10 -X164_bit11 -X164_bit12 -X165_bit_7 -X165_bit_6 -X165_bit_5 -X165_bit_4 -X165_bit_3 -X165_bit_2 -X165_bit_1 -X165_bit0 -X165_bit1 -X165_bit2 -X165_bit3 -X165_bit4 -X165_bit5 -X165_bit6 -X165_bit7 -X165_bit8 -X165_bit9 -X165_bit10 -X165_bit11 -X165_bit12 -X166_bit_7 -X166_bit_6 -X166_bit_5 -X166_bit_4 -X166_bit_3 -X166_bit_2 -X166_bit_1 -X166_bit0 -X166_bit1 -X166_bit2 -X166_bit3 -X166_bit4 -X166_bit5 -X166_bit6 -X166_bit7 -X166_bit8 -X166_bit9 -X166_bit10 -X166_bit11 -X166_bit12 -X167_bit_7 -X167_bit_6 -X167_bit_5 -X167_bit_4 -X167_bit_3 -X167_bit_2 -X167_bit_1 -X167_bit0 -X167_bit1 -X167_bit2 -X167_bit3 -X167_bit4 -X167_bit5 -X167_bit6 -X167_bit7 -X167_bit8 -X167_bit9 -X167_bit10 -X167_bit11 -X167_bit12 -X168_bit_7 -X168_bit_6 -X168_bit_5 -X168_bit_4 -X168_bit_3 -X168_bit_2 -X168_bit_1 -X168_bit0 -X168_bit1 -X168_bit2 -X168_bit3 -X168_bit4 -X168_bit5 -X168_bit6 -X168_bit7 -X168_bit8 -X168_bit9 -X168_bit10 -X168_bit11 -X168_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 Y32_bit0 -Y33_bit0 Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 Y61_bit0 -Y62_bit0 -Y63_bit0 Y64_bit0 -Y65_bit0 -Y66_bit0 -Y67_bit0 Y68_bit0 Y69_bit0 -Y70_bit0 Y71_bit0 -Y72_bit0 Y73_bit0 -Y74_bit0 -Y75_bit0 Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 Y86_bit0 Y87_bit0 -Y88_bit0 -Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 Y94_bit0 Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 -Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 Y105_bit0 -Y106_bit0 -Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 -Y112_bit0 -Y113_bit0 -Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 Y119_bit0 -Y120_bit0 -Y121_bit0 -Y122_bit0 Y123_bit0 -Y124_bit0 -Y125_bit0 Y126_bit0 Y127_bit0 Y128_bit0 -Y129_bit0 Y130_bit0 -Y131_bit0 -Y132_bit0 -Y133_bit0 -Y134_bit0 Y135_bit0 -Y136_bit0 Y137_bit0 Y138_bit0 -Y139_bit0 -Y140_bit0 -Y141_bit0 -Y142_bit0 Y143_bit0 Y144_bit0 -Y145_bit0 -Y146_bit0 -Y147_bit0 -Y148_bit0 -Y149_bit0 -Y150_bit0 -Y151_bit0 -Y152_bit0 -Y153_bit0 -Y154_bit0 -Y155_bit0 Y156_bit0 Y157_bit0 Y158_bit0 -Y159_bit0 -Y160_bit0 Y161_bit0 -Y162_bit0 -Y163_bit0 -Y164_bit0 -Y165_bit0 -Y166_bit0 -Y167_bit0 -Y168_bit0 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.93 2/54 27591
Raw data (stat): 27591 (runsolver) R 27590 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832092503 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4616 0 0 0 987 10 0 0 25 0 1 0 832092503 22536192 4579 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5502 4579 1111 63 0 5439 0
vsize: 22008
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4638 0 0 0 1986 11 0 0 25 0 1 0 832092503 22671360 4601 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5535 4601 1111 63 0 5472 0
vsize: 22140
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4643 0 0 0 2985 13 0 0 25 0 1 0 832092503 22671360 4606 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5535 4606 1111 63 0 5472 0
vsize: 22140
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4643 0 0 0 3984 14 0 0 25 0 1 0 832092503 22671360 4606 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5535 4606 1111 63 0 5472 0
vsize: 22140
[startup+50.0008 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4643 0 0 0 4984 15 0 0 25 0 1 0 832092503 22671360 4606 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5535 4606 1111 63 0 5472 0
vsize: 22140
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4643 0 0 0 5983 16 0 0 25 0 1 0 832092503 22671360 4606 4294967295 134512640 134714540 3221224592 3221223392 134611415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5535 4606 1111 63 0 5472 0
vsize: 22140
[startup+70.0001 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4687 0 0 0 6981 17 0 0 25 0 1 0 832092503 22827008 4650 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5573 4650 1111 63 0 5510 0
vsize: 22292
[startup+80.0008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4687 0 0 0 7980 19 0 0 25 0 1 0 832092503 22827008 4650 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5573 4650 1111 63 0 5510 0
vsize: 22292
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4689 0 0 0 8978 21 0 0 25 0 1 0 832092503 22827008 4652 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5573 4652 1111 63 0 5510 0
vsize: 22292
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 9977 23 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223332 134591747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 10975 25 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 11974 26 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 12972 28 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 13971 30 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223400 134558585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 14969 31 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 15968 33 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223312 134613665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 16966 35 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4703 0 0 0 17965 36 0 0 25 0 1 0 832092503 22962176 4666 4294967295 134512640 134714540 3221224592 3221223344 134592388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4666 1111 63 0 5543 0
vsize: 22424
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4710 0 0 0 18964 38 0 0 25 0 1 0 832092503 22962176 4673 4294967295 134512640 134714540 3221224592 3221223348 134624487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4673 1111 63 0 5543 0
vsize: 22424
[startup+200.004 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4713 0 0 0 19962 39 0 0 25 0 1 0 832092503 22962176 4676 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4676 1111 63 0 5543 0
vsize: 22424
[startup+210.005 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4715 0 0 0 20961 41 0 0 25 0 1 0 832092503 22962176 4678 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4678 1111 63 0 5543 0
vsize: 22424
[startup+220.004 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4717 0 0 0 21959 42 0 0 25 0 1 0 832092503 22962176 4680 4294967295 134512640 134714540 3221224592 3221223312 1076647868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4680 1111 63 0 5543 0
vsize: 22424
[startup+230.005 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 22959 43 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223324 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+240.005 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 23957 45 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+250.004 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 24955 48 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223312 134556657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+260.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 25954 49 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223152 134696547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+270.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 26953 50 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223324 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+280.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 27952 51 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+290.004 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 28950 53 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+300.004 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 4722 0 0 0 29949 54 0 0 25 0 1 0 832092503 22962176 4685 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4685 1111 63 0 5543 0
vsize: 22424
[startup+310.004 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5360 0 0 0 30946 57 0 0 25 0 1 0 832092503 25440256 5293 4294967295 134512640 134714540 3221224592 3221223360 134592107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6211 5293 1111 63 0 6148 0
vsize: 24844
[startup+320.009 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5496 0 0 0 31946 57 0 0 25 0 1 0 832092503 25944064 5406 4294967295 134512640 134714540 3221224592 3221223272 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6334 5406 1111 63 0 6271 0
vsize: 25336
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5515 0 0 0 32945 59 0 0 25 0 1 0 832092503 26083328 5425 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6368 5425 1111 63 0 6305 0
vsize: 25472
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5601 0 0 0 33944 60 0 0 25 0 1 0 832092503 26353664 5511 4294967295 134512640 134714540 3221224592 3221223200 134523399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6434 5511 1111 63 0 6371 0
vsize: 25736
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5647 0 0 0 34944 60 0 0 25 0 1 0 832092503 26595328 5557 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5557 1111 63 0 6430 0
vsize: 25972
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5647 0 0 0 35944 61 0 0 25 0 1 0 832092503 26595328 5557 4294967295 134512640 134714540 3221224592 3221223312 134542626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5557 1111 63 0 6430 0
vsize: 25972
[startup+370.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5649 0 0 0 36943 62 0 0 25 0 1 0 832092503 26595328 5559 4294967295 134512640 134714540 3221224592 3221223320 134543283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5559 1111 63 0 6430 0
vsize: 25972
[startup+380.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5649 0 0 0 37943 62 0 0 25 0 1 0 832092503 26595328 5559 4294967295 134512640 134714540 3221224592 3221223168 134535400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5559 1111 63 0 6430 0
vsize: 25972
[startup+390.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5649 0 0 0 38942 63 0 0 25 0 1 0 832092503 26595328 5559 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5559 1111 63 0 6430 0
vsize: 25972
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5649 0 0 0 39942 64 0 0 25 0 1 0 832092503 26595328 5559 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5559 1111 63 0 6430 0
vsize: 25972
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5859 0 0 0 40940 65 0 0 25 0 1 0 832092503 27271168 5730 4294967295 134512640 134714540 3221224592 3221223200 1077378571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6658 5730 1111 63 0 6595 0
vsize: 26632
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5859 0 0 0 41939 66 0 0 25 0 1 0 832092503 27230208 5730 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6648 5730 1111 63 0 6585 0
vsize: 26592
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 5859 0 0 0 42938 66 0 0 25 0 1 0 832092503 27230208 5730 4294967295 134512640 134714540 3221224592 3221223152 134540022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 5730 1111 63 0 6585 0
vsize: 26592
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6149 0 0 0 43937 67 0 0 25 0 1 0 832092503 28446720 6020 4294967295 134512640 134714540 3221224592 3221223216 134535422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6945 6020 1111 63 0 6882 0
vsize: 27780
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6337 0 0 0 44936 68 0 0 25 0 1 0 832092503 29237248 6208 4294967295 134512640 134714540 3221224592 3221223292 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6208 1111 63 0 7075 0
vsize: 28552
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6338 0 0 0 45936 69 0 0 25 0 1 0 832092503 29237248 6209 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6209 1111 63 0 7075 0
vsize: 28552
[startup+470.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6338 0 0 0 46935 70 0 0 25 0 1 0 832092503 29237248 6209 4294967295 134512640 134714540 3221224592 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6209 1111 63 0 7075 0
vsize: 28552
[startup+480.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6380 0 0 0 47935 70 0 0 25 0 1 0 832092503 29372416 6251 4294967295 134512640 134714540 3221224592 3221223112 1077378425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7171 6251 1111 63 0 7108 0
vsize: 28684
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6464 0 0 0 48934 71 0 0 25 0 1 0 832092503 29757440 6335 4294967295 134512640 134714540 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7265 6335 1111 63 0 7202 0
vsize: 29060
[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6467 0 0 0 49934 71 0 0 25 0 1 0 832092503 29757440 6338 4294967295 134512640 134714540 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7265 6338 1111 63 0 7202 0
vsize: 29060
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6940 0 0 0 50932 73 0 0 25 0 1 0 832092503 31244288 6701 4294967295 134512640 134714540 3221224592 3221223152 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7628 6701 1111 63 0 7565 0
vsize: 30512
[startup+520.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6983 0 0 0 51931 74 0 0 25 0 1 0 832092503 31428608 6744 4294967295 134512640 134714540 3221224592 3221223208 134672948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 6744 1111 63 0 7610 0
vsize: 30692
[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 6983 0 0 0 52930 74 0 0 25 0 1 0 832092503 31428608 6744 4294967295 134512640 134714540 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 6744 1111 63 0 7610 0
vsize: 30692
[startup+540.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7127 0 0 0 53929 75 0 0 25 0 1 0 832092503 31805440 6848 4294967295 134512640 134714540 3221224592 3221223316 134558500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7765 6848 1111 63 0 7702 0
vsize: 31060
[startup+550.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7136 0 0 0 54929 76 0 0 25 0 1 0 832092503 31952896 6857 4294967295 134512640 134714540 3221224592 3221223200 134538819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7801 6857 1111 63 0 7738 0
vsize: 31204
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7439 0 0 0 55928 77 0 0 25 0 1 0 832092503 33030144 7134 4294967295 134512640 134714540 3221224592 3221223156 134523392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7134 1111 63 0 8001 0
vsize: 32256
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7440 0 0 0 56927 77 0 0 25 0 1 0 832092503 33030144 7135 4294967295 134512640 134714540 3221224592 3221223124 1077378629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7135 1111 63 0 8001 0
vsize: 32256
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7443 0 0 0 57927 78 0 0 25 0 1 0 832092503 33030144 7138 4294967295 134512640 134714540 3221224592 3221223196 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7138 1111 63 0 8001 0
vsize: 32256
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7612 0 0 0 58927 79 0 0 25 0 1 0 832092503 33570816 7278 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7278 1111 63 0 8133 0
vsize: 32784
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7636 0 0 0 59926 79 0 0 25 0 1 0 832092503 33538048 7270 4294967295 134512640 134714540 3221224592 3221223188 134535016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 7270 1111 63 0 8125 0
vsize: 32752
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7636 0 0 0 60926 80 0 0 25 0 1 0 832092503 33538048 7270 4294967295 134512640 134714540 3221224592 3221222828 1077379892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 7270 1111 63 0 8125 0
vsize: 32752
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7636 0 0 0 61926 80 0 0 25 0 1 0 832092503 33538048 7270 4294967295 134512640 134714540 3221224592 3221223184 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 7270 1111 63 0 8125 0
vsize: 32752
[startup+630.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7637 0 0 0 62925 81 0 0 25 0 1 0 832092503 33538048 7271 4294967295 134512640 134714540 3221224592 3221223344 134604600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 7271 1111 63 0 8125 0
vsize: 32752
[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7637 0 0 0 63925 81 0 0 25 0 1 0 832092503 33538048 7271 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 7271 1111 63 0 8125 0
vsize: 32752
[startup+650.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7695 0 0 0 64925 82 0 0 25 0 1 0 832092503 33808384 7329 4294967295 134512640 134714540 3221224592 3221223104 134540480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8254 7329 1111 63 0 8191 0
vsize: 33016
[startup+660.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7760 0 0 0 65925 82 0 0 25 0 1 0 832092503 33579008 7281 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8198 7281 1111 63 0 8135 0
vsize: 32792
[startup+670.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 7937 0 0 0 66924 83 0 0 25 0 1 0 832092503 34299904 7447 4294967295 134512640 134714540 3221224592 3221223324 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8374 7447 1111 63 0 8311 0
vsize: 33496
[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 8507 0 0 0 67923 84 0 0 25 0 1 0 832092503 36442112 7971 4294967295 134512640 134714540 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8897 7971 1111 63 0 8834 0
vsize: 35588
[startup+690.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 8764 0 0 0 68920 86 0 0 25 0 1 0 832092503 37478400 8204 4294967295 134512640 134714540 3221224592 3221223296 134592373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9150 8204 1111 63 0 9087 0
vsize: 36600
[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 8963 0 0 0 69919 88 0 0 25 0 1 0 832092503 38109184 8384 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9304 8384 1111 63 0 9241 0
vsize: 37216
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 8963 0 0 0 70919 88 0 0 25 0 1 0 832092503 38109184 8384 4294967295 134512640 134714540 3221224592 3221223232 134534112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9304 8384 1111 63 0 9241 0
vsize: 37216
[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 8963 0 0 0 71918 89 0 0 25 0 1 0 832092503 38109184 8384 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9304 8384 1111 63 0 9241 0
vsize: 37216
[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9017 0 0 0 72918 90 0 0 25 0 1 0 832092503 38379520 8438 4294967295 134512640 134714540 3221224592 3221223184 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 8438 1111 63 0 9307 0
vsize: 37480
[startup+740.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9338 0 0 0 73916 91 0 0 25 0 1 0 832092503 39477248 8718 4294967295 134512640 134714540 3221224592 3221223232 134594387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8718 1111 63 0 9575 0
vsize: 38552
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9338 0 0 0 74915 92 0 0 25 0 1 0 832092503 39477248 8718 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8718 1111 63 0 9575 0
vsize: 38552
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9339 0 0 0 75915 93 0 0 25 0 1 0 832092503 39477248 8719 4294967295 134512640 134714540 3221224592 3221222876 1077379959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8719 1111 63 0 9575 0
vsize: 38552
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9339 0 0 0 76915 93 0 0 25 0 1 0 832092503 39477248 8719 4294967295 134512640 134714540 3221224592 3221223156 134540530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8719 1111 63 0 9575 0
vsize: 38552
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9382 0 0 0 77914 94 0 0 25 0 1 0 832092503 39702528 8762 4294967295 134512640 134714540 3221224592 3221223232 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9693 8762 1111 63 0 9630 0
vsize: 38772
[startup+790.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9459 0 0 0 78914 94 0 0 25 0 1 0 832092503 39772160 8793 4294967295 134512640 134714540 3221224592 3221223172 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 8793 1111 63 0 9647 0
vsize: 38840
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9459 0 0 0 79913 95 0 0 25 0 1 0 832092503 39772160 8793 4294967295 134512640 134714540 3221224592 3221223220 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 8793 1111 63 0 9647 0
vsize: 38840
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9574 0 0 0 80913 96 0 0 25 0 1 0 832092503 40325120 8908 4294967295 134512640 134714540 3221224592 3221223300 134535492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9845 8908 1111 63 0 9782 0
vsize: 39380
[startup+820.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9646 0 0 0 81912 97 0 0 25 0 1 0 832092503 40419328 8948 4294967295 134512640 134714540 3221224592 3221223336 134604481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9868 8948 1111 63 0 9805 0
vsize: 39472
[startup+830.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9838 0 0 0 82911 98 0 0 25 0 1 0 832092503 41119744 9107 4294967295 134512640 134714540 3221224592 3221223292 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10039 9107 1111 63 0 9976 0
vsize: 40156
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9894 0 0 0 83910 99 0 0 25 0 1 0 832092503 41402368 9163 4294967295 134512640 134714540 3221224592 3221223296 134592340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10108 9163 1111 63 0 10045 0
vsize: 40432
[startup+850.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9983 0 0 0 84910 100 0 0 25 0 1 0 832092503 41766912 9252 4294967295 134512640 134714540 3221224592 3221223184 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10197 9252 1111 63 0 10134 0
vsize: 40788
[startup+860.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9983 0 0 0 85909 100 0 0 25 0 1 0 832092503 41431040 9193 4294967295 134512640 134714540 3221224592 3221223232 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10115 9193 1111 63 0 10052 0
vsize: 40460
[startup+870.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9985 0 0 0 86909 100 0 0 25 0 1 0 832092503 41431040 9195 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10115 9195 1111 63 0 10052 0
vsize: 40460
[startup+880.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 9985 0 0 0 87909 101 0 0 25 0 1 0 832092503 41431040 9195 4294967295 134512640 134714540 3221224592 3221223172 1077374168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10115 9195 1111 63 0 10052 0
vsize: 40460
[startup+890.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 10658 0 0 0 88906 103 0 0 25 0 1 0 832092503 43888640 9774 4294967295 134512640 134714540 3221224592 3221223184 134613418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10715 9774 1111 63 0 10652 0
vsize: 42860
[startup+900.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11135 0 0 0 89904 105 0 0 25 0 1 0 832092503 45887488 10235 4294967295 134512640 134714540 3221224592 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 10235 1111 63 0 11140 0
vsize: 44812
[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11157 0 0 0 90903 106 0 0 25 0 1 0 832092503 45887488 10257 4294967295 134512640 134714540 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 10257 1111 63 0 11140 0
vsize: 44812
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11439 0 0 0 91902 107 0 0 25 0 1 0 832092503 46952448 10515 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11463 10515 1111 63 0 11400 0
vsize: 45852
[startup+930.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11440 0 0 0 92902 108 0 0 25 0 1 0 832092503 46952448 10516 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11463 10516 1111 63 0 11400 0
vsize: 45852
[startup+940.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11448 0 0 0 93901 109 0 0 25 0 1 0 832092503 46940160 10524 4294967295 134512640 134714540 3221224592 3221223312 134558501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11460 10524 1111 63 0 11397 0
vsize: 45840
[startup+950.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11448 0 0 0 94901 109 0 0 25 0 1 0 832092503 46940160 10524 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11460 10524 1111 63 0 11397 0
vsize: 45840
[startup+960.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11685 0 0 0 95901 110 0 0 25 0 1 0 832092503 47812608 10733 4294967295 134512640 134714540 3221224592 3221223208 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11673 10733 1111 63 0 11610 0
vsize: 46692
[startup+970.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11685 0 0 0 96900 110 0 0 25 0 1 0 832092503 47812608 10733 4294967295 134512640 134714540 3221224592 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11673 10733 1111 63 0 11610 0
vsize: 46692
[startup+980.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 11872 0 0 0 97900 111 0 0 25 0 1 0 832092503 48615424 10918 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 10918 1111 63 0 11806 0
vsize: 47476
[startup+990.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12359 0 0 0 98899 112 0 0 25 0 1 0 832092503 50647040 11405 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12365 11405 1111 63 0 12302 0
vsize: 49460
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12359 0 0 0 99899 113 0 0 25 0 1 0 832092503 50483200 11385 4294967295 134512640 134714540 3221224592 3221223192 134523385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12325 11385 1111 63 0 12262 0
vsize: 49300
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12359 0 0 0 100898 113 0 0 25 0 1 0 832092503 50483200 11385 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12325 11385 1111 63 0 12262 0
vsize: 49300
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12359 0 0 0 101899 113 0 0 25 0 1 0 832092503 50483200 11385 4294967295 134512640 134714540 3221224592 3221223168 134535416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12325 11385 1111 63 0 12262 0
vsize: 49300
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12359 0 0 0 102898 114 0 0 25 0 1 0 832092503 50483200 11385 4294967295 134512640 134714540 3221224592 3221223292 134535676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12325 11385 1111 63 0 12262 0
vsize: 49300
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 103898 114 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221222872 1077377866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 104898 114 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223320 134622857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 105898 115 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223172 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 106897 115 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 107897 116 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223152 134540488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 108897 116 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223148 134536848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12467 0 0 0 109896 117 0 0 25 0 1 0 832092503 50794496 11463 4294967295 134512640 134714540 3221224592 3221223312 134558532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12401 11463 1111 63 0 12338 0
vsize: 49604
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12698 0 0 0 110895 118 0 0 25 0 1 0 832092503 51859456 11685 4294967295 134512640 134714540 3221224592 3221223264 1076647868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 11685 1111 63 0 12598 0
vsize: 50644
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12812 0 0 0 111893 120 0 0 25 0 1 0 832092503 52088832 11777 4294967295 134512640 134714540 3221224592 3221223204 1077378565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12717 11777 1111 63 0 12654 0
vsize: 50868
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 12946 0 0 0 112893 120 0 0 25 0 1 0 832092503 52621312 11911 4294967295 134512640 134714540 3221224592 3221223160 134539585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12847 11911 1111 63 0 12784 0
vsize: 51388
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 13330 0 0 0 113892 122 0 0 25 0 1 0 832092503 53960704 12216 4294967295 134512640 134714540 3221224592 3221223344 134592343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13174 12216 1111 63 0 13111 0
vsize: 52696
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 13491 0 0 0 114891 122 0 0 25 0 1 0 832092503 54513664 12357 4294967295 134512640 134714540 3221224592 3221223184 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13309 12357 1111 63 0 13246 0
vsize: 53236
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 13623 0 0 0 115890 123 0 0 25 0 1 0 832092503 54878208 12464 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13398 12464 1111 63 0 13335 0
vsize: 53592
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 13729 0 0 0 116889 125 0 0 25 0 1 0 832092503 55308288 12550 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13503 12550 1111 63 0 13440 0
vsize: 54012
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 27591
Raw data (stat): 27591 (bsolo_mis) R 27590 24821 24820 0 -1 0 13729 0 0 0 116889 125 0 0 25 0 1 0 832092503 55308288 12550 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13503 12550 1111 63 0 13440 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1173.76
CPU system time (s): 1.2828
CPU usage (%): 100.011
Max. virtual memory (Kb): 54012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	987520
#### END VERIFIER DATA ####