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 27172

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 19:47:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18292 boxname=wulflinc4 idbench=1408 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fd101f0ba1a3813e843a38997ab7ed84  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 18292
/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:        840696 kB
Buffers:         34288 kB
Cached:         139560 kB
SwapCached:        504 kB
Active:          58932 kB
Inactive:       117404 kB
HighTotal:      131008 kB
HighFree:         2632 kB
LowTotal:       903652 kB
LowFree:        838064 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12100 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:07:12 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 18292 0 1175.02 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.693 s
c Initial Lower Bound: 48825430
c Lower Bound Elapsed time: 0.058
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 90759296 @ 12.283
c NEW SOLUTION FOUND: 87197312 @ 12.311
c NEW SOLUTION FOUND: 87191936 @ 12.386
c NEW SOLUTION FOUND: 87186560 @ 12.537
c NEW SOLUTION FOUND: 87175808 @ 12.814
c NEW SOLUTION FOUND: 87165056 @ 12.943
c NEW SOLUTION FOUND: 86920704 @ 13.359
c NEW SOLUTION FOUND: 86912768 @ 13.374
c NEW SOLUTION FOUND: 86904832 @ 13.401
c NEW SOLUTION FOUND: 83354752 @ 13.471
c NEW SOLUTION FOUND: 83348608 @ 13.826
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.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.95 2/54 23112
Raw data (stat): 23112 (runsolver) R 23111 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774645123 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 0.87 0.94 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 7451 0 0 0 974 23 0 0 25 0 1 0 774645123 11382784 2093 4294967295 134512640 134714508 3221224592 3221222704 1074867264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2779 2093 1111 63 0 2716 0
vsize: 11116
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 16808 0 0 0 1941 55 0 0 25 0 1 0 774645123 12902400 2467 4294967295 134512640 134714508 3221224592 3221222636 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3150 2467 1111 63 0 3087 0
vsize: 12600
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.94 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 25922 0 0 0 2911 85 0 0 25 0 1 0 774645123 13529088 2620 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2623 1111 63 0 3311 0
vsize: 13212
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 34489 0 0 0 3882 114 0 0 25 0 1 0 774645123 13561856 2628 4294967295 134512640 134714508 3221224592 3221222656 1074820219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2628 1111 63 0 3248 0
vsize: 13244
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.94 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 41864 0 0 0 4856 140 0 0 25 0 1 0 774645123 13590528 2635 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2638 1111 63 0 3333 0
vsize: 13272
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 48248 0 0 0 5832 165 0 0 25 0 1 0 774645123 13619200 2642 4294967295 134512640 134714508 3221224592 3221222320 1075828239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2642 1111 63 0 3262 0
vsize: 13300
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 56477 0 0 0 6807 190 0 0 25 0 1 0 774645123 13619200 2642 4294967295 134512640 134714508 3221224592 3221222768 1074146354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2642 1111 63 0 3262 0
vsize: 13300
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 66466 0 0 0 7776 221 0 0 25 0 1 0 774645123 13664256 2645 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2645 1111 63 0 3308 0
vsize: 13344
[startup+90.0053 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 69213 0 0 0 8761 236 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 74110 0 0 0 9739 258 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221222512 1075799509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 81481 0 0 0 10714 283 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 86482 0 0 0 11693 304 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 94191 0 0 0 12665 333 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2655 1111 63 0 3311 0
vsize: 13344
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 103801 0 0 0 13634 364 0 0 25 0 1 0 774645123 13664256 2653 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2653 1111 63 0 3273 0
vsize: 13344
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 105906 0 0 0 14622 377 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222240 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 108137 0 0 0 15608 391 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 112109 0 0 0 16590 408 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 114720 0 0 0 17574 425 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222464 1075125678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 119075 0 0 0 18556 443 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221223312 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 125184 0 0 0 19533 467 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 127941 0 0 0 20518 482 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222240 1074247389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 132252 0 0 0 21499 502 0 0 25 0 1 0 774645123 13926400 2664 4294967295 134512640 134714508 3221224592 3221220688 1074879546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2664 1111 63 0 3337 0
vsize: 13600
[startup+230.02 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 138303 0 0 0 22472 528 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+240.021 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 143089 0 0 0 23450 551 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+250.021 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 150102 0 0 0 24425 576 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 158351 0 0 0 25396 606 0 0 25 0 1 0 774645123 13705216 2663 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2663 1111 63 0 3283 0
vsize: 13384
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 160862 0 0 0 26383 619 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221222416 1075140852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 162319 0 0 0 27370 632 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 163794 0 0 0 28356 646 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 165468 0 0 0 29343 659 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221222416 1075823342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 167295 0 0 0 30331 672 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221223280 134558540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 169609 0 0 0 31316 687 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221222948 1077374084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 172505 0 0 0 32301 703 0 0 25 0 1 0 774645123 13836288 2660 4294967295 134512640 134714508 3221224592 3221220820 1075114918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2660 1111 63 0 3315 0
vsize: 13512
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 173882 0 0 0 33290 714 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223336 134604680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 175266 0 0 0 34279 725 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222712 1077377411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 176772 0 0 0 35265 738 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222512 1075802507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 178255 0 0 0 36253 751 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2660 1111 63 0 3315 0
vsize: 13368
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 179805 0 0 0 37242 762 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 182041 0 0 0 38227 777 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222712 1077377725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 183612 0 0 0 39213 792 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223168 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 185238 0 0 0 40199 806 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222416 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 187641 0 0 0 41183 822 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 190691 0 0 0 42168 837 0 0 25 0 1 0 774645123 13885440 2660 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2659 1111 63 0 3291 0
vsize: 13560
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 194259 0 0 0 43149 856 0 0 25 0 1 0 774645123 13701120 2662 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2662 1111 63 0 3282 0
vsize: 13380
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 199715 0 0 0 44128 877 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 202353 0 0 0 45112 894 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 205063 0 0 0 46096 910 0 0 25 0 1 0 774645123 13824000 2662 4294967295 134512640 134714508 3221224592 3221221744 1075969885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2662 1111 63 0 3312 0
vsize: 13500
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 209315 0 0 0 47079 927 0 0 25 0 1 0 774645123 13910016 2660 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2660 1111 63 0 3333 0
vsize: 13584
[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 214543 0 0 0 48060 946 0 0 25 0 1 0 774645123 13701120 2661 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13380
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 220092 0 0 0 49040 967 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223008 1074116570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 226338 0 0 0 50017 990 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 231348 0 0 0 50998 1009 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221222848 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+530.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 238182 0 0 0 51975 1032 0 0 25 0 1 0 774645123 13910016 2660 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13584
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 246028 0 0 0 52953 1055 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223124 134539203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 253729 0 0 0 53927 1081 0 0 25 0 1 0 774645123 13688832 2659 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 2659 1111 63 0 3279 0
vsize: 13368
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 263171 0 0 0 54896 1112 0 0 25 0 1 0 774645123 13971456 2663 4294967295 134512640 134714508 3221224592 3221221744 1075969885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2665 1111 63 0 3348 0
vsize: 13644
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 271549 0 0 0 55868 1141 0 0 25 0 1 0 774645123 13709312 2659 4294967295 134512640 134714508 3221224592 3221222884 1074248336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2659 1111 63 0 3284 0
vsize: 13388
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 272921 0 0 0 56854 1155 0 0 25 0 1 0 774645123 13709312 2662 4294967295 134512640 134714508 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2662 1111 63 0 3284 0
vsize: 13388
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 274330 0 0 0 57842 1168 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 276050 0 0 0 58828 1181 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222992 1074118792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 277552 0 0 0 59816 1193 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+620.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 279686 0 0 0 60803 1209 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+630.064 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 282590 0 0 0 61787 1225 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223292 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+640.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 284039 0 0 0 62774 1238 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 285955 0 0 0 63762 1250 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+660.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 288418 0 0 0 64748 1265 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+670.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 290874 0 0 0 65732 1280 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222704 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+680.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 294977 0 0 0 66710 1303 0 0 25 0 1 0 774645123 13844480 2666 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13520
[startup+690.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 299910 0 0 0 67690 1323 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222992 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+700.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 302476 0 0 0 68672 1341 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+710.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 306185 0 0 0 69654 1360 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222560 1075809102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+720.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 311886 0 0 0 70633 1381 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222944 1074115351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+730.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 317437 0 0 0 71613 1401 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+740.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 23112
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 323819 0 0 0 72588 1428 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221222992 1074118827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+750.094 s]
Raw data (loadavg): 0.99 0.97 0.95 3/57 23150
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 331737 0 0 0 73552 1465 0 0 25 0 1 0 774645123 13930496 2665 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2665 1111 63 0 3338 0
vsize: 13604
[startup+760.101 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 335883 0 0 0 74533 1483 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+770.102 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 342009 0 0 0 75508 1509 0 0 25 0 1 0 774645123 13733888 2670 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+780.101 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 350515 0 0 0 76480 1538 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223296 134524567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+790.102 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 357340 0 0 0 77453 1564 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223184 134538762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+800.102 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 366517 0 0 0 78420 1597 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+810.102 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23165
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 376781 0 0 0 79388 1630 0 0 25 0 1 0 774645123 13709312 2664 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+820.103 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 381691 0 0 0 80368 1650 0 0 25 0 1 0 774645123 13701120 2662 4294967295 134512640 134714508 3221224592 3221222752 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2662 1111 63 0 3282 0
vsize: 13380
[startup+830.103 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 390869 0 0 0 81337 1681 0 0 25 0 1 0 774645123 13815808 2690 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3373 2690 1111 63 0 3310 0
vsize: 13492
[startup+840.104 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 400423 0 0 0 82304 1714 0 0 25 0 1 0 774645123 13864960 2688 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3370 2687 1111 63 0 3307 0
vsize: 13540
[startup+850.105 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 410281 0 0 0 83273 1745 0 0 25 0 1 0 774645123 13848576 2694 4294967295 134512640 134714508 3221224592 3221222788 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2694 1111 63 0 3318 0
vsize: 13524
[startup+860.106 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 419644 0 0 0 84244 1775 0 0 25 0 1 0 774645123 13897728 2702 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2702 1111 63 0 3330 0
vsize: 13572
[startup+870.106 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 424325 0 0 0 85223 1796 0 0 25 0 1 0 774645123 13897728 2710 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2710 1111 63 0 3330 0
vsize: 13572
[startup+880.106 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 429704 0 0 0 86202 1817 0 0 25 0 1 0 774645123 13897728 2710 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2710 1111 63 0 3330 0
vsize: 13572
[startup+890.107 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 437683 0 0 0 87175 1845 0 0 25 0 1 0 774645123 13877248 2705 4294967295 134512640 134714508 3221224592 3221222240 1075818287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2705 1111 63 0 3325 0
vsize: 13552
[startup+900.108 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 443578 0 0 0 88153 1867 0 0 25 0 1 0 774645123 13877248 2705 4294967295 134512640 134714508 3221224592 3221222576 1074056195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2705 1111 63 0 3325 0
vsize: 13552
[startup+910.108 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 453338 0 0 0 89120 1900 0 0 25 0 1 0 774645123 13877248 2705 4294967295 134512640 134714508 3221224592 3221222320 1075125360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2705 1111 63 0 3325 0
vsize: 13552
[startup+920.109 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 464647 0 0 0 90085 1935 0 0 25 0 1 0 774645123 13877248 2705 4294967295 134512640 134714508 3221224592 3221222552 1074138237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3388 2705 1111 63 0 3325 0
vsize: 13552
[startup+930.11 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 472295 0 0 0 91060 1960 0 0 25 0 1 0 774645123 13897728 2710 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2710 1111 63 0 3330 0
vsize: 13572
[startup+940.11 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 481678 0 0 0 92030 1991 0 0 25 0 1 0 774645123 13897728 2710 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2710 1111 63 0 3330 0
vsize: 13572
[startup+950.11 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 492379 0 0 0 92993 2028 0 0 25 0 1 0 774645123 13910016 2710 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2710 1111 63 0 3330 0
vsize: 13584
[startup+960.11 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 498180 0 0 0 93971 2050 0 0 25 0 1 0 774645123 13922304 2716 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2716 1111 63 0 3336 0
vsize: 13596
[startup+970.111 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 506313 0 0 0 94947 2074 0 0 25 0 1 0 774645123 13971456 2727 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2716 1111 63 0 3336 0
vsize: 13644
[startup+980.111 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 516472 0 0 0 95917 2104 0 0 25 0 1 0 774645123 13922304 2716 4294967295 134512640 134714508 3221224592 3221222948 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2716 1111 63 0 3336 0
vsize: 13596
[startup+990.112 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 525581 0 0 0 96888 2133 0 0 25 0 1 0 774645123 13922304 2716 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2716 1111 63 0 3336 0
vsize: 13596
[startup+1000.11 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 535833 0 0 0 97857 2165 0 0 25 0 1 0 774645123 13922304 2716 4294967295 134512640 134714508 3221224592 3221222496 1074052193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2716 1111 63 0 3336 0
vsize: 13596
[startup+1010.11 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 546966 0 0 0 98825 2197 0 0 25 0 1 0 774645123 13926400 2717 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2717 1111 63 0 3337 0
vsize: 13600
[startup+1020.11 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 552296 0 0 0 99803 2219 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221223292 134535673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1030.11 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 556960 0 0 0 100783 2239 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2723 1111 63 0 3390 0
vsize: 13620
[startup+1040.11 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 563777 0 0 0 101759 2263 0 0 25 0 1 0 774645123 14123008 2734 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2731 1111 63 0 3351 0
vsize: 13792
[startup+1050.12 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 570157 0 0 0 102740 2283 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1060.11 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 577581 0 0 0 103714 2309 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1070.12 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 23167
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 585537 0 0 0 104682 2341 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221222752 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1080.12 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 592019 0 0 0 105656 2368 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221222864 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1090.12 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 599098 0 0 0 106630 2394 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1100.12 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 607543 0 0 0 107603 2421 0 0 25 0 1 0 774645123 13946880 2722 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2722 1111 63 0 3342 0
vsize: 13620
[startup+1110.12 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 615792 0 0 0 108575 2449 0 0 25 0 1 0 774645123 14114816 2731 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3446 2731 1111 63 0 3383 0
vsize: 13784
[startup+1120.12 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 625074 0 0 0 109548 2476 0 0 25 0 1 0 774645123 14069760 2737 4294967295 134512640 134714508 3221224592 3221223040 1073990086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2737 1111 63 0 3372 0
vsize: 13740
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 634484 0 0 0 110517 2507 0 0 25 0 1 0 774645123 14098432 2725 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2723 1111 63 0 3344 0
vsize: 13768
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 641342 0 0 0 111492 2533 0 0 25 0 1 0 774645123 13979648 2730 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2730 1111 63 0 3350 0
vsize: 13652
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 643180 0 0 0 112479 2546 0 0 25 0 1 0 774645123 14172160 2731 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2730 1111 63 0 3350 0
vsize: 13840
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 645795 0 0 0 113462 2563 0 0 25 0 1 0 774645123 13979648 2730 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3460 2731 1111 63 0 3397 0
vsize: 13652
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 650796 0 0 0 114442 2583 0 0 25 0 1 0 774645123 13979648 2730 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2730 1111 63 0 3350 0
vsize: 13652
[startup+1174.88 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 23169
Raw data (stat): 23112 (bsolo_lpr) R 23111 21152 21151 0 -1 0 650796 0 0 0 114442 2583 0 0 25 0 1 0 774645123 13979648 2730 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3413 2730 1111 63 0 3350 0
vsize: 0

Child status: 10
Real time (s): 1174.88
CPU time (s): 1175.02
CPU user time (s): 1149.1
CPU system time (s): 25.9221
CPU usage (%): 100.012
Max. virtual memory (Kb): 13840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	83348608
#### END VERIFIER DATA ####