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 40271

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 05:29:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28336 boxname=wulflinc4 idbench=1292 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  46c4db5f8baf54496e00a723c85beb20  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 28336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        823828 kB
Buffers:         14916 kB
Cached:         174544 kB
SwapCached:        872 kB
Active:          22856 kB
Inactive:       168672 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        823576 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            13656 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:49:31 (client local time) WITH STATUS 10 IN 1175.52 SECONDS
stats: 28336 0 1175.52 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1155 variables and 134 constraints.
c After prepocess the problem consists of 481 variables and 145 constraints.
c preprocess terminated 1.67 s
c Initial Lower Bound: 48825430
c Lower Bound Elapsed time: 0.03175
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 94372992 @ 10.182
c NEW SOLUTION FOUND: 94356864 @ 10.241
c NEW SOLUTION FOUND: 94346112 @ 10.271
c NEW SOLUTION FOUND: 90535808 @ 10.36
c NEW SOLUTION FOUND: 90531840 @ 11.045
c NEW SOLUTION FOUND: 90525696 @ 11.276
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.51 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.80 0.89 0.89 2/54 28350
Raw data (stat): 28350 (runsolver) R 28349 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899114480 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 3779 0 0 0 983 14 0 0 25 0 1 0 899114480 11395072 2088 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2088 1111 63 0 2716 0
vsize: 11128
[startup+20.0015 s]
Raw data (loadavg): 0.85 0.89 0.89 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 8879 0 0 0 1962 34 0 0 25 0 1 0 899114480 12378112 2330 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 2330 1111 63 0 2959 0
vsize: 12088
[startup+30.0025 s]
Raw data (loadavg): 0.88 0.90 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 10839 0 0 0 2949 47 0 0 25 0 1 0 899114480 12378112 2332 4294967295 134512640 134716908 3221224576 3221222712 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2332 1111 63 0 2959 0
vsize: 12088
[startup+40.0031 s]
Raw data (loadavg): 0.89 0.90 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 16680 0 0 0 3926 69 0 0 25 0 1 0 899114480 12427264 2333 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 2333 1111 63 0 2971 0
vsize: 12136
[startup+50.0039 s]
Raw data (loadavg): 0.91 0.90 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 20114 0 0 0 4909 86 0 0 25 0 1 0 899114480 12521472 2367 4294967295 134512640 134716908 3221224576 3221222644 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2367 1111 63 0 2994 0
vsize: 12228
[startup+60.0041 s]
Raw data (loadavg): 0.92 0.91 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 25809 0 0 0 5887 109 0 0 25 0 1 0 899114480 12754944 2391 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2388 1111 63 0 3018 0
vsize: 12456
[startup+70.0047 s]
Raw data (loadavg): 0.93 0.91 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 29362 0 0 0 6873 123 0 0 25 0 1 0 899114480 12853248 2417 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2417 1111 63 0 3075 0
vsize: 12552
[startup+80.0048 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 33845 0 0 0 7852 145 0 0 25 0 1 0 899114480 12722176 2415 4294967295 134512640 134716908 3221224576 3221222856 1074138333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2415 1111 63 0 3043 0
vsize: 12424
[startup+90.0057 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 35863 0 0 0 8841 156 0 0 25 0 1 0 899114480 12902400 2414 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3150 2414 1111 63 0 3087 0
vsize: 12600
[startup+100.005 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 43308 0 0 0 9815 181 0 0 25 0 1 0 899114480 12832768 2443 4294967295 134512640 134716908 3221224576 3221223312 134604707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2443 1111 63 0 3070 0
vsize: 12532
[startup+110.005 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 48360 0 0 0 10796 201 0 0 25 0 1 0 899114480 13225984 2483 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3229 2483 1111 63 0 3166 0
vsize: 12916
[startup+120.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 54016 0 0 0 11773 224 0 0 25 0 1 0 899114480 13000704 2484 4294967295 134512640 134716908 3221224576 3221223204 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 2484 1111 63 0 3111 0
vsize: 12696
[startup+130.005 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 58730 0 0 0 12752 245 0 0 25 0 1 0 899114480 13045760 2494 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2494 1111 63 0 3122 0
vsize: 12740
[startup+140.006 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 64627 0 0 0 13731 267 0 0 25 0 1 0 899114480 13217792 2502 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2502 1111 63 0 3140 0
vsize: 12908
[startup+150.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 69888 0 0 0 14710 287 0 0 25 0 1 0 899114480 13283328 2503 4294967295 134512640 134716908 3221224576 3221220720 1074969853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2503 1111 63 0 3180 0
vsize: 12972
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 74524 0 0 0 15691 307 0 0 25 0 1 0 899114480 13246464 2544 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2544 1111 63 0 3171 0
vsize: 12936
[startup+170.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 80141 0 0 0 16670 328 0 0 25 0 1 0 899114480 13287424 2554 4294967295 134512640 134716908 3221224576 3221223244 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3244 2554 1111 63 0 3181 0
vsize: 12976
[startup+180.007 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 85102 0 0 0 17650 349 0 0 25 0 1 0 899114480 13328384 2564 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2564 1111 63 0 3191 0
vsize: 13016
[startup+190.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 91955 0 0 0 18624 374 0 0 25 0 1 0 899114480 13348864 2568 4294967295 134512640 134716908 3221224576 3221223276 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2568 1111 63 0 3196 0
vsize: 13036
[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 96925 0 0 0 19604 395 0 0 25 0 1 0 899114480 13393920 2580 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 2581 1111 63 0 3258 0
vsize: 13080
[startup+210.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 104627 0 0 0 20578 421 0 0 25 0 1 0 899114480 13422592 2586 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2586 1111 63 0 3214 0
vsize: 13108
[startup+220.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 111434 0 0 0 21553 446 0 0 25 0 1 0 899114480 13438976 2591 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3281 2591 1111 63 0 3218 0
vsize: 13124
[startup+230.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 121698 0 0 0 22519 480 0 0 25 0 1 0 899114480 13438976 2591 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3281 2591 1111 63 0 3218 0
vsize: 13124
[startup+240.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 132807 0 0 0 23484 516 0 0 25 0 1 0 899114480 13459456 2596 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3286 2596 1111 63 0 3223 0
vsize: 13144
[startup+250.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 136429 0 0 0 24468 531 0 0 25 0 1 0 899114480 13553664 2619 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2619 1111 63 0 3246 0
vsize: 13236
[startup+260.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 142858 0 0 0 25446 554 0 0 25 0 1 0 899114480 13819904 2640 4294967295 134512640 134716908 3221224576 3221221168 1074887937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2640 1111 63 0 3311 0
vsize: 13496
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 146877 0 0 0 26428 572 0 0 25 0 1 0 899114480 13959168 2718 4294967295 134512640 134716908 3221224576 3221223216 134524456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2718 1111 63 0 3345 0
vsize: 13632
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 151141 0 0 0 27411 590 0 0 25 0 1 0 899114480 14110720 2753 4294967295 134512640 134716908 3221224576 3221222928 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2753 1111 63 0 3382 0
vsize: 13780
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 154459 0 0 0 28395 605 0 0 25 0 1 0 899114480 14237696 2783 4294967295 134512640 134716908 3221224576 3221223296 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2783 1111 63 0 3413 0
vsize: 13904
[startup+300.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 160333 0 0 0 29374 627 0 0 25 0 1 0 899114480 14536704 2859 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2859 1111 63 0 3486 0
vsize: 14196
[startup+310.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 168858 0 0 0 30348 653 0 0 25 0 1 0 899114480 15007744 2945 4294967295 134512640 134716908 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2945 1111 63 0 3601 0
vsize: 14656
[startup+320.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 174460 0 0 0 31330 670 0 0 25 0 1 0 899114480 15314944 2992 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3739 2992 1111 63 0 3676 0
vsize: 14956
[startup+330.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 179131 0 0 0 32313 688 0 0 25 0 1 0 899114480 15396864 3069 4294967295 134512640 134716908 3221224576 3221222848 1074206149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3759 3069 1111 63 0 3696 0
vsize: 15036
[startup+340.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 185473 0 0 0 33294 706 0 0 25 0 1 0 899114480 15478784 3089 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3779 3089 1111 63 0 3716 0
vsize: 15116
[startup+350.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 191565 0 0 0 34275 726 0 0 25 0 1 0 899114480 15478784 3089 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3779 3089 1111 63 0 3716 0
vsize: 15116
[startup+360.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 197447 0 0 0 35254 747 0 0 25 0 1 0 899114480 15880192 3124 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3877 3124 1111 63 0 3814 0
vsize: 15508
[startup+370.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 201636 0 0 0 36242 760 0 0 25 0 1 0 899114480 15650816 3131 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3821 3131 1111 63 0 3758 0
vsize: 15284
[startup+380.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 207045 0 0 0 37225 777 0 0 25 0 1 0 899114480 15749120 3155 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3845 3155 1111 63 0 3782 0
vsize: 15380
[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 212485 0 0 0 38208 794 0 0 25 0 1 0 899114480 16015360 3220 4294967295 134512640 134716908 3221224576 3221222224 1075818186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3910 3220 1111 63 0 3847 0
vsize: 15640
[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 219411 0 0 0 39189 813 0 0 25 0 1 0 899114480 16244736 3276 4294967295 134512640 134716908 3221224576 3221222576 1074917555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3966 3276 1111 63 0 3903 0
vsize: 15864
[startup+410.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 224734 0 0 0 40174 828 0 0 25 0 1 0 899114480 16429056 3319 4294967295 134512640 134716908 3221224576 3221222864 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 3319 1111 63 0 3948 0
vsize: 16044
[startup+420.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 228348 0 0 0 41162 840 0 0 25 0 1 0 899114480 16556032 3353 4294967295 134512640 134716908 3221224576 3221222744 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3353 1111 63 0 3979 0
vsize: 16168
[startup+430.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 235471 0 0 0 42141 861 0 0 25 0 1 0 899114480 16654336 3348 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4066 3348 1111 63 0 4003 0
vsize: 16264
[startup+440.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 239267 0 0 0 43130 873 0 0 25 0 1 0 899114480 16703488 3388 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3389 1111 63 0 4063 0
vsize: 16312
[startup+450.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 246458 0 0 0 44110 893 0 0 25 0 1 0 899114480 17424384 3564 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3564 1111 63 0 4191 0
vsize: 17016
[startup+460.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 255189 0 0 0 45088 915 0 0 25 0 1 0 899114480 19492864 4031 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4759 4031 1111 63 0 4696 0
vsize: 19036
[startup+470.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 260893 0 0 0 46073 930 0 0 25 0 1 0 899114480 18354176 3798 4294967295 134512640 134716908 3221224576 3221222912 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3798 1111 63 0 4418 0
vsize: 17924
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 265496 0 0 0 47060 943 0 0 25 0 1 0 899114480 18759680 3897 4294967295 134512640 134716908 3221224576 3221222496 1075799533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3897 1111 63 0 4517 0
vsize: 18320
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 270850 0 0 0 48043 960 0 0 25 0 1 0 899114480 19628032 4109 4294967295 134512640 134716908 3221224576 3221222876 1074247360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 4109 1111 63 0 4729 0
vsize: 19168
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 276261 0 0 0 49026 978 0 0 25 0 1 0 899114480 19849216 4145 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4846 4145 1111 63 0 4783 0
vsize: 19384
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 279288 0 0 0 50016 988 0 0 25 0 1 0 899114480 19771392 4144 4294967295 134512640 134716908 3221224576 3221222736 1075651723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 4144 1111 63 0 4764 0
vsize: 19308
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 282528 0 0 0 51008 996 0 0 25 0 1 0 899114480 19972096 4193 4294967295 134512640 134716908 3221224576 3221223152 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4876 4193 1111 63 0 4813 0
vsize: 19504
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 285297 0 0 0 51999 1005 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 287089 0 0 0 52993 1012 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 289952 0 0 0 53984 1021 0 0 25 0 1 0 899114480 20516864 4326 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4326 1111 63 0 4946 0
vsize: 20036
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 293212 0 0 0 54976 1029 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 297269 0 0 0 55966 1039 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 303385 0 0 0 56946 1059 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221223204 1077374528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 308861 0 0 0 57928 1076 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 314032 0 0 0 58913 1092 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 318886 0 0 0 59901 1104 0 0 25 0 1 0 899114480 20844544 4316 4294967295 134512640 134716908 3221224576 3221221516 1076083124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 4316 1111 63 0 5026 0
vsize: 20356
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 323431 0 0 0 60888 1117 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222764 1073986656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 327596 0 0 0 61876 1130 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 331308 0 0 0 62864 1141 0 0 25 0 1 0 899114480 20516864 4314 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4314 1111 63 0 4946 0
vsize: 20036
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 336028 0 0 0 63852 1154 0 0 25 0 1 0 899114480 20582400 4333 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4333 1111 63 0 4962 0
vsize: 20100
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 340923 0 0 0 64840 1166 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 346026 0 0 0 65828 1179 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222928 1074057796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 351147 0 0 0 66814 1193 0 0 25 0 1 0 899114480 20672512 4341 4294967295 134512640 134716908 3221224576 3221222304 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5047 4341 1111 63 0 4984 0
vsize: 20188
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 355347 0 0 0 67802 1204 0 0 25 0 1 0 899114480 20525056 4328 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5011 4328 1111 63 0 4948 0
vsize: 20044
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 360375 0 0 0 68788 1219 0 0 25 0 1 0 899114480 20463616 4313 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 365393 0 0 0 69776 1231 0 0 25 0 1 0 899114480 20561920 4337 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4337 1111 63 0 4957 0
vsize: 20080
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 372216 0 0 0 70759 1248 0 0 25 0 1 0 899114480 20553728 4335 4294967295 134512640 134716908 3221224576 3221222480 1075460122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5018 4335 1111 63 0 4955 0
vsize: 20072
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 379597 0 0 0 71738 1270 0 0 25 0 1 0 899114480 20668416 4363 4294967295 134512640 134716908 3221224576 3221222732 1075463332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 4363 1111 63 0 4983 0
vsize: 20184
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 386768 0 0 0 72716 1292 0 0 25 0 1 0 899114480 20697088 4370 4294967295 134512640 134716908 3221224576 3221222576 1074056237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 4370 1111 63 0 4990 0
vsize: 20212
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 393624 0 0 0 73696 1312 0 0 25 0 1 0 899114480 20697088 4370 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 4370 1111 63 0 4990 0
vsize: 20212
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 399964 0 0 0 74677 1331 0 0 25 0 1 0 899114480 20848640 4406 4294967295 134512640 134716908 3221224576 3221222576 1074140560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5090 4406 1111 63 0 5027 0
vsize: 20360
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 403972 0 0 0 75666 1342 0 0 25 0 1 0 899114480 20873216 4408 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5096 4408 1111 63 0 5033 0
vsize: 20384
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 406986 0 0 0 76658 1351 0 0 25 0 1 0 899114480 21016576 4404 4294967295 134512640 134716908 3221224576 3221220540 1074860611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5131 4404 1111 63 0 5068 0
vsize: 20524
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 410264 0 0 0 77650 1359 0 0 25 0 1 0 899114480 20824064 4401 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4401 1111 63 0 5021 0
vsize: 20336
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 413472 0 0 0 78641 1368 0 0 25 0 1 0 899114480 20824064 4401 4294967295 134512640 134716908 3221224576 3221222768 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4401 1111 63 0 5021 0
vsize: 20336
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 416705 0 0 0 79631 1378 0 0 25 0 1 0 899114480 20824064 4401 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 4401 1111 63 0 5021 0
vsize: 20336
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 421767 0 0 0 80619 1390 0 0 25 0 1 0 899114480 20946944 4426 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 4426 1111 63 0 5051 0
vsize: 20456
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 428211 0 0 0 81602 1407 0 0 25 0 1 0 899114480 21442560 4509 4294967295 134512640 134716908 3221224576 3221221064 1074798917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4509 1111 63 0 5172 0
vsize: 20940
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 430456 0 0 0 82597 1412 0 0 25 0 1 0 899114480 21250048 4505 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 432831 0 0 0 83591 1418 0 0 25 0 1 0 899114480 21766144 4550 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4550 1111 63 0 5251 0
vsize: 21256
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 435211 0 0 0 84585 1424 0 0 25 0 1 0 899114480 21250048 4505 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 437386 0 0 0 85579 1431 0 0 25 0 1 0 899114480 21250048 4505 4294967295 134512640 134716908 3221224576 3221222304 1075828589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 441537 0 0 0 86563 1447 0 0 25 0 1 0 899114480 21630976 4523 4294967295 134512640 134716908 3221224576 3221220608 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 4523 1111 63 0 5218 0
vsize: 21124
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 446698 0 0 0 87550 1461 0 0 25 0 1 0 899114480 21667840 4542 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5290 4542 1111 63 0 5227 0
vsize: 21160
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 452153 0 0 0 88533 1478 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 457079 0 0 0 89521 1490 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 461788 0 0 0 90510 1501 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 466784 0 0 0 91498 1514 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 471607 0 0 0 92486 1526 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 476521 0 0 0 93474 1538 0 0 25 0 1 0 899114480 21282816 4514 4294967295 134512640 134716908 3221224576 3221223040 1074121052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5196 4514 1111 63 0 5133 0
vsize: 20784
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 480881 0 0 0 94463 1549 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 485154 0 0 0 95452 1560 0 0 25 0 1 0 899114480 21250048 4506 4294967295 134512640 134716908 3221224576 3221222680 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 490226 0 0 0 96441 1571 0 0 25 0 1 0 899114480 21626880 4598 4294967295 134512640 134716908 3221224576 3221222576 1074916669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5280 4598 1111 63 0 5217 0
vsize: 21120
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 495540 0 0 0 97428 1584 0 0 25 0 1 0 899114480 21544960 4575 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4575 1111 63 0 5197 0
vsize: 21040
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 501437 0 0 0 98414 1598 0 0 25 0 1 0 899114480 21630976 4576 4294967295 134512640 134716908 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5281 4576 1111 63 0 5218 0
vsize: 21124
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 507119 0 0 0 99401 1612 0 0 25 0 1 0 899114480 21651456 4604 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 4604 1111 63 0 5223 0
vsize: 21144
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 512385 0 0 0 100389 1624 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 517051 0 0 0 101378 1635 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 520947 0 0 0 102369 1644 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221223200 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 524635 0 0 0 103360 1653 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 529120 0 0 0 104350 1664 0 0 25 0 1 0 899114480 21635072 4600 4294967295 134512640 134716908 3221224576 3221222712 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5282 4600 1111 63 0 5219 0
vsize: 21128
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 533770 0 0 0 105338 1676 0 0 25 0 1 0 899114480 21680128 4606 4294967295 134512640 134716908 3221224576 3221222576 1074915850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4606 1111 63 0 5230 0
vsize: 21172
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 537536 0 0 0 106330 1684 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 541213 0 0 0 107320 1694 0 0 25 0 1 0 899114480 21651456 4597 4294967295 134512640 134716908 3221224576 3221222576 1074916905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 4597 1111 63 0 5223 0
vsize: 21144
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 545175 0 0 0 108312 1702 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 549125 0 0 0 109303 1711 0 0 25 0 1 0 899114480 22192128 4645 4294967295 134512640 134716908 3221224576 3221220524 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5418 4645 1111 63 0 5355 0
vsize: 21672
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 552856 0 0 0 110293 1722 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222992 1074116254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 556647 0 0 0 111284 1731 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 560466 0 0 0 112273 1742 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 564331 0 0 0 113263 1752 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 567883 0 0 0 114253 1762 0 0 25 0 1 0 899114480 21647360 4595 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5285 4595 1111 63 0 5222 0
vsize: 21140
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 571653 0 0 0 115244 1772 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1175.4 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28350
Raw data (stat): 28350 (bsolo_lpr-v2) R 28349 21152 21151 0 -1 0 571653 0 0 0 115244 1772 0 0 25 0 1 0 899114480 21606400 4593 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 0

Child status: 10
Real time (s): 1175.4
CPU time (s): 1175.52
CPU user time (s): 1157.74
CPU system time (s): 17.7783
CPU usage (%): 100.01
Max. virtual memory (Kb): 21672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	90525696
#### END VERIFIER DATA ####