Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb |
MD5SUM | d1a63d8d6fb70cfa129ffc4588721d0f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 8388608 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 22020075 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.19282 |
Number of variables | 960 |
Total number of constraints | 49 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 49 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 04:32:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28287 boxname=wulflinc6 idbench=1243 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: d1a63d8d6fb70cfa129ffc4588721d0f /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sc50a.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sc50a.opb IDLAUNCH: 28287 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 572824 kB Buffers: 25804 kB Cached: 414564 kB SwapCached: 1020 kB Active: 32060 kB Inactive: 410424 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 572572 kB SwapTotal: 2097136 kB SwapFree: 2095172 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 13472 kB Committed_AS: 63700 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 04:51:48 (client local time) WITH STATUS 10 IN 1175.1 SECONDS stats: 28287 0 1175.1 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 960 variables and 69 constraints. c After prepocess the problem consists of 727 variables and 98 constraints. c preprocess terminated 0.411 s c Initial Lower Bound: -8265 c Lower Bound Elapsed time: 0.03025 c Use computed LB before first solution. c NEW SOLUTION FOUND: 0 @ 408.889 s SATISFIABLE v -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 COL00001_bit_7 COL00001_bit_6 COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00002_bit_7 -COL00002_bit_6 COL00002_bit_5 COL00002_bit_4 COL00002_bit_3 -COL00002_bit_2 -COL00002_bit_1 COL00002_bit0 -COL00002_bit1 COL00002_bit2 -COL00002_bit3 -COL00002_bit4 COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 COL00003_bit_7 COL00003_bit_6 COL00003_bit_5 COL00003_bit_4 COL00003_bit_3 COL00003_bit_2 COL00003_bit_1 -COL00003_bit0 -COL00003_bit1 COL00003_bit2 -COL00003_bit3 -COL00003_bit4 COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 COL00006_bit_7 COL00006_bit_6 COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00007_bit_7 -COL00007_bit_6 COL00007_bit_5 COL00007_bit_4 COL00007_bit_3 -COL00007_bit_2 -COL00007_bit_1 COL00007_bit0 -COL00007_bit1 COL00007_bit2 -COL00007_bit3 -COL00007_bit4 COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 COL00008_bit_7 COL00008_bit_6 COL00008_bit_5 COL00008_bit_4 COL00008_bit_3 COL00008_bit_2 COL00008_bit_1 -COL00008_bit0 -COL00008_bit1 COL00008_bit2 -COL00008_bit3 -COL00008_bit4 COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 COL00010_bit_7 COL00010_bit_6 COL00010_bit_5 -COL00010_bit_4 COL00010_bit_3 -COL00010_bit_2 -COL00010_bit_1 COL00010_bit0 -COL00010_bit1 COL00010_bit2 -COL00010_bit3 -COL00010_bit4 COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00011_bit_7 -COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 -COL00011_bit_1 -COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 COL00012_bit_7 COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 COL00014_bit_4 COL00014_bit_3 COL00014_bit_2 -COL00014_bit_1 COL00014_bit0 COL00014_bit1 -COL00014_bit2 COL00014_bit3 -COL00014_bit4 COL00014_bit5 COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00017_bit_7 COL00017_bit_6 -COL00017_bit_5 COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00018_bit_7 -COL00018_bit_6 COL00018_bit_5 COL00018_bit_4 COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 COL00018_bit0 COL00018_bit1 COL00018_bit2 -COL00018_bit3 -COL00018_bit4 COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 COL00019_bit_7 COL00019_bit_6 COL00019_bit_5 -COL00019_bit_4 COL00019_bit_3 COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 -COL00019_bit1 -COL00019_bit2 -COL00019_bit3 COL00019_bit4 -COL00019_bit5 -COL00019_bit6 COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00021_bit_7 -COL00021_bit_6 COL00021_bit_5 COL00021_bit_4 COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 COL00021_bit0 COL00021_bit1 COL00021_bit2 -COL00021_bit3 -COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 -COL00022_bit0 -COL00022_bit1 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00023_bit_7 COL00023_bit_6 -COL00023_bit_5 COL00023_bit_4 -COL00023_bit_3 COL00023_bit_2 -COL00023_bit_1 COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00024_bit_7 COL00024_bit_6 -COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 COL00025_bit_1 COL00025_bit0 COL00025_bit1 COL00025_bit2 COL00025_bit3 -COL00025_bit4 COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00028_bit_7 -COL00028_bit_6 COL00028_bit_5 -COL00028_bit_4 COL00028_bit_3 COL00028_bit_2 -COL00028_bit_1 COL00028_bit0 COL00028_bit1 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00029_bit_7 COL00029_bit_6 COL00029_bit_5 COL00029_bit_4 COL00029_bit_3 COL00029_bit_2 -COL00029_bit_1 COL00029_bit0 COL00029_bit1 COL00029_bit2 -COL00029_bit3 -COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00030_bit_7 -COL00030_bit_6 -COL00030_bit_5 -COL00030_bit_4 -COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 -COL00030_bit0 -COL00030_bit1 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 COL00032_bit_2 -COL00032_bit_1 COL00032_bit0 COL00032_bit1 COL00032_bit2 -COL00032_bit3 -COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00034_bit_7 -COL00034_bit_6 COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 COL00034_bit1 COL00034_bit2 COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 COL00035_bit2 COL00035_bit3 -COL00035_bit4 -COL00035_bit5 COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 COL00039_bit_4 COL00039_bit_3 COL00039_bit_2 -COL00039_bit_1 COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00040_bit_7 COL00040_bit_6 COL00040_bit_5 COL00040_bit_4 COL00040_bit_3 COL00040_bit_2 -COL00040_bit_1 COL00040_bit0 COL00040_bit1 -COL00040_bit2 -COL00040_bit3 COL00040_bit4 COL00040_bit5 COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00041_bit_7 -COL00041_bit_6 -COL00041_bit_5 -COL00041_bit_4 -COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 -COL00041_bit0 COL00041_bit1 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 -COL00041_bit6 -COL00041_bit7 COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 COL00042_bit1 COL00042_bit2 COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 COL00043_bit4 COL00043_bit5 COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00045_bit_7 COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 COL00045_bit_2 -COL00045_bit_1 COL00045_bit0 -COL00045_bit1 COL00045_bit2 COL00045_bit3 -COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00046_bit_7 -COL00046_bit_6 -COL00046_bit_5 -COL00046_bit_4 -COL00046_bit_3 -COL00046_bit_2 -COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 COL00046_bit5 COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 COL00047_bit2 -COL00047_bit3 -COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 c Exit Code: 10 c Total time: 1175.08 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 25326 Raw data (stat): 25326 (runsolver) R 25325 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898776751 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99972 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 6920 0 0 0 980 17 0 0 25 0 1 0 898776751 10268672 1807 4294967295 134512640 134716908 3221224576 3221222320 1075640257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1807 1111 63 0 2444 0 vsize: 10028 [startup+20.0002 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 6922 0 0 0 1979 18 0 0 25 0 1 0 898776751 10268672 1809 4294967295 134512640 134716908 3221224576 3221222224 1075818290 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1809 1111 63 0 2444 0 vsize: 10028 [startup+30.0003 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 7104 0 0 0 2977 20 0 0 25 0 1 0 898776751 10268672 1815 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1815 1111 63 0 2444 0 vsize: 10028 [startup+40.0001 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 8207 0 0 0 3972 26 0 0 25 0 1 0 898776751 10350592 1836 4294967295 134512640 134716908 3221224576 3221222296 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2527 1836 1111 63 0 2464 0 vsize: 10108 [startup+50.0006 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 9385 0 0 0 4965 33 0 0 25 0 1 0 898776751 10350592 1836 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2527 1836 1111 63 0 2464 0 vsize: 10108 [startup+60.0007 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 10358 0 0 0 5960 39 0 0 25 0 1 0 898776751 10350592 1836 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2527 1836 1111 63 0 2464 0 vsize: 10108 [startup+70.0006 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 12710 0 0 0 6951 48 0 0 25 0 1 0 898776751 10379264 1843 4294967295 134512640 134716908 3221224576 3221222400 1075823566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2534 1843 1111 63 0 2471 0 vsize: 10136 [startup+80.0014 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 14072 0 0 0 7945 55 0 0 25 0 1 0 898776751 10711040 1862 4294967295 134512640 134716908 3221224576 3221221568 1075110526 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2615 1862 1111 63 0 2552 0 vsize: 10460 [startup+90.0012 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 16623 0 0 0 8935 65 0 0 25 0 1 0 898776751 10424320 1854 4294967295 134512640 134716908 3221224576 3221222604 1077374624 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2545 1854 1111 63 0 2482 0 vsize: 10180 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 17421 0 0 0 9928 73 0 0 25 0 1 0 898776751 10424320 1854 4294967295 134512640 134716908 3221224576 3221222496 1075799725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2545 1854 1111 63 0 2482 0 vsize: 10180 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 20504 0 0 0 10914 87 0 0 25 0 1 0 898776751 10526720 1879 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2570 1879 1111 63 0 2507 0 vsize: 10280 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 27593 0 0 0 11890 110 0 0 25 0 1 0 898776751 10878976 1967 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2656 1967 1111 63 0 2593 0 vsize: 10624 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 32202 0 0 0 12877 125 0 0 25 0 1 0 898776751 11284480 2067 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2755 2067 1111 63 0 2692 0 vsize: 11020 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 38745 0 0 0 13857 145 0 0 25 0 1 0 898776751 11849728 2126 4294967295 134512640 134716908 3221224576 3221220672 1074969449 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2893 2126 1111 63 0 2830 0 vsize: 11572 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 44709 0 0 0 14840 163 0 0 25 0 1 0 898776751 11599872 2144 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2832 2144 1111 63 0 2769 0 vsize: 11328 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 49109 0 0 0 15826 176 0 0 25 0 1 0 898776751 11767808 2185 4294967295 134512640 134716908 3221224576 3221222696 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2873 2185 1111 63 0 2810 0 vsize: 11492 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 53141 0 0 0 16813 190 0 0 25 0 1 0 898776751 12062720 2257 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2945 2257 1111 63 0 2882 0 vsize: 11780 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 56380 0 0 0 17801 202 0 0 25 0 1 0 898776751 12099584 2266 4294967295 134512640 134716908 3221224576 3221222664 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2954 2266 1111 63 0 2891 0 vsize: 11816 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 58525 0 0 0 18794 210 0 0 25 0 1 0 898776751 12058624 2256 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2944 2256 1111 63 0 2881 0 vsize: 11776 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 60412 0 0 0 19785 219 0 0 25 0 1 0 898776751 12058624 2256 4294967295 134512640 134716908 3221224576 3221222832 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2944 2256 1111 63 0 2881 0 vsize: 11776 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 63384 0 0 0 20774 230 0 0 25 0 1 0 898776751 12574720 2323 4294967295 134512640 134716908 3221224576 3221220668 1075895476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3070 2323 1111 63 0 3007 0 vsize: 12280 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 66572 0 0 0 21763 242 0 0 25 0 1 0 898776751 12193792 2286 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2977 2286 1111 63 0 2914 0 vsize: 11908 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 69388 0 0 0 22752 253 0 0 25 0 1 0 898776751 12341248 2290 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3013 2290 1111 63 0 2950 0 vsize: 12052 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 73866 0 0 0 23741 264 0 0 25 0 1 0 898776751 12681216 2409 4294967295 134512640 134716908 3221224576 3221222584 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3096 2409 1111 63 0 3033 0 vsize: 12384 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 80985 0 0 0 24718 288 0 0 25 0 1 0 898776751 12656640 2404 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3123 2406 1111 63 0 3060 0 vsize: 12360 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 92510 0 0 0 25687 319 0 0 25 0 1 0 898776751 13582336 2611 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3316 2611 1111 63 0 3253 0 vsize: 13264 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 104435 0 0 0 26653 354 0 0 25 0 1 0 898776751 14725120 2907 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3595 2907 1111 63 0 3532 0 vsize: 14380 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 111657 0 0 0 27635 372 0 0 25 0 1 0 898776751 15228928 3030 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3718 3030 1111 63 0 3655 0 vsize: 14872 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 117084 0 0 0 28621 386 0 0 25 0 1 0 898776751 16216064 3273 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3959 3273 1111 63 0 3896 0 vsize: 15836 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 122109 0 0 0 29611 396 0 0 25 0 1 0 898776751 16347136 3311 4294967295 134512640 134716908 3221224576 3221222384 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3991 3311 1111 63 0 3928 0 vsize: 15964 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 127073 0 0 0 30599 409 0 0 25 0 1 0 898776751 16707584 3381 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4079 3381 1111 63 0 4016 0 vsize: 16316 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 132473 0 0 0 31588 420 0 0 25 0 1 0 898776751 15785984 3174 4294967295 134512640 134716908 3221224576 3221222928 1074115271 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3854 3174 1111 63 0 3791 0 vsize: 15416 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 140004 0 0 0 32570 439 0 0 25 0 1 0 898776751 16162816 3266 4294967295 134512640 134716908 3221224576 3221222488 1074138333 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3946 3266 1111 63 0 3883 0 vsize: 15784 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 144781 0 0 0 33559 450 0 0 25 0 1 0 898776751 15978496 3217 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3901 3217 1111 63 0 3838 0 vsize: 15604 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 156743 0 0 0 34530 480 0 0 25 0 1 0 898776751 15900672 3202 4294967295 134512640 134716908 3221224576 3221222400 1075823594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3882 3202 1111 63 0 3819 0 vsize: 15528 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 169445 0 0 0 35498 511 0 0 25 0 1 0 898776751 15994880 3225 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3905 3225 1111 63 0 3842 0 vsize: 15620 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 181589 0 0 0 36472 538 0 0 25 0 1 0 898776751 16400384 3324 4294967295 134512640 134716908 3221224576 3221222528 1074052193 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4004 3324 1111 63 0 3941 0 vsize: 16016 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 193322 0 0 0 37442 568 0 0 25 0 1 0 898776751 16986112 3467 4294967295 134512640 134716908 3221224576 3221221856 1074140010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4147 3467 1111 63 0 4084 0 vsize: 16588 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 203825 0 0 0 38417 593 0 0 25 0 1 0 898776751 17592320 3612 4294967295 134512640 134716908 3221224576 3221222736 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4295 3612 1111 63 0 4232 0 vsize: 17180 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 215023 0 0 0 39390 621 0 0 25 0 1 0 898776751 18710528 3729 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4568 3729 1111 63 0 4505 0 vsize: 18272 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 225864 0 0 0 40364 647 0 0 25 0 1 0 898776751 18898944 3903 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4614 3903 1111 63 0 4551 0 vsize: 18456 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 236910 0 0 0 41338 673 0 0 25 0 1 0 898776751 18681856 3882 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4561 3882 1111 63 0 4498 0 vsize: 18244 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 248260 0 0 0 42311 700 0 0 25 0 1 0 898776751 19599360 3995 4294967295 134512640 134716908 3221224576 3221220540 1074860611 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4785 3995 1111 63 0 4722 0 vsize: 19140 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 259785 0 0 0 43284 728 0 0 25 0 1 0 898776751 19283968 4024 4294967295 134512640 134716908 3221224576 3221223332 134624815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4708 4024 1111 63 0 4645 0 vsize: 18832 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 270709 0 0 0 44260 753 0 0 25 0 1 0 898776751 19685376 4127 4294967295 134512640 134716908 3221224576 3221222876 1074206265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4806 4127 1111 63 0 4743 0 vsize: 19224 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 281983 0 0 0 45231 782 0 0 25 0 1 0 898776751 20041728 4213 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4893 4213 1111 63 0 4830 0 vsize: 19572 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 293468 0 0 0 46203 810 0 0 25 0 1 0 898776751 20357120 4291 4294967295 134512640 134716908 3221224576 3221222736 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4970 4291 1111 63 0 4907 0 vsize: 19880 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 304810 0 0 0 47177 836 0 0 25 0 1 0 898776751 20758528 4389 4294967295 134512640 134716908 3221224576 3221222644 1077378730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5068 4389 1111 63 0 5005 0 vsize: 20272 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 314894 0 0 0 48151 863 0 0 25 0 1 0 898776751 21245952 4494 4294967295 134512640 134716908 3221224576 3221222576 1074916993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5187 4494 1111 63 0 5124 0 vsize: 20748 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 325026 0 0 0 49125 889 0 0 25 0 1 0 898776751 22114304 4619 4294967295 134512640 134716908 3221224576 3221220736 1074794586 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 4619 1111 63 0 5336 0 vsize: 21596 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 334523 0 0 0 50101 914 0 0 25 0 1 0 898776751 22503424 4686 4294967295 134512640 134716908 3221224576 3221221420 1074786609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 4686 1111 63 0 5431 0 vsize: 21976 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 345032 0 0 0 51076 939 0 0 25 0 1 0 898776751 22392832 4788 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5467 4788 1111 63 0 5404 0 vsize: 21868 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 353726 0 0 0 52056 960 0 0 25 0 1 0 898776751 22798336 4886 4294967295 134512640 134716908 3221224576 3221223216 134651168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5566 4886 1111 63 0 5503 0 vsize: 22264 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 364309 0 0 0 53031 986 0 0 25 0 1 0 898776751 23171072 4978 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5657 4978 1111 63 0 5594 0 vsize: 22628 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 374162 0 0 0 54008 1010 0 0 25 0 1 0 898776751 24293376 5155 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5931 5155 1111 63 0 5868 0 vsize: 23724 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 383590 0 0 0 54982 1035 0 0 25 0 1 0 898776751 24477696 5292 4294967295 134512640 134716908 3221224576 3221222472 1077410285 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5976 5292 1111 63 0 5913 0 vsize: 23904 [startup+570.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 387708 0 0 0 55973 1045 0 0 25 0 1 0 898776751 25485312 5531 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6222 5531 1111 63 0 6159 0 vsize: 24888 [startup+580.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 398190 0 0 0 56950 1068 0 0 25 0 1 0 898776751 25661440 5401 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6265 5401 1111 63 0 6202 0 vsize: 25060 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 414678 0 0 0 57909 1110 0 0 25 0 1 0 898776751 26079232 5501 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6367 5501 1111 63 0 6304 0 vsize: 25468 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 430817 0 0 0 58873 1146 0 0 25 0 1 0 898776751 26927104 5702 4294967295 134512640 134716908 3221224576 3221220576 1075965307 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6574 5702 1111 63 0 6511 0 vsize: 26296 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 447440 0 0 0 59832 1188 0 0 25 0 1 0 898776751 26406912 5759 4294967295 134512640 134716908 3221224576 3221222928 1074142890 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6447 5759 1111 63 0 6384 0 vsize: 25788 [startup+620.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 460036 0 0 0 60803 1217 0 0 25 0 1 0 898776751 26759168 5845 4294967295 134512640 134716908 3221224576 3221222224 1075818206 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6533 5845 1111 63 0 6470 0 vsize: 26132 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 468086 0 0 0 61783 1237 0 0 25 0 1 0 898776751 29876224 6515 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7294 6515 1111 63 0 7231 0 vsize: 29176 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 471401 0 0 0 62776 1245 0 0 25 0 1 0 898776751 27906048 6113 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6813 6113 1111 63 0 6750 0 vsize: 27252 [startup+650.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 479991 0 0 0 63757 1264 0 0 25 0 1 0 898776751 27418624 6006 4294967295 134512640 134716908 3221224576 3221222400 1075823521 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6694 6006 1111 63 0 6631 0 vsize: 26776 [startup+660.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 493820 0 0 0 64725 1296 0 0 25 0 1 0 898776751 27418624 6006 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6694 6006 1111 63 0 6631 0 vsize: 26776 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 508565 0 0 0 65688 1334 0 0 25 0 1 0 898776751 27656192 6064 4294967295 134512640 134716908 3221224576 3221222748 1077377137 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6752 6064 1111 63 0 6689 0 vsize: 27008 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 521499 0 0 0 66656 1366 0 0 25 0 1 0 898776751 27910144 6128 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6814 6128 1111 63 0 6751 0 vsize: 27256 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 533229 0 0 0 67628 1394 0 0 25 0 1 0 898776751 28463104 6254 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6949 6254 1111 63 0 6886 0 vsize: 27796 [startup+700.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 544399 0 0 0 68600 1422 0 0 25 0 1 0 898776751 30109696 6441 4294967295 134512640 134716908 3221224576 3221221408 1075115368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7351 6441 1111 63 0 7288 0 vsize: 29404 [startup+710.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 557078 0 0 0 69569 1454 0 0 25 0 1 0 898776751 28831744 6349 4294967295 134512640 134716908 3221224576 3221222400 1075823571 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7039 6349 1111 63 0 6976 0 vsize: 28156 [startup+720.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 571584 0 0 0 70535 1489 0 0 25 0 1 0 898776751 31264768 6744 4294967295 134512640 134716908 3221224576 3221220848 1074961355 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7633 6744 1111 63 0 7570 0 vsize: 30532 [startup+730.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 580937 0 0 0 71514 1510 0 0 25 0 1 0 898776751 29429760 6495 4294967295 134512640 134716908 3221224576 3221222648 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7185 6495 1111 63 0 7122 0 vsize: 28740 [startup+740.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 590894 0 0 0 72491 1533 0 0 25 0 1 0 898776751 29728768 6568 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7258 6568 1111 63 0 7195 0 vsize: 29032 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 600885 0 0 0 73469 1556 0 0 25 0 1 0 898776751 32038912 6917 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7822 6917 1111 63 0 7759 0 vsize: 31288 [startup+760.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 612671 0 0 0 74440 1585 0 0 25 0 1 0 898776751 30072832 6655 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7342 6655 1111 63 0 7279 0 vsize: 29368 [startup+770.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 623642 0 0 0 75413 1612 0 0 25 0 1 0 898776751 31436800 6768 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7675 6768 1111 63 0 7612 0 vsize: 30700 [startup+780.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 637511 0 0 0 76380 1646 0 0 25 0 1 0 898776751 30470144 6752 4294967295 134512640 134716908 3221224576 3221222576 1074918013 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7439 6752 1111 63 0 7376 0 vsize: 29756 [startup+790.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 651012 0 0 0 77350 1676 0 0 25 0 1 0 898776751 31842304 6862 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7774 6862 1111 63 0 7711 0 vsize: 31096 [startup+800.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 665088 0 0 0 78318 1709 0 0 25 0 1 0 898776751 31293440 6945 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7640 6945 1111 63 0 7577 0 vsize: 30560 [startup+810.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 679372 0 0 0 79284 1743 0 0 25 0 1 0 898776751 33705984 7144 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8229 7144 1111 63 0 8166 0 vsize: 32916 [startup+820.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 691632 0 0 0 80255 1772 0 0 25 0 1 0 898776751 31870976 7082 4294967295 134512640 134716908 3221224576 3221223384 134622388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7781 7082 1111 63 0 7718 0 vsize: 31124 [startup+830.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 703927 0 0 0 81225 1803 0 0 25 0 1 0 898776751 33181696 7207 4294967295 134512640 134716908 3221224576 3221221168 1074887676 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8101 7207 1111 63 0 8038 0 vsize: 32404 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 717369 0 0 0 82192 1835 0 0 25 0 1 0 898776751 32243712 7177 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7872 7177 1111 63 0 7809 0 vsize: 31488 [startup+850.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 728821 0 0 0 83164 1864 0 0 25 0 1 0 898776751 32415744 7219 4294967295 134512640 134716908 3221224576 3221222624 1075963599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7914 7219 1111 63 0 7851 0 vsize: 31656 [startup+860.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 744837 0 0 0 84126 1902 0 0 25 0 1 0 898776751 32894976 7336 4294967295 134512640 134716908 3221224576 3221222720 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8031 7336 1111 63 0 7968 0 vsize: 32124 [startup+870.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 759324 0 0 0 85090 1938 0 0 25 0 1 0 898776751 34279424 7386 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8369 7389 1111 63 0 8306 0 vsize: 33476 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 773532 0 0 0 86057 1972 0 0 25 0 1 0 898776751 33243136 7421 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8116 7421 1111 63 0 8053 0 vsize: 32464 [startup+890.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 783776 0 0 0 87034 1995 0 0 25 0 1 0 898776751 33636352 7500 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8212 7500 1111 63 0 8149 0 vsize: 32848 [startup+900.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 794331 0 0 0 88011 2019 0 0 25 0 1 0 898776751 33722368 7538 4294967295 134512640 134716908 3221224576 3221221752 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8233 7538 1111 63 0 8170 0 vsize: 32932 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 808084 0 0 0 88980 2050 0 0 25 0 1 0 898776751 33832960 7560 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8260 7560 1111 63 0 8197 0 vsize: 33040 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 822689 0 0 0 89947 2083 0 0 25 0 1 0 898776751 34074624 7624 4294967295 134512640 134716908 3221224576 3221222408 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8319 7624 1111 63 0 8256 0 vsize: 33276 [startup+930.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 839290 0 0 0 90908 2122 0 0 25 0 1 0 898776751 34377728 7698 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8393 7698 1111 63 0 8330 0 vsize: 33572 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 851906 0 0 0 91879 2152 0 0 25 0 1 0 898776751 34578432 7747 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8442 7747 1111 63 0 8379 0 vsize: 33768 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 859613 0 0 0 92860 2171 0 0 25 0 1 0 898776751 35434496 7941 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8651 7941 1111 63 0 8588 0 vsize: 34604 [startup+960.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 861278 0 0 0 93857 2175 0 0 25 0 1 0 898776751 40656896 8866 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9926 8866 1111 63 0 9863 0 vsize: 39704 [startup+970.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 864270 0 0 0 94849 2183 0 0 25 0 1 0 898776751 39735296 8684 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9701 8684 1111 63 0 9638 0 vsize: 38804 [startup+980.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 865653 0 0 0 95846 2187 0 0 25 0 1 0 898776751 36470784 8196 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8904 8196 1111 63 0 8841 0 vsize: 35616 [startup+990.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 875396 0 0 0 96825 2208 0 0 25 0 1 0 898776751 37515264 7990 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9159 7993 1111 63 0 9096 0 vsize: 36636 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 891994 0 0 0 97786 2247 0 0 25 0 1 0 898776751 35020800 7840 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8550 7840 1111 63 0 8487 0 vsize: 34200 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 906332 0 0 0 98755 2279 0 0 25 0 1 0 898776751 35319808 7898 4294967295 134512640 134716908 3221224576 3221222496 1075802501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8623 7898 1111 63 0 8560 0 vsize: 34492 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 928793 0 0 0 99704 2330 0 0 25 0 1 0 898776751 35508224 7970 4294967295 134512640 134716908 3221224576 3221223180 134536791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8669 7970 1111 63 0 8606 0 vsize: 34676 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 951359 0 0 0 100650 2385 0 0 25 0 1 0 898776751 35917824 8079 4294967295 134512640 134716908 3221224576 3221222720 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8769 8079 1111 63 0 8706 0 vsize: 35076 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 973458 0 0 0 101598 2438 0 0 25 0 1 0 898776751 36495360 8220 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8910 8220 1111 63 0 8847 0 vsize: 35640 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 994780 0 0 0 102549 2486 0 0 25 0 1 0 898776751 36872192 8312 4294967295 134512640 134716908 3221224576 3221223280 134556513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9002 8312 1111 63 0 8939 0 vsize: 36008 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1001875 0 0 0 103534 2502 0 0 25 0 1 0 898776751 38088704 8605 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9299 8605 1111 63 0 9236 0 vsize: 37196 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1002545 0 0 0 104532 2504 0 0 25 0 1 0 898776751 39854080 9030 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9730 9030 1111 63 0 9667 0 vsize: 38920 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1007436 0 0 0 105522 2515 0 0 25 0 1 0 898776751 37437440 8448 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9140 8448 1111 63 0 9077 0 vsize: 36560 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1024675 0 0 0 106481 2556 0 0 25 0 1 0 898776751 40128512 8634 4294967295 134512640 134716908 3221224576 3221220512 1075965260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9797 8634 1111 63 0 9734 0 vsize: 39188 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1045546 0 0 0 107433 2605 0 0 25 0 1 0 898776751 40484864 8729 4294967295 134512640 134716908 3221224576 3221220944 1075894503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9884 8729 1111 63 0 9821 0 vsize: 39536 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1064034 0 0 0 108390 2648 0 0 25 0 1 0 898776751 38023168 8576 4294967295 134512640 134716908 3221224576 3221222304 1075828765 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9283 8576 1111 63 0 9220 0 vsize: 37132 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1083712 0 0 0 109344 2695 0 0 25 0 1 0 898776751 38060032 8591 4294967295 134512640 134716908 3221224576 3221222576 1074918490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9292 8591 1111 63 0 9229 0 vsize: 37168 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1106073 0 0 0 110292 2747 0 0 25 0 1 0 898776751 38354944 8674 4294967295 134512640 134716908 3221224576 3221223280 134654843 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9364 8674 1111 63 0 9301 0 vsize: 37456 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1124709 0 0 0 111248 2791 0 0 25 0 1 0 898776751 40947712 8678 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9997 8679 1111 63 0 9934 0 vsize: 39988 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1144157 0 0 0 112202 2837 0 0 25 0 1 0 898776751 38989824 8807 4294967295 134512640 134716908 3221224576 3221222224 1075818335 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9519 8807 1111 63 0 9456 0 vsize: 38076 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1165423 0 0 0 113152 2888 0 0 25 0 1 0 898776751 39366656 8902 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9611 8902 1111 63 0 9548 0 vsize: 38444 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1184652 0 0 0 114105 2935 0 0 25 0 1 0 898776751 42102784 9103 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9803 8939 1111 63 0 9740 0 vsize: 41116 [startup+1174.74 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 25326 Raw data (stat): 25326 (bsolo_lpr-v2) R 25325 25568 25567 0 -1 0 1184652 0 0 0 114105 2935 0 0 25 0 1 0 898776751 42102784 9103 4294967295 134512640 134716908 3221224576 3221221520 1074620107 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9803 8939 1111 63 0 9740 0 vsize: 0 Child status: 10 Real time (s): 1174.74 CPU time (s): 1175.1 CPU user time (s): 1145.48 CPU system time (s): 29.6225 CPU usage (%): 100.031 Max. virtual memory (Kb): 41116 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####