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-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
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	839045346
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	839045346
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	41.1977
Number of variables	3024
Total number of constraints	168
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	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 25554

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 13:40:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19256 boxname=wulflinc31 idbench=1482 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 19256
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        703128 kB
Buffers:         27840 kB
Cached:         283044 kB
SwapCached:       1168 kB
Active:         195604 kB
Inactive:       117620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        702876 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12544 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 14:00:17 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 19256 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3024 variables and 192 constraints.
c After prepocess the problem consists of 1700 variables and 192 constraints.
c preprocess terminated 1.822 s
c Initial Lower Bound: 38
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1017088 @ 591.069
c NEW SOLUTION FOUND: 1005952 @ 591.073
c NEW SOLUTION FOUND: 1002880 @ 591.145
c NEW SOLUTION FOUND: 1002624 @ 591.226
c NEW SOLUTION FOUND: 994944 @ 591.505
c NEW SOLUTION FOUND: 991616 @ 591.551
c NEW SOLUTION FOUND: 986624 @ 591.575
c NEW SOLUTION FOUND: 984192 @ 592.116
c NEW SOLUTION FOUND: 979456 @ 592.135
c NEW SOLUTION FOUND: 973056 @ 592.154
c NEW SOLUTION FOUND: 964992 @ 592.376
c NEW SOLUTION FOUND: 958592 @ 592.383
c NEW SOLUTION FOUND: 957184 @ 630.666
c NEW SOLUTION FOUND: 950784 @ 630.688
c NEW SOLUTION FOUND: 950528 @ 630.777
c NEW SOLUTION FOUND: 946560 @ 711.887
c NEW SOLUTION FOUND: 945152 @ 748.627
c NEW SOLUTION FOUND: 944896 @ 788.069
c NEW SOLUTION FOUND: 944768 @ 805.135
c NEW SOLUTION FOUND: 937728 @ 805.206
c NEW SOLUTION FOUND: 935680 @ 805.584
c NEW SOLUTION FOUND: 933376 @ 812.705
c NEW SOLUTION FOUND: 927744 @ 827.432
c NEW SOLUTION FOUND: 922240 @ 924.839
c NEW SOLUTION FOUND: 916352 @ 1045.27
c NEW SOLUTION FOUND: 916224 @ 1056.36
c NEW SOLUTION FOUND: 913920 @ 1057.39
c NEW SOLUTION FOUND: 909184 @ 1057.58
c NEW SOLUTION FOUND: 906880 @ 1130.6
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 -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 
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.91 0.97 0.99 2/55 32305
Raw data (stat): 32305 (runsolver) R 32304 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 796089344 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 3965 0 0 0 986 11 0 0 25 0 1 0 796089344 19935232 3929 4294967295 134512640 134714540 3221221776 3221220584 134558597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4867 3929 1111 63 0 4804 0
vsize: 19468
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 3970 0 0 0 1985 12 0 0 25 0 1 0 796089344 19935232 3934 4294967295 134512640 134714540 3221221776 3221220396 134539584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4867 3934 1111 63 0 4804 0
vsize: 19468
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 3977 0 0 0 2984 13 0 0 25 0 1 0 796089344 19935232 3941 4294967295 134512640 134714540 3221221776 3221220568 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4867 3941 1111 63 0 4804 0
vsize: 19468
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 3984 0 0 0 3983 14 0 0 25 0 1 0 796089344 19935232 3948 4294967295 134512640 134714540 3221221776 3221220524 134672949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4867 3948 1111 63 0 4804 0
vsize: 19468
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4003 0 0 0 4982 16 0 0 25 0 1 0 796089344 20062208 3967 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3967 1111 63 0 4835 0
vsize: 19592
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4003 0 0 0 5980 17 0 0 25 0 1 0 796089344 20062208 3967 4294967295 134512640 134714540 3221221776 3221220560 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3967 1111 63 0 4835 0
vsize: 19592
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4006 0 0 0 6980 18 0 0 25 0 1 0 796089344 20062208 3970 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3970 1111 63 0 4835 0
vsize: 19592
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4014 0 0 0 7978 19 0 0 25 0 1 0 796089344 20062208 3978 4294967295 134512640 134714540 3221221776 3221220496 134556498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3978 1111 63 0 4835 0
vsize: 19592
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4015 0 0 0 8977 21 0 0 25 0 1 0 796089344 20062208 3979 4294967295 134512640 134714540 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3979 1111 63 0 4835 0
vsize: 19592
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4015 0 0 0 9976 22 0 0 25 0 1 0 796089344 20062208 3979 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 3979 1111 63 0 4835 0
vsize: 19592
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 10975 23 0 0 25 0 1 0 796089344 20180992 3984 4294967295 134512640 134714540 3221221776 3221220544 134542645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4927 3984 1111 63 0 4864 0
vsize: 19708
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 11974 24 0 0 25 0 1 0 796089344 20180992 3984 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4927 3984 1111 63 0 4864 0
vsize: 19708
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 12973 25 0 0 25 0 1 0 796089344 20180992 3984 4294967295 134512640 134714540 3221221776 3221220180 134697249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4927 3984 1111 63 0 4864 0
vsize: 19708
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 13973 26 0 0 25 0 1 0 796089344 20180992 3984 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4927 3984 1111 63 0 4864 0
vsize: 19708
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 14972 27 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220480 134591898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 15970 29 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220520 134672936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 16969 30 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220488 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 17968 31 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220588 134622153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 18967 33 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 19966 34 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220060 1077379959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 20965 35 0 0 25 0 1 0 796089344 20176896 3984 4294967295 134512640 134714540 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 3984 1111 63 0 4863 0
vsize: 19704
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 21964 36 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 22963 37 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 23963 38 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 24962 39 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220512 134695264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 25961 40 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220576 134622177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 26959 42 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220512 134695328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 27959 43 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220536 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 28957 44 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220560 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 29956 46 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220576 134611415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 30955 47 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220444 134538941 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 31954 48 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 32953 49 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 33951 51 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220512 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 34950 52 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 35949 54 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220060 1077379886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 36948 54 0 0 25 0 1 0 796089344 20144128 3984 4294967295 134512640 134714540 3221221776 3221220416 134696155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 3984 1111 63 0 4855 0
vsize: 19672
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 37947 56 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 38946 57 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220464 134524415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 39945 58 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 40944 59 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 41944 60 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 42943 61 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220512 134695261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 43942 63 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 44941 64 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220104 1077377797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 45940 65 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4020 0 0 0 46939 66 0 0 25 0 1 0 796089344 20127744 3984 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3984 1111 63 0 4851 0
vsize: 19656
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4026 0 0 0 47938 67 0 0 25 0 1 0 796089344 20127744 3990 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3990 1111 63 0 4851 0
vsize: 19656
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4027 0 0 0 48937 68 0 0 25 0 1 0 796089344 20127744 3991 4294967295 134512640 134714540 3221221776 3221220560 134584836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3991 1111 63 0 4851 0
vsize: 19656
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4027 0 0 0 49936 69 0 0 25 0 1 0 796089344 20127744 3991 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3991 1111 63 0 4851 0
vsize: 19656
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4027 0 0 0 50935 71 0 0 25 0 1 0 796089344 20127744 3991 4294967295 134512640 134714540 3221221776 3221220164 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3991 1111 63 0 4851 0
vsize: 19656
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4027 0 0 0 51934 72 0 0 25 0 1 0 796089344 20127744 3991 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3991 1111 63 0 4851 0
vsize: 19656
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 52933 73 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220104 1077377434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 53932 75 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 54931 76 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220512 134695385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 55930 77 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 56929 78 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4028 0 0 0 57928 79 0 0 25 0 1 0 796089344 20127744 3992 4294967295 134512640 134714540 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3992 1111 63 0 4851 0
vsize: 19656
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4032 0 0 0 58927 80 0 0 25 0 1 0 796089344 20127744 3996 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4914 3996 1111 63 0 4851 0
vsize: 19656
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4479 0 0 0 59924 83 0 0 25 0 1 0 796089344 21999616 4443 4294967295 134512640 134714540 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5371 4443 1111 63 0 5308 0
vsize: 21484
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4662 0 0 0 60923 84 0 0 25 0 1 0 796089344 22736896 4626 4294967295 134512640 134714540 3221221776 3221220508 134543556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5551 4626 1111 63 0 5488 0
vsize: 22204
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4766 0 0 0 61922 86 0 0 25 0 1 0 796089344 23240704 4730 4294967295 134512640 134714540 3221221776 3221220288 134539925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4730 1111 63 0 5611 0
vsize: 22696
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4845 0 0 0 62921 87 0 0 25 0 1 0 796089344 23498752 4809 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4809 1111 63 0 5674 0
vsize: 22948
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4848 0 0 0 63920 87 0 0 25 0 1 0 796089344 23375872 4793 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5707 4793 1111 63 0 5644 0
vsize: 22828
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4848 0 0 0 64919 88 0 0 25 0 1 0 796089344 23375872 4793 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5707 4793 1111 63 0 5644 0
vsize: 22828
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4848 0 0 0 65919 89 0 0 25 0 1 0 796089344 23203840 4751 4294967295 134512640 134714540 3221221776 3221220476 134535503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4751 1111 63 0 5602 0
vsize: 22660
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4849 0 0 0 66918 89 0 0 25 0 1 0 796089344 23203840 4752 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4752 1111 63 0 5602 0
vsize: 22660
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4849 0 0 0 67918 90 0 0 25 0 1 0 796089344 23203840 4752 4294967295 134512640 134714540 3221221776 3221220368 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4752 1111 63 0 5602 0
vsize: 22660
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4900 0 0 0 68917 91 0 0 25 0 1 0 796089344 23470080 4803 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5730 4803 1111 63 0 5667 0
vsize: 22920
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 4924 0 0 0 69917 92 0 0 25 0 1 0 796089344 23609344 4827 4294967295 134512640 134714540 3221221776 3221220456 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5764 4827 1111 63 0 5701 0
vsize: 23056
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5033 0 0 0 70915 93 0 0 25 0 1 0 796089344 23924736 4890 4294967295 134512640 134714540 3221221776 3221220320 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4890 1111 63 0 5778 0
vsize: 23364
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5061 0 0 0 71914 94 0 0 25 0 1 0 796089344 23891968 4912 4294967295 134512640 134714540 3221221776 3221220288 134540176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4912 1111 63 0 5770 0
vsize: 23332
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5062 0 0 0 72914 94 0 0 25 0 1 0 796089344 23891968 4913 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4913 1111 63 0 5770 0
vsize: 23332
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5080 0 0 0 73913 95 0 0 25 0 1 0 796089344 24039424 4931 4294967295 134512640 134714540 3221221776 3221220296 1077378441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5869 4931 1111 63 0 5806 0
vsize: 23476
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5091 0 0 0 74913 95 0 0 25 0 1 0 796089344 24039424 4942 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5869 4942 1111 63 0 5806 0
vsize: 23476
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5091 0 0 0 75913 96 0 0 25 0 1 0 796089344 24039424 4942 4294967295 134512640 134714540 3221221776 3221220432 134524443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5869 4942 1111 63 0 5806 0
vsize: 23476
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5091 0 0 0 76912 97 0 0 25 0 1 0 796089344 23924736 4926 4294967295 134512640 134714540 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4926 1111 63 0 5778 0
vsize: 23364
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5163 0 0 0 77911 98 0 0 25 0 1 0 796089344 24309760 4996 4294967295 134512640 134714540 3221221776 3221220512 134542576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5935 4996 1111 63 0 5872 0
vsize: 23740
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 78911 98 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220312 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 79910 99 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 80910 100 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 81910 100 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 82909 101 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220432 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 83908 102 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 84907 103 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 85907 103 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220504 134543271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5164 0 0 0 86907 104 0 0 25 0 1 0 796089344 23924736 4928 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5841 4928 1111 63 0 5778 0
vsize: 23364
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5410 0 0 0 87905 106 0 0 25 0 1 0 796089344 24981504 5174 4294967295 134512640 134714540 3221221776 3221220368 134613457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 5174 1111 63 0 6036 0
vsize: 24396
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5415 0 0 0 88905 106 0 0 25 0 1 0 796089344 24981504 5179 4294967295 134512640 134714540 3221221776 3221220060 1077379924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 5179 1111 63 0 6036 0
vsize: 24396
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5415 0 0 0 89904 107 0 0 25 0 1 0 796089344 24981504 5179 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 5179 1111 63 0 6036 0
vsize: 24396
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5415 0 0 0 90904 107 0 0 25 0 1 0 796089344 24981504 5179 4294967295 134512640 134714540 3221221776 3221220336 134523399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 5179 1111 63 0 6036 0
vsize: 24396
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 91904 108 0 0 25 0 1 0 796089344 24981504 5181 4294967295 134512640 134714540 3221221776 3221220424 1077378180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 5181 1111 63 0 6036 0
vsize: 24396
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 92903 109 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220288 134540491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 93902 110 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220396 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 94901 111 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220344 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 95900 111 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220568 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 96899 113 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 97898 114 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 98898 114 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220348 134539584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 99897 115 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 100897 115 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 101897 116 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220288 134540336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 102897 116 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 103896 117 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220480 134612124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 104895 118 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220384 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 105894 119 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220504 134543248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 106894 119 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220352 134535477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 107893 120 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220408 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 108893 120 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 109892 121 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220132 1077378656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 110891 123 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220384 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 3/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 111891 123 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220432 134524573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5417 0 0 0 112890 124 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5434 0 0 0 113890 125 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220516 134604483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5434 0 0 0 114889 126 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220336 134543698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 32305
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5434 0 0 0 115889 126 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220476 134535530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.99 3/58 32343
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5434 0 0 0 116902 126 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220368 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 24272
[startup+1174.99 s]
Raw data (loadavg): 1.07 0.99 0.99 2/58 32350
Raw data (stat): 32305 (bsolo_mis) R 32304 7876 7672 0 -1 0 5434 0 0 0 116902 126 0 0 25 0 1 0 796089344 24854528 5155 4294967295 134512640 134714540 3221221776 3221220368 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5155 1111 63 0 6005 0
vsize: 0

Child status: 10
Real time (s): 1174.99
CPU time (s): 1175.05
CPU user time (s): 1173.76
CPU system time (s): 1.2838
CPU usage (%): 100.005
Max. virtual memory (Kb): 24396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	906880
#### END VERIFIER DATA ####