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/miplib3/normalized-mps-v2-13-7-egout.opb
MD5SUM	fd101f0ba1a3813e843a38997ab7ed84
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.04984
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 40392

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 08:56:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28452 boxname=wulflinc6 idbench=1408 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  fd101f0ba1a3813e843a38997ab7ed84  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 28452
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        919228 kB
Buffers:         15772 kB
Cached:          78460 kB
SwapCached:        968 kB
Active:          22924 kB
Inactive:        73396 kB
HighTotal:      131008 kB
HighFree:        52360 kB
LowTotal:       903652 kB
LowFree:        866868 kB
SwapTotal:     2097136 kB
SwapFree:      2095184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13248 kB
Committed_AS:    63800 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:16:26 (client local time) WITH STATUS 10 IN 1175.19 SECONDS
stats: 28452 0 1175.19 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.659 s
c Initial Lower Bound: 48825430
c Lower Bound Elapsed time: 0.031
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 94372992 @ 10.155
c NEW SOLUTION FOUND: 94356864 @ 10.212
c NEW SOLUTION FOUND: 94346112 @ 10.241
c NEW SOLUTION FOUND: 90535808 @ 10.328
c NEW SOLUTION FOUND: 90531840 @ 11.008
c NEW SOLUTION FOUND: 90525696 @ 11.238
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.18 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.84 0.95 0.90 2/54 28067
Raw data (stat): 28067 (runsolver) R 28066 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900364764 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 3785 0 0 0 983 15 0 0 25 0 1 0 900364764 11382784 2088 4294967295 134512640 134716908 3221224576 3221222928 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2088 1111 63 0 2716 0
vsize: 11116
[startup+20.0028 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 8887 0 0 0 1963 35 0 0 25 0 1 0 900364764 12378112 2330 4294967295 134512640 134716908 3221224576 3221223296 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2330 1111 63 0 2959 0
vsize: 12088
[startup+30.004 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 10812 0 0 0 2950 49 0 0 25 0 1 0 900364764 12378112 2332 4294967295 134512640 134716908 3221224576 3221222992 1074116434 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.0046 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 16399 0 0 0 3925 74 0 0 25 0 1 0 900364764 12660736 2335 4294967295 134512640 134716908 3221224576 3221221888 1074830308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3091 2335 1111 63 0 3028 0
vsize: 12364
[startup+50.0058 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 19921 0 0 0 4906 93 0 0 25 0 1 0 900364764 12521472 2367 4294967295 134512640 134716908 3221224576 3221221496 1077377571 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.0067 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 25357 0 0 0 5883 116 0 0 25 0 1 0 900364764 12607488 2388 4294967295 134512640 134716908 3221224576 3221222844 1074207552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3078 2388 1111 63 0 3015 0
vsize: 12312
[startup+70.0071 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 29144 0 0 0 6869 131 0 0 25 0 1 0 900364764 12718080 2415 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2415 1111 63 0 3042 0
vsize: 12420
[startup+80.0082 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 32855 0 0 0 7852 148 0 0 25 0 1 0 900364764 12718080 2415 4294967295 134512640 134716908 3221224576 3221222608 1075088422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2415 1111 63 0 3042 0
vsize: 12420
[startup+90.0088 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 35710 0 0 0 8837 164 0 0 25 0 1 0 900364764 12709888 2413 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2413 1111 63 0 3040 0
vsize: 12412
[startup+100.01 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 42307 0 0 0 9809 191 0 0 25 0 1 0 900364764 12857344 2449 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3139 2449 1111 63 0 3076 0
vsize: 12556
[startup+110.011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 47383 0 0 0 10790 211 0 0 25 0 1 0 900364764 12922880 2465 4294967295 134512640 134716908 3221224576 3221222728 1074819621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3155 2465 1111 63 0 3092 0
vsize: 12620
[startup+120.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 52711 0 0 0 11770 232 0 0 25 0 1 0 900364764 13033472 2472 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 2472 1111 63 0 3119 0
vsize: 12728
[startup+130.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 57651 0 0 0 12750 251 0 0 25 0 1 0 900364764 13000704 2484 4294967295 134512640 134716908 3221224576 3221222880 1073986753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 2484 1111 63 0 3111 0
vsize: 12696
[startup+140.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 63520 0 0 0 13726 276 0 0 25 0 1 0 900364764 13107200 2507 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2507 1111 63 0 3137 0
vsize: 12800
[startup+150.015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 68874 0 0 0 14706 297 0 0 25 0 1 0 900364764 13074432 2501 4294967295 134512640 134716908 3221224576 3221223056 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3192 2501 1111 63 0 3129 0
vsize: 12768
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 74177 0 0 0 15681 321 0 0 25 0 1 0 900364764 13246464 2544 4294967295 134512640 134716908 3221224576 3221222960 1074153736 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 78115 0 0 0 16663 340 0 0 25 0 1 0 900364764 13246464 2544 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2544 1111 63 0 3171 0
vsize: 12936
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 83978 0 0 0 17640 363 0 0 25 0 1 0 900364764 13328384 2564 4294967295 134512640 134716908 3221224576 3221223304 134543256 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28067
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 88999 0 0 0 18617 387 0 0 25 0 1 0 900364764 13344768 2564 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2564 1111 63 0 3195 0
vsize: 13032
[startup+200.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 95794 0 0 0 19591 412 0 0 25 0 1 0 900364764 13393920 2580 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3270 2580 1111 63 0 3207 0
vsize: 13080
[startup+210.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 100873 0 0 0 20568 436 0 0 25 0 1 0 900364764 13410304 2584 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2584 1111 63 0 3247 0
vsize: 13096
[startup+220.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 108309 0 0 0 21542 462 0 0 25 0 1 0 900364764 13598720 2600 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3287 2597 1111 63 0 3224 0
vsize: 13280
[startup+230.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 118059 0 0 0 22507 498 0 0 25 0 1 0 900364764 13455360 2595 4294967295 134512640 134716908 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3285 2595 1111 63 0 3222 0
vsize: 13140
[startup+240.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 128149 0 0 0 23475 530 0 0 25 0 1 0 900364764 13438976 2591 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2591 1111 63 0 3218 0
vsize: 13124
[startup+250.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 135674 0 0 0 24450 556 0 0 25 0 1 0 900364764 13553664 2613 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2613 1111 63 0 3246 0
vsize: 13236
[startup+260.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 138525 0 0 0 25436 569 0 0 25 0 1 0 900364764 13553664 2619 4294967295 134512640 134716908 3221224576 3221223196 134675317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2619 1111 63 0 3246 0
vsize: 13236
[startup+270.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28120
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 143707 0 0 0 26418 588 0 0 25 0 1 0 900364764 13819904 2649 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2650 1111 63 0 3311 0
vsize: 13496
[startup+280.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 149900 0 0 0 27395 611 0 0 25 0 1 0 900364764 14102528 2753 4294967295 134512640 134716908 3221224576 3221223192 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3443 2753 1111 63 0 3380 0
vsize: 13772
[startup+290.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 152352 0 0 0 28381 626 0 0 25 0 1 0 900364764 14172160 2770 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3460 2770 1111 63 0 3397 0
vsize: 13840
[startup+300.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 157689 0 0 0 29362 646 0 0 25 0 1 0 900364764 14544896 2827 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3551 2827 1111 63 0 3488 0
vsize: 14204
[startup+310.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 164135 0 0 0 30339 668 0 0 25 0 1 0 900364764 14921728 2893 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2893 1111 63 0 3580 0
vsize: 14572
[startup+320.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 171737 0 0 0 31314 694 0 0 25 0 1 0 900364764 14950400 2958 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3650 2958 1111 63 0 3587 0
vsize: 14600
[startup+330.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 176710 0 0 0 32297 711 0 0 25 0 1 0 900364764 15388672 3067 4294967295 134512640 134716908 3221224576 3221222624 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3757 3067 1111 63 0 3694 0
vsize: 15028
[startup+340.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 181842 0 0 0 33278 730 0 0 25 0 1 0 900364764 15396864 3069 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3759 3069 1111 63 0 3696 0
vsize: 15036
[startup+350.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 187773 0 0 0 34260 748 0 0 25 0 1 0 900364764 15765504 3112 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3112 1111 63 0 3786 0
vsize: 15396
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 193848 0 0 0 35239 770 0 0 25 0 1 0 900364764 15491072 3090 4294967295 134512640 134716908 3221224576 3221223216 134651168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3782 3090 1111 63 0 3719 0
vsize: 15128
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 198734 0 0 0 36222 787 0 0 25 0 1 0 900364764 15581184 3114 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 3114 1111 63 0 3741 0
vsize: 15216
[startup+380.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 202665 0 0 0 37208 802 0 0 25 0 1 0 900364764 15667200 3135 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3825 3135 1111 63 0 3762 0
vsize: 15300
[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 208929 0 0 0 38191 819 0 0 25 0 1 0 900364764 15908864 3194 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3884 3194 1111 63 0 3821 0
vsize: 15536
[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 214374 0 0 0 39172 839 0 0 25 0 1 0 900364764 16060416 3231 4294967295 134512640 134716908 3221224576 3221222792 1077377190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3231 1111 63 0 3858 0
vsize: 15684
[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 220977 0 0 0 40151 860 0 0 25 0 1 0 900364764 16310272 3284 4294967295 134512640 134716908 3221224576 3221222992 1074116203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 3284 1111 63 0 3919 0
vsize: 15928
[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 225971 0 0 0 41134 877 0 0 25 0 1 0 900364764 16568320 3355 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3355 1111 63 0 3982 0
vsize: 16180
[startup+430.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 229975 0 0 0 42121 890 0 0 25 0 1 0 900364764 16408576 3317 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4006 3317 1111 63 0 3943 0
vsize: 16024
[startup+440.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 236486 0 0 0 43100 912 0 0 25 0 1 0 900364764 16732160 3392 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 3392 1111 63 0 4022 0
vsize: 16340
[startup+450.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 241222 0 0 0 44085 927 0 0 25 0 1 0 900364764 16998400 3461 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 3461 1111 63 0 4087 0
vsize: 16600
[startup+460.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 248450 0 0 0 45064 948 0 0 25 0 1 0 900364764 17657856 3618 4294967295 134512640 134716908 3221224576 3221223200 134539539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3618 1111 63 0 4248 0
vsize: 17244
[startup+470.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 256022 0 0 0 46045 968 0 0 25 0 1 0 900364764 18636800 3867 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4550 3867 1111 63 0 4487 0
vsize: 18200
[startup+480.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 261854 0 0 0 47030 983 0 0 25 0 1 0 900364764 18415616 3813 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4496 3813 1111 63 0 4433 0
vsize: 17984
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 266070 0 0 0 48016 997 0 0 25 0 1 0 900364764 18759680 3897 4294967295 134512640 134716908 3221224576 3221223168 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3897 1111 63 0 4517 0
vsize: 18320
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 271915 0 0 0 48998 1016 0 0 25 0 1 0 900364764 19771392 4144 4294967295 134512640 134716908 3221224576 3221223280 134654856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4827 4144 1111 63 0 4764 0
vsize: 19308
[startup+510.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28122
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 276582 0 0 0 49983 1032 0 0 25 0 1 0 900364764 20185088 4182 4294967295 134512640 134716908 3221224576 3221220720 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4182 1111 63 0 4865 0
vsize: 19712
[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 279548 0 0 0 50973 1042 0 0 25 0 1 0 900364764 19771392 4144 4294967295 134512640 134716908 3221224576 3221222304 1075828462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4827 4144 1111 63 0 4764 0
vsize: 19308
[startup+530.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 282745 0 0 0 51961 1054 0 0 25 0 1 0 900364764 19972096 4193 4294967295 134512640 134716908 3221224576 3221222860 1074153331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 4193 1111 63 0 4813 0
vsize: 19504
[startup+540.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 285351 0 0 0 52954 1062 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221223040 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 287136 0 0 0 53948 1068 0 0 25 0 1 0 900364764 20811776 4332 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5081 4333 1111 63 0 5018 0
vsize: 20324
[startup+560.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 289968 0 0 0 54939 1077 0 0 25 0 1 0 900364764 20516864 4326 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5009 4326 1111 63 0 4946 0
vsize: 20036
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 293168 0 0 0 55929 1087 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 297135 0 0 0 56919 1098 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222880 1074153782 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.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 302988 0 0 0 57899 1118 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221223296 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+600.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 308505 0 0 0 58881 1136 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+610.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 313637 0 0 0 59865 1153 0 0 25 0 1 0 900364764 20844544 4330 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4330 1111 63 0 5026 0
vsize: 20356
[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 318310 0 0 0 60853 1165 0 0 25 0 1 0 900364764 20844544 4317 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 4317 1111 63 0 5026 0
vsize: 20356
[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 322948 0 0 0 61839 1179 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+640.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 327079 0 0 0 62827 1192 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 330715 0 0 0 63816 1203 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+660.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 335165 0 0 0 64804 1215 0 0 25 0 1 0 900364764 20463616 4313 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4313 1111 63 0 4933 0
vsize: 19984
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 339728 0 0 0 65792 1228 0 0 25 0 1 0 900364764 21200896 4408 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4408 1111 63 0 5113 0
vsize: 20704
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 344942 0 0 0 66779 1241 0 0 25 0 1 0 900364764 20586496 4336 4294967295 134512640 134716908 3221224576 3221222576 1074918470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4336 1111 63 0 4963 0
vsize: 20104
[startup+690.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 349945 0 0 0 67767 1253 0 0 25 0 1 0 900364764 21110784 4380 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5154 4380 1111 63 0 5091 0
vsize: 20616
[startup+700.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 354143 0 0 0 68755 1266 0 0 25 0 1 0 900364764 20525056 4328 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5011 4328 1111 63 0 4948 0
vsize: 20044
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 358645 0 0 0 69743 1279 0 0 25 0 1 0 900364764 20979712 4382 4294967295 134512640 134716908 3221224576 3221220848 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5122 4382 1111 63 0 5059 0
vsize: 20488
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 363843 0 0 0 70730 1292 0 0 25 0 1 0 900364764 20668416 4363 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4363 1111 63 0 4983 0
vsize: 20184
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 369659 0 0 0 71714 1308 0 0 25 0 1 0 900364764 20566016 4337 4294967295 134512640 134716908 3221224576 3221222304 1075635580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 4337 1111 63 0 4958 0
vsize: 20084
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 376814 0 0 0 72691 1331 0 0 25 0 1 0 900364764 20500480 4322 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4322 1111 63 0 4942 0
vsize: 20020
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 384648 0 0 0 73668 1355 0 0 25 0 1 0 900364764 20697088 4370 4294967295 134512640 134716908 3221224576 3221222496 1075799528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4370 1111 63 0 4990 0
vsize: 20212
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 390610 0 0 0 74650 1373 0 0 25 0 1 0 900364764 20697088 4370 4294967295 134512640 134716908 3221224576 3221223188 1077378648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4370 1111 63 0 4990 0
vsize: 20212
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 396658 0 0 0 75634 1390 0 0 25 0 1 0 900364764 20697088 4370 4294967295 134512640 134716908 3221224576 3221223168 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 4370 1111 63 0 4990 0
vsize: 20212
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 402640 0 0 0 76616 1408 0 0 25 0 1 0 900364764 20873216 4407 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5096 4407 1111 63 0 5033 0
vsize: 20384
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 405734 0 0 0 77607 1417 0 0 25 0 1 0 900364764 20975616 4409 4294967295 134512640 134716908 3221224576 3221222688 1074867328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5121 4409 1111 63 0 5058 0
vsize: 20484
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 408667 0 0 0 78600 1425 0 0 25 0 1 0 900364764 21463040 4474 4294967295 134512640 134716908 3221224576 3221220544 1074872796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5240 4474 1111 63 0 5177 0
vsize: 20960
[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 412061 0 0 0 79590 1434 0 0 25 0 1 0 900364764 20824064 4401 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4401 1111 63 0 5021 0
vsize: 20336
[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 415059 0 0 0 80581 1444 0 0 25 0 1 0 900364764 20824064 4401 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5084 4401 1111 63 0 5021 0
vsize: 20336
[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 419564 0 0 0 81567 1458 0 0 25 0 1 0 900364764 20934656 4420 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5111 4420 1111 63 0 5048 0
vsize: 20444
[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 425004 0 0 0 82550 1475 0 0 25 0 1 0 900364764 20987904 4441 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5124 4441 1111 63 0 5061 0
vsize: 20496
[startup+850.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 429251 0 0 0 83537 1489 0 0 25 0 1 0 900364764 21610496 4537 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5276 4537 1111 63 0 5213 0
vsize: 21104
[startup+860.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 431525 0 0 0 84530 1496 0 0 25 0 1 0 900364764 21250048 4505 4294967295 134512640 134716908 3221224576 3221222816 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 433857 0 0 0 85524 1503 0 0 25 0 1 0 900364764 21250048 4505 4294967295 134512640 134716908 3221224576 3221222304 1075828676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 436084 0 0 0 86518 1509 0 0 25 0 1 0 900364764 21250048 4505 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4505 1111 63 0 5125 0
vsize: 20752
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 438129 0 0 0 87510 1517 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221223256 134524426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+900.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 443974 0 0 0 88492 1535 0 0 25 0 1 0 900364764 21954560 4595 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5360 4595 1111 63 0 5297 0
vsize: 21440
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 449086 0 0 0 89476 1552 0 0 25 0 1 0 900364764 22228992 4657 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4657 1111 63 0 5364 0
vsize: 21708
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 453670 0 0 0 90464 1565 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 458311 0 0 0 91453 1576 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 462917 0 0 0 92439 1590 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221223056 134652450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 468367 0 0 0 93426 1603 0 0 25 0 1 0 900364764 21962752 4605 4294967295 134512640 134716908 3221224576 3221221648 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5362 4605 1111 63 0 5299 0
vsize: 21448
[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 472831 0 0 0 94415 1615 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 477535 0 0 0 95403 1627 0 0 25 0 1 0 900364764 21946368 4595 4294967295 134512640 134716908 3221224576 3221221520 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4581 1111 63 0 5225 0
vsize: 21432
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 481728 0 0 0 96391 1639 0 0 25 0 1 0 900364764 21409792 4507 4294967295 134512640 134716908 3221224576 3221222640 1075961779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5197 4507 1111 63 0 5134 0
vsize: 20908
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 486225 0 0 0 97379 1651 0 0 25 0 1 0 900364764 21250048 4506 4294967295 134512640 134716908 3221224576 3221223168 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4506 1111 63 0 5125 0
vsize: 20752
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 491147 0 0 0 98366 1665 0 0 25 0 1 0 900364764 21626880 4593 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4593 1111 63 0 5217 0
vsize: 21120
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 496414 0 0 0 99353 1678 0 0 25 0 1 0 900364764 21553152 4579 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5262 4579 1111 63 0 5199 0
vsize: 21048
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 502309 0 0 0 100337 1694 0 0 25 0 1 0 900364764 21696512 4615 4294967295 134512640 134716908 3221224576 3221223296 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4615 1111 63 0 5234 0
vsize: 21188
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 507833 0 0 0 101323 1709 0 0 25 0 1 0 900364764 21626880 4598 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4598 1111 63 0 5217 0
vsize: 21120
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 512904 0 0 0 102309 1724 0 0 25 0 1 0 900364764 22462464 4682 4294967295 134512640 134716908 3221224576 3221221504 1075960365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5484 4682 1111 63 0 5421 0
vsize: 21936
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 517538 0 0 0 103296 1736 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222688 1074867200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 521228 0 0 0 104285 1748 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 524878 0 0 0 105275 1759 0 0 25 0 1 0 900364764 22433792 4696 4294967295 134512640 134716908 3221224576 3221220736 1075090188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 4696 1111 63 0 5414 0
vsize: 21908
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 529324 0 0 0 106263 1771 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222832 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 533964 0 0 0 107250 1784 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222832 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 537613 0 0 0 108242 1792 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 541213 0 0 0 109232 1803 0 0 25 0 1 0 900364764 21651456 4597 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5286 4597 1111 63 0 5223 0
vsize: 21144
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 545097 0 0 0 110220 1815 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 548989 0 0 0 111210 1826 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 552652 0 0 0 112200 1836 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222796 1073986656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 556427 0 0 0 113189 1847 0 0 25 0 1 0 900364764 21606400 4593 4294967295 134512640 134716908 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5275 4593 1111 63 0 5212 0
vsize: 21100
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 560162 0 0 0 114179 1858 0 0 25 0 1 0 900364764 21647360 4603 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5285 4603 1111 63 0 5222 0
vsize: 21140
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 563936 0 0 0 115168 1869 0 0 25 0 1 0 900364764 21647360 4595 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5285 4595 1111 63 0 5222 0
vsize: 21140
[startup+1174.85 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 28124
Raw data (stat): 28067 (bsolo_lpr-v2) R 28066 25568 25567 0 -1 0 563936 0 0 0 115168 1869 0 0 25 0 1 0 900364764 21647360 4595 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5285 4595 1111 63 0 5222 0
vsize: 0

Child status: 10
Real time (s): 1174.85
CPU time (s): 1175.19
CPU user time (s): 1156.45
CPU system time (s): 18.7462
CPU usage (%): 100.029
Max. virtual memory (Kb): 21936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	90525696
#### END VERIFIER DATA ####