PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-egout.opb
MD5SUM	46c4db5f8baf54496e00a723c85beb20
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	58880896
Optimality of the best value was proved	NO
Number of terms in the objective function	1095
Biggest coefficient in the objective function	533200896
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	14929722305
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	533200896
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	14929722305
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	1155
Total number of constraints	153
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	98
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 25897

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 07:35:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16786 boxname=wulflinc31 idbench=1292 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  46c4db5f8baf54496e00a723c85beb20  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 16786
/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:        916000 kB
Buffers:         24108 kB
Cached:          71548 kB
SwapCached:        972 kB
Active:          65504 kB
Inactive:        32272 kB
HighTotal:      131008 kB
HighFree:        70784 kB
LowTotal:       903652 kB
LowFree:        845216 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15244 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 07:55:12 (client local time) WITH STATUS 10 IN 1175.85 SECONDS
stats: 16786 0 1175.85 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1155 variables and 134 constraints.
c After prepocess the problem consists of 481 variables and 91 constraints.
c preprocess terminated 1.61 s
c Initial Lower Bound: 19959701
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 90903552 @ 2.89
c NEW SOLUTION FOUND: 90878976 @ 2.9
c NEW SOLUTION FOUND: 90859776 @ 2.922
c NEW SOLUTION FOUND: 90854400 @ 2.924
c NEW SOLUTION FOUND: 90842112 @ 2.941
c NEW SOLUTION FOUND: 90608640 @ 2.975
c NEW SOLUTION FOUND: 89648896 @ 3.074
c NEW SOLUTION FOUND: 86990592 @ 3.272
c NEW SOLUTION FOUND: 84826240 @ 4.346
c NEW SOLUTION FOUND: 84693120 @ 4.353
c NEW SOLUTION FOUND: 84551296 @ 4.741
c NEW SOLUTION FOUND: 81714304 @ 4.879
c NEW SOLUTION FOUND: 79158400 @ 5.13
c NEW SOLUTION FOUND: 76321408 @ 5.392
c NEW SOLUTION FOUND: 76241280 @ 16.369
c NEW SOLUTION FOUND: 75334400 @ 16.843
c NEW SOLUTION FOUND: 74268800 @ 16.968
c NEW SOLUTION FOUND: 73789440 @ 511.994
c NEW SOLUTION FOUND: 72620160 @ 512.011
c NEW SOLUTION FOUND: 72016512 @ 512.36
c NEW SOLUTION FOUND: 71723008 @ 541.798
c NEW SOLUTION FOUND: 69311232 @ 541.802
c NEW SOLUTION FOUND: 68957952 @ 546.808
c NEW SOLUTION FOUND: 68202880 @ 546.86
c NEW SOLUTION FOUND: 67796096 @ 546.875
c NEW SOLUTION FOUND: 65384320 @ 546.878
s SATISFIABLE
v I_0x2e_001_0x2e__0x2e__0x2e__bit0 -I_0x2e_001003_bit0 -I_0x2e_002003_bit0 -I_0x2e_002_0x2e__0x2e__0x2e__bit0 -I_0x2e_003005_bit0 I_0x2e_004005_bit0 I_0x2e_004_0x2e__0x2e__0x2e__bit0 I_0x2e_005007_bit0 I_0x2e_006007_bit0 I_0x2e_007008_bit0 -I_0x2e_008_0x2e__0x2e__0x2e__bit0 I_0x2e_008009_bit0 I_0x2e_010012_bit0 I_0x2e_011012_bit0 -I_0x2e_012_0x2e__0x2e__0x2e__bit0 I_0x2e_012013_bit0 I_0x2e_013016_bit0 -I_0x2e_014015_bit0 I_0x2e_015016_bit0 I_0x2e_016_0x2e__0x2e__0x2e__bit0 I_0x2e_016017_bit0 I_0x2e_017018_bit0 I_0x2e_009018_bit0 I_0x2e_018019_bit0 I_0x2e_019024_bit0 I_0x2e_024_0x2e__0x2e__0x2e__bit0 -I_0x2e_023024_bit0 -I_0x2e_022023_bit0 -I_0x2e_020022_bit0 I_0x2e_021022_bit0 I_0x2e_022_0x2e__0x2e__0x2e__bit0 -I_0x2e_024026_bit0 I_0x2e_025026_bit0 -I_0x2e_025_0x2e__0x2e__0x2e__bit0 I_0x2e_026027_bit0 -I_0x2e_027_0x2e__0x2e__0x2e__bit0 I_0x2e_027032_bit0 -I_0x2e_030031_bit0 I_0x2e_031032_bit0 I_0x2e_029031_bit0 -I_0x2e_028029_bit0 -I_0x2e_028_0x2e__0x2e__0x2e__bit0 I_0x2e_032033_bit0 I_0x2e_033037_bit0 -I_0x2e_036037_bit0 -I_0x2e_034036_bit0 -I_0x2e_035036_bit0 I_0x2e_037038_bit0 I_0x2e_038040_bit0 I_0x2e_039040_bit0 -I_0x2e_040_0x2e__0x2e__0x2e__bit0 -I_0x2e_041_0x2e__0x2e__0x2e__bit0 I_0x2e_040041_bit0 I_0x2e_041042_bit0 I_0x2e_042_0x2e__0x2e__0x2e__bit0 -F_0x2e_001_0x2e__0x2e__0x2e__bit_7 -F_0x2e_001_0x2e__0x2e__0x2e__bit_6 -F_0x2e_001_0x2e__0x2e__0x2e__bit_5 -F_0x2e_001_0x2e__0x2e__0x2e__bit_4 -F_0x2e_001_0x2e__0x2e__0x2e__bit_3 -F_0x2e_001_0x2e__0x2e__0x2e__bit_2 -F_0x2e_001_0x2e__0x2e__0x2e__bit_1 -F_0x2e_001_0x2e__0x2e__0x2e__bit0 F_0x2e_001_0x2e__0x2e__0x2e__bit1 -F_0x2e_001_0x2e__0x2e__0x2e__bit2 -F_0x2e_001_0x2e__0x2e__0x2e__bit3 -F_0x2e_001_0x2e__0x2e__0x2e__bit4 -F_0x2e_001_0x2e__0x2e__0x2e__bit5 -F_0x2e_001_0x2e__0x2e__0x2e__bit6 -F_0x2e_001_0x2e__0x2e__0x2e__bit7 -F_0x2e_001_0x2e__0x2e__0x2e__bit8 -F_0x2e_001_0x2e__0x2e__0x2e__bit9 -F_0x2e_001_0x2e__0x2e__0x2e__bit10 -F_0x2e_001_0x2e__0x2e__0x2e__bit11 -F_0x2e_001_0x2e__0x2e__0x2e__bit12 -F_0x2e_001003_bit_7 -F_0x2e_001003_bit_6 -F_0x2e_001003_bit_5 -F_0x2e_001003_bit_4 -F_0x2e_001003_bit_3 -F_0x2e_001003_bit_2 -F_0x2e_001003_bit_1 -F_0x2e_001003_bit0 -F_0x2e_001003_bit1 -F_0x2e_001003_bit2 -F_0x2e_001003_bit3 -F_0x2e_001003_bit4 -F_0x2e_001003_bit5 -F_0x2e_001003_bit6 -F_0x2e_001003_bit7 -F_0x2e_001003_bit8 -F_0x2e_001003_bit9 -F_0x2e_001003_bit10 -F_0x2e_001003_bit11 -F_0x2e_001003_bit12 -F_0x2e_002003_bit_7 -F_0x2e_002003_bit_6 -F_0x2e_002003_bit_5 -F_0x2e_002003_bit_4 -F_0x2e_002003_bit_3 -F_0x2e_002003_bit_2 -F_0x2e_002003_bit_1 -F_0x2e_002003_bit0 -F_0x2e_002003_bit1 -F_0x2e_002003_bit2 -F_0x2e_002003_bit3 -F_0x2e_002003_bit4 -F_0x2e_002003_bit5 -F_0x2e_002003_bit6 -F_0x2e_002003_bit7 -F_0x2e_002003_bit8 -F_0x2e_002003_bit9 -F_0x2e_002003_bit10 -F_0x2e_002003_bit11 -F_0x2e_002003_bit12 -F_0x2e_002_0x2e__0x2e__0x2e__bit_7 -F_0x2e_002_0x2e__0x2e__0x2e__bit_6 -F_0x2e_002_0x2e__0x2e__0x2e__bit_5 -F_0x2e_002_0x2e__0x2e__0x2e__bit_4 -F_0x2e_002_0x2e__0x2e__0x2e__bit_3 -F_0x2e_002_0x2e__0x2e__0x2e__bit_2 -F_0x2e_002_0x2e__0x2e__0x2e__bit_1 -F_0x2e_002_0x2e__0x2e__0x2e__bit0 -F_0x2e_002_0x2e__0x2e__0x2e__bit1 -F_0x2e_002_0x2e__0x2e__0x2e__bit2 -F_0x2e_002_0x2e__0x2e__0x2e__bit3 -F_0x2e_002_0x2e__0x2e__0x2e__bit4 -F_0x2e_002_0x2e__0x2e__0x2e__bit5 -F_0x2e_002_0x2e__0x2e__0x2e__bit6 -F_0x2e_002_0x2e__0x2e__0x2e__bit7 -F_0x2e_002_0x2e__0x2e__0x2e__bit8 -F_0x2e_002_0x2e__0x2e__0x2e__bit9 -F_0x2e_002_0x2e__0x2e__0x2e__bit10 -F_0x2e_002_0x2e__0x2e__0x2e__bit11 -F_0x2e_002_0x2e__0x2e__0x2e__bit12 -F_0x2e_003005_bit_7 -F_0x2e_003005_bit_6 -F_0x2e_003005_bit_5 -F_0x2e_003005_bit_4 -F_0x2e_003005_bit_3 -F_0x2e_003005_bit_2 -F_0x2e_003005_bit_1 -F_0x2e_003005_bit0 -F_0x2e_003005_bit1 -F_0x2e_003005_bit2 -F_0x2e_003005_bit3 -F_0x2e_003005_bit4 -F_0x2e_003005_bit5 -F_0x2e_003005_bit6 -F_0x2e_003005_bit7 -F_0x2e_003005_bit8 -F_0x2e_003005_bit9 -F_0x2e_003005_bit10 -F_0x2e_003005_bit11 -F_0x2e_003005_bit12 -F_0x2e_004005_bit_7 -F_0x2e_004005_bit_6 -F_0x2e_004005_bit_5 -F_0x2e_004005_bit_4 -F_0x2e_004005_bit_3 -F_0x2e_004005_bit_2 -F_0x2e_004005_bit_1 F_0x2e_004005_bit0 F_0x2e_004005_bit1 -F_0x2e_004005_bit2 -F_0x2e_004005_bit3 -F_0x2e_004005_bit4 -F_0x2e_004005_bit5 -F_0x2e_004005_bit6 -F_0x2e_004005_bit7 -F_0x2e_004005_bit8 -F_0x2e_004005_bit9 -F_0x2e_004005_bit10 -F_0x2e_004005_bit11 -F_0x2e_004005_bit12 -F_0x2e_004_0x2e__0x2e__0x2e__bit_7 -F_0x2e_004_0x2e__0x2e__0x2e__bit_6 -F_0x2e_004_0x2e__0x2e__0x2e__bit_5 -F_0x2e_004_0x2e__0x2e__0x2e__bit_4 -F_0x2e_004_0x2e__0x2e__0x2e__bit_3 -F_0x2e_004_0x2e__0x2e__0x2e__bit_2 -F_0x2e_004_0x2e__0x2e__0x2e__bit_1 -F_0x2e_004_0x2e__0x2e__0x2e__bit0 -F_0x2e_004_0x2e__0x2e__0x2e__bit1 F_0x2e_004_0x2e__0x2e__0x2e__bit2 -F_0x2e_004_0x2e__0x2e__0x2e__bit3 -F_0x2e_004_0x2e__0x2e__0x2e__bit4 -F_0x2e_004_0x2e__0x2e__0x2e__bit5 -F_0x2e_004_0x2e__0x2e__0x2e__bit6 -F_0x2e_004_0x2e__0x2e__0x2e__bit7 -F_0x2e_004_0x2e__0x2e__0x2e__bit8 -F_0x2e_004_0x2e__0x2e__0x2e__bit9 -F_0x2e_004_0x2e__0x2e__0x2e__bit10 -F_0x2e_004_0x2e__0x2e__0x2e__bit11 -F_0x2e_004_0x2e__0x2e__0x2e__bit12 -F_0x2e_005007_bit_7 -F_0x2e_005007_bit_6 -F_0x2e_005007_bit_5 -F_0x2e_005007_bit_4 -F_0x2e_005007_bit_3 -F_0x2e_005007_bit_2 -F_0x2e_005007_bit_1 F_0x2e_005007_bit0 F_0x2e_005007_bit1 -F_0x2e_005007_bit2 -F_0x2e_005007_bit3 -F_0x2e_005007_bit4 -F_0x2e_005007_bit5 -F_0x2e_005007_bit6 -F_0x2e_005007_bit7 -F_0x2e_005007_bit8 -F_0x2e_005007_bit9 -F_0x2e_005007_bit10 -F_0x2e_005007_bit11 -F_0x2e_005007_bit12 -F_0x2e_006007_bit_7 -F_0x2e_006007_bit_6 -F_0x2e_006007_bit_5 -F_0x2e_006007_bit_4 -F_0x2e_006007_bit_3 -F_0x2e_006007_bit_2 -F_0x2e_006007_bit_1 -F_0x2e_006007_bit0 -F_0x2e_006007_bit1 F_0x2e_006007_bit2 -F_0x2e_006007_bit3 -F_0x2e_006007_bit4 -F_0x2e_006007_bit5 -F_0x2e_006007_bit6 -F_0x2e_006007_bit7 -F_0x2e_006007_bit8 -F_0x2e_006007_bit9 -F_0x2e_006007_bit10 -F_0x2e_006007_bit11 -F_0x2e_006007_bit12 -F_0x2e_007008_bit_7 -F_0x2e_007008_bit_6 -F_0x2e_007008_bit_5 -F_0x2e_007008_bit_4 -F_0x2e_007008_bit_3 -F_0x2e_007008_bit_2 -F_0x2e_007008_bit_1 -F_0x2e_007008_bit0 -F_0x2e_007008_bit1 -F_0x2e_007008_bit2 F_0x2e_007008_bit3 -F_0x2e_007008_bit4 -F_0x2e_007008_bit5 -F_0x2e_007008_bit6 -F_0x2e_007008_bit7 -F_0x2e_007008_bit8 -F_0x2e_007008_bit9 -F_0x2e_007008_bit10 -F_0x2e_007008_bit11 -F_0x2e_007008_bit12 -F_0x2e_008_0x2e__0x2e__0x2e__bit_7 -F_0x2e_008_0x2e__0x2e__0x2e__bit_6 -F_0x2e_008_0x2e__0x2e__0x2e__bit_5 -F_0x2e_008_0x2e__0x2e__0x2e__bit_4 -F_0x2e_008_0x2e__0x2e__0x2e__bit_3 -F_0x2e_008_0x2e__0x2e__0x2e__bit_2 -F_0x2e_008_0x2e__0x2e__0x2e__bit_1 -F_0x2e_008_0x2e__0x2e__0x2e__bit0 -F_0x2e_008_0x2e__0x2e__0x2e__bit1 -F_0x2e_008_0x2e__0x2e__0x2e__bit2 -F_0x2e_008_0x2e__0x2e__0x2e__bit3 -F_0x2e_008_0x2e__0x2e__0x2e__bit4 -F_0x2e_008_0x2e__0x2e__0x2e__bit5 -F_0x2e_008_0x2e__0x2e__0x2e__bit6 -F_0x2e_008_0x2e__0x2e__0x2e__bit7 -F_0x2e_008_0x2e__0x2e__0x2e__bit8 -F_0x2e_008_0x2e__0x2e__0x2e__bit9 -F_0x2e_008_0x2e__0x2e__0x2e__bit10 -F_0x2e_008_0x2e__0x2e__0x2e__bit11 -F_0x2e_008_0x2e__0x2e__0x2e__bit12 -F_0x2e_008009_bit_7 -F_0x2e_008009_bit_6 -F_0x2e_008009_bit_5 -F_0x2e_008009_bit_4 -F_0x2e_008009_bit_3 -F_0x2e_008009_bit_2 -F_0x2e_008009_bit_1 -F_0x2e_008009_bit0 -F_0x2e_008009_bit1 -F_0x2e_008009_bit2 F_0x2e_008009_bit3 -F_0x2e_008009_bit4 -F_0x2e_008009_bit5 -F_0x2e_008009_bit6 -F_0x2e_008009_bit7 -F_0x2e_008009_bit8 -F_0x2e_008009_bit9 -F_0x2e_008009_bit10 -F_0x2e_008009_bit11 -F_0x2e_008009_bit12 -F_0x2e_010012_bit_7 -F_0x2e_010012_bit_6 -F_0x2e_010012_bit_5 -F_0x2e_010012_bit_4 -F_0x2e_010012_bit_3 -F_0x2e_010012_bit_2 -F_0x2e_010012_bit_1 F_0x2e_010012_bit0 -F_0x2e_010012_bit1 -F_0x2e_010012_bit2 -F_0x2e_010012_bit3 -F_0x2e_010012_bit4 -F_0x2e_010012_bit5 -F_0x2e_010012_bit6 -F_0x2e_010012_bit7 -F_0x2e_010012_bit8 -F_0x2e_010012_bit9 -F_0x2e_010012_bit10 -F_0x2e_010012_bit11 -F_0x2e_010012_bit12 -F_0x2e_012_0x2e__0x2e__0x2e__bit_7 -F_0x2e_012_0x2e__0x2e__0x2e__bit_6 -F_0x2e_012_0x2e__0x2e__0x2e__bit_5 -F_0x2e_012_0x2e__0x2e__0x2e__bit_4 -F_0x2e_012_0x2e__0x2e__0x2e__bit_3 -F_0x2e_012_0x2e__0x2e__0x2e__bit_2 -F_0x2e_012_0x2e__0x2e__0x2e__bit_1 -F_0x2e_012_0x2e__0x2e__0x2e__bit0 -F_0x2e_012_0x2e__0x2e__0x2e__bit1 -F_0x2e_012_0x2e__0x2e__0x2e__bit2 -F_0x2e_012_0x2e__0x2e__0x2e__bit3 -F_0x2e_012_0x2e__0x2e__0x2e__bit4 -F_0x2e_012_0x2e__0x2e__0x2e__bit5 -F_0x2e_012_0x2e__0x2e__0x2e__bit6 -F_0x2e_012_0x2e__0x2e__0x2e__bit7 -F_0x2e_012_0x2e__0x2e__0x2e__bit8 -F_0x2e_012_0x2e__0x2e__0x2e__bit9 -F_0x2e_012_0x2e__0x2e__0x2e__bit10 -F_0x2e_012_0x2e__0x2e__0x2e__bit11 -F_0x2e_012_0x2e__0x2e__0x2e__bit12 -F_0x2e_012013_bit_7 -F_0x2e_012013_bit_6 -F_0x2e_012013_bit_5 -F_0x2e_012013_bit_4 -F_0x2e_012013_bit_3 -F_0x2e_012013_bit_2 -F_0x2e_012013_bit_1 -F_0x2e_012013_bit0 F_0x2e_012013_bit1 F_0x2e_012013_bit2 -F_0x2e_012013_bit3 F_0x2e_012013_bit4 -F_0x2e_012013_bit5 -F_0x2e_012013_bit6 -F_0x2e_012013_bit7 -F_0x2e_012013_bit8 -F_0x2e_012013_bit9 -F_0x2e_012013_bit10 -F_0x2e_012013_bit11 -F_0x2e_012013_bit12 -F_0x2e_013016_bit_7 -F_0x2e_013016_bit_6 -F_0x2e_013016_bit_5 -F_0x2e_013016_bit_4 -F_0x2e_013016_bit_3 -F_0x2e_013016_bit_2 -F_0x2e_013016_bit_1 -F_0x2e_013016_bit0 F_0x2e_013016_bit1 -F_0x2e_013016_bit2 F_0x2e_013016_bit3 F_0x2e_013016_bit4 -F_0x2e_013016_bit5 -F_0x2e_013016_bit6 -F_0x2e_013016_bit7 -F_0x2e_013016_bit8 -F_0x2e_013016_bit9 -F_0x2e_013016_bit10 -F_0x2e_013016_bit11 -F_0x2e_013016_bit12 -F_0x2e_014015_bit_7 -F_0x2e_014015_bit_6 -F_0x2e_014015_bit_5 -F_0x2e_014015_bit_4 -F_0x2e_014015_bit_3 -F_0x2e_014015_bit_2 -F_0x2e_014015_bit_1 -F_0x2e_014015_bit0 -F_0x2e_014015_bit1 -F_0x2e_014015_bit2 -F_0x2e_014015_bit3 -F_0x2e_014015_bit4 -F_0x2e_014015_bit5 -F_0x2e_014015_bit6 -F_0x2e_014015_bit7 -F_0x2e_014015_bit8 -F_0x2e_014015_bit9 -F_0x2e_014015_bit10 -F_0x2e_014015_bit11 -F_0x2e_014015_bit12 -F_0x2e_015016_bit_7 -F_0x2e_015016_bit_6 -F_0x2e_015016_bit_5 -F_0x2e_015016_bit_4 -F_0x2e_015016_bit_3 -F_0x2e_015016_bit_2 -F_0x2e_015016_bit_1 F_0x2e_015016_bit0 -F_0x2e_015016_bit1 -F_0x2e_015016_bit2 -F_0x2e_015016_bit3 -F_0x2e_015016_bit4 -F_0x2e_015016_bit5 -F_0x2e_015016_bit6 -F_0x2e_015016_bit7 -F_0x2e_015016_bit8 -F_0x2e_015016_bit9 -F_0x2e_015016_bit10 -F_0x2e_015016_bit11 -F_0x2e_015016_bit12 -F_0x2e_016_0x2e__0x2e__0x2e__bit_7 -F_0x2e_016_0x2e__0x2e__0x2e__bit_6 -F_0x2e_016_0x2e__0x2e__0x2e__bit_5 -F_0x2e_016_0x2e__0x2e__0x2e__bit_4 -F_0x2e_016_0x2e__0x2e__0x2e__bit_3 -F_0x2e_016_0x2e__0x2e__0x2e__bit_2 -F_0x2e_016_0x2e__0x2e__0x2e__bit_1 F_0x2e_016_0x2e__0x2e__0x2e__bit0 F_0x2e_016_0x2e__0x2e__0x2e__bit1 -F_0x2e_016_0x2e__0x2e__0x2e__bit2 -F_0x2e_016_0x2e__0x2e__0x2e__bit3 -F_0x2e_016_0x2e__0x2e__0x2e__bit4 -F_0x2e_016_0x2e__0x2e__0x2e__bit5 -F_0x2e_016_0x2e__0x2e__0x2e__bit6 -F_0x2e_016_0x2e__0x2e__0x2e__bit7 -F_0x2e_016_0x2e__0x2e__0x2e__bit8 -F_0x2e_016_0x2e__0x2e__0x2e__bit9 -F_0x2e_016_0x2e__0x2e__0x2e__bit10 -F_0x2e_016_0x2e__0x2e__0x2e__bit11 -F_0x2e_016_0x2e__0x2e__0x2e__bit12 -F_0x2e_016017_bit_7 -F_0x2e_016017_bit_6 -F_0x2e_016017_bit_5 -F_0x2e_016017_bit_4 -F_0x2e_016017_bit_3 -F_0x2e_016017_bit_2 -F_0x2e_016017_bit_1 -F_0x2e_016017_bit0 -F_0x2e_016017_bit1 -F_0x2e_016017_bit2 F_0x2e_016017_bit3 F_0x2e_016017_bit4 -F_0x2e_016017_bit5 -F_0x2e_016017_bit6 -F_0x2e_016017_bit7 -F_0x2e_016017_bit8 -F_0x2e_016017_bit9 -F_0x2e_016017_bit10 -F_0x2e_016017_bit11 -F_0x2e_016017_bit12 -F_0x2e_017018_bit_7 -F_0x2e_017018_bit_6 -F_0x2e_017018_bit_5 -F_0x2e_017018_bit_4 -F_0x2e_017018_bit_3 -F_0x2e_017018_bit_2 -F_0x2e_017018_bit_1 -F_0x2e_017018_bit0 -F_0x2e_017018_bit1 -F_0x2e_017018_bit2 F_0x2e_017018_bit3 F_0x2e_017018_bit4 -F_0x2e_017018_bit5 -F_0x2e_017018_bit6 -F_0x2e_017018_bit7 -F_0x2e_017018_bit8 -F_0x2e_017018_bit9 -F_0x2e_017018_bit10 -F_0x2e_017018_bit11 -F_0x2e_017018_bit12 -F_0x2e_009018_bit_7 -F_0x2e_009018_bit_6 -F_0x2e_009018_bit_5 -F_0x2e_009018_bit_4 -F_0x2e_009018_bit_3 -F_0x2e_009018_bit_2 -F_0x2e_009018_bit_1 -F_0x2e_009018_bit0 -F_0x2e_009018_bit1 -F_0x2e_009018_bit2 F_0x2e_009018_bit3 -F_0x2e_009018_bit4 -F_0x2e_009018_bit5 -F_0x2e_009018_bit6 -F_0x2e_009018_bit7 -F_0x2e_009018_bit8 -F_0x2e_009018_bit9 -F_0x2e_009018_bit10 -F_0x2e_009018_bit11 -F_0x2e_009018_bit12 -F_0x2e_018019_bit_7 -F_0x2e_018019_bit_6 -F_0x2e_018019_bit_5 -F_0x2e_018019_bit_4 -F_0x2e_018019_bit_3 -F_0x2e_018019_bit_2 -F_0x2e_018019_bit_1 -F_0x2e_018019_bit0 -F_0x2e_018019_bit1 -F_0x2e_018019_bit2 -F_0x2e_018019_bit3 -F_0x2e_018019_bit4 F_0x2e_018019_bit5 -F_0x2e_018019_bit6 -F_0x2e_018019_bit7 -F_0x2e_018019_bit8 -F_0x2e_018019_bit9 -F_0x2e_018019_bit10 -F_0x2e_018019_bit11 -F_0x2e_018019_bit12 -F_0x2e_019024_bit_7 -F_0x2e_019024_bit_6 -F_0x2e_019024_bit_5 -F_0x2e_019024_bit_4 -F_0x2e_019024_bit_3 -F_0x2e_019024_bit_2 -F_0x2e_019024_bit_1 -F_0x2e_019024_bit0 F_0x2e_019024_bit1 -F_0x2e_019024_bit2 -F_0x2e_019024_bit3 -F_0x2e_019024_bit4 F_0x2e_019024_bit5 -F_0x2e_019024_bit6 -F_0x2e_019024_bit7 -F_0x2e_019024_bit8 -F_0x2e_019024_bit9 -F_0x2e_019024_bit10 -F_0x2e_019024_bit11 -F_0x2e_019024_bit12 -F_0x2e_024_0x2e__0x2e__0x2e__bit_7 -F_0x2e_024_0x2e__0x2e__0x2e__bit_6 -F_0x2e_024_0x2e__0x2e__0x2e__bit_5 -F_0x2e_024_0x2e__0x2e__0x2e__bit_4 -F_0x2e_024_0x2e__0x2e__0x2e__bit_3 -F_0x2e_024_0x2e__0x2e__0x2e__bit_2 -F_0x2e_024_0x2e__0x2e__0x2e__bit_1 -F_0x2e_024_0x2e__0x2e__0x2e__bit0 F_0x2e_024_0x2e__0x2e__0x2e__bit1 -F_0x2e_024_0x2e__0x2e__0x2e__bit2 -F_0x2e_024_0x2e__0x2e__0x2e__bit3 -F_0x2e_024_0x2e__0x2e__0x2e__bit4 F_0x2e_024_0x2e__0x2e__0x2e__bit5 -F_0x2e_024_0x2e__0x2e__0x2e__bit6 -F_0x2e_024_0x2e__0x2e__0x2e__bit7 -F_0x2e_024_0x2e__0x2e__0x2e__bit8 -F_0x2e_024_0x2e__0x2e__0x2e__bit9 -F_0x2e_024_0x2e__0x2e__0x2e__bit10 -F_0x2e_024_0x2e__0x2e__0x2e__bit11 -F_0x2e_024_0x2e__0x2e__0x2e__bit12 -F_0x2e_023024_bit_7 -F_0x2e_023024_bit_6 -F_0x2e_023024_bit_5 -F_0x2e_023024_bit_4 -F_0x2e_023024_bit_3 -F_0x2e_023024_bit_2 -F_0x2e_023024_bit_1 -F_0x2e_023024_bit0 -F_0x2e_023024_bit1 -F_0x2e_023024_bit2 -F_0x2e_023024_bit3 -F_0x2e_023024_bit4 -F_0x2e_023024_bit5 -F_0x2e_023024_bit6 -F_0x2e_023024_bit7 -F_0x2e_023024_bit8 -F_0x2e_023024_bit9 -F_0x2e_023024_bit10 -F_0x2e_023024_bit11 -F_0x2e_023024_bit12 -F_0x2e_022023_bit_7 -F_0x2e_022023_bit_6 -F_0x2e_022023_bit_5 -F_0x2e_022023_bit_4 -F_0x2e_022023_bit_3 -F_0x2e_022023_bit_2 -F_0x2e_022023_bit_1 -F_0x2e_022023_bit0 -F_0x2e_022023_bit1 -F_0x2e_022023_bit2 -F_0x2e_022023_bit3 -F_0x2e_022023_bit4 -F_0x2e_022023_bit5 -F_0x2e_022023_bit6 -F_0x2e_022023_bit7 -F_0x2e_022023_bit8 -F_0x2e_022023_bit9 -F_0x2e_022023_bit10 -F_0x2e_022023_bit11 -F_0x2e_022023_bit12 -F_0x2e_020022_bit_7 -F_0x2e_020022_bit_6 -F_0x2e_020022_bit_5 -F_0x2e_020022_bit_4 -F_0x2e_020022_bit_3 -F_0x2e_020022_bit_2 -F_0x2e_020022_bit_1 -F_0x2e_020022_bit0 -F_0x2e_020022_bit1 -F_0x2e_020022_bit2 -F_0x2e_020022_bit3 -F_0x2e_020022_bit4 -F_0x2e_020022_bit5 -F_0x2e_020022_bit6 -F_0x2e_020022_bit7 -F_0x2e_020022_bit8 -F_0x2e_020022_bit9 -F_0x2e_020022_bit10 -F_0x2e_020022_bit11 -F_0x2e_020022_bit12 -F_0x2e_021022_bit_7 -F_0x2e_021022_bit_6 -F_0x2e_021022_bit_5 -F_0x2e_021022_bit_4 -F_0x2e_021022_bit_3 -F_0x2e_021022_bit_2 -F_0x2e_021022_bit_1 F_0x2e_021022_bit0 F_0x2e_021022_bit1 F_0x2e_021022_bit2 -F_0x2e_021022_bit3 -F_0x2e_021022_bit4 -F_0x2e_021022_bit5 -F_0x2e_021022_bit6 -F_0x2e_021022_bit7 -F_0x2e_021022_bit8 -F_0x2e_021022_bit9 -F_0x2e_021022_bit10 -F_0x2e_021022_bit11 -F_0x2e_021022_bit12 -F_0x2e_022_0x2e__0x2e__0x2e__bit_7 -F_0x2e_022_0x2e__0x2e__0x2e__bit_6 -F_0x2e_022_0x2e__0x2e__0x2e__bit_5 -F_0x2e_022_0x2e__0x2e__0x2e__bit_4 -F_0x2e_022_0x2e__0x2e__0x2e__bit_3 -F_0x2e_022_0x2e__0x2e__0x2e__bit_2 -F_0x2e_022_0x2e__0x2e__0x2e__bit_1 F_0x2e_022_0x2e__0x2e__0x2e__bit0 F_0x2e_022_0x2e__0x2e__0x2e__bit1 F_0x2e_022_0x2e__0x2e__0x2e__bit2 -F_0x2e_022_0x2e__0x2e__0x2e__bit3 -F_0x2e_022_0x2e__0x2e__0x2e__bit4 -F_0x2e_022_0x2e__0x2e__0x2e__bit5 -F_0x2e_022_0x2e__0x2e__0x2e__bit6 -F_0x2e_022_0x2e__0x2e__0x2e__bit7 -F_0x2e_022_0x2e__0x2e__0x2e__bit8 -F_0x2e_022_0x2e__0x2e__0x2e__bit9 -F_0x2e_022_0x2e__0x2e__0x2e__bit10 -F_0x2e_022_0x2e__0x2e__0x2e__bit11 -F_0x2e_022_0x2e__0x2e__0x2e__bit12 -F_0x2e_024026_bit_7 -F_0x2e_024026_bit_6 -F_0x2e_024026_bit_5 -F_0x2e_024026_bit_4 -F_0x2e_024026_bit_3 -F_0x2e_024026_bit_2 -F_0x2e_024026_bit_1 -F_0x2e_024026_bit0 -F_0x2e_024026_bit1 -F_0x2e_024026_bit2 -F_0x2e_024026_bit3 -F_0x2e_024026_bit4 -F_0x2e_024026_bit5 -F_0x2e_024026_bit6 -F_0x2e_024026_bit7 -F_0x2e_024026_bit8 -F_0x2e_024026_bit9 -F_0x2e_024026_bit10 -F_0x2e_024026_bit11 -F_0x2e_024026_bit12 -F_0x2e_025026_bit_7 -F_0x2e_025026_bit_6 -F_0x2e_025026_bit_5 -F_0x2e_025026_bit_4 -F_0x2e_025026_bit_3 -F_0x2e_025026_bit_2 -F_0x2e_025026_bit_1 F_0x2e_025026_bit0 F_0x2e_025026_bit1 -F_0x2e_025026_bit2 -F_0x2e_025026_bit3 F_0x2e_025026_bit4 -F_0x2e_025026_bit5 -F_0x2e_025026_bit6 -F_0x2e_025026_bit7 -F_0x2e_025026_bit8 -F_0x2e_025026_bit9 -F_0x2e_025026_bit10 -F_0x2e_025026_bit11 -F_0x2e_025026_bit12 -F_0x2e_025_0x2e__0x2e__0x2e__bit_7 -F_0x2e_025_0x2e__0x2e__0x2e__bit_6 -F_0x2e_025_0x2e__0x2e__0x2e__bit_5 -F_0x2e_025_0x2e__0x2e__0x2e__bit_4 -F_0x2e_025_0x2e__0x2e__0x2e__bit_3 -F_0x2e_025_0x2e__0x2e__0x2e__bit_2 -F_0x2e_025_0x2e__0x2e__0x2e__bit_1 -F_0x2e_025_0x2e__0x2e__0x2e__bit0 -F_0x2e_025_0x2e__0x2e__0x2e__bit1 -F_0x2e_025_0x2e__0x2e__0x2e__bit2 -F_0x2e_025_0x2e__0x2e__0x2e__bit3 -F_0x2e_025_0x2e__0x2e__0x2e__bit4 -F_0x2e_025_0x2e__0x2e__0x2e__bit5 -F_0x2e_025_0x2e__0x2e__0x2e__bit6 -F_0x2e_025_0x2e__0x2e__0x2e__bit7 -F_0x2e_025_0x2e__0x2e__0x2e__bit8 -F_0x2e_025_0x2e__0x2e__0x2e__bit9 -F_0x2e_025_0x2e__0x2e__0x2e__bit10 -F_0x2e_025_0x2e__0x2e__0x2e__bit11 -F_0x2e_025_0x2e__0x2e__0x2e__bit12 -F_0x2e_026027_bit_7 -F_0x2e_026027_bit_6 -F_0x2e_026027_bit_5 -F_0x2e_026027_bit_4 -F_0x2e_026027_bit_3 -F_0x2e_026027_bit_2 -F_0x2e_026027_bit_1 F_0x2e_026027_bit0 -F_0x2e_026027_bit1 F_0x2e_026027_bit2 F_0x2e_026027_bit3 F_0x2e_026027_bit4 -F_0x2e_026027_bit5 -F_0x2e_026027_bit6 -F_0x2e_026027_bit7 -F_0x2e_026027_bit8 -F_0x2e_026027_bit9 -F_0x2e_026027_bit10 -F_0x2e_026027_bit11 -F_0x2e_026027_bit12 -F_0x2e_027_0x2e__0x2e__0x2e__bit_7 -F_0x2e_027_0x2e__0x2e__0x2e__bit_6 -F_0x2e_027_0x2e__0x2e__0x2e__bit_5 -F_0x2e_027_0x2e__0x2e__0x2e__bit_4 -F_0x2e_027_0x2e__0x2e__0x2e__bit_3 -F_0x2e_027_0x2e__0x2e__0x2e__bit_2 -F_0x2e_027_0x2e__0x2e__0x2e__bit_1 -F_0x2e_027_0x2e__0x2e__0x2e__bit0 -F_0x2e_027_0x2e__0x2e__0x2e__bit1 -F_0x2e_027_0x2e__0x2e__0x2e__bit2 -F_0x2e_027_0x2e__0x2e__0x2e__bit3 -F_0x2e_027_0x2e__0x2e__0x2e__bit4 -F_0x2e_027_0x2e__0x2e__0x2e__bit5 -F_0x2e_027_0x2e__0x2e__0x2e__bit6 -F_0x2e_027_0x2e__0x2e__0x2e__bit7 -F_0x2e_027_0x2e__0x2e__0x2e__bit8 -F_0x2e_027_0x2e__0x2e__0x2e__bit9 -F_0x2e_027_0x2e__0x2e__0x2e__bit10 -F_0x2e_027_0x2e__0x2e__0x2e__bit11 -F_0x2e_027_0x2e__0x2e__0x2e__bit12 -F_0x2e_027032_bit_7 -F_0x2e_027032_bit_6 -F_0x2e_027032_bit_5 -F_0x2e_027032_bit_4 -F_0x2e_027032_bit_3 -F_0x2e_027032_bit_2 -F_0x2e_027032_bit_1 F_0x2e_027032_bit0 -F_0x2e_027032_bit1 F_0x2e_027032_bit2 F_0x2e_027032_bit3 F_0x2e_027032_bit4 -F_0x2e_027032_bit5 -F_0x2e_027032_bit6 -F_0x2e_027032_bit7 -F_0x2e_027032_bit8 -F_0x2e_027032_bit9 -F_0x2e_027032_bit10 -F_0x2e_027032_bit11 -F_0x2e_027032_bit12 -F_0x2e_030031_bit_7 -F_0x2e_030031_bit_6 -F_0x2e_030031_bit_5 -F_0x2e_030031_bit_4 -F_0x2e_030031_bit_3 -F_0x2e_030031_bit_2 -F_0x2e_030031_bit_1 -F_0x2e_030031_bit0 -F_0x2e_030031_bit1 -F_0x2e_030031_bit2 -F_0x2e_030031_bit3 -F_0x2e_030031_bit4 -F_0x2e_030031_bit5 -F_0x2e_030031_bit6 -F_0x2e_030031_bit7 -F_0x2e_030031_bit8 -F_0x2e_030031_bit9 -F_0x2e_030031_bit10 -F_0x2e_030031_bit11 -F_0x2e_030031_bit12 -F_0x2e_031032_bit_7 -F_0x2e_031032_bit_6 -F_0x2e_031032_bit_5 -F_0x2e_031032_bit_4 -F_0x2e_031032_bit_3 -F_0x2e_031032_bit_2 -F_0x2e_031032_bit_1 F_0x2e_031032_bit0 -F_0x2e_031032_bit1 F_0x2e_031032_bit2 -F_0x2e_031032_bit3 -F_0x2e_031032_bit4 -F_0x2e_031032_bit5 -F_0x2e_031032_bit6 -F_0x2e_031032_bit7 -F_0x2e_031032_bit8 -F_0x2e_031032_bit9 -F_0x2e_031032_bit10 -F_0x2e_031032_bit11 -F_0x2e_031032_bit12 -F_0x2e_029031_bit_7 -F_0x2e_029031_bit_6 -F_0x2e_029031_bit_5 -F_0x2e_029031_bit_4 -F_0x2e_029031_bit_3 -F_0x2e_029031_bit_2 -F_0x2e_029031_bit_1 F_0x2e_029031_bit0 -F_0x2e_029031_bit1 F_0x2e_029031_bit2 -F_0x2e_029031_bit3 -F_0x2e_029031_bit4 -F_0x2e_029031_bit5 -F_0x2e_029031_bit6 -F_0x2e_029031_bit7 -F_0x2e_029031_bit8 -F_0x2e_029031_bit9 -F_0x2e_029031_bit10 -F_0x2e_029031_bit11 -F_0x2e_029031_bit12 -F_0x2e_028029_bit_7 -F_0x2e_028029_bit_6 -F_0x2e_028029_bit_5 -F_0x2e_028029_bit_4 -F_0x2e_028029_bit_3 -F_0x2e_028029_bit_2 -F_0x2e_028029_bit_1 -F_0x2e_028029_bit0 -F_0x2e_028029_bit1 -F_0x2e_028029_bit2 -F_0x2e_028029_bit3 -F_0x2e_028029_bit4 -F_0x2e_028029_bit5 -F_0x2e_028029_bit6 -F_0x2e_028029_bit7 -F_0x2e_028029_bit8 -F_0x2e_028029_bit9 -F_0x2e_028029_bit10 -F_0x2e_028029_bit11 -F_0x2e_028029_bit12 -F_0x2e_028_0x2e__0x2e__0x2e__bit_7 -F_0x2e_028_0x2e__0x2e__0x2e__bit_6 -F_0x2e_028_0x2e__0x2e__0x2e__bit_5 -F_0x2e_028_0x2e__0x2e__0x2e__bit_4 -F_0x2e_028_0x2e__0x2e__0x2e__bit_3 -F_0x2e_028_0x2e__0x2e__0x2e__bit_2 -F_0x2e_028_0x2e__0x2e__0x2e__bit_1 -F_0x2e_028_0x2e__0x2e__0x2e__bit0 -F_0x2e_028_0x2e__0x2e__0x2e__bit1 -F_0x2e_028_0x2e__0x2e__0x2e__bit2 -F_0x2e_028_0x2e__0x2e__0x2e__bit3 -F_0x2e_028_0x2e__0x2e__0x2e__bit4 -F_0x2e_028_0x2e__0x2e__0x2e__bit5 -F_0x2e_028_0x2e__0x2e__0x2e__bit6 -F_0x2e_028_0x2e__0x2e__0x2e__bit7 -F_0x2e_028_0x2e__0x2e__0x2e__bit8 -F_0x2e_028_0x2e__0x2e__0x2e__bit9 -F_0x2e_028_0x2e__0x2e__0x2e__bit10 -F_0x2e_028_0x2e__0x2e__0x2e__bit11 -F_0x2e_028_0x2e__0x2e__0x2e__bit12 -F_0x2e_032033_bit_7 -F_0x2e_032033_bit_6 -F_0x2e_032033_bit_5 -F_0x2e_032033_bit_4 -F_0x2e_032033_bit_3 -F_0x2e_032033_bit_2 -F_0x2e_032033_bit_1 -F_0x2e_032033_bit0 F_0x2e_032033_bit1 -F_0x2e_032033_bit2 -F_0x2e_032033_bit3 -F_0x2e_032033_bit4 F_0x2e_032033_bit5 -F_0x2e_032033_bit6 -F_0x2e_032033_bit7 -F_0x2e_032033_bit8 -F_0x2e_032033_bit9 -F_0x2e_032033_bit10 -F_0x2e_032033_bit11 -F_0x2e_032033_bit12 -F_0x2e_033037_bit_7 -F_0x2e_033037_bit_6 -F_0x2e_033037_bit_5 -F_0x2e_033037_bit_4 -F_0x2e_033037_bit_3 -F_0x2e_033037_bit_2 -F_0x2e_033037_bit_1 -F_0x2e_033037_bit0 F_0x2e_033037_bit1 -F_0x2e_033037_bit2 -F_0x2e_033037_bit3 -F_0x2e_033037_bit4 F_0x2e_033037_bit5 -F_0x2e_033037_bit6 -F_0x2e_033037_bit7 -F_0x2e_033037_bit8 -F_0x2e_033037_bit9 -F_0x2e_033037_bit10 -F_0x2e_033037_bit11 -F_0x2e_033037_bit12 -F_0x2e_034036_bit_7 -F_0x2e_034036_bit_6 -F_0x2e_034036_bit_5 -F_0x2e_034036_bit_4 -F_0x2e_034036_bit_3 -F_0x2e_034036_bit_2 -F_0x2e_034036_bit_1 -F_0x2e_034036_bit0 -F_0x2e_034036_bit1 -F_0x2e_034036_bit2 -F_0x2e_034036_bit3 -F_0x2e_034036_bit4 -F_0x2e_034036_bit5 -F_0x2e_034036_bit6 -F_0x2e_034036_bit7 -F_0x2e_034036_bit8 -F_0x2e_034036_bit9 -F_0x2e_034036_bit10 -F_0x2e_034036_bit11 -F_0x2e_034036_bit12 -F_0x2e_035036_bit_7 -F_0x2e_035036_bit_6 -F_0x2e_035036_bit_5 -F_0x2e_035036_bit_4 -F_0x2e_035036_bit_3 -F_0x2e_035036_bit_2 -F_0x2e_035036_bit_1 -F_0x2e_035036_bit0 -F_0x2e_035036_bit1 -F_0x2e_035036_bit2 -F_0x2e_035036_bit3 -F_0x2e_035036_bit4 -F_0x2e_035036_bit5 -F_0x2e_035036_bit6 -F_0x2e_035036_bit7 -F_0x2e_035036_bit8 -F_0x2e_035036_bit9 -F_0x2e_035036_bit10 -F_0x2e_035036_bit11 -F_0x2e_035036_bit12 -F_0x2e_037038_bit_7 -F_0x2e_037038_bit_6 -F_0x2e_037038_bit_5 -F_0x2e_037038_bit_4 -F_0x2e_037038_bit_3 -F_0x2e_037038_bit_2 -F_0x2e_037038_bit_1 -F_0x2e_037038_bit0 F_0x2e_037038_bit1 -F_0x2e_037038_bit2 -F_0x2e_037038_bit3 -F_0x2e_037038_bit4 F_0x2e_037038_bit5 -F_0x2e_037038_bit6 -F_0x2e_037038_bit7 -F_0x2e_037038_bit8 -F_0x2e_037038_bit9 -F_0x2e_037038_bit10 -F_0x2e_037038_bit11 -F_0x2e_037038_bit12 -F_0x2e_039040_bit_7 -F_0x2e_039040_bit_6 -F_0x2e_039040_bit_5 -F_0x2e_039040_bit_4 -F_0x2e_039040_bit_3 -F_0x2e_039040_bit_2 -F_0x2e_039040_bit_1 F_0x2e_039040_bit0 -F_0x2e_039040_bit1 F_0x2e_039040_bit2 -F_0x2e_039040_bit3 -F_0x2e_039040_bit4 -F_0x2e_039040_bit5 -F_0x2e_039040_bit6 -F_0x2e_039040_bit7 -F_0x2e_039040_bit8 -F_0x2e_039040_bit9 -F_0x2e_039040_bit10 -F_0x2e_039040_bit11 -F_0x2e_039040_bit12 -F_0x2e_040_0x2e__0x2e__0x2e__bit_7 -F_0x2e_040_0x2e__0x2e__0x2e__bit_6 -F_0x2e_040_0x2e__0x2e__0x2e__bit_5 -F_0x2e_040_0x2e__0x2e__0x2e__bit_4 -F_0x2e_040_0x2e__0x2e__0x2e__bit_3 -F_0x2e_040_0x2e__0x2e__0x2e__bit_2 -F_0x2e_040_0x2e__0x2e__0x2e__bit_1 -F_0x2e_040_0x2e__0x2e__0x2e__bit0 -F_0x2e_040_0x2e__0x2e__0x2e__bit1 -F_0x2e_040_0x2e__0x2e__0x2e__bit2 -F_0x2e_040_0x2e__0x2e__0x2e__bit3 -F_0x2e_040_0x2e__0x2e__0x2e__bit4 -F_0x2e_040_0x2e__0x2e__0x2e__bit5 -F_0x2e_040_0x2e__0x2e__0x2e__bit6 -F_0x2e_040_0x2e__0x2e__0x2e__bit7 -F_0x2e_040_0x2e__0x2e__0x2e__bit8 -F_0x2e_040_0x2e__0x2e__0x2e__bit9 -F_0x2e_040_0x2e__0x2e__0x2e__bit10 -F_0x2e_040_0x2e__0x2e__0x2e__bit11 -F_0x2e_040_0x2e__0x2e__0x2e__bit12 -F_0x2e_041_0x2e__0x2e__0x2e__bit_7 -F_0x2e_041_0x2e__0x2e__0x2e__bit_6 -F_0x2e_041_0x2e__0x2e__0x2e__bit_5 -F_0x2e_041_0x2e__0x2e__0x2e__bit_4 -F_0x2e_041_0x2e__0x2e__0x2e__bit_3 -F_0x2e_041_0x2e__0x2e__0x2e__bit_2 -F_0x2e_041_0x2e__0x2e__0x2e__bit_1 -F_0x2e_041_0x2e__0x2e__0x2e__bit0 -F_0x2e_041_0x2e__0x2e__0x2e__bit1 -F_0x2e_041_0x2e__0x2e__0x2e__bit2 -F_0x2e_041_0x2e__0x2e__0x2e__bit3 -F_0x2e_041_0x2e__0x2e__0x2e__bit4 -F_0x2e_041_0x2e__0x2e__0x2e__bit5 -F_0x2e_041_0x2e__0x2e__0x2e__bit6 -F_0x2e_041_0x2e__0x2e__0x2e__bit7 -F_0x2e_041_0x2e__0x2e__0x2e__bit8 -F_0x2e_041_0x2e__0x2e__0x2e__bit9 -F_0x2e_041_0x2e__0x2e__0x2e__bit10 -F_0x2e_041_0x2e__0x2e__0x2e__bit11 -F_0x2e_041_0x2e__0x2e__0x2e__bit12 -F_0x2e_040041_bit_7 -F_0x2e_040041_bit_6 -F_0x2e_040041_bit_5 -F_0x2e_040041_bit_4 -F_0x2e_040041_bit_3 -F_0x2e_040041_bit_2 -F_0x2e_040041_bit_1 -F_0x2e_040041_bit0 -F_0x2e_040041_bit1 F_0x2e_040041_bit2 F_0x2e_040041_bit3 -F_0x2e_040041_bit4 F_0x2e_040041_bit5 -F_0x2e_040041_bit6 -F_0x2e_040041_bit7 -F_0x2e_040041_bit8 -F_0x2e_040041_bit9 -F_0x2e_040041_bit10 -F_0x2e_040041_bit11 -F_0x2e_040041_bit12 -F_0x2e_041042_bit_7 -F_0x2e_041042_bit_6 -F_0x2e_041042_bit_5 -F_0x2e_041042_bit_4 -F_0x2e_041042_bit_3 -F_0x2e_041042_bit_2 -F_0x2e_041042_bit_1 F_0x2e_041042_bit0 -F_0x2e_041042_bit1 -F_0x2e_041042_bit2 -F_0x2e_041042_bit3 F_0x2e_041042_bit4 F_0x2e_041042_bit5 -F_0x2e_041042_bit6 -F_0x2e_041042_bit7 -F_0x2e_041042_bit8 -F_0x2e_041042_bit9 -F_0x2e_041042_bit10 -F_0x2e_041042_bit11 -F_0x2e_041042_bit12 -F_0x2e_042_0x2e__0x2e__0x2e__bit_7 -F_0x2e_042_0x2e__0x2e__0x2e__bit_6 -F_0x2e_042_0x2e__0x2e__0x2e__bit_5 -F_0x2e_042_0x2e__0x2e__0x2e__bit_4 -F_0x2e_042_0x2e__0x2e__0x2e__bit_3 -F_0x2e_042_0x2e__0x2e__0x2e__bit_2 -F_0x2e_042_0x2e__0x2e__0x2e__bit_1 F_0x2e_042_0x2e__0x2e__0x2e__bit0 F_0x2e_042_0x2e__0x2e__0x2e__bit1 F_0x2e_042_0x2e__0x2e__0x2e__bit2 -F_0x2e_042_0x2e__0x2e__0x2e__bit3 F_0x2e_042_0x2e__0x2e__0x2e__bit4 F_0x2e_042_0x2e__0x2e__0x2e__bit5 -F_0x2e_042_0x2e__0x2e__0x2e__bit6 -F_0x2e_042_0x2e__0x2e__0x2e__bit7 -F_0x2e_042_0x2e__0x2e__0x2e__bit8 -F_0x2e_042_0x2e__0x2e__0x2e__bit9 -F_0x2e_042_0x2e__0x2e__0x2e__bit10 -F_0x2e_042_0x2e__0x2e__0x2e__bit11 -F_0x2e_042_0x2e__0x2e__0x2e__bit12 -F_0x2e_011012_bit_7 -F_0x2e_011012_bit_6 -F_0x2e_011012_bit_5 -F_0x2e_011012_bit_4 -F_0x2e_011012_bit_3 -F_0x2e_011012_bit_2 -F_0x2e_011012_bit_1 F_0x2e_011012_bit0 -F_0x2e_011012_bit1 F_0x2e_011012_bit2 -F_0x2e_011012_bit3 F_0x2e_011012_bit4 -F_0x2e_011012_bit5 -F_0x2e_011012_bit6 -F_0x2e_011012_bit7 -F_0x2e_011012_bit8 -F_0x2e_011012_bit9 -F_0x2e_011012_bit10 -F_0x2e_011012_bit11 -F_0x2e_011012_bit12 -F_0x2e_036037_bit_7 -F_0x2e_036037_bit_6 -F_0x2e_036037_bit_5 -F_0x2e_036037_bit_4 -F_0x2e_036037_bit_3 -F_0x2e_036037_bit_2 -F_0x2e_036037_bit_1 -F_0x2e_036037_bit0 -F_0x2e_036037_bit1 -F_0x2e_036037_bit2 -F_0x2e_036037_bit3 -F_0x2e_036037_bit4 -F_0x2e_036037_bit5 -F_0x2e_036037_bit6 -F_0x2e_036037_bit7 -F_0x2e_036037_bit8 -F_0x2e_036037_bit9 -F_0x2e_036037_bit10 -F_0x2e_036037_bit11 -F_0x2e_036037_bit12 -F_0x2e_038040_bit_7 -F_0x2e_038040_bit_6 -F_0x2e_038040_bit_5 -F_0x2e_038040_bit_4 -F_0x2e_038040_bit_3 -F_0x2e_038040_bit_2 -F_0x2e_038040_bit_1 F_0x2e_038040_bit0 F_0x2e_038040_bit1 F_0x2e_038040_bit2 -F_0x2e_038040_bit3 -F_0x2e_038040_bit4 F_0x2e_038040_bit5 -F_0x2e_038040_bit6 -F_0x2e_038040_bit7 -F_0x2e_038040_bit8 -F_0x2e_038040_bit9 -F_0x2e_038040_bit10 -F_0x2e_038040_bit11 -F_0x2e_038040_bit12 
c Exit Code: 10
c Total time: 1175.82 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.99 2/55 3724
Raw data (stat): 3724 (runsolver) R 3723 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 819821642 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 3498 0 0 0 985 10 0 0 25 0 1 0 819821642 17948672 3465 4294967295 134512640 134714540 3221221776 3221220028 1077379863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4382 3465 1111 63 0 4319 0
vsize: 17528
[startup+20.002 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4113 0 0 0 1982 14 0 0 25 0 1 0 819821642 20426752 4080 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4987 4080 1111 63 0 4924 0
vsize: 19948
[startup+30.0027 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4398 0 0 0 2981 15 0 0 25 0 1 0 819821642 21594112 4365 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5272 4365 1111 63 0 5209 0
vsize: 21088
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4511 0 0 0 3980 16 0 0 25 0 1 0 819821642 22003712 4478 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5372 4478 1111 63 0 5309 0
vsize: 21488
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4569 0 0 0 4979 17 0 0 25 0 1 0 819821642 22253568 4536 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5433 4536 1111 63 0 5370 0
vsize: 21732
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4645 0 0 0 5978 18 0 0 25 0 1 0 819821642 22618112 4612 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5522 4612 1111 63 0 5459 0
vsize: 22088
[startup+70.0044 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4685 0 0 0 6977 19 0 0 25 0 1 0 819821642 22753280 4652 4294967295 134512640 134714540 3221221776 3221220512 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4652 1111 63 0 5492 0
vsize: 22220
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4777 0 0 0 7977 20 0 0 25 0 1 0 819821642 23109632 4744 4294967295 134512640 134714540 3221221776 3221220392 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4744 1111 63 0 5579 0
vsize: 22568
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4806 0 0 0 8976 22 0 0 25 0 1 0 819821642 23244800 4773 4294967295 134512640 134714540 3221221776 3221220528 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4773 1111 63 0 5612 0
vsize: 22700
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4806 0 0 0 9975 22 0 0 25 0 1 0 819821642 23244800 4773 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4773 1111 63 0 5612 0
vsize: 22700
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 4840 0 0 0 10974 23 0 0 25 0 1 0 819821642 23379968 4807 4294967295 134512640 134714540 3221221776 3221220496 134622761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5708 4807 1111 63 0 5645 0
vsize: 22832
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5012 0 0 0 11974 24 0 0 25 0 1 0 819821642 24150016 4979 4294967295 134512640 134714540 3221221776 3221220332 134536839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4979 1111 63 0 5833 0
vsize: 23584
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5109 0 0 0 12973 25 0 0 25 0 1 0 819821642 24547328 5076 4294967295 134512640 134714540 3221221776 3221220400 134535416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5993 5076 1111 63 0 5930 0
vsize: 23972
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5139 0 0 0 13972 26 0 0 25 0 1 0 819821642 24629248 5106 4294967295 134512640 134714540 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6013 5106 1111 63 0 5950 0
vsize: 24052
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5276 0 0 0 14972 27 0 0 25 0 1 0 819821642 25169920 5243 4294967295 134512640 134714540 3221221776 3221220368 134535017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6145 5243 1111 63 0 6082 0
vsize: 24580
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5323 0 0 0 15971 28 0 0 25 0 1 0 819821642 25436160 5290 4294967295 134512640 134714540 3221221776 3221220320 134543043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6210 5290 1111 63 0 6147 0
vsize: 24840
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5373 0 0 0 16970 29 0 0 25 0 1 0 819821642 25571328 5340 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6243 5340 1111 63 0 6180 0
vsize: 24972
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5458 0 0 0 17970 29 0 0 25 0 1 0 819821642 26013696 5425 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6351 5425 1111 63 0 6288 0
vsize: 25404
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5472 0 0 0 18969 30 0 0 25 0 1 0 819821642 25980928 5439 4294967295 134512640 134714540 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6343 5439 1111 63 0 6280 0
vsize: 25372
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5546 0 0 0 19968 31 0 0 25 0 1 0 819821642 26243072 5513 4294967295 134512640 134714540 3221221776 3221220496 134542626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6407 5513 1111 63 0 6344 0
vsize: 25628
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5644 0 0 0 20967 32 0 0 25 0 1 0 819821642 26705920 5611 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6520 5611 1111 63 0 6457 0
vsize: 26080
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5653 0 0 0 21967 33 0 0 25 0 1 0 819821642 26701824 5620 4294967295 134512640 134714540 3221221776 3221220392 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5620 1111 63 0 6456 0
vsize: 26076
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5811 0 0 0 22966 34 0 0 25 0 1 0 819821642 27369472 5778 4294967295 134512640 134714540 3221221776 3221220368 134538791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6682 5778 1111 63 0 6619 0
vsize: 26728
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5865 0 0 0 23965 34 0 0 25 0 1 0 819821642 27639808 5832 4294967295 134512640 134714540 3221221776 3221220584 134622412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6748 5832 1111 63 0 6685 0
vsize: 26992
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 5939 0 0 0 24965 35 0 0 25 0 1 0 819821642 27779072 5888 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5888 1111 63 0 6719 0
vsize: 27128
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6059 0 0 0 25965 36 0 0 25 0 1 0 819821642 28348416 6008 4294967295 134512640 134714540 3221221776 3221220316 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6921 6008 1111 63 0 6858 0
vsize: 27684
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6067 0 0 0 26965 36 0 0 25 0 1 0 819821642 28319744 6016 4294967295 134512640 134714540 3221221776 3221220504 134622854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6914 6016 1111 63 0 6851 0
vsize: 27656
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6067 0 0 0 27964 36 0 0 25 0 1 0 819821642 28319744 6016 4294967295 134512640 134714540 3221221776 3221220404 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6914 6016 1111 63 0 6851 0
vsize: 27656
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6067 0 0 0 28964 37 0 0 25 0 1 0 819821642 28319744 6016 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6914 6016 1111 63 0 6851 0
vsize: 27656
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6087 0 0 0 29963 38 0 0 25 0 1 0 819821642 28454912 6036 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6947 6036 1111 63 0 6884 0
vsize: 27788
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6128 0 0 0 30962 38 0 0 25 0 1 0 819821642 28590080 6077 4294967295 134512640 134714540 3221221776 3221220352 134543043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6980 6077 1111 63 0 6917 0
vsize: 27920
[startup+320.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6250 0 0 0 31966 39 0 0 25 0 1 0 819821642 29085696 6199 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7101 6199 1111 63 0 7038 0
vsize: 28404
[startup+330.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6250 0 0 0 32966 40 0 0 25 0 1 0 819821642 29085696 6199 4294967295 134512640 134714540 3221221776 3221220592 134610886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7101 6199 1111 63 0 7038 0
vsize: 28404
[startup+340.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6332 0 0 0 33965 41 0 0 25 0 1 0 819821642 29462528 6281 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7193 6281 1111 63 0 7130 0
vsize: 28772
[startup+350.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6407 0 0 0 34965 42 0 0 25 0 1 0 819821642 29732864 6356 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7259 6356 1111 63 0 7196 0
vsize: 29036
[startup+360.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6409 0 0 0 35964 42 0 0 25 0 1 0 819821642 29732864 6358 4294967295 134512640 134714540 3221221776 3221220316 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7259 6358 1111 63 0 7196 0
vsize: 29036
[startup+370.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6409 0 0 0 36964 43 0 0 25 0 1 0 819821642 29732864 6358 4294967295 134512640 134714540 3221221776 3221220568 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7259 6358 1111 63 0 7196 0
vsize: 29036
[startup+380.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6458 0 0 0 37964 43 0 0 25 0 1 0 819821642 29999104 6407 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7324 6407 1111 63 0 7261 0
vsize: 29296
[startup+390.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6537 0 0 0 38963 44 0 0 25 0 1 0 819821642 30322688 6475 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7403 6475 1111 63 0 7340 0
vsize: 29612
[startup+400.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6540 0 0 0 39963 44 0 0 25 0 1 0 819821642 30322688 6478 4294967295 134512640 134714540 3221221776 3221220504 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7403 6478 1111 63 0 7340 0
vsize: 29612
[startup+410.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6553 0 0 0 40963 45 0 0 25 0 1 0 819821642 30322688 6491 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7403 6491 1111 63 0 7340 0
vsize: 29612
[startup+420.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6591 0 0 0 41962 46 0 0 25 0 1 0 819821642 30457856 6529 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6529 1111 63 0 7373 0
vsize: 29744
[startup+430.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6671 0 0 0 42962 46 0 0 25 0 1 0 819821642 30863360 6609 4294967295 134512640 134714540 3221221776 3221220368 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7535 6609 1111 63 0 7472 0
vsize: 30140
[startup+440.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6747 0 0 0 43962 46 0 0 25 0 1 0 819821642 31133696 6685 4294967295 134512640 134714540 3221221776 3221220584 134622628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7601 6685 1111 63 0 7538 0
vsize: 30404
[startup+450.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6775 0 0 0 44961 47 0 0 25 0 1 0 819821642 31264768 6713 4294967295 134512640 134714540 3221221776 3221220576 134622307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7633 6713 1111 63 0 7570 0
vsize: 30532
[startup+460.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6787 0 0 0 45960 48 0 0 25 0 1 0 819821642 31264768 6725 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6725 1111 63 0 7570 0
vsize: 30532
[startup+470.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6787 0 0 0 46960 48 0 0 25 0 1 0 819821642 31264768 6725 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6725 1111 63 0 7570 0
vsize: 30532
[startup+480.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6787 0 0 0 47960 49 0 0 25 0 1 0 819821642 31264768 6725 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6725 1111 63 0 7570 0
vsize: 30532
[startup+490.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6787 0 0 0 48960 49 0 0 25 0 1 0 819821642 31264768 6725 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6725 1111 63 0 7570 0
vsize: 30532
[startup+500.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6787 0 0 0 49960 49 0 0 25 0 1 0 819821642 31264768 6725 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6725 1111 63 0 7570 0
vsize: 30532
[startup+510.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 6840 0 0 0 50960 49 0 0 25 0 1 0 819821642 31535104 6778 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6778 1111 63 0 7636 0
vsize: 30796
[startup+520.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7006 0 0 0 51958 50 0 0 25 0 1 0 819821642 32206848 6944 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7863 6944 1111 63 0 7800 0
vsize: 31452
[startup+530.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7070 0 0 0 52958 51 0 0 25 0 1 0 819821642 32477184 7008 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7929 7008 1111 63 0 7866 0
vsize: 31716
[startup+540.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7209 0 0 0 53957 51 0 0 25 0 1 0 819821642 32964608 7141 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8048 7141 1111 63 0 7985 0
vsize: 32192
[startup+550.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7329 0 0 0 54955 53 0 0 25 0 1 0 819821642 33505280 7261 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7261 1111 63 0 8117 0
vsize: 32720
[startup+560.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7329 0 0 0 55955 53 0 0 25 0 1 0 819821642 33505280 7261 4294967295 134512640 134714540 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8180 7261 1111 63 0 8117 0
vsize: 32720
[startup+570.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7452 0 0 0 56955 54 0 0 25 0 1 0 819821642 34045952 7384 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8312 7384 1111 63 0 8249 0
vsize: 33248
[startup+580.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7781 0 0 0 57953 55 0 0 25 0 1 0 819821642 35344384 7713 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8629 7713 1111 63 0 8566 0
vsize: 34516
[startup+590.073 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7827 0 0 0 58953 56 0 0 25 0 1 0 819821642 35479552 7759 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8662 7759 1111 63 0 8599 0
vsize: 34648
[startup+600.074 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7835 0 0 0 59953 56 0 0 25 0 1 0 819821642 35614720 7767 4294967295 134512640 134714540 3221221776 3221220576 134622569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8695 7767 1111 63 0 8632 0
vsize: 34780
[startup+610.075 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7835 0 0 0 60953 56 0 0 25 0 1 0 819821642 35577856 7767 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8686 7767 1111 63 0 8623 0
vsize: 34744
[startup+620.076 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 7835 0 0 0 61953 56 0 0 25 0 1 0 819821642 35577856 7767 4294967295 134512640 134714540 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8686 7767 1111 63 0 8623 0
vsize: 34744
[startup+630.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8283 0 0 0 62951 58 0 0 25 0 1 0 819821642 37449728 8215 4294967295 134512640 134714540 3221221776 3221220572 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9143 8215 1111 63 0 9080 0
vsize: 36572
[startup+640.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 63951 59 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220336 134539764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+650.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 64951 59 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+660.078 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 65951 59 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220488 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+670.079 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 66951 59 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220496 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+680.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 67951 60 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+690.089 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8603 0 0 0 68952 60 0 0 25 0 1 0 819821642 38711296 8535 4294967295 134512640 134714540 3221221776 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9451 8535 1111 63 0 9388 0
vsize: 37804
[startup+700.089 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8620 0 0 0 69952 60 0 0 25 0 1 0 819821642 38846464 8552 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9484 8552 1111 63 0 9421 0
vsize: 37936
[startup+710.09 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8620 0 0 0 70953 60 0 0 25 0 1 0 819821642 38846464 8552 4294967295 134512640 134714540 3221221776 3221220512 134622801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9484 8552 1111 63 0 9421 0
vsize: 37936
[startup+720.091 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8668 0 0 0 71952 60 0 0 25 0 1 0 819821642 38981632 8600 4294967295 134512640 134714540 3221221776 3221220496 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9517 8600 1111 63 0 9454 0
vsize: 38068
[startup+730.091 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8668 0 0 0 72952 60 0 0 25 0 1 0 819821642 38981632 8600 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9517 8600 1111 63 0 9454 0
vsize: 38068
[startup+740.091 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8748 0 0 0 73952 61 0 0 25 0 1 0 819821642 39346176 8680 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9606 8680 1111 63 0 9543 0
vsize: 38424
[startup+750.092 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8748 0 0 0 74953 61 0 0 25 0 1 0 819821642 39346176 8680 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9606 8680 1111 63 0 9543 0
vsize: 38424
[startup+760.092 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8748 0 0 0 75953 61 0 0 25 0 1 0 819821642 39346176 8680 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9606 8680 1111 63 0 9543 0
vsize: 38424
[startup+770.093 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8748 0 0 0 76953 61 0 0 25 0 1 0 819821642 39346176 8680 4294967295 134512640 134714540 3221221776 3221220368 134539432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9606 8680 1111 63 0 9543 0
vsize: 38424
[startup+780.094 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8976 0 0 0 77952 62 0 0 25 0 1 0 819821642 40202240 8905 4294967295 134512640 134714540 3221221776 3221220288 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9815 8905 1111 63 0 9752 0
vsize: 39260
[startup+790.094 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8976 0 0 0 78952 62 0 0 25 0 1 0 819821642 40202240 8905 4294967295 134512640 134714540 3221221776 3221220496 134622891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9815 8905 1111 63 0 9752 0
vsize: 39260
[startup+800.095 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 79952 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220588 134622133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+810.095 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 80953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220492 134558618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+820.096 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 81953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+830.096 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 82953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+840.096 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 83953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220576 134622268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+850.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 84953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+860.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 85953 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+870.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 86954 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+880.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 87954 62 0 0 25 0 1 0 819821642 40312832 8915 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9842 8915 1111 63 0 9779 0
vsize: 39368
[startup+890.097 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 88954 62 0 0 25 0 1 0 819821642 40296448 8915 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9838 8915 1111 63 0 9775 0
vsize: 39352
[startup+900.098 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 89954 62 0 0 25 0 1 0 819821642 40296448 8915 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9838 8915 1111 63 0 9775 0
vsize: 39352
[startup+910.098 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 8986 0 0 0 90954 62 0 0 25 0 1 0 819821642 40296448 8915 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9838 8915 1111 63 0 9775 0
vsize: 39352
[startup+920.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9005 0 0 0 91954 63 0 0 25 0 1 0 819821642 40431616 8934 4294967295 134512640 134714540 3221221776 3221220592 134622248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9871 8934 1111 63 0 9808 0
vsize: 39484
[startup+930.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9010 0 0 0 92954 63 0 0 25 0 1 0 819821642 40407040 8939 4294967295 134512640 134714540 3221221776 3221220592 134611437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9865 8939 1111 63 0 9802 0
vsize: 39460
[startup+940.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9010 0 0 0 93954 63 0 0 25 0 1 0 819821642 40407040 8939 4294967295 134512640 134714540 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9865 8939 1111 63 0 9802 0
vsize: 39460
[startup+950.101 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9010 0 0 0 94954 63 0 0 25 0 1 0 819821642 40407040 8939 4294967295 134512640 134714540 3221221776 3221220496 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9865 8939 1111 63 0 9802 0
vsize: 39460
[startup+960.102 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9019 0 0 0 95954 63 0 0 25 0 1 0 819821642 40407040 8948 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9865 8948 1111 63 0 9802 0
vsize: 39460
[startup+970.103 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9043 0 0 0 96955 63 0 0 25 0 1 0 819821642 40542208 8972 4294967295 134512640 134714540 3221221776 3221220512 134622923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 8972 1111 63 0 9835 0
vsize: 39592
[startup+980.103 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9043 0 0 0 97955 63 0 0 25 0 1 0 819821642 40542208 8972 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 8972 1111 63 0 9835 0
vsize: 39592
[startup+990.104 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9043 0 0 0 98955 63 0 0 25 0 1 0 819821642 40542208 8972 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 8972 1111 63 0 9835 0
vsize: 39592
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 99955 63 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 100955 63 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 101956 63 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 102956 63 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 103956 63 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 104956 64 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 105956 64 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 106956 64 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 107956 64 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 108956 64 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220496 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 109956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220512 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 110956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 111956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 112956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 113956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 114956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220504 134622857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 115956 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 116957 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 39724
[startup+1175.74 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 3724
Raw data (stat): 3724 (bsolo_mis) R 3723 7876 7672 0 -1 0 9064 0 0 0 116957 65 0 0 25 0 1 0 819821642 40677376 8993 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9931 8993 1111 63 0 9868 0
vsize: 0

Child status: 10
Real time (s): 1175.74
CPU time (s): 1175.85
CPU user time (s): 1175.18
CPU system time (s): 0.674897
CPU usage (%): 100.009
Max. virtual memory (Kb): 39724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	65384320
#### END VERIFIER DATA ####