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-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
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	666682247
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	666682247
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.04
Number of variables	2520
Total number of constraints	142
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	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26896

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 17:49:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19230 boxname=wulflinc26 idbench=1480 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        444400 kB
Buffers:         34788 kB
Cached:         524716 kB
SwapCached:        680 kB
Active:          36320 kB
Inactive:       525860 kB
HighTotal:      131008 kB
HighFree:         3024 kB
LowTotal:       903652 kB
LowFree:        441376 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            22584 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:09:10 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 19230 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2520 variables and 164 constraints.
c After prepocess the problem consists of 1326 variables and 164 constraints.
c preprocess terminated 1.455 s
c Initial Lower Bound: 42
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 823040 @ 32.811
c NEW SOLUTION FOUND: 814208 @ 32.847
c NEW SOLUTION FOUND: 805760 @ 32.851
c NEW SOLUTION FOUND: 805632 @ 32.865
c NEW SOLUTION FOUND: 797184 @ 32.871
c NEW SOLUTION FOUND: 781056 @ 32.91
c NEW SOLUTION FOUND: 780800 @ 33.171
c NEW SOLUTION FOUND: 766336 @ 33.364
c NEW SOLUTION FOUND: 757888 @ 33.37
c NEW SOLUTION FOUND: 742016 @ 34.443
c NEW SOLUTION FOUND: 731264 @ 62.658
c NEW SOLUTION FOUND: 722816 @ 62.795
c NEW SOLUTION FOUND: 722560 @ 63.832
c NEW SOLUTION FOUND: 706688 @ 79.608
c NEW SOLUTION FOUND: 704896 @ 125.933
c NEW SOLUTION FOUND: 704512 @ 126.367
c NEW SOLUTION FOUND: 702336 @ 182.657
c NEW SOLUTION FOUND: 702080 @ 182.67
c NEW SOLUTION FOUND: 699648 @ 533.724
c NEW SOLUTION FOUND: 691584 @ 566.258
c NEW SOLUTION FOUND: 688640 @ 566.464
c NEW SOLUTION FOUND: 686848 @ 572.29
c NEW SOLUTION FOUND: 679040 @ 967.155
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 -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 
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.96 2/54 22521
Raw data (stat): 22521 (runsolver) R 22520 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832173006 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 3399 0 0 0 988 10 0 0 25 0 1 0 832173006 17551360 3366 4294967295 134512640 134714540 3221224592 3221223280 134556770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3366 1111 63 0 4222 0
vsize: 17140
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 3417 0 0 0 1986 12 0 0 25 0 1 0 832173006 17678336 3384 4294967295 134512640 134714540 3221224592 3221223172 1077378603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3384 1111 63 0 4253 0
vsize: 17264
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 3417 0 0 0 2985 14 0 0 25 0 1 0 832173006 17678336 3384 4294967295 134512640 134714540 3221224592 3221223344 134624493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3384 1111 63 0 4253 0
vsize: 17264
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 4038 0 0 0 3982 17 0 0 25 0 1 0 832173006 20156416 4005 4294967295 134512640 134714540 3221224592 3221223464 134621460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4921 4005 1111 63 0 4858 0
vsize: 19684
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 4509 0 0 0 4980 19 0 0 25 0 1 0 832173006 22077440 4472 4294967295 134512640 134714540 3221224592 3221223112 1077378356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 4472 1111 63 0 5327 0
vsize: 21560
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 4898 0 0 0 5978 21 0 0 25 0 1 0 832173006 23556096 4840 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5751 4840 1111 63 0 5688 0
vsize: 23004
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 5270 0 0 0 6976 23 0 0 25 0 1 0 832173006 25186304 5212 4294967295 134512640 134714540 3221224592 3221223160 1077377639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 5212 1111 63 0 6086 0
vsize: 24596
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 5581 0 0 0 7974 25 0 0 25 0 1 0 832173006 26312704 5503 4294967295 134512640 134714540 3221224592 3221223168 134535383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6424 5503 1111 63 0 6361 0
vsize: 25696
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 6270 0 0 0 8972 28 0 0 25 0 1 0 832173006 29057024 6167 4294967295 134512640 134714540 3221224592 3221223240 1077377437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6167 1111 63 0 7031 0
vsize: 28376
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 6444 0 0 0 9971 29 0 0 25 0 1 0 832173006 29466624 6270 4294967295 134512640 134714540 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7194 6270 1111 63 0 7131 0
vsize: 28776
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 6806 0 0 0 10970 30 0 0 25 0 1 0 832173006 30588928 6540 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 6540 1111 63 0 7405 0
vsize: 29872
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 6807 0 0 0 11968 32 0 0 25 0 1 0 832173006 30588928 6541 4294967295 134512640 134714540 3221224592 3221223104 134540176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 6541 1111 63 0 7405 0
vsize: 29872
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 7167 0 0 0 12967 33 0 0 25 0 1 0 832173006 31678464 6809 4294967295 134512640 134714540 3221224592 3221223220 1077374168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 6809 1111 63 0 7671 0
vsize: 30936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 7381 0 0 0 13965 35 0 0 25 0 1 0 832173006 32612352 7023 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7962 7023 1111 63 0 7899 0
vsize: 31848
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 7585 0 0 0 14965 36 0 0 25 0 1 0 832173006 33427456 7207 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8161 7207 1111 63 0 8098 0
vsize: 32644
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 7808 0 0 0 15964 37 0 0 25 0 1 0 832173006 34193408 7416 4294967295 134512640 134714540 3221224592 3221222920 1077377395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8348 7416 1111 63 0 8285 0
vsize: 33392
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8118 0 0 0 16963 38 0 0 25 0 1 0 832173006 35573760 7714 4294967295 134512640 134714540 3221224592 3221223208 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8685 7714 1111 63 0 8622 0
vsize: 34740
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8195 0 0 0 17962 39 0 0 25 0 1 0 832173006 35848192 7791 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7791 1111 63 0 8689 0
vsize: 35008
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8434 0 0 0 18961 40 0 0 25 0 1 0 832173006 36814848 8012 4294967295 134512640 134714540 3221224592 3221223220 1077374516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8988 8012 1111 63 0 8925 0
vsize: 35952
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8563 0 0 0 19959 42 0 0 25 0 1 0 832173006 36978688 8076 4294967295 134512640 134714540 3221224592 3221223320 134543279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 8076 1111 63 0 8965 0
vsize: 36112
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8775 0 0 0 20958 43 0 0 25 0 1 0 832173006 37814272 8278 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8278 1111 63 0 9169 0
vsize: 36928
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 8985 0 0 0 21957 44 0 0 25 0 1 0 832173006 38662144 8473 4294967295 134512640 134714540 3221224592 3221223352 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9439 8473 1111 63 0 9376 0
vsize: 37756
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 9122 0 0 0 22956 45 0 0 25 0 1 0 832173006 38948864 8554 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9509 8554 1111 63 0 9446 0
vsize: 38036
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 9142 0 0 0 23955 46 0 0 25 0 1 0 832173006 39084032 8570 4294967295 134512640 134714540 3221224592 3221223280 134558501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 8570 1111 63 0 9479 0
vsize: 38168
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 9304 0 0 0 24954 47 0 0 25 0 1 0 832173006 39698432 8732 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9692 8732 1111 63 0 9629 0
vsize: 38768
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 9791 0 0 0 25953 49 0 0 25 0 1 0 832173006 41426944 9172 4294967295 134512640 134714540 3221224592 3221223220 1077374563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10114 9172 1111 63 0 10051 0
vsize: 40456
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10188 0 0 0 26951 51 0 0 25 0 1 0 832173006 42938368 9511 4294967295 134512640 134714540 3221224592 3221223244 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 9511 1111 63 0 10420 0
vsize: 41932
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10578 0 0 0 27949 53 0 0 25 0 1 0 832173006 44101632 9826 4294967295 134512640 134714540 3221224592 3221223232 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10767 9826 1111 63 0 10704 0
vsize: 43068
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10700 0 0 0 28948 55 0 0 25 0 1 0 832173006 44576768 9948 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10883 9948 1111 63 0 10820 0
vsize: 43532
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10861 0 0 0 29946 56 0 0 25 0 1 0 832173006 45121536 10068 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10068 1111 63 0 10953 0
vsize: 44064
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10861 0 0 0 30946 57 0 0 25 0 1 0 832173006 45121536 10068 4294967295 134512640 134714540 3221224592 3221223232 134613490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10068 1111 63 0 10953 0
vsize: 44064
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 10948 0 0 0 31945 58 0 0 25 0 1 0 832173006 45531136 10155 4294967295 134512640 134714540 3221224592 3221223364 134624527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11116 10155 1111 63 0 11053 0
vsize: 44464
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11126 0 0 0 32943 60 0 0 25 0 1 0 832173006 45981696 10291 4294967295 134512640 134714540 3221224592 3221223136 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10291 1111 63 0 11163 0
vsize: 44904
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11313 0 0 0 33942 61 0 0 25 0 1 0 832173006 46817280 10478 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11430 10478 1111 63 0 11367 0
vsize: 45720
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11547 0 0 0 34940 63 0 0 25 0 1 0 832173006 47398912 10635 4294967295 134512640 134714540 3221224592 3221223280 134591875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11572 10635 1111 63 0 11509 0
vsize: 46288
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11579 0 0 0 35939 64 0 0 25 0 1 0 832173006 47534080 10667 4294967295 134512640 134714540 3221224592 3221223328 134604574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11605 10667 1111 63 0 11542 0
vsize: 46420
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11637 0 0 0 36939 64 0 0 25 0 1 0 832173006 47747072 10722 4294967295 134512640 134714540 3221224592 3221223328 134529058 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11657 10722 1111 63 0 11594 0
vsize: 46628
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11829 0 0 0 37938 65 0 0 25 0 1 0 832173006 48214016 10836 4294967295 134512640 134714540 3221224592 3221223124 1077378601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 10836 1111 63 0 11708 0
vsize: 47084
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11907 0 0 0 38937 66 0 0 25 0 1 0 832173006 48562176 10899 4294967295 134512640 134714540 3221224592 3221223276 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11856 10899 1111 63 0 11793 0
vsize: 47424
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 11958 0 0 0 39936 68 0 0 25 0 1 0 832173006 48697344 10950 4294967295 134512640 134714540 3221224592 3221223112 1077377221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11889 10950 1111 63 0 11826 0
vsize: 47556
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12124 0 0 0 40935 69 0 0 25 0 1 0 832173006 49401856 11116 4294967295 134512640 134714540 3221224592 3221223292 134535542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12061 11116 1111 63 0 11998 0
vsize: 48244
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12136 0 0 0 41934 70 0 0 25 0 1 0 832173006 49405952 11128 4294967295 134512640 134714540 3221224592 3221223168 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12062 11128 1111 63 0 11999 0
vsize: 48248
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12259 0 0 0 42934 71 0 0 25 0 1 0 832173006 49991680 11251 4294967295 134512640 134714540 3221224592 3221223172 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 11251 1111 63 0 12142 0
vsize: 48820
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12284 0 0 0 43933 71 0 0 25 0 1 0 832173006 50094080 11276 4294967295 134512640 134714540 3221224592 3221223168 1077377192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12230 11276 1111 63 0 12167 0
vsize: 48920
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12625 0 0 0 44932 73 0 0 25 0 1 0 832173006 51875840 11577 4294967295 134512640 134714540 3221224592 3221222920 1077377498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12665 11577 1111 63 0 12602 0
vsize: 50660
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12696 0 0 0 45932 73 0 0 25 0 1 0 832173006 52191232 11648 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12742 11648 1111 63 0 12679 0
vsize: 50968
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12733 0 0 0 46932 74 0 0 25 0 1 0 832173006 52150272 11632 4294967295 134512640 134714540 3221224592 3221223392 134622489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12732 11632 1111 63 0 12669 0
vsize: 50928
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12777 0 0 0 47932 74 0 0 25 0 1 0 832173006 52285440 11676 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12765 11676 1111 63 0 12702 0
vsize: 51060
[startup+490.016 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12876 0 0 0 48931 74 0 0 25 0 1 0 832173006 52690944 11775 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12864 11775 1111 63 0 12801 0
vsize: 51456
[startup+500.017 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12953 0 0 0 49931 75 0 0 25 0 1 0 832173006 52965376 11852 4294967295 134512640 134714540 3221224592 3221223232 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11852 1111 63 0 12868 0
vsize: 51724
[startup+510.016 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 12989 0 0 0 50929 76 0 0 25 0 1 0 832173006 53100544 11888 4294967295 134512640 134714540 3221224592 3221223152 134540022 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12964 11888 1111 63 0 12901 0
vsize: 51856
[startup+520.016 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 13170 0 0 0 51929 77 0 0 25 0 1 0 832173006 53862400 12069 4294967295 134512640 134714540 3221224592 3221223188 134613407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12069 1111 63 0 13087 0
vsize: 52600
[startup+530.016 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 13264 0 0 0 52928 78 0 0 25 0 1 0 832173006 54222848 12157 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13238 12157 1111 63 0 13175 0
vsize: 52952
[startup+540.015 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 13339 0 0 0 53927 79 0 0 25 0 1 0 832173006 54546432 12232 4294967295 134512640 134714540 3221224592 3221223344 134604598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13317 12232 1111 63 0 13254 0
vsize: 53268
[startup+550.015 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 13775 0 0 0 54925 81 0 0 25 0 1 0 832173006 56098816 12634 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13696 12634 1111 63 0 13633 0
vsize: 54784
[startup+560.015 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 13789 0 0 0 55925 81 0 0 25 0 1 0 832173006 56152064 12648 4294967295 134512640 134714540 3221224592 3221223216 1077377136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13709 12648 1111 63 0 13646 0
vsize: 54836
[startup+570.015 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14056 0 0 0 56924 82 0 0 25 0 1 0 832173006 57155584 12889 4294967295 134512640 134714540 3221224592 3221223148 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13954 12889 1111 63 0 13891 0
vsize: 55816
[startup+580.015 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14303 0 0 0 57923 83 0 0 25 0 1 0 832173006 58183680 13134 4294967295 134512640 134714540 3221224592 3221223320 134543271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14205 13134 1111 63 0 14142 0
vsize: 56820
[startup+590.015 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14513 0 0 0 58922 84 0 0 25 0 1 0 832173006 58847232 13289 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14367 13289 1111 63 0 14304 0
vsize: 57468
[startup+600.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14628 0 0 0 59922 85 0 0 25 0 1 0 832173006 59228160 13404 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14460 13404 1111 63 0 14397 0
vsize: 57840
[startup+610.014 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14762 0 0 0 60921 86 0 0 25 0 1 0 832173006 59740160 13522 4294967295 134512640 134714540 3221224592 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14585 13522 1111 63 0 14522 0
vsize: 58340
[startup+620.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 22521
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14799 0 0 0 61920 87 0 0 25 0 1 0 832173006 59875328 13559 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13559 1111 63 0 14555 0
vsize: 58472
[startup+630.017 s]
Raw data (loadavg): 1.08 1.00 0.97 3/57 22557
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 14871 0 0 0 62918 88 0 0 25 0 1 0 832173006 60149760 13618 4294967295 134512640 134714540 3221224592 3221223280 134534159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14685 13618 1111 63 0 14622 0
vsize: 58740
[startup+640.017 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15076 0 0 0 63917 89 0 0 25 0 1 0 832173006 60698624 13765 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14819 13765 1111 63 0 14756 0
vsize: 59276
[startup+650.017 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15218 0 0 0 64917 90 0 0 25 0 1 0 832173006 61341696 13907 4294967295 134512640 134714540 3221224592 3221222948 134697231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14976 13907 1111 63 0 14913 0
vsize: 59904
[startup+660.016 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15382 0 0 0 65916 91 0 0 25 0 1 0 832173006 61890560 14070 4294967295 134512640 134714540 3221224592 3221223328 134604542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15110 14070 1111 63 0 15047 0
vsize: 60440
[startup+670.016 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15484 0 0 0 66915 92 0 0 25 0 1 0 832173006 62320640 14164 4294967295 134512640 134714540 3221224592 3221223276 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15215 14164 1111 63 0 15152 0
vsize: 60860
[startup+680.017 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15576 0 0 0 67915 92 0 0 25 0 1 0 832173006 62726144 14256 4294967295 134512640 134714540 3221224592 3221223272 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14256 1111 63 0 15251 0
vsize: 61256
[startup+690.017 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 22574
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15624 0 0 0 68915 93 0 0 25 0 1 0 832173006 62861312 14304 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15347 14304 1111 63 0 15284 0
vsize: 61388
[startup+700.016 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15763 0 0 0 69914 94 0 0 25 0 1 0 832173006 63217664 14402 4294967295 134512640 134714540 3221224592 3221223308 134535488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 14402 1111 63 0 15371 0
vsize: 61736
[startup+710.016 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15885 0 0 0 70913 94 0 0 25 0 1 0 832173006 63762432 14519 4294967295 134512640 134714540 3221224592 3221223292 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15567 14519 1111 63 0 15504 0
vsize: 62268
[startup+720.017 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15972 0 0 0 71913 95 0 0 25 0 1 0 832173006 64172032 14606 4294967295 134512640 134714540 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14606 1111 63 0 15604 0
vsize: 62668
[startup+730.017 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15972 0 0 0 72912 96 0 0 25 0 1 0 832173006 64172032 14606 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14606 1111 63 0 15604 0
vsize: 62668
[startup+740.017 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15972 0 0 0 73912 97 0 0 25 0 1 0 832173006 64172032 14606 4294967295 134512640 134714540 3221224592 3221223288 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14606 1111 63 0 15604 0
vsize: 62668
[startup+750.017 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15972 0 0 0 74911 97 0 0 25 0 1 0 832173006 64172032 14606 4294967295 134512640 134714540 3221224592 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14606 1111 63 0 15604 0
vsize: 62668
[startup+760.017 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15972 0 0 0 75911 98 0 0 25 0 1 0 832173006 63991808 14591 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15623 14591 1111 63 0 15560 0
vsize: 62492
[startup+770.017 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 15976 0 0 0 76911 98 0 0 25 0 1 0 832173006 64126976 14595 4294967295 134512640 134714540 3221224592 3221223216 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15656 14595 1111 63 0 15593 0
vsize: 62624
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16147 0 0 0 77910 99 0 0 25 0 1 0 832173006 64581632 14726 4294967295 134512640 134714540 3221224592 3221223232 134524583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15767 14726 1111 63 0 15704 0
vsize: 63068
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16288 0 0 0 78910 100 0 0 25 0 1 0 832173006 65208320 14867 4294967295 134512640 134714540 3221224592 3221223104 134539749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15920 14867 1111 63 0 15857 0
vsize: 63680
[startup+800.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16544 0 0 0 79908 102 0 0 25 0 1 0 832173006 65847296 15027 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16076 15027 1111 63 0 16013 0
vsize: 64304
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16603 0 0 0 80907 103 0 0 25 0 1 0 832173006 65953792 15063 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16102 15063 1111 63 0 16039 0
vsize: 64408
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16795 0 0 0 81906 104 0 0 25 0 1 0 832173006 66715648 15250 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16288 15250 1111 63 0 16225 0
vsize: 65152
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 16916 0 0 0 82906 104 0 0 25 0 1 0 832173006 67104768 15350 4294967295 134512640 134714540 3221224592 3221223312 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16383 15350 1111 63 0 16320 0
vsize: 65532
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17190 0 0 0 83904 106 0 0 25 0 1 0 832173006 67952640 15568 4294967295 134512640 134714540 3221224592 3221223312 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16590 15568 1111 63 0 16527 0
vsize: 66360
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17199 0 0 0 84904 106 0 0 25 0 1 0 832173006 67952640 15577 4294967295 134512640 134714540 3221224592 3221223340 134604851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16590 15577 1111 63 0 16527 0
vsize: 66360
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17305 0 0 0 85904 107 0 0 25 0 1 0 832173006 68501504 15683 4294967295 134512640 134714540 3221224592 3221223104 134540498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16724 15683 1111 63 0 16661 0
vsize: 66896
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17426 0 0 0 86903 107 0 0 25 0 1 0 832173006 68935680 15804 4294967295 134512640 134714540 3221224592 3221223152 134540022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16830 15804 1111 63 0 16767 0
vsize: 67320
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17465 0 0 0 87903 108 0 0 25 0 1 0 832173006 69074944 15843 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16864 15843 1111 63 0 16801 0
vsize: 67456
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17539 0 0 0 88902 109 0 0 25 0 1 0 832173006 69390336 15903 4294967295 134512640 134714540 3221224592 3221223320 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16941 15903 1111 63 0 16878 0
vsize: 67764
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 17754 0 0 0 89901 110 0 0 25 0 1 0 832173006 70197248 16097 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17138 16097 1111 63 0 17075 0
vsize: 68552
[startup+910.019 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18022 0 0 0 90899 112 0 0 25 0 1 0 832173006 71049216 16341 4294967295 134512640 134714540 3221224592 3221223328 134604884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17346 16341 1111 63 0 17283 0
vsize: 69384
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18210 0 0 0 91898 113 0 0 25 0 1 0 832173006 71700480 16500 4294967295 134512640 134714540 3221224592 3221223312 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17505 16500 1111 63 0 17442 0
vsize: 70020
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18283 0 0 0 92898 114 0 0 25 0 1 0 832173006 72036352 16573 4294967295 134512640 134714540 3221224592 3221223312 134558518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17587 16573 1111 63 0 17524 0
vsize: 70348
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18479 0 0 0 93898 115 0 0 25 0 1 0 832173006 72806400 16762 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17775 16762 1111 63 0 17712 0
vsize: 71100
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18507 0 0 0 94897 115 0 0 25 0 1 0 832173006 72945664 16790 4294967295 134512640 134714540 3221224592 3221222920 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17809 16790 1111 63 0 17746 0
vsize: 71236
[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22576
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18682 0 0 0 95896 117 0 0 25 0 1 0 832173006 73433088 16930 4294967295 134512640 134714540 3221224592 3221223104 134540186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17928 16930 1111 63 0 17865 0
vsize: 71712
[startup+970.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18820 0 0 0 96894 118 0 0 25 0 1 0 832173006 73981952 17068 4294967295 134512640 134714540 3221224592 3221223272 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18062 17068 1111 63 0 17999 0
vsize: 72248
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18835 0 0 0 97894 119 0 0 25 0 1 0 832173006 74051584 17083 4294967295 134512640 134714540 3221224592 3221223104 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18079 17083 1111 63 0 18016 0
vsize: 72316
[startup+990.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 18972 0 0 0 98893 120 0 0 25 0 1 0 832173006 74616832 17214 4294967295 134512640 134714540 3221224592 3221223288 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18217 17214 1111 63 0 18154 0
vsize: 72868
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19170 0 0 0 99893 120 0 0 25 0 1 0 832173006 75022336 17316 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18316 17316 1111 63 0 18253 0
vsize: 73264
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19311 0 0 0 100893 121 0 0 25 0 1 0 832173006 75583488 17457 4294967295 134512640 134714540 3221224592 3221223152 1077377147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18453 17457 1111 63 0 18390 0
vsize: 73812
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19420 0 0 0 101892 122 0 0 25 0 1 0 832173006 76124160 17566 4294967295 134512640 134714540 3221224592 3221223280 134534129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18585 17566 1111 63 0 18522 0
vsize: 74340
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19420 0 0 0 102891 123 0 0 25 0 1 0 832173006 76124160 17566 4294967295 134512640 134714540 3221224592 3221223288 134672929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18585 17566 1111 63 0 18522 0
vsize: 74340
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19436 0 0 0 103890 124 0 0 25 0 1 0 832173006 75968512 17543 4294967295 134512640 134714540 3221224592 3221223184 134613451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18547 17543 1111 63 0 18484 0
vsize: 74188
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19655 0 0 0 104889 125 0 0 25 0 1 0 832173006 76906496 17756 4294967295 134512640 134714540 3221224592 3221223168 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18776 17756 1111 63 0 18713 0
vsize: 75104
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 19735 0 0 0 105889 126 0 0 25 0 1 0 832173006 77004800 17811 4294967295 134512640 134714540 3221224592 3221223344 134604507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18800 17811 1111 63 0 18737 0
vsize: 75200
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 20034 0 0 0 106887 127 0 0 25 0 1 0 832173006 78233600 18085 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19100 18085 1111 63 0 19037 0
vsize: 76400
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 20380 0 0 0 107886 129 0 0 25 0 1 0 832173006 79499264 18415 4294967295 134512640 134714540 3221224592 3221223212 134538732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19409 18415 1111 63 0 19346 0
vsize: 77636
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 20695 0 0 0 108884 130 0 0 25 0 1 0 832173006 80723968 18713 4294967295 134512640 134714540 3221224592 3221223320 134543206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19708 18713 1111 63 0 19645 0
vsize: 78832
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21373 0 0 0 109883 132 0 0 25 0 1 0 832173006 84791296 19327 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20701 19327 1111 63 0 20638 0
vsize: 82804
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21522 0 0 0 110881 134 0 0 25 0 1 0 832173006 85147648 19433 4294967295 134512640 134714540 3221224592 3221223300 134592437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20788 19433 1111 63 0 20725 0
vsize: 83152
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21630 0 0 0 111881 134 0 0 25 0 1 0 832173006 85696512 19541 4294967295 134512640 134714540 3221224592 3221223208 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20922 19541 1111 63 0 20859 0
vsize: 83688
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21742 0 0 0 112880 136 0 0 25 0 1 0 832173006 86102016 19653 4294967295 134512640 134714540 3221224592 3221223220 1077374057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21021 19653 1111 63 0 20958 0
vsize: 84084
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21793 0 0 0 113879 137 0 0 25 0 1 0 832173006 86376448 19704 4294967295 134512640 134714540 3221224592 3221223104 134540083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 19704 1111 63 0 21025 0
vsize: 84352
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21845 0 0 0 114878 137 0 0 25 0 1 0 832173006 86515712 19756 4294967295 134512640 134714540 3221224592 3221223220 1077374446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21122 19756 1111 63 0 21059 0
vsize: 84488
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21942 0 0 0 115878 138 0 0 25 0 1 0 832173006 86867968 19853 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21208 19853 1111 63 0 21145 0
vsize: 84832
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21942 0 0 0 116878 138 0 0 25 0 1 0 832173006 86867968 19853 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21208 19853 1111 63 0 21145 0
vsize: 84832
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 22578
Raw data (stat): 22521 (bsolo_mis) R 22520 20687 20686 0 -1 0 21942 0 0 0 116878 138 0 0 25 0 1 0 832173006 86867968 19853 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21208 19853 1111 63 0 21145 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.06
CPU user time (s): 1173.63
CPU system time (s): 1.42478
CPU usage (%): 100.013
Max. virtual memory (Kb): 84832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	679040
#### END VERIFIER DATA ####