| Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50b.opb |
| MD5SUM | 36d973d6ac0a73f611c4998ee3e157d3 |
| 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 | 5767168 |
| Number of bits of the biggest number in a constraint | 23 |
| 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 | 2.84657 |
| Number of variables | 960 |
| Total number of constraints | 48 |
| 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 | 48 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 11:37:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29460 boxname=wulflinc2 idbench=1244 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 36d973d6ac0a73f611c4998ee3e157d3 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sc50b.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sc50b.opb IDLAUNCH: 29460 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 859400 kB Buffers: 10440 kB Cached: 144212 kB SwapCached: 1476 kB Active: 26468 kB Inactive: 130292 kB HighTotal: 131008 kB HighFree: 17780 kB LowTotal: 903652 kB LowFree: 841620 kB SwapTotal: 2097136 kB SwapFree: 2094616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4960 kB Slab: 12672 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:57:27 (client local time) WITH STATUS 10 IN 1176.28 SECONDS stats: 29460 0 1176.28 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 960 variables and 68 constraints. c After prepocess the problem consists of 729 variables and 102 constraints. c preprocess terminated 0.36 s c Initial Lower Bound: -8960 c Lower Bound Elapsed time: 0.098 c Use computed LB before first solution. c NEW SOLUTION FOUND: 0 @ 3.177 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: 1176.27 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.92 0.95 0.90 2/54 27515 Raw data (stat): 27515 (runsolver) R 27514 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909976692 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0011 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 5512 0 1 0 975 19 0 0 25 0 1 0 909976692 9777152 1697 4294967295 134512640 134716908 3221224560 3221222288 1075635961 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2387 1697 1111 63 0 2324 0 vsize: 9548 [startup+20.0016 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 10715 0 1 0 1954 39 0 0 25 0 1 0 909976692 10121216 1782 4294967295 134512640 134716908 3221224560 3221222384 1075823506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2471 1782 1111 63 0 2408 0 vsize: 9884 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 12913 0 1 0 2943 50 0 0 25 0 1 0 909976692 10383360 1846 4294967295 134512640 134716908 3221224560 3221222520 1074138309 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2535 1846 1111 63 0 2472 0 vsize: 10140 [startup+40.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 15759 0 1 0 3932 61 0 0 25 0 1 0 909976692 10743808 1935 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2623 1935 1111 63 0 2560 0 vsize: 10492 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 19091 0 1 0 4920 74 0 0 25 0 1 0 909976692 11280384 2036 4294967295 134512640 134716908 3221224560 3221222512 1074916773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2754 2036 1111 63 0 2691 0 vsize: 11016 [startup+60.0011 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 22871 0 1 0 5908 85 0 0 25 0 1 0 909976692 11390976 2093 4294967295 134512640 134716908 3221224560 3221221664 1074138626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2781 2093 1111 63 0 2718 0 vsize: 11124 [startup+70.0011 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 27037 0 1 0 6896 98 0 0 25 0 1 0 909976692 11534336 2124 4294967295 134512640 134716908 3221224560 3221222512 1074918546 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2816 2124 1111 63 0 2753 0 vsize: 11264 [startup+80.0018 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 31394 0 1 0 7882 112 0 0 25 0 1 0 909976692 11624448 2151 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2838 2151 1111 63 0 2775 0 vsize: 11352 [startup+90.0012 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 35552 0 1 0 8871 123 0 0 25 0 1 0 909976692 11796480 2193 4294967295 134512640 134716908 3221224560 3221222416 1077404827 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2880 2193 1111 63 0 2817 0 vsize: 11520 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 39421 0 1 0 9861 134 0 0 25 0 1 0 909976692 11857920 2189 4294967295 134512640 134716908 3221224560 3221222560 1074918257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2895 2189 1111 63 0 2832 0 vsize: 11580 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 43520 0 1 0 10850 144 0 0 25 0 1 0 909976692 11767808 2186 4294967295 134512640 134716908 3221224560 3221222528 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 2186 1111 63 0 2810 0 vsize: 11492 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 47373 0 1 0 11840 155 0 0 25 0 1 0 909976692 11767808 2186 4294967295 134512640 134716908 3221224560 3221222360 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 2186 1111 63 0 2810 0 vsize: 11492 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 51793 0 1 0 12830 166 0 0 25 0 1 0 909976692 11833344 2187 4294967295 134512640 134716908 3221224560 3221222560 1074916750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2889 2187 1111 63 0 2826 0 vsize: 11556 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 56234 0 1 0 13817 178 0 0 25 0 1 0 909976692 12423168 2291 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3033 2291 1111 63 0 2970 0 vsize: 12132 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 61021 0 1 0 14804 192 0 0 25 0 1 0 909976692 12001280 2243 4294967295 134512640 134716908 3221224560 3221223280 134622777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2930 2243 1111 63 0 2867 0 vsize: 11720 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 66242 0 1 0 15790 206 0 0 25 0 1 0 909976692 12759040 2348 4294967295 134512640 134716908 3221224560 3221221160 1075850662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3115 2348 1111 63 0 3052 0 vsize: 12460 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 70712 0 1 0 16780 216 0 0 25 0 1 0 909976692 12005376 2244 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2931 2244 1111 63 0 2868 0 vsize: 11724 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 75105 0 1 0 17769 227 0 0 25 0 1 0 909976692 12034048 2245 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2938 2245 1111 63 0 2875 0 vsize: 11752 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 80305 0 1 0 18756 240 0 0 25 0 1 0 909976692 12087296 2264 4294967295 134512640 134716908 3221224560 3221222776 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2951 2264 1111 63 0 2888 0 vsize: 11804 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 85465 0 1 0 19742 255 0 0 25 0 1 0 909976692 12242944 2302 4294967295 134512640 134716908 3221224560 3221222560 1073986737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2989 2302 1111 63 0 2926 0 vsize: 11956 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 90479 0 1 0 20729 268 0 0 25 0 1 0 909976692 12640256 2321 4294967295 134512640 134716908 3221224560 3221221504 1074620306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3086 2321 1111 63 0 3023 0 vsize: 12344 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 95643 0 1 0 21715 282 0 0 25 0 1 0 909976692 12365824 2317 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3019 2317 1111 63 0 2956 0 vsize: 12076 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 100618 0 1 0 22699 298 0 0 25 0 1 0 909976692 12279808 2308 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2998 2308 1111 63 0 2935 0 vsize: 11992 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 105384 0 1 0 23686 311 0 0 25 0 1 0 909976692 12328960 2317 4294967295 134512640 134716908 3221224560 3221222560 1074918266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3010 2317 1111 63 0 2947 0 vsize: 12040 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 110023 0 1 0 24673 324 0 0 25 0 1 0 909976692 12611584 2312 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3079 2312 1111 63 0 3016 0 vsize: 12316 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 114528 0 1 0 25662 336 0 0 25 0 1 0 909976692 12357632 2330 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3017 2330 1111 63 0 2954 0 vsize: 12068 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 119227 0 1 0 26647 351 0 0 25 0 1 0 909976692 12210176 2294 4294967295 134512640 134716908 3221224560 3221222768 134652836 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2981 2294 1111 63 0 2918 0 vsize: 11924 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 123913 0 1 0 27633 365 0 0 25 0 1 0 909976692 12316672 2306 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3007 2306 1111 63 0 2944 0 vsize: 12028 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 128339 0 1 0 28621 377 0 0 25 0 1 0 909976692 12333056 2307 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3011 2307 1111 63 0 2948 0 vsize: 12044 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 133103 0 1 0 29608 390 0 0 25 0 1 0 909976692 12242944 2302 4294967295 134512640 134716908 3221224560 3221222848 1074249347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2989 2302 1111 63 0 2926 0 vsize: 11956 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 137557 0 1 0 30596 402 0 0 25 0 1 0 909976692 12705792 2349 4294967295 134512640 134716908 3221224560 3221220556 1074860998 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3102 2349 1111 63 0 3039 0 vsize: 12408 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 142424 0 1 0 31583 415 0 0 25 0 1 0 909976692 12369920 2295 4294967295 134512640 134716908 3221224560 3221222480 1075799758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3020 2295 1111 63 0 2957 0 vsize: 12080 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 147247 0 1 0 32569 429 0 0 25 0 1 0 909976692 12406784 2336 4294967295 134512640 134716908 3221224560 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3029 2336 1111 63 0 2966 0 vsize: 12116 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 152100 0 1 0 33555 444 0 0 25 0 1 0 909976692 12713984 2353 4294967295 134512640 134716908 3221224560 3221220984 1075110766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3104 2353 1111 63 0 3041 0 vsize: 12416 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 156699 0 1 0 34541 458 0 0 25 0 1 0 909976692 12705792 2336 4294967295 134512640 134716908 3221224560 3221221576 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3102 2336 1111 63 0 3039 0 vsize: 12408 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 162278 0 1 0 35526 474 0 0 25 0 1 0 909976692 12738560 2375 4294967295 134512640 134716908 3221224560 3221221632 1074834227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3110 2375 1111 63 0 3047 0 vsize: 12440 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 166692 0 1 0 36513 486 0 0 25 0 1 0 909976692 12443648 2351 4294967295 134512640 134716908 3221224560 3221222512 1074918562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3038 2351 1111 63 0 2975 0 vsize: 12152 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 170962 0 1 0 37500 500 0 0 25 0 1 0 909976692 12484608 2361 4294967295 134512640 134716908 3221224560 3221222908 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3048 2361 1111 63 0 2985 0 vsize: 12192 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 175570 0 1 0 38486 514 0 0 25 0 1 0 909976692 12804096 2370 4294967295 134512640 134716908 3221224560 3221221552 1075860483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3126 2370 1111 63 0 3063 0 vsize: 12504 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 179949 0 1 0 39473 527 0 0 25 0 1 0 909976692 12484608 2361 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3048 2361 1111 63 0 2985 0 vsize: 12192 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 184899 0 1 0 40458 542 0 0 25 0 1 0 909976692 12742656 2419 4294967295 134512640 134716908 3221224560 3221222512 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3111 2419 1111 63 0 3048 0 vsize: 12444 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 188794 0 1 0 41445 555 0 0 25 0 1 0 909976692 12693504 2412 4294967295 134512640 134716908 3221224560 3221222504 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3099 2412 1111 63 0 3036 0 vsize: 12396 [startup+430.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 192520 0 1 0 42434 566 0 0 25 0 1 0 909976692 13172736 2446 4294967295 134512640 134716908 3221224560 3221221216 1075966546 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3216 2446 1111 63 0 3153 0 vsize: 12864 [startup+440.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 196027 0 1 0 43424 576 0 0 25 0 1 0 909976692 12693504 2412 4294967295 134512640 134716908 3221224560 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3099 2412 1111 63 0 3036 0 vsize: 12396 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 199787 0 1 0 44412 589 0 0 25 0 1 0 909976692 13053952 2431 4294967295 134512640 134716908 3221224560 3221220704 1074970413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3187 2431 1111 63 0 3124 0 vsize: 12748 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 204600 0 1 0 45397 604 0 0 25 0 1 0 909976692 12783616 2432 4294967295 134512640 134716908 3221224560 3221222960 1074118820 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3121 2432 1111 63 0 3058 0 vsize: 12484 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 208906 0 1 0 46386 616 0 0 25 0 1 0 909976692 13148160 2454 4294967295 134512640 134716908 3221224560 3221220916 1075522646 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3210 2454 1111 63 0 3147 0 vsize: 12840 [startup+480.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 213542 0 1 0 47372 630 0 0 25 0 1 0 909976692 12783616 2435 4294967295 134512640 134716908 3221224560 3221222520 1074138256 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3121 2435 1111 63 0 3058 0 vsize: 12484 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 217170 0 1 0 48360 641 0 0 25 0 1 0 909976692 13148160 2456 4294967295 134512640 134716908 3221224560 3221220800 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3210 2456 1111 63 0 3147 0 vsize: 12840 [startup+500.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 220904 0 1 0 49350 652 0 0 25 0 1 0 909976692 12865536 2440 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3141 2440 1111 63 0 3078 0 vsize: 12564 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 224409 0 1 0 50339 663 0 0 25 0 1 0 909976692 12832768 2447 4294967295 134512640 134716908 3221224560 3221222632 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3133 2447 1111 63 0 3070 0 vsize: 12532 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 227789 0 1 0 51329 674 0 0 25 0 1 0 909976692 12845056 2450 4294967295 134512640 134716908 3221224560 3221222560 1074916661 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3136 2450 1111 63 0 3073 0 vsize: 12544 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 231647 0 1 0 52317 685 0 0 25 0 1 0 909976692 13467648 2531 4294967295 134512640 134716908 3221224560 3221220688 1074882592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3288 2531 1111 63 0 3225 0 vsize: 13152 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 236494 0 1 0 53303 700 0 0 25 0 1 0 909976692 12808192 2441 4294967295 134512640 134716908 3221224560 3221222552 1074138130 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 2441 1111 63 0 3064 0 vsize: 12508 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 242009 0 1 0 54288 715 0 0 25 0 1 0 909976692 12849152 2449 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3137 2449 1111 63 0 3074 0 vsize: 12548 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 248058 0 1 0 55270 733 0 0 25 0 1 0 909976692 12922880 2466 4294967295 134512640 134716908 3221224560 3221222560 1074208136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3155 2466 1111 63 0 3092 0 vsize: 12620 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 253822 0 1 0 56253 750 0 0 25 0 1 0 909976692 12857344 2453 4294967295 134512640 134716908 3221224560 3221222624 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3139 2453 1111 63 0 3076 0 vsize: 12556 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 259654 0 1 0 57235 769 0 0 25 0 1 0 909976692 13037568 2497 4294967295 134512640 134716908 3221224560 3221222688 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3183 2497 1111 63 0 3120 0 vsize: 12732 [startup+590.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 265197 0 1 0 58220 784 0 0 25 0 1 0 909976692 13164544 2528 4294967295 134512640 134716908 3221224560 3221222288 1075828615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3214 2528 1111 63 0 3151 0 vsize: 12856 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 271052 0 1 0 59203 801 0 0 25 0 1 0 909976692 13410304 2583 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2583 1111 63 0 3211 0 vsize: 13096 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 277370 0 1 0 60184 821 0 0 25 0 1 0 909976692 13971456 2669 4294967295 134512640 134716908 3221224560 3221221600 1075971273 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3411 2669 1111 63 0 3348 0 vsize: 13644 [startup+620.009 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 284129 0 1 0 61165 839 0 0 25 0 1 0 909976692 13897728 2707 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3393 2707 1111 63 0 3330 0 vsize: 13572 [startup+630.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 289593 0 1 0 62148 856 0 0 25 0 1 0 909976692 14131200 2764 4294967295 134512640 134716908 3221224560 3221221404 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3539 2769 1111 63 0 3476 0 vsize: 13800 [startup+640.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 292546 0 1 0 63140 865 0 0 25 0 1 0 909976692 14368768 2822 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3508 2822 1111 63 0 3445 0 vsize: 14032 [startup+650.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 296044 0 1 0 64128 877 0 0 25 0 1 0 909976692 14553088 2867 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3553 2867 1111 63 0 3490 0 vsize: 14212 [startup+660.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 299191 0 1 0 65118 888 0 0 25 0 1 0 909976692 14495744 2853 4294967295 134512640 134716908 3221224560 3221222928 134652872 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3539 2853 1111 63 0 3476 0 vsize: 14156 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 304287 0 1 0 66103 903 0 0 25 0 1 0 909976692 14512128 2857 4294967295 134512640 134716908 3221224560 3221221904 1074839088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3543 2857 1111 63 0 3480 0 vsize: 14172 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 309497 0 1 0 67089 917 0 0 25 0 1 0 909976692 15269888 3009 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3728 3009 1111 63 0 3665 0 vsize: 14912 [startup+690.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 314577 0 1 0 68076 929 0 0 25 0 1 0 909976692 14684160 2899 4294967295 134512640 134716908 3221224560 3221222560 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3585 2899 1111 63 0 3522 0 vsize: 14340 [startup+700.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 322414 0 1 0 69057 949 0 0 25 0 1 0 909976692 14675968 2888 4294967295 134512640 134716908 3221224560 3221223008 1073990361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3583 2888 1111 63 0 3520 0 vsize: 14332 [startup+710.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 331558 0 1 0 70032 975 0 0 25 0 1 0 909976692 14835712 2933 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3622 2933 1111 63 0 3559 0 vsize: 14488 [startup+720.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 339820 0 1 0 71008 999 0 0 25 0 1 0 909976692 15106048 3002 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3688 3002 1111 63 0 3625 0 vsize: 14752 [startup+730.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 345943 0 1 0 71991 1016 0 0 25 0 1 0 909976692 15089664 2995 4294967295 134512640 134716908 3221224560 3221222984 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3684 2995 1111 63 0 3621 0 vsize: 14736 [startup+740.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 351791 0 1 0 72976 1031 0 0 25 0 1 0 909976692 15556608 3112 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3798 3112 1111 63 0 3735 0 vsize: 15192 [startup+750.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 356494 0 1 0 73965 1042 0 0 25 0 1 0 909976692 15544320 3109 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3795 3109 1111 63 0 3732 0 vsize: 15180 [startup+760.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 362166 0 1 0 74950 1057 0 0 25 0 1 0 909976692 15642624 3139 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3819 3139 1111 63 0 3756 0 vsize: 15276 [startup+770.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 364927 0 1 0 75942 1065 0 0 25 0 1 0 909976692 15802368 3126 4294967295 134512640 134716908 3221224560 3221221104 1075088560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3858 3126 1111 63 0 3795 0 vsize: 15432 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 367748 0 1 0 76933 1075 0 0 25 0 1 0 909976692 15609856 3131 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 3131 1111 63 0 3748 0 vsize: 15244 [startup+790.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 372851 0 1 0 77919 1089 0 0 25 0 1 0 909976692 16207872 3178 4294967295 134512640 134716908 3221224560 3221221632 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3957 3178 1111 63 0 3894 0 vsize: 15828 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 377011 0 1 0 78908 1100 0 0 25 0 1 0 909976692 15892480 3200 4294967295 134512640 134716908 3221224560 3221221664 1074139086 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3880 3200 1111 63 0 3817 0 vsize: 15520 [startup+810.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 381992 0 1 0 79895 1113 0 0 25 0 1 0 909976692 16437248 3289 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4013 3289 1111 63 0 3950 0 vsize: 16052 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 386476 0 1 0 80883 1125 0 0 25 0 1 0 909976692 15921152 3207 4294967295 134512640 134716908 3221224560 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3887 3207 1111 63 0 3824 0 vsize: 15548 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 390821 0 1 0 81872 1136 0 0 25 0 1 0 909976692 15929344 3209 4294967295 134512640 134716908 3221224560 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3889 3209 1111 63 0 3826 0 vsize: 15556 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 395524 0 1 0 82862 1146 0 0 25 0 1 0 909976692 16248832 3222 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3967 3230 1111 63 0 3904 0 vsize: 15868 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 400668 0 1 0 83849 1160 0 0 25 0 1 0 909976692 16125952 3257 4294967295 134512640 134716908 3221224560 3221222560 1074916773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3937 3257 1111 63 0 3874 0 vsize: 15748 [startup+860.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 405521 0 1 0 84835 1174 0 0 25 0 1 0 909976692 16257024 3289 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3969 3289 1111 63 0 3906 0 vsize: 15876 [startup+870.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 410905 0 1 0 85822 1187 0 0 25 0 1 0 909976692 16179200 3270 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3950 3270 1111 63 0 3887 0 vsize: 15800 [startup+880.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 415931 0 1 0 86811 1199 0 0 25 0 1 0 909976692 16769024 3372 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4051 3371 1111 63 0 3988 0 vsize: 16376 [startup+890.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 420893 0 1 0 87796 1214 0 0 25 0 1 0 909976692 16277504 3294 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3974 3294 1111 63 0 3911 0 vsize: 15896 [startup+900.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 426107 0 1 0 88782 1228 0 0 25 0 1 0 909976692 16920576 3379 4294967295 134512640 134716908 3221224560 3221220688 1075561201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4131 3379 1111 63 0 4068 0 vsize: 16524 [startup+910.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 431736 0 1 0 89768 1242 0 0 25 0 1 0 909976692 17453056 3481 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4261 3481 1111 63 0 4198 0 vsize: 17044 [startup+920.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 436926 0 1 0 90754 1256 0 0 25 0 1 0 909976692 16949248 3458 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4138 3458 1111 63 0 4075 0 vsize: 16552 [startup+930.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 442004 0 1 0 91741 1269 0 0 25 0 1 0 909976692 17092608 3487 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4173 3487 1111 63 0 4110 0 vsize: 16692 [startup+940.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 447326 0 1 0 92726 1284 0 0 25 0 1 0 909976692 17006592 3469 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4152 3469 1111 63 0 4089 0 vsize: 16608 [startup+950.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 452373 0 1 0 93711 1299 0 0 25 0 1 0 909976692 17092608 3484 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4173 3484 1111 63 0 4110 0 vsize: 16692 [startup+960.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 457950 0 1 0 94697 1314 0 0 25 0 1 0 909976692 17539072 3602 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 3602 1111 63 0 4219 0 vsize: 17128 [startup+970.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 462244 0 1 0 95686 1325 0 0 25 0 1 0 909976692 17645568 3628 4294967295 134512640 134716908 3221224560 3221223228 134535900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4308 3628 1111 63 0 4245 0 vsize: 17232 [startup+980.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 467222 0 1 0 96674 1337 0 0 25 0 1 0 909976692 17432576 3576 4294967295 134512640 134716908 3221224560 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4256 3576 1111 63 0 4193 0 vsize: 17024 [startup+990.011 s] Raw data (loadavg): 1.15 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 472880 0 1 0 97657 1354 0 0 25 0 1 0 909976692 17534976 3601 4294967295 134512640 134716908 3221224560 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4281 3601 1111 63 0 4218 0 vsize: 17124 [startup+1000.01 s] Raw data (loadavg): 1.12 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 478702 0 1 0 98639 1373 0 0 25 0 1 0 909976692 17494016 3591 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4271 3591 1111 63 0 4208 0 vsize: 17084 [startup+1010.01 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 485356 0 1 0 99623 1389 0 0 25 0 1 0 909976692 18259968 3688 4294967295 134512640 134716908 3221224560 3221220528 1074872764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4458 3688 1111 63 0 4395 0 vsize: 17832 [startup+1020.01 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 491028 0 1 0 100609 1403 0 0 25 0 1 0 909976692 17854464 3680 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4359 3680 1111 63 0 4296 0 vsize: 17436 [startup+1030.01 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 497291 0 1 0 101592 1420 0 0 25 0 1 0 909976692 17956864 3702 4294967295 134512640 134716908 3221224560 3221223136 134535402 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4384 3702 1111 63 0 4321 0 vsize: 17536 [startup+1040.01 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 503216 0 1 0 102576 1437 0 0 25 0 1 0 909976692 18161664 3755 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4434 3755 1111 63 0 4371 0 vsize: 17736 [startup+1050.01 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 509241 0 1 0 103560 1453 0 0 25 0 1 0 909976692 18661376 3782 4294967295 134512640 134716908 3221224560 3221220976 1074791427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4556 3782 1111 63 0 4493 0 vsize: 18224 [startup+1060.01 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 515647 0 1 0 104542 1471 0 0 25 0 1 0 909976692 18194432 3763 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4442 3763 1111 63 0 4379 0 vsize: 17768 [startup+1070.01 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 522364 0 1 0 105524 1489 0 0 25 0 1 0 909976692 18255872 3778 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4457 3778 1111 63 0 4394 0 vsize: 17828 [startup+1080.01 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 528713 0 1 0 106508 1505 0 0 25 0 1 0 909976692 19058688 3878 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4653 3878 1111 63 0 4590 0 vsize: 18612 [startup+1090.02 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 533837 0 1 0 107494 1519 0 0 25 0 1 0 909976692 18530304 3845 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4524 3845 1111 63 0 4461 0 vsize: 18096 [startup+1100.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 539358 0 1 0 108479 1535 0 0 25 0 1 0 909976692 19599360 4018 4294967295 134512640 134716908 3221224560 3221220716 1074788944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4785 4018 1111 63 0 4722 0 vsize: 19140 [startup+1110.01 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 544887 0 1 0 109468 1546 0 0 25 0 1 0 909976692 18677760 3879 4294967295 134512640 134716908 3221224560 3221222560 1074917106 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4560 3879 1111 63 0 4497 0 vsize: 18240 [startup+1120.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 551162 0 1 0 110450 1564 0 0 25 0 1 0 909976692 18763776 3902 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4581 3902 1111 63 0 4518 0 vsize: 18324 [startup+1130.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 557901 0 1 0 111435 1579 0 0 25 0 1 0 909976692 19509248 3962 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4763 3974 1111 63 0 4700 0 vsize: 19052 [startup+1140.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 564051 0 1 0 112417 1597 0 0 25 0 1 0 909976692 19005440 3961 4294967295 134512640 134716908 3221224560 3221222768 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4640 3961 1111 63 0 4577 0 vsize: 18560 [startup+1150.01 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 570185 0 1 0 113403 1612 0 0 25 0 1 0 909976692 19152896 3994 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4676 3994 1111 63 0 4613 0 vsize: 18704 [startup+1160.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 576042 0 1 0 114388 1627 0 0 25 0 1 0 909976692 19202048 4009 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4688 4009 1111 63 0 4625 0 vsize: 18752 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 580227 0 1 0 115377 1638 0 0 25 0 1 0 909976692 20975616 4420 4294967295 134512640 134716908 3221224560 3221222512 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5121 4420 1111 63 0 5058 0 vsize: 20484 [startup+1176.14 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 27515 Raw data (stat): 27515 (bsolo_lpr_cuts-) R 27514 31399 31398 0 -1 0 580227 0 1 0 115377 1638 0 0 25 0 1 0 909976692 20975616 4420 4294967295 134512640 134716908 3221224560 3221222512 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5121 4420 1111 63 0 5058 0 vsize: 0 Child status: 10 Real time (s): 1176.14 CPU time (s): 1176.28 CPU user time (s): 1159.81 CPU system time (s): 16.4685 CPU usage (%): 100.012 Max. virtual memory (Kb): 20484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####