PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 07:55:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16784 boxname=wulflinc31 idbench=1292 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  46c4db5f8baf54496e00a723c85beb20  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-egout.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-egout.opb
IDLAUNCH: 16784
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915580 kB
Buffers:         24952 kB
Cached:          71588 kB
SwapCached:        972 kB
Active:          66304 kB
Inactive:        32324 kB
HighTotal:      131008 kB
HighFree:        70812 kB
LowTotal:       903652 kB
LowFree:        844768 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            14900 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 08:14:58 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 16784 0 1175.05 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.689 s
c Initial Lower Bound: 48825430
c Lower Bound Elapsed time: 0.059
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 90759296 @ 12.564
c NEW SOLUTION FOUND: 87197312 @ 12.592
c NEW SOLUTION FOUND: 87191936 @ 12.669
c NEW SOLUTION FOUND: 87186560 @ 12.823
c NEW SOLUTION FOUND: 87175808 @ 13.109
c NEW SOLUTION FOUND: 87165056 @ 13.242
c NEW SOLUTION FOUND: 86920704 @ 13.669
c NEW SOLUTION FOUND: 86912768 @ 13.685
c NEW SOLUTION FOUND: 86904832 @ 13.712
c NEW SOLUTION FOUND: 83354752 @ 13.784
c NEW SOLUTION FOUND: 83348608 @ 14.153
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.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.98 2/55 3817
Raw data (stat): 3817 (runsolver) R 3816 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 819940305 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 7321 0 0 0 972 22 0 0 25 0 1 0 819940305 11399168 2094 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 2094 1111 63 0 2720 0
vsize: 11132
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 16307 0 0 0 1939 56 0 0 25 0 1 0 819940305 12886016 2462 4294967295 134512640 134714508 3221221776 3221220032 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3146 2462 1111 63 0 3083 0
vsize: 12584
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 25277 0 0 0 2906 88 0 0 25 0 1 0 819940305 13508608 2615 4294967295 134512640 134714508 3221221776 3221220128 1074115304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2615 1111 63 0 3235 0
vsize: 13192
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 33171 0 0 0 3876 118 0 0 25 0 1 0 819940305 13709312 2641 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3347 2641 1111 63 0 3284 0
vsize: 13388
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 40286 0 0 0 4849 145 0 0 25 0 1 0 819940305 13594624 2636 4294967295 134512640 134714508 3221221776 3221219600 1075824351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3319 2636 1111 63 0 3256 0
vsize: 13276
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 46940 0 0 0 5824 171 0 0 25 0 1 0 819940305 13787136 2645 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 2645 1111 63 0 3303 0
vsize: 13464
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 54881 0 0 0 6792 203 0 0 25 0 1 0 819940305 13623296 2643 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2643 1111 63 0 3263 0
vsize: 13304
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 63524 0 0 0 7761 234 0 0 25 0 1 0 819940305 13623296 2643 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2643 1111 63 0 3263 0
vsize: 13304
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 68338 0 0 0 8739 256 0 0 25 0 1 0 819940305 13668352 2654 4294967295 134512640 134714508 3221221776 3221219776 1074056637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2654 1111 63 0 3274 0
vsize: 13348
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 72661 0 0 0 9717 278 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2654 1111 63 0 3274 0
vsize: 13372
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 78425 0 0 0 10690 306 0 0 25 0 1 0 819940305 13668352 2654 4294967295 134512640 134714508 3221221776 3221219696 1075799488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2654 1111 63 0 3274 0
vsize: 13348
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 84156 0 0 0 11664 332 0 0 25 0 1 0 819940305 13668352 2654 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2654 1111 63 0 3274 0
vsize: 13348
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 91232 0 0 0 12633 363 0 0 25 0 1 0 819940305 13668352 2654 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2655 1111 63 0 3328 0
vsize: 13348
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 99237 0 0 0 13606 390 0 0 25 0 1 0 819940305 13668352 2654 4294967295 134512640 134714508 3221221776 3221219624 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3337 2654 1111 63 0 3274 0
vsize: 13348
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 105200 0 0 0 14578 418 0 0 25 0 1 0 819940305 13856768 2665 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3359 2665 1111 63 0 3296 0
vsize: 13532
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 107050 0 0 0 15564 433 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220128 1074115264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 109505 0 0 0 16547 449 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220112 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 113425 0 0 0 17528 469 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 116561 0 0 0 18507 490 0 0 25 0 1 0 819940305 13733888 2670 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3353 2670 1111 63 0 3290 0
vsize: 13412
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 121014 0 0 0 19485 512 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 126238 0 0 0 20463 535 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 129163 0 0 0 21448 549 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 133428 0 0 0 22426 572 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220504 134543256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 139452 0 0 0 23401 597 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2665 1111 63 0 3332 0
vsize: 13388
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 144448 0 0 0 24378 620 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 150988 0 0 0 25350 648 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221219840 1075125337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 159498 0 0 0 26324 675 0 0 25 0 1 0 819940305 13709312 2664 4294967295 134512640 134714508 3221221776 3221220428 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2664 1111 63 0 3284 0
vsize: 13388
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 3817
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 161018 0 0 0 27308 690 0 0 25 0 1 0 819940305 13737984 2671 4294967295 134512640 134714508 3221221776 3221219520 1075646733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2671 1111 63 0 3291 0
vsize: 13416
[startup+290.008 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 162375 0 0 0 28294 705 0 0 25 0 1 0 819940305 13737984 2671 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2671 1111 63 0 3291 0
vsize: 13416
[startup+300.009 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 163821 0 0 0 29282 717 0 0 25 0 1 0 819940305 13737984 2671 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2671 1111 63 0 3291 0
vsize: 13416
[startup+310.01 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 165456 0 0 0 30270 729 0 0 25 0 1 0 819940305 13737984 2671 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2671 1111 63 0 3291 0
vsize: 13416
[startup+320.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 167252 0 0 0 31257 742 0 0 25 0 1 0 819940305 13946880 2672 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2672 1111 63 0 3342 0
vsize: 13620
[startup+330.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 169435 0 0 0 32241 758 0 0 25 0 1 0 819940305 13946880 2672 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2671 1111 63 0 3291 0
vsize: 13620
[startup+340.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 172406 0 0 0 33225 775 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221219776 1074056223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+350.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 3870
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 173751 0 0 0 34213 787 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2661 1111 63 0 3328 0
vsize: 13372
[startup+360.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 175117 0 0 0 35199 801 0 0 25 0 1 0 819940305 13889536 2661 4294967295 134512640 134714508 3221221776 3221218048 1074805399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2661 1111 63 0 3328 0
vsize: 13564
[startup+370.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 176598 0 0 0 36186 814 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220176 1074118820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+380.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 177973 0 0 0 37172 828 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220456 1076648078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+390.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 179564 0 0 0 38159 842 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220112 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+400.013 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 181795 0 0 0 39143 858 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+410.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 183195 0 0 0 40129 872 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220412 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+420.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 184867 0 0 0 41113 888 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 187267 0 0 0 42095 906 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+440.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 189388 0 0 0 43082 920 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+450.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 193082 0 0 0 44063 939 0 0 25 0 1 0 819940305 13754368 2670 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 3225643616 0 0 17 0 0 0
Raw data (statm): 3355 2670 1111 63 0 3292 0
vsize: 13432
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 199254 0 0 0 45040 962 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 201134 0 0 0 46023 979 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 203846 0 0 0 47005 998 0 0 25 0 1 0 819940305 13840384 2666 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2666 1111 63 0 3316 0
vsize: 13516
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 208255 0 0 0 47984 1018 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+500.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 211903 0 0 0 48966 1037 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220080 1074153587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 217481 0 0 0 49942 1062 0 0 25 0 1 0 819940305 13864960 2672 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3385 2672 1111 63 0 3322 0
vsize: 13540
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 225328 0 0 0 50913 1090 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 228611 0 0 0 51893 1111 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+540.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 234549 0 0 0 52870 1134 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221219992 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 242787 0 0 0 53838 1166 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 249339 0 0 0 54811 1194 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 257743 0 0 0 55781 1224 0 0 25 0 1 0 819940305 13729792 2669 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3352 2669 1111 63 0 3289 0
vsize: 13408
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 268098 0 0 0 56746 1259 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3420 2663 1111 63 0 3357 0
vsize: 13372
[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 272122 0 0 0 57725 1280 0 0 25 0 1 0 819940305 13713408 2663 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2663 1111 63 0 3285 0
vsize: 13392
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 273482 0 0 0 58710 1295 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220080 1074138460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3872
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 274858 0 0 0 59699 1307 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 276525 0 0 0 60684 1322 0 0 25 0 1 0 819940305 13910016 2666 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2666 1111 63 0 3333 0
vsize: 13584
[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 278487 0 0 0 61668 1337 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+640.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 280252 0 0 0 62656 1350 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220296 1077377368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 282979 0 0 0 63638 1368 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 284621 0 0 0 64621 1385 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220256 1074039480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+670.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 286355 0 0 0 65607 1399 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 288787 0 0 0 66593 1414 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220080 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+690.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 291769 0 0 0 67576 1430 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221219776 1074140582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 295504 0 0 0 68556 1451 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+710.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 300156 0 0 0 69535 1472 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 302856 0 0 0 70517 1490 0 0 25 0 1 0 819940305 13873152 2667 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3387 2670 1111 63 0 3324 0
vsize: 13548
[startup+730.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 306860 0 0 0 71497 1511 0 0 25 0 1 0 819940305 13996032 2678 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2679 1111 63 0 3354 0
vsize: 13668
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 312095 0 0 0 72472 1536 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221219820 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 317552 0 0 0 73448 1560 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 323736 0 0 0 74425 1583 0 0 25 0 1 0 819940305 13860864 2670 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2668 1111 63 0 3288 0
vsize: 13536
[startup+770.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 331684 0 0 0 75396 1613 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+780.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 335574 0 0 0 76376 1632 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+790.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 341490 0 0 0 77352 1657 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 349074 0 0 0 78324 1685 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220048 1074056195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+810.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 356118 0 0 0 79297 1713 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 364670 0 0 0 80267 1743 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 374070 0 0 0 81233 1777 0 0 25 0 1 0 819940305 13713408 2665 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3348 2665 1111 63 0 3285 0
vsize: 13392
[startup+840.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 380379 0 0 0 82209 1803 0 0 25 0 1 0 819940305 13692928 2660 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2660 1111 63 0 3280 0
vsize: 13372
[startup+850.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 388118 0 0 0 83180 1832 0 0 25 0 1 0 819940305 13754368 2675 4294967295 134512640 134714508 3221221776 3221220040 1074138322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3358 2675 1111 63 0 3295 0
vsize: 13432
[startup+860.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 397244 0 0 0 84147 1866 0 0 25 0 1 0 819940305 13807616 2688 4294967295 134512640 134714508 3221221776 3221220404 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2688 1111 63 0 3308 0
vsize: 13484
[startup+870.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 406728 0 0 0 85116 1896 0 0 25 0 1 0 819940305 13824000 2692 4294967295 134512640 134714508 3221221776 3221220476 134535509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2692 1111 63 0 3312 0
vsize: 13500
[startup+880.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 415919 0 0 0 86083 1930 0 0 25 0 1 0 819940305 13864960 2702 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2704 1111 63 0 3363 0
vsize: 13540
[startup+890.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 421060 0 0 0 87062 1951 0 0 25 0 1 0 819940305 13901824 2711 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2711 1111 63 0 3331 0
vsize: 13576
[startup+900.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 426639 0 0 0 88042 1972 0 0 25 0 1 0 819940305 14188544 2718 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3464 2726 1111 63 0 3401 0
vsize: 13856
[startup+910.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 434861 0 0 0 89016 1998 0 0 25 0 1 0 819940305 13901824 2711 4294967295 134512640 134714508 3221221776 3221220192 1074116193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2711 1111 63 0 3331 0
vsize: 13576
[startup+920.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 440105 0 0 0 89995 2019 0 0 25 0 1 0 819940305 13881344 2706 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2706 1111 63 0 3326 0
vsize: 13556
[startup+930.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 448928 0 0 0 90964 2050 0 0 25 0 1 0 819940305 13881344 2706 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2706 1111 63 0 3326 0
vsize: 13556
[startup+940.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 458936 0 0 0 91932 2082 0 0 25 0 1 0 819940305 13881344 2706 4294967295 134512640 134714508 3221221776 3221220512 134542611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2706 1111 63 0 3326 0
vsize: 13556
[startup+950.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 467841 0 0 0 92898 2116 0 0 25 0 1 0 819940305 13901824 2711 4294967295 134512640 134714508 3221221776 3221219608 1075894869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2711 1111 63 0 3331 0
vsize: 13576
[startup+960.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 477111 0 0 0 93870 2145 0 0 25 0 1 0 819940305 13901824 2711 4294967295 134512640 134714508 3221221776 3221219864 1077378156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2711 1111 63 0 3331 0
vsize: 13576
[startup+970.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 486439 0 0 0 94843 2172 0 0 25 0 1 0 819940305 13901824 2711 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2711 1111 63 0 3331 0
vsize: 13576
[startup+980.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 494901 0 0 0 95813 2202 0 0 25 0 1 0 819940305 13926400 2717 4294967295 134512640 134714508 3221221776 3221220568 134558585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2717 1111 63 0 3337 0
vsize: 13600
[startup+990.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 501824 0 0 0 96788 2227 0 0 25 0 1 0 819940305 13926400 2717 4294967295 134512640 134714508 3221221776 3221219696 1075802495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2717 1111 63 0 3337 0
vsize: 13600
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 510595 0 0 0 97760 2255 0 0 25 0 1 0 819940305 14209024 2721 4294967295 134512640 134714508 3221221776 3221218796 1074206206 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3422 2720 1111 63 0 3359 0
vsize: 13876
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 520001 0 0 0 98731 2285 0 0 25 0 1 0 819940305 13926400 2717 4294967295 134512640 134714508 3221221776 3221219644 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2717 1111 63 0 3337 0
vsize: 13600
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 529301 0 0 0 99697 2318 0 0 25 0 1 0 819940305 14086144 2725 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2725 1111 63 0 3376 0
vsize: 13756
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 539703 0 0 0 100664 2352 0 0 25 0 1 0 819940305 14229504 2730 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2730 1111 63 0 3411 0
vsize: 13896
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 550366 0 0 0 101629 2387 0 0 25 0 1 0 819940305 13950976 2718 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2718 1111 63 0 3343 0
vsize: 13624
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 553397 0 0 0 102613 2403 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 558326 0 0 0 103593 2424 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 566480 0 0 0 104568 2449 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 571636 0 0 0 105545 2472 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220496 134592098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 579061 0 0 0 106518 2499 0 0 25 0 1 0 819940305 14172160 2724 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13840
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 587507 0 0 0 107487 2530 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 593405 0 0 0 108465 2553 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 599993 0 0 0 109439 2579 0 0 25 0 1 0 819940305 13950976 2723 4294967295 134512640 134714508 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2723 1111 63 0 3343 0
vsize: 13624
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 608886 0 0 0 110410 2608 0 0 25 0 1 0 819940305 14233600 2735 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3475 2737 1111 63 0 3412 0
vsize: 13900
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 616744 0 0 0 111381 2636 0 0 25 0 1 0 819940305 13955072 2724 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2724 1111 63 0 3344 0
vsize: 13628
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 625409 0 0 0 112353 2665 0 0 25 0 1 0 819940305 13955072 2724 4294967295 134512640 134714508 3221221776 3221220356 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2724 1111 63 0 3344 0
vsize: 13628
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 634990 0 0 0 113321 2697 0 0 25 0 1 0 819940305 13955072 2724 4294967295 134512640 134714508 3221221776 3221220192 1074116396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3407 2724 1111 63 0 3344 0
vsize: 13628
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 641380 0 0 0 114293 2726 0 0 25 0 1 0 819940305 13983744 2731 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2731 1111 63 0 3351 0
vsize: 13656
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 3874
Raw data (stat): 3817 (bsolo_lpr) R 3816 7876 7672 0 -1 0 641380 0 0 0 114293 2726 0 0 25 0 1 0 819940305 13983744 2731 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3414 2731 1111 63 0 3351 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1147.72
CPU system time (s): 27.3258
CPU usage (%): 100.01
Max. virtual memory (Kb): 13900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	83348608
#### END VERIFIER DATA ####