Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb |
MD5SUM | 4f7891bf040f9fa135208e1a9808a8bc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1430464 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 81788220 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.00309 |
Number of variables | 1320 |
Total number of constraints | 374 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 82 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 301 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-24 22:02:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16979 boxname=wulflinc4 idbench=1307 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4f7891bf040f9fa135208e1a9808a8bc /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb IDLAUNCH: 16979 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 824540 kB Buffers: 34532 kB Cached: 155500 kB SwapCached: 504 kB Active: 59124 kB Inactive: 133416 kB HighTotal: 131008 kB HighFree: 420 kB LowTotal: 903652 kB LowFree: 824120 kB SwapTotal: 2097136 kB SwapFree: 2096156 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5944 kB Slab: 12120 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 22:21:54 (client local time) WITH STATUS 10 IN 1175.68 SECONDS stats: 16979 0 1175.68 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1320 variables and 329 constraints. c After prepocess the problem consists of 963 variables and 4456 constraints. c preprocess terminated 61.703 s c Initial Lower Bound: 1423604 c Lower Bound Elapsed time: 5.604 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1453312 @ 90.745 c NEW SOLUTION FOUND: 1446592 @ 100.685 c NEW SOLUTION FOUND: 1445824 @ 179.102 s SATISFIABLE v -COL133_bit_7 -COL133_bit_6 -COL133_bit_5 -COL133_bit_4 -COL133_bit_3 -COL133_bit_2 COL133_bit_1 COL133_bit0 COL133_bit1 COL133_bit2 COL133_bit3 COL133_bit4 -COL133_bit5 -COL133_bit6 -COL133_bit7 -COL133_bit8 -COL133_bit9 COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL134_bit_7 -COL134_bit_6 -COL134_bit_5 -COL134_bit_4 -COL134_bit_3 -COL134_bit_2 -COL134_bit_1 COL134_bit0 COL134_bit1 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL135_bit_7 -COL135_bit_6 -COL135_bit_5 -COL135_bit_4 -COL135_bit_3 -COL135_bit_2 -COL135_bit_1 COL135_bit0 -COL135_bit1 COL135_bit2 -COL135_bit3 -COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL136_bit_7 -COL136_bit_6 -COL136_bit_5 -COL136_bit_4 -COL136_bit_3 -COL136_bit_2 COL136_bit_1 COL136_bit0 -COL136_bit1 COL136_bit2 -COL136_bit3 COL136_bit4 COL136_bit5 COL136_bit6 COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 COL129_bit0 COL130_bit0 -COL115_bit_7 -COL115_bit_6 -COL115_bit_5 -COL115_bit_4 -COL115_bit_3 -COL115_bit_2 -COL115_bit_1 -COL115_bit0 -COL115_bit1 COL115_bit2 COL115_bit3 -COL115_bit4 COL115_bit5 -COL115_bit6 -COL115_bit7 COL115_bit8 -COL115_bit9 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL116_bit_7 -COL116_bit_6 -COL116_bit_5 -COL116_bit_4 -COL116_bit_3 -COL116_bit_2 -COL116_bit_1 -COL116_bit0 -COL116_bit1 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL117_bit_7 -COL117_bit_6 -COL117_bit_5 -COL117_bit_4 -COL117_bit_3 -COL117_bit_2 -COL117_bit_1 -COL117_bit0 -COL117_bit1 -COL117_bit2 -COL117_bit3 -COL117_bit4 -COL117_bit5 -COL117_bit6 -COL117_bit7 -COL117_bit8 -COL117_bit9 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL118_bit_7 -COL118_bit_6 -COL118_bit_5 -COL118_bit_4 -COL118_bit_3 -COL118_bit_2 -COL118_bit_1 -COL118_bit0 COL118_bit1 -COL118_bit2 COL118_bit3 -COL118_bit4 COL118_bit5 COL118_bit6 COL118_bit7 COL118_bit8 -COL118_bit9 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL119_bit_7 -COL119_bit_6 -COL119_bit_5 -COL119_bit_4 -COL119_bit_3 -COL119_bit_2 -COL119_bit_1 -COL119_bit0 -COL119_bit1 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL120_bit_7 -COL120_bit_6 -COL120_bit_5 -COL120_bit_4 -COL120_bit_3 -COL120_bit_2 -COL120_bit_1 -COL120_bit0 -COL120_bit1 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL121_bit_7 -COL121_bit_6 -COL121_bit_5 -COL121_bit_4 -COL121_bit_3 -COL121_bit_2 -COL121_bit_1 -COL121_bit0 -COL121_bit1 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL122_bit_7 -COL122_bit_6 -COL122_bit_5 -COL122_bit_4 -COL122_bit_3 -COL122_bit_2 -COL122_bit_1 -COL122_bit0 -COL122_bit1 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL123_bit_7 -COL123_bit_6 -COL123_bit_5 -COL123_bit_4 -COL123_bit_3 -COL123_bit_2 -COL123_bit_1 -COL123_bit0 -COL123_bit1 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL124_bit_7 -COL124_bit_6 -COL124_bit_5 -COL124_bit_4 -COL124_bit_3 -COL124_bit_2 -COL124_bit_1 -COL124_bit0 -COL124_bit1 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL125_bit_7 -COL125_bit_6 -COL125_bit_5 -COL125_bit_4 -COL125_bit_3 -COL125_bit_2 -COL125_bit_1 -COL125_bit0 -COL125_bit1 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL126_bit_7 -COL126_bit_6 -COL126_bit_5 -COL126_bit_4 -COL126_bit_3 -COL126_bit_2 -COL126_bit_1 -COL126_bit0 -COL126_bit1 COL126_bit2 COL126_bit3 COL126_bit4 COL126_bit5 -COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL127_bit_7 -COL127_bit_6 -COL127_bit_5 -COL127_bit_4 -COL127_bit_3 -COL127_bit_2 -COL127_bit_1 -COL127_bit0 COL127_bit1 -COL127_bit2 -COL127_bit3 COL127_bit4 -COL127_bit5 COL127_bit6 COL127_bit7 -COL127_bit8 -COL127_bit9 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL128_bit_7 -COL128_bit_6 -COL128_bit_5 -COL128_bit_4 -COL128_bit_3 -COL128_bit_2 -COL128_bit_1 -COL128_bit0 -COL128_bit1 -COL128_bit2 -COL128_bit3 -COL128_bit4 -COL128_bit5 -COL128_bit6 -COL128_bit7 -COL128_bit8 -COL128_bit9 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 COL007_bit0 -COL008_bit0 -COL009_bit0 COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL024_bit0 -COL025_bit0 COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 COL057_bit0 -COL058_bit0 COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 COL069_bit0 COL070_bit0 -COL072_bit0 COL023_bit0 COL056_bit0 -COL059_bit0 -COL071_bit0 -COL073_bit_7 -COL073_bit_6 -COL073_bit_5 -COL073_bit_4 -COL073_bit_3 -COL073_bit_2 -COL073_bit_1 -COL073_bit0 -COL073_bit1 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL074_bit_7 -COL074_bit_6 -COL074_bit_5 -COL074_bit_4 -COL074_bit_3 -COL074_bit_2 -COL074_bit_1 -COL074_bit0 -COL074_bit1 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL075_bit_7 -COL075_bit_6 -COL075_bit_5 -COL075_bit_4 -COL075_bit_3 -COL075_bit_2 -COL075_bit_1 -COL075_bit0 -COL075_bit1 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL076_bit_7 -COL076_bit_6 -COL076_bit_5 -COL076_bit_4 -COL076_bit_3 -COL076_bit_2 -COL076_bit_1 -COL076_bit0 -COL076_bit1 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL077_bit_7 -COL077_bit_6 -COL077_bit_5 -COL077_bit_4 -COL077_bit_3 -COL077_bit_2 -COL077_bit_1 -COL077_bit0 -COL077_bit1 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL078_bit_7 -COL078_bit_6 -COL078_bit_5 -COL078_bit_4 -COL078_bit_3 -COL078_bit_2 -COL078_bit_1 -COL078_bit0 -COL078_bit1 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL079_bit_7 -COL079_bit_6 -COL079_bit_5 -COL079_bit_4 -COL079_bit_3 -COL079_bit_2 -COL079_bit_1 -COL079_bit0 -COL079_bit1 -COL079_bit2 -COL079_bit3 -COL079_bit4 -COL079_bit5 -COL079_bit6 -COL079_bit7 -COL079_bit8 -COL079_bit9 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL085_bit_7 -COL085_bit_6 -COL085_bit_5 -COL085_bit_4 -COL085_bit_3 -COL085_bit_2 -COL085_bit_1 -COL085_bit0 -COL085_bit1 -COL085_bit2 -COL085_bit3 -COL085_bit4 -COL085_bit5 -COL085_bit6 -COL085_bit7 -COL085_bit8 -COL085_bit9 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL091_bit_7 -COL091_bit_6 -COL091_bit_5 -COL091_bit_4 -COL091_bit_3 -COL091_bit_2 -COL091_bit_1 -COL091_bit0 -COL091_bit1 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL097_bit_7 -COL097_bit_6 -COL097_bit_5 -COL097_bit_4 -COL097_bit_3 -COL097_bit_2 -COL097_bit_1 -COL097_bit0 -COL097_bit1 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL103_bit_7 -COL103_bit_6 -COL103_bit_5 -COL103_bit_4 -COL103_bit_3 -COL103_bit_2 -COL103_bit_1 -COL103_bit0 -COL103_bit1 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL109_bit_7 -COL109_bit_6 -COL109_bit_5 -COL109_bit_4 -COL109_bit_3 -COL109_bit_2 -COL109_bit_1 -COL109_bit0 -COL109_bit1 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL080_bit_7 -COL080_bit_6 -COL080_bit_5 -COL080_bit_4 -COL080_bit_3 -COL080_bit_2 -COL080_bit_1 -COL080_bit0 -COL080_bit1 -COL080_bit2 COL080_bit3 -COL080_bit4 -COL080_bit5 COL080_bit6 COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL081_bit_7 -COL081_bit_6 -COL081_bit_5 -COL081_bit_4 -COL081_bit_3 -COL081_bit_2 -COL081_bit_1 -COL081_bit0 -COL081_bit1 -COL081_bit2 -COL081_bit3 -COL081_bit4 -COL081_bit5 -COL081_bit6 -COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL082_bit_7 -COL082_bit_6 -COL082_bit_5 -COL082_bit_4 -COL082_bit_3 -COL082_bit_2 -COL082_bit_1 -COL082_bit0 -COL082_bit1 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL083_bit_7 -COL083_bit_6 -COL083_bit_5 -COL083_bit_4 -COL083_bit_3 -COL083_bit_2 -COL083_bit_1 -COL083_bit0 -COL083_bit1 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL084_bit_7 -COL084_bit_6 -COL084_bit_5 -COL084_bit_4 -COL084_bit_3 -COL084_bit_2 -COL084_bit_1 -COL084_bit0 -COL084_bit1 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL086_bit_7 -COL086_bit_6 -COL086_bit_5 -COL086_bit_4 -COL086_bit_3 -COL086_bit_2 -COL086_bit_1 -COL086_bit0 -COL086_bit1 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL092_bit_7 -COL092_bit_6 -COL092_bit_5 -COL092_bit_4 -COL092_bit_3 -COL092_bit_2 -COL092_bit_1 -COL092_bit0 -COL092_bit1 -COL092_bit2 -COL092_bit3 COL092_bit4 COL092_bit5 COL092_bit6 COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL098_bit_7 -COL098_bit_6 -COL098_bit_5 -COL098_bit_4 -COL098_bit_3 -COL098_bit_2 -COL098_bit_1 -COL098_bit0 -COL098_bit1 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL104_bit_7 -COL104_bit_6 -COL104_bit_5 -COL104_bit_4 -COL104_bit_3 -COL104_bit_2 -COL104_bit_1 -COL104_bit0 -COL104_bit1 -COL104_bit2 -COL104_bit3 -COL104_bit4 -COL104_bit5 -COL104_bit6 -COL104_bit7 -COL104_bit8 -COL104_bit9 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL110_bit_7 -COL110_bit_6 -COL110_bit_5 -COL110_bit_4 -COL110_bit_3 -COL110_bit_2 -COL110_bit_1 -COL110_bit0 -COL110_bit1 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL087_bit_7 -COL087_bit_6 -COL087_bit_5 -COL087_bit_4 -COL087_bit_3 -COL087_bit_2 -COL087_bit_1 -COL087_bit0 -COL087_bit1 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL088_bit_7 -COL088_bit_6 -COL088_bit_5 -COL088_bit_4 -COL088_bit_3 -COL088_bit_2 -COL088_bit_1 -COL088_bit0 -COL088_bit1 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL089_bit_7 -COL089_bit_6 -COL089_bit_5 -COL089_bit_4 -COL089_bit_3 -COL089_bit_2 -COL089_bit_1 -COL089_bit0 -COL089_bit1 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL090_bit_7 -COL090_bit_6 -COL090_bit_5 -COL090_bit_4 -COL090_bit_3 -COL090_bit_2 -COL090_bit_1 -COL090_bit0 -COL090_bit1 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL093_bit_7 -COL093_bit_6 -COL093_bit_5 -COL093_bit_4 -COL093_bit_3 -COL093_bit_2 -COL093_bit_1 -COL093_bit0 -COL093_bit1 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL099_bit_7 -COL099_bit_6 -COL099_bit_5 -COL099_bit_4 -COL099_bit_3 -COL099_bit_2 -COL099_bit_1 -COL099_bit0 -COL099_bit1 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL105_bit_7 -COL105_bit_6 -COL105_bit_5 -COL105_bit_4 -COL105_bit_3 -COL105_bit_2 -COL105_bit_1 -COL105_bit0 -COL105_bit1 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL111_bit_7 -COL111_bit_6 -COL111_bit_5 -COL111_bit_4 -COL111_bit_3 -COL111_bit_2 -COL111_bit_1 -COL111_bit0 -COL111_bit1 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL094_bit_7 -COL094_bit_6 -COL094_bit_5 -COL094_bit_4 -COL094_bit_3 -COL094_bit_2 -COL094_bit_1 -COL094_bit0 -COL094_bit1 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL095_bit_7 -COL095_bit_6 -COL095_bit_5 -COL095_bit_4 -COL095_bit_3 -COL095_bit_2 -COL095_bit_1 -COL095_bit0 -COL095_bit1 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL096_bit_7 -COL096_bit_6 -COL096_bit_5 -COL096_bit_4 -COL096_bit_3 -COL096_bit_2 -COL096_bit_1 -COL096_bit0 -COL096_bit1 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL100_bit_7 -COL100_bit_6 -COL100_bit_5 -COL100_bit_4 -COL100_bit_3 -COL100_bit_2 -COL100_bit_1 -COL100_bit0 -COL100_bit1 -COL100_bit2 -COL100_bit3 -COL100_bit4 -COL100_bit5 -COL100_bit6 -COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL106_bit_7 -COL106_bit_6 -COL106_bit_5 -COL106_bit_4 -COL106_bit_3 -COL106_bit_2 -COL106_bit_1 -COL106_bit0 -COL106_bit1 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL112_bit_7 -COL112_bit_6 -COL112_bit_5 -COL112_bit_4 -COL112_bit_3 -COL112_bit_2 -COL112_bit_1 -COL112_bit0 -COL112_bit1 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL101_bit_7 -COL101_bit_6 -COL101_bit_5 -COL101_bit_4 -COL101_bit_3 -COL101_bit_2 -COL101_bit_1 -COL101_bit0 -COL101_bit1 -COL101_bit2 -COL101_bit3 -COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL102_bit_7 -COL102_bit_6 -COL102_bit_5 -COL102_bit_4 -COL102_bit_3 -COL102_bit_2 -COL102_bit_1 -COL102_bit0 -COL102_bit1 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL107_bit_7 -COL107_bit_6 -COL107_bit_5 -COL107_bit_4 -COL107_bit_3 -COL107_bit_2 -COL107_bit_1 -COL107_bit0 -COL107_bit1 -COL107_bit2 -COL107_bit3 -COL107_bit4 -COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL113_bit_7 -COL113_bit_6 -COL113_bit_5 -COL113_bit_4 -COL113_bit_3 -COL113_bit_2 -COL113_bit_1 -COL113_bit0 -COL113_bit1 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL108_bit_7 -COL108_bit_6 -COL108_bit_5 -COL108_bit_4 -COL108_bit_3 -COL108_bit_2 -COL108_bit_1 -COL108_bit0 -COL108_bit1 COL108_bit2 -COL108_bit3 COL108_bit4 COL108_bit5 -COL108_bit6 COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL114_bit_7 -COL114_bit_6 -COL114_bit_5 -COL114_bit_4 -COL114_bit_3 -COL114_bit_2 -COL114_bit_1 -COL114_bit0 -COL114_bit1 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL131_bit_7 -COL131_bit_6 -COL131_bit_5 -COL131_bit_4 -COL131_bit_3 -COL131_bit_2 -COL131_bit_1 -COL131_bit0 COL131_bit1 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL132_bit_7 -COL132_bit_6 -COL132_bit_5 -COL132_bit_4 -COL132_bit_3 -COL132_bit_2 -COL132_bit_1 -COL132_bit0 -COL132_bit1 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 c Exit Code: 10 c Total time: 1175.67 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.97 2/54 23867 Raw data (stat): 23867 (runsolver) R 23866 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775453419 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.94 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 2766 0 0 0 990 7 0 0 25 0 1 0 775453419 14426112 2687 4294967295 134512640 134714508 3221224592 3221223244 134558618 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3522 2687 1111 63 0 3459 0 vsize: 14088 [startup+20.0013 s] Raw data (loadavg): 0.95 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 2891 0 0 0 1990 8 0 0 25 0 1 0 775453419 14970880 2812 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3655 2812 1111 63 0 3592 0 vsize: 14620 [startup+30.0025 s] Raw data (loadavg): 0.95 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3025 0 0 0 2989 8 0 0 25 0 1 0 775453419 15515648 2946 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3788 2946 1111 63 0 3725 0 vsize: 15152 [startup+40.002 s] Raw data (loadavg): 0.96 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3137 0 0 0 3989 8 0 0 25 0 1 0 775453419 16056320 3058 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3920 3058 1111 63 0 3857 0 vsize: 15680 [startup+50.0029 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3258 0 0 0 4989 9 0 0 25 0 1 0 775453419 16461824 3179 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4019 3179 1111 63 0 3956 0 vsize: 16076 [startup+60.0031 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3454 0 0 0 5988 10 0 0 25 0 1 0 775453419 17276928 3375 4294967295 134512640 134714508 3221224592 3221223240 134558617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4218 3375 1111 63 0 4155 0 vsize: 16872 [startup+70.0036 s] Raw data (loadavg): 0.97 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 5337 0 0 0 6984 14 0 0 25 0 1 0 775453419 24530944 5074 4294967295 134512640 134714508 3221224592 3221220544 1074790218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5989 5074 1111 63 0 5926 0 vsize: 23956 [startup+80.0045 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 8179 0 0 0 7976 22 0 0 25 0 1 0 775453419 24764416 5129 4294967295 134512640 134714508 3221224592 3221220420 1074786507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6046 5129 1111 63 0 5983 0 vsize: 24184 [startup+90.0049 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 9947 0 0 0 8971 26 0 0 25 0 1 0 775453419 21684224 4601 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5294 4601 1111 63 0 5231 0 vsize: 21176 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 13094 0 0 0 9962 35 0 0 25 0 1 0 775453419 21417984 4544 4294967295 134512640 134714508 3221224592 3221222848 1074153456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5229 4544 1111 63 0 5166 0 vsize: 20916 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 17856 0 0 0 10949 48 0 0 25 0 1 0 775453419 24522752 4676 4294967295 134512640 134714508 3221224592 3221221360 1076083481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5987 4676 1111 63 0 5924 0 vsize: 23948 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 19982 0 0 0 11944 53 0 0 25 0 1 0 775453419 24784896 4766 4294967295 134512640 134714508 3221224592 3221220864 1074961410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6051 4766 1111 63 0 5988 0 vsize: 24204 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 23117 0 0 0 12936 61 0 0 25 0 1 0 775453419 24862720 5086 4294967295 134512640 134714508 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6070 5086 1111 63 0 6007 0 vsize: 24280 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 26347 0 0 0 13928 70 0 0 25 0 1 0 775453419 24264704 4939 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5924 4939 1111 63 0 5861 0 vsize: 23696 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 28095 0 0 0 14924 74 0 0 25 0 1 0 775453419 24702976 4741 4294967295 134512640 134714508 3221224592 3221221360 1076083315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6031 4741 1111 63 0 5968 0 vsize: 24124 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 30137 0 0 0 15919 78 0 0 25 0 1 0 775453419 24862720 4793 4294967295 134512640 134714508 3221224592 3221221404 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6070 4793 1111 63 0 6007 0 vsize: 24280 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 32216 0 0 0 16914 84 0 0 25 0 1 0 775453419 21827584 4654 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5329 4654 1111 63 0 5266 0 vsize: 21316 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 35196 0 0 0 17907 91 0 0 25 0 1 0 775453419 21827584 4654 4294967295 134512640 134714508 3221224592 3221221648 134650068 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5329 4654 1111 63 0 5266 0 vsize: 21316 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23867 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 38981 0 0 0 18897 101 0 0 25 0 1 0 775453419 24764416 5046 4294967295 134512640 134714508 3221224592 3221220560 1074872895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6046 5046 1111 63 0 5983 0 vsize: 24184 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 40855 0 0 0 19891 106 0 0 25 0 1 0 775453419 22159360 4735 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5410 4735 1111 63 0 5347 0 vsize: 21640 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 42961 0 0 0 20887 111 0 0 25 0 1 0 775453419 22024192 4702 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5377 4702 1111 63 0 5314 0 vsize: 21508 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 45313 0 0 0 21881 117 0 0 25 0 1 0 775453419 25354240 4921 4294967295 134512640 134714508 3221224592 3221220864 1074961271 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6190 4921 1111 63 0 6127 0 vsize: 24760 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 48101 0 0 0 22874 124 0 0 25 0 1 0 775453419 25485312 4945 4294967295 134512640 134714508 3221224592 3221221520 1075890968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6222 4945 1111 63 0 6159 0 vsize: 24888 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 51017 0 0 0 23866 132 0 0 25 0 1 0 775453419 25518080 4931 4294967295 134512640 134714508 3221224592 3221220720 1075561218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6230 4931 1111 63 0 6167 0 vsize: 24920 [startup+250.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 52997 0 0 0 24861 137 0 0 25 0 1 0 775453419 25153536 4834 4294967295 134512640 134714508 3221224592 3221220864 1074961157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6141 4834 1111 63 0 6078 0 vsize: 24564 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 55599 0 0 0 25854 144 0 0 25 0 1 0 775453419 25190400 4865 4294967295 134512640 134714508 3221224592 3221220864 1074961490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6150 4865 1111 63 0 6087 0 vsize: 24600 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 57966 0 0 0 26846 153 0 0 25 0 1 0 775453419 22233088 4753 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4753 1111 63 0 5365 0 vsize: 21712 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 61309 0 0 0 27838 161 0 0 25 0 1 0 775453419 22233088 4753 4294967295 134512640 134714508 3221224592 3221223008 1074116573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4753 1111 63 0 5365 0 vsize: 21712 [startup+290.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 65946 0 0 0 28827 172 0 0 25 0 1 0 775453419 23969792 4888 4294967295 134512640 134714508 3221224592 3221220560 1075965234 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5852 4888 1111 63 0 5789 0 vsize: 23408 [startup+300.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 69637 0 0 0 29816 183 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+310.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 73278 0 0 0 30806 193 0 0 25 0 1 0 775453419 24838144 4805 4294967295 134512640 134714508 3221224592 3221220832 1075115726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6064 4805 1111 63 0 6001 0 vsize: 24256 [startup+320.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 77876 0 0 0 31795 205 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 79294 0 0 0 32792 208 0 0 25 0 1 0 775453419 24371200 4978 4294967295 134512640 134714508 3221224592 3221220752 1074794695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5950 4978 1111 63 0 5887 0 vsize: 23800 [startup+340.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 80380 0 0 0 33789 211 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221223232 134650043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+350.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 81959 0 0 0 34786 214 0 0 25 0 1 0 775453419 24518656 5044 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5986 5044 1111 63 0 5923 0 vsize: 23944 [startup+360.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 82670 0 0 0 35784 216 0 0 25 0 1 0 775453419 25333760 4960 4294967295 134512640 134714508 3221224592 3221221080 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6185 4960 1111 63 0 6122 0 vsize: 24740 [startup+370.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 83674 0 0 0 36782 218 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+380.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 85666 0 0 0 37777 224 0 0 25 0 1 0 775453419 25063424 4834 4294967295 134512640 134714508 3221224592 3221220752 1074883530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6119 4834 1111 63 0 6056 0 vsize: 24476 [startup+390.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 87668 0 0 0 38772 228 0 0 25 0 1 0 775453419 24162304 4909 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5899 4909 1111 63 0 5836 0 vsize: 23596 [startup+400.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 89133 0 0 0 39769 231 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+410.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 91302 0 0 0 40765 236 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+420.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 93363 0 0 0 41760 241 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+430.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 95729 0 0 0 42755 247 0 0 25 0 1 0 775453419 25337856 4955 4294967295 134512640 134714508 3221224592 3221221092 1074846210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6186 4955 1111 63 0 6123 0 vsize: 24744 [startup+440.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 97336 0 0 0 43751 251 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5428 4754 1111 63 0 5365 0 vsize: 21712 [startup+450.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 99222 0 0 0 44748 254 0 0 25 0 1 0 775453419 22368256 4787 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5461 4787 1111 63 0 5398 0 vsize: 21844 [startup+460.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 101235 0 0 0 45742 260 0 0 25 0 1 0 775453419 22364160 4786 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5460 4786 1111 63 0 5397 0 vsize: 21840 [startup+470.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 102903 0 0 0 46739 264 0 0 25 0 1 0 775453419 25477120 4976 4294967295 134512640 134714508 3221224592 3221220800 1074815396 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6220 4976 1111 63 0 6157 0 vsize: 24880 [startup+480.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 104684 0 0 0 47735 268 0 0 25 0 1 0 775453419 25120768 4868 4294967295 134512640 134714508 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6133 4868 1111 63 0 6070 0 vsize: 24532 [startup+490.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 106748 0 0 0 48730 273 0 0 25 0 1 0 775453419 22269952 4763 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5437 4763 1111 63 0 5374 0 vsize: 21748 [startup+500.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 108329 0 0 0 49727 276 0 0 25 0 1 0 775453419 22720512 4793 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5547 4793 1111 63 0 5484 0 vsize: 22188 [startup+510.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 110927 0 0 0 50721 282 0 0 25 0 1 0 775453419 25600000 4985 4294967295 134512640 134714508 3221224592 3221220832 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6250 4985 1111 63 0 6187 0 vsize: 25000 [startup+520.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 112658 0 0 0 51717 286 0 0 25 0 1 0 775453419 22323200 4777 4294967295 134512640 134714508 3221224592 3221223248 134649901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5450 4777 1111 63 0 5387 0 vsize: 21800 [startup+530.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 115085 0 0 0 52711 292 0 0 25 0 1 0 775453419 22306816 4773 4294967295 134512640 134714508 3221224592 3221222720 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5446 4773 1111 63 0 5383 0 vsize: 21784 [startup+540.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 117651 0 0 0 53706 298 0 0 25 0 1 0 775453419 22441984 4806 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5479 4806 1111 63 0 5416 0 vsize: 21916 [startup+550.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 119402 0 0 0 54702 302 0 0 25 0 1 0 775453419 22638592 4848 4294967295 134512640 134714508 3221224592 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5527 4848 1111 63 0 5464 0 vsize: 22108 [startup+560.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 120831 0 0 0 55698 306 0 0 25 0 1 0 775453419 24604672 5056 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5056 1111 63 0 5944 0 vsize: 24028 [startup+570.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 122144 0 0 0 56694 310 0 0 25 0 1 0 775453419 22425600 4802 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5475 4802 1111 63 0 5412 0 vsize: 21900 [startup+580.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 124506 0 0 0 57688 316 0 0 25 0 1 0 775453419 22413312 4799 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5472 4799 1111 63 0 5409 0 vsize: 21888 [startup+590.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 126783 0 0 0 58683 321 0 0 25 0 1 0 775453419 24596480 5046 4294967295 134512640 134714508 3221224592 3221220560 1074872876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6005 5046 1111 63 0 5942 0 vsize: 24020 [startup+600.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 128273 0 0 0 59680 325 0 0 25 0 1 0 775453419 24694784 5083 4294967295 134512640 134714508 3221224592 3221220864 1074961205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6029 5083 1111 63 0 5966 0 vsize: 24116 [startup+610.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 129860 0 0 0 60676 329 0 0 25 0 1 0 775453419 25534464 4985 4294967295 134512640 134714508 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6234 4985 1111 63 0 6171 0 vsize: 24936 [startup+620.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 132097 0 0 0 61671 334 0 0 25 0 1 0 775453419 24457216 4988 4294967295 134512640 134714508 3221224592 3221221168 1076044537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5971 4988 1111 63 0 5908 0 vsize: 23884 [startup+630.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 134120 0 0 0 62666 339 0 0 25 0 1 0 775453419 22298624 4771 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5444 4771 1111 63 0 5381 0 vsize: 21776 [startup+640.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 136846 0 0 0 63659 346 0 0 25 0 1 0 775453419 22577152 4832 4294967295 134512640 134714508 3221224592 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5512 4832 1111 63 0 5449 0 vsize: 22048 [startup+650.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 138147 0 0 0 64655 351 0 0 25 0 1 0 775453419 25604096 5007 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6251 5007 1111 63 0 6188 0 vsize: 25004 [startup+660.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 139876 0 0 0 65650 355 0 0 25 0 1 0 775453419 24244224 4955 4294967295 134512640 134714508 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5919 4955 1111 63 0 5856 0 vsize: 23676 [startup+670.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 141580 0 0 0 66647 359 0 0 25 0 1 0 775453419 24461312 4988 4294967295 134512640 134714508 3221224592 3221221184 1074884314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 4988 1111 63 0 5909 0 vsize: 23888 [startup+680.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 143236 0 0 0 67642 364 0 0 25 0 1 0 775453419 25358336 4908 4294967295 134512640 134714508 3221224592 3221220552 1074789611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6191 4908 1111 63 0 6128 0 vsize: 24764 [startup+690.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 144865 0 0 0 68639 367 0 0 25 0 1 0 775453419 24268800 4964 4294967295 134512640 134714508 3221224592 3221220864 1074961304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5925 4964 1111 63 0 5862 0 vsize: 23700 [startup+700.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 146633 0 0 0 69635 372 0 0 25 0 1 0 775453419 24436736 4976 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5966 4976 1111 63 0 5903 0 vsize: 23864 [startup+710.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 148411 0 0 0 70630 377 0 0 25 0 1 0 775453419 24268800 4972 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5925 4972 1111 63 0 5862 0 vsize: 23700 [startup+720.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 150892 0 0 0 71624 383 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5495 4822 1111 63 0 5432 0 vsize: 21980 [startup+730.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 153296 0 0 0 72618 388 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5495 4822 1111 63 0 5432 0 vsize: 21980 [startup+740.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 155240 0 0 0 73614 393 0 0 25 0 1 0 775453419 24244224 4955 4294967295 134512640 134714508 3221224592 3221220752 1075095188 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5919 4956 1111 63 0 5856 0 vsize: 23676 [startup+750.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 157041 0 0 0 74610 398 0 0 25 0 1 0 775453419 22646784 4823 4294967295 134512640 134714508 3221224592 3221222640 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5529 4823 1111 63 0 5466 0 vsize: 22116 [startup+760.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 159292 0 0 0 75604 403 0 0 25 0 1 0 775453419 25137152 4875 4294967295 134512640 134714508 3221224592 3221221120 1075397167 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6137 4875 1111 63 0 6074 0 vsize: 24548 [startup+770.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 161669 0 0 0 76597 410 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5495 4822 1111 63 0 5432 0 vsize: 21980 [startup+780.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 164315 0 0 0 77589 419 0 0 25 0 1 0 775453419 25296896 4862 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6176 4862 1111 63 0 6113 0 vsize: 24704 [startup+790.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 165699 0 0 0 78586 422 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5501 4828 1111 63 0 5438 0 vsize: 22004 [startup+800.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 167615 0 0 0 79581 427 0 0 25 0 1 0 775453419 24457216 5014 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5971 5014 1111 63 0 5908 0 vsize: 23884 [startup+810.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 168973 0 0 0 80578 430 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222800 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5501 4828 1111 63 0 5438 0 vsize: 22004 [startup+820.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 171281 0 0 0 81573 435 0 0 25 0 1 0 775453419 22765568 4830 4294967295 134512640 134714508 3221224592 3221222240 1075818192 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4830 1111 63 0 5495 0 vsize: 22232 [startup+830.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 174036 0 0 0 82567 442 0 0 25 0 1 0 775453419 24268800 4974 4294967295 134512640 134714508 3221224592 3221220864 1074961267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5925 4974 1111 63 0 5862 0 vsize: 23700 [startup+840.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 176218 0 0 0 83561 448 0 0 25 0 1 0 775453419 24453120 5009 4294967295 134512640 134714508 3221224592 3221220528 1075965250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5970 5009 1111 63 0 5907 0 vsize: 23880 [startup+850.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 177506 0 0 0 84558 451 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222928 1074143115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5501 4828 1111 63 0 5438 0 vsize: 22004 [startup+860.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 179299 0 0 0 85554 455 0 0 25 0 1 0 775453419 23130112 4894 4294967295 134512640 134714508 3221224592 3221222416 1075823494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5647 4894 1111 63 0 5584 0 vsize: 22588 [startup+870.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 181841 0 0 0 86547 462 0 0 25 0 1 0 775453419 25305088 5190 4294967295 134512640 134714508 3221224592 3221220752 1075093350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6178 5190 1111 63 0 6115 0 vsize: 24712 [startup+880.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 182791 0 0 0 87545 465 0 0 25 0 1 0 775453419 25358336 4912 4294967295 134512640 134714508 3221224592 3221220556 1074787507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6191 4912 1111 63 0 6128 0 vsize: 24764 [startup+890.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 184306 0 0 0 88541 469 0 0 25 0 1 0 775453419 22556672 4834 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5507 4834 1111 63 0 5444 0 vsize: 22028 [startup+900.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 186374 0 0 0 89536 474 0 0 25 0 1 0 775453419 25591808 5009 4294967295 134512640 134714508 3221224592 3221220552 1074789507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6248 5009 1111 63 0 6185 0 vsize: 24992 [startup+910.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 187599 0 0 0 90533 477 0 0 25 0 1 0 775453419 22564864 4836 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5509 4836 1111 63 0 5446 0 vsize: 22036 [startup+920.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 189131 0 0 0 91529 482 0 0 25 0 1 0 775453419 22568960 4837 4294967295 134512640 134714508 3221224592 3221222760 1077378493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5510 4837 1111 63 0 5447 0 vsize: 22040 [startup+930.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 190909 0 0 0 92524 486 0 0 25 0 1 0 775453419 25505792 4992 4294967295 134512640 134714508 3221224592 3221220800 1074815234 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6227 4992 1111 63 0 6164 0 vsize: 24908 [startup+940.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 193298 0 0 0 93519 492 0 0 25 0 1 0 775453419 24989696 5121 4294967295 134512640 134714508 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6101 5121 1111 63 0 6038 0 vsize: 24404 [startup+950.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 195057 0 0 0 94516 495 0 0 25 0 1 0 775453419 24879104 5146 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6074 5146 1111 63 0 6011 0 vsize: 24296 [startup+960.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 195654 0 0 0 95515 496 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222944 1074153767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+970.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 197530 0 0 0 96510 501 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+980.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 199227 0 0 0 97506 506 0 0 25 0 1 0 775453419 24920064 5112 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6084 5112 1111 63 0 6021 0 vsize: 24336 [startup+990.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 199825 0 0 0 98505 507 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 201312 0 0 0 99502 510 0 0 25 0 1 0 775453419 24494080 5030 4294967295 134512640 134714508 3221224592 3221220692 1075964211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5980 5030 1111 63 0 5917 0 vsize: 23920 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 202616 0 0 0 100499 514 0 0 25 0 1 0 775453419 22757376 4876 4294967295 134512640 134714508 3221224592 3221222336 1075640249 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5556 4876 1111 63 0 5493 0 vsize: 22224 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 204621 0 0 0 101493 519 0 0 25 0 1 0 775453419 25509888 4957 4294967295 134512640 134714508 3221224592 3221220472 1074788559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6228 4957 1111 63 0 6165 0 vsize: 24912 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 206495 0 0 0 102488 525 0 0 25 0 1 0 775453419 25329664 4948 4294967295 134512640 134714508 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6184 4948 1111 63 0 6121 0 vsize: 24736 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 208259 0 0 0 103483 529 0 0 25 0 1 0 775453419 24461312 5020 4294967295 134512640 134714508 3221224592 3221220752 1075093367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 5020 1111 63 0 5909 0 vsize: 23888 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 209653 0 0 0 104479 534 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 211637 0 0 0 105474 539 0 0 25 0 1 0 775453419 24637440 5037 4294967295 134512640 134714508 3221224592 3221220720 1075112103 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6015 5037 1111 63 0 5952 0 vsize: 24060 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 212964 0 0 0 106471 542 0 0 25 0 1 0 775453419 24637440 5035 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6015 5035 1111 63 0 5952 0 vsize: 24060 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 214643 0 0 0 107467 546 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222544 1074918583 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 216879 0 0 0 108462 552 0 0 25 0 1 0 775453419 24461312 5027 4294967295 134512640 134714508 3221224592 3221221136 1075088581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5972 5027 1111 63 0 5909 0 vsize: 23888 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 218256 0 0 0 109459 555 0 0 25 0 1 0 775453419 25329664 4935 4294967295 134512640 134714508 3221224592 3221220720 1075561094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6184 4935 1111 63 0 6121 0 vsize: 24736 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 219652 0 0 0 110455 559 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 221084 0 0 0 111451 563 0 0 25 0 1 0 775453419 25329664 4938 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6184 4938 1111 63 0 6121 0 vsize: 24736 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 222987 0 0 0 112447 568 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1140.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 224736 0 0 0 113442 572 0 0 25 0 1 0 775453419 25563136 4995 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6241 4995 1111 63 0 6178 0 vsize: 24964 [startup+1150.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 226640 0 0 0 114438 577 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1160.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 229671 0 0 0 115431 584 0 0 25 0 1 0 775453419 25329664 4934 4294967295 134512640 134714508 3221224592 3221220752 1074794460 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6184 4934 1111 63 0 6121 0 vsize: 24736 [startup+1170.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/54 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 232501 0 0 0 116424 591 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 22192 [startup+1175.55 s] Raw data (loadavg): 0.99 0.98 0.97 1/53 23869 Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 232501 0 0 0 116424 591 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5548 4875 1111 63 0 5485 0 vsize: 0 Child status: 10 Real time (s): 1175.55 CPU time (s): 1175.68 CPU user time (s): 1169.73 CPU system time (s): 5.9521 CPU usage (%): 100.011 Max. virtual memory (Kb): 25004 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1445824 #### END VERIFIER DATA ####