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 wulflinc18 THE 2005-04-21 18:03:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16984 boxname=wulflinc18 idbench=1307 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 4f7891bf040f9fa135208e1a9808a8bc /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-misc05.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-misc05.opb IDLAUNCH: 16984 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 824308 kB Buffers: 10172 kB Cached: 177424 kB SwapCached: 764 kB Active: 61980 kB Inactive: 127616 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 824056 kB SwapTotal: 2097892 kB SwapFree: 2096152 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5100 kB Slab: 15064 kB Committed_AS: 63816 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 18:03:46 (client local time) WITH STATUS 30 IN 6.00309 SECONDS stats: 16984 0 6.00309 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-misc05.opb ...... c The optimum solution is:1443840 s OPTIMUM FOUND v -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 -COL023_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 COL056_bit0 -COL057_bit0 -COL058_bit0 COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL073_bit1 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit_1 -COL073_bit_2 -COL073_bit_3 -COL073_bit_4 -COL073_bit_5 -COL073_bit_6 -COL073_bit_7 -COL074_bit0 -COL074_bit1 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit_1 -COL074_bit_2 -COL074_bit_3 -COL074_bit_4 -COL074_bit_5 -COL074_bit_6 -COL074_bit_7 -COL075_bit0 -COL075_bit1 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit_1 -COL075_bit_2 -COL075_bit_3 -COL075_bit_4 -COL075_bit_5 -COL075_bit_6 -COL075_bit_7 -COL076_bit0 -COL076_bit1 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit_1 -COL076_bit_2 -COL076_bit_3 -COL076_bit_4 -COL076_bit_5 -COL076_bit_6 -COL076_bit_7 -COL077_bit0 -COL077_bit1 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit_1 -COL077_bit_2 -COL077_bit_3 -COL077_bit_4 -COL077_bit_5 -COL077_bit_6 -COL077_bit_7 -COL078_bit0 -COL078_bit1 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit_1 -COL078_bit_2 -COL078_bit_3 -COL078_bit_4 -COL078_bit_5 -COL078_bit_6 -COL078_bit_7 -COL079_bit0 -COL079_bit1 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL079_bit2 -COL079_bit3 -COL079_bit4 -COL079_bit5 -COL079_bit6 -COL079_bit7 -COL079_bit8 -COL079_bit9 -COL079_bit_1 -COL079_bit_2 -COL079_bit_3 -COL079_bit_4 -COL079_bit_5 -COL079_bit_6 -COL079_bit_7 -COL080_bit0 -COL080_bit1 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit_1 -COL080_bit_2 -COL080_bit_3 -COL080_bit_4 -COL080_bit_5 -COL080_bit_6 -COL080_bit_7 -COL081_bit0 COL081_bit1 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL081_bit2 COL081_bit3 COL081_bit4 COL081_bit5 COL081_bit6 COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit_1 -COL081_bit_2 -COL081_bit_3 -COL081_bit_4 -COL081_bit_5 -COL081_bit_6 -COL081_bit_7 -COL082_bit0 -COL082_bit1 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit_1 -COL082_bit_2 -COL082_bit_3 -COL082_bit_4 -COL082_bit_5 -COL082_bit_6 -COL082_bit_7 -COL083_bit0 -COL083_bit1 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit_1 -COL083_bit_2 -COL083_bit_3 -COL083_bit_4 -COL083_bit_5 -COL083_bit_6 -COL083_bit_7 -COL084_bit0 -COL084_bit1 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit_1 -COL084_bit_2 -COL084_bit_3 -COL084_bit_4 -COL084_bit_5 -COL084_bit_6 -COL084_bit_7 -COL085_bit0 -COL085_bit1 -COL085_bit10 -COL085_bit11 -COL085_bit12 COL085_bit2 COL085_bit3 -COL085_bit4 COL085_bit5 -COL085_bit6 -COL085_bit7 COL085_bit8 -COL085_bit9 -COL085_bit_1 -COL085_bit_2 -COL085_bit_3 -COL085_bit_4 -COL085_bit_5 -COL085_bit_6 -COL085_bit_7 -COL086_bit0 -COL086_bit1 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit_1 -COL086_bit_2 -COL086_bit_3 -COL086_bit_4 -COL086_bit_5 -COL086_bit_6 -COL086_bit_7 -COL087_bit0 -COL087_bit1 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit_1 -COL087_bit_2 -COL087_bit_3 -COL087_bit_4 -COL087_bit_5 -COL087_bit_6 -COL087_bit_7 -COL088_bit0 -COL088_bit1 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit_1 -COL088_bit_2 -COL088_bit_3 -COL088_bit_4 -COL088_bit_5 -COL088_bit_6 -COL088_bit_7 -COL089_bit0 -COL089_bit1 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit_1 -COL089_bit_2 -COL089_bit_3 -COL089_bit_4 -COL089_bit_5 -COL089_bit_6 -COL089_bit_7 -COL090_bit0 -COL090_bit1 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit_1 -COL090_bit_2 -COL090_bit_3 -COL090_bit_4 -COL090_bit_5 -COL090_bit_6 -COL090_bit_7 -COL091_bit0 -COL091_bit1 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit_1 -COL091_bit_2 -COL091_bit_3 -COL091_bit_4 -COL091_bit_5 -COL091_bit_6 -COL091_bit_7 -COL092_bit0 -COL092_bit1 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL092_bit2 -COL092_bit3 -COL092_bit4 -COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit_1 -COL092_bit_2 -COL092_bit_3 -COL092_bit_4 -COL092_bit_5 -COL092_bit_6 -COL092_bit_7 -COL093_bit0 -COL093_bit1 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit_1 -COL093_bit_2 -COL093_bit_3 -COL093_bit_4 -COL093_bit_5 -COL093_bit_6 -COL093_bit_7 -COL094_bit0 -COL094_bit1 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit_1 -COL094_bit_2 -COL094_bit_3 -COL094_bit_4 -COL094_bit_5 -COL094_bit_6 -COL094_bit_7 -COL095_bit0 -COL095_bit1 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit_1 -COL095_bit_2 -COL095_bit_3 -COL095_bit_4 -COL095_bit_5 -COL095_bit_6 -COL095_bit_7 -COL096_bit0 -COL096_bit1 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit_1 -COL096_bit_2 -COL096_bit_3 -COL096_bit_4 -COL096_bit_5 -COL096_bit_6 -COL096_bit_7 -COL097_bit0 -COL097_bit1 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit_1 -COL097_bit_2 -COL097_bit_3 -COL097_bit_4 -COL097_bit_5 -COL097_bit_6 -COL097_bit_7 -COL098_bit0 COL098_bit1 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL098_bit2 -COL098_bit3 -COL098_bit4 COL098_bit5 -COL098_bit6 -COL098_bit7 COL098_bit8 -COL098_bit9 -COL098_bit_1 -COL098_bit_2 -COL098_bit_3 -COL098_bit_4 -COL098_bit_5 -COL098_bit_6 -COL098_bit_7 -COL099_bit0 -COL099_bit1 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit_1 -COL099_bit_2 -COL099_bit_3 -COL099_bit_4 -COL099_bit_5 -COL099_bit_6 -COL099_bit_7 -COL100_bit0 -COL100_bit1 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL100_bit2 -COL100_bit3 -COL100_bit4 -COL100_bit5 -COL100_bit6 -COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit_1 -COL100_bit_2 -COL100_bit_3 -COL100_bit_4 -COL100_bit_5 -COL100_bit_6 -COL100_bit_7 -COL101_bit0 -COL101_bit1 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL101_bit2 -COL101_bit3 -COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit_1 -COL101_bit_2 -COL101_bit_3 -COL101_bit_4 -COL101_bit_5 -COL101_bit_6 -COL101_bit_7 -COL102_bit0 -COL102_bit1 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit_1 -COL102_bit_2 -COL102_bit_3 -COL102_bit_4 -COL102_bit_5 -COL102_bit_6 -COL102_bit_7 -COL103_bit0 -COL103_bit1 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit_1 -COL103_bit_2 -COL103_bit_3 -COL103_bit_4 -COL103_bit_5 -COL103_bit_6 -COL103_bit_7 -COL104_bit0 -COL104_bit1 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL104_bit2 -COL104_bit3 -COL104_bit4 -COL104_bit5 -COL104_bit6 -COL104_bit7 -COL104_bit8 -COL104_bit9 -COL104_bit_1 -COL104_bit_2 -COL104_bit_3 -COL104_bit_4 -COL104_bit_5 -COL104_bit_6 -COL104_bit_7 -COL105_bit0 -COL105_bit1 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit_1 -COL105_bit_2 -COL105_bit_3 -COL105_bit_4 -COL105_bit_5 -COL105_bit_6 -COL105_bit_7 -COL106_bit0 -COL106_bit1 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit_1 -COL106_bit_2 -COL106_bit_3 -COL106_bit_4 -COL106_bit_5 -COL106_bit_6 -COL106_bit_7 -COL107_bit0 COL107_bit1 -COL107_bit10 -COL107_bit11 -COL107_bit12 COL107_bit2 COL107_bit3 COL107_bit4 -COL107_bit5 COL107_bit6 -COL107_bit7 COL107_bit8 -COL107_bit9 -COL107_bit_1 -COL107_bit_2 -COL107_bit_3 -COL107_bit_4 -COL107_bit_5 -COL107_bit_6 -COL107_bit_7 -COL108_bit0 -COL108_bit1 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL108_bit2 -COL108_bit3 -COL108_bit4 -COL108_bit5 -COL108_bit6 -COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit_1 -COL108_bit_2 -COL108_bit_3 -COL108_bit_4 -COL108_bit_5 -COL108_bit_6 -COL108_bit_7 -COL109_bit0 -COL109_bit1 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit_1 -COL109_bit_2 -COL109_bit_3 -COL109_bit_4 -COL109_bit_5 -COL109_bit_6 -COL109_bit_7 -COL110_bit0 -COL110_bit1 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit_1 -COL110_bit_2 -COL110_bit_3 -COL110_bit_4 -COL110_bit_5 -COL110_bit_6 -COL110_bit_7 -COL111_bit0 -COL111_bit1 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit_1 -COL111_bit_2 -COL111_bit_3 -COL111_bit_4 -COL111_bit_5 -COL111_bit_6 -COL111_bit_7 -COL112_bit0 -COL112_bit1 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit_1 -COL112_bit_2 -COL112_bit_3 -COL112_bit_4 -COL112_bit_5 -COL112_bit_6 -COL112_bit_7 -COL113_bit0 -COL113_bit1 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit_1 -COL113_bit_2 -COL113_bit_3 -COL113_bit_4 -COL113_bit_5 -COL113_bit_6 -COL113_bit_7 -COL114_bit0 -COL114_bit1 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit_1 -COL114_bit_2 -COL114_bit_3 -COL114_bit_4 -COL114_bit_5 -COL114_bit_6 -COL114_bit_7 -COL115_bit0 -COL115_bit1 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL115_bit2 -COL115_bit3 -COL115_bit4 -COL115_bit5 -COL115_bit6 -COL115_bit7 -COL115_bit8 -COL115_bit9 -COL115_bit_1 -COL115_bit_2 -COL115_bit_3 -COL115_bit_4 -COL115_bit_5 -COL115_bit_6 -COL115_bit_7 -COL116_bit0 -COL116_bit1 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit_1 -COL116_bit_2 -COL116_bit_3 -COL116_bit_4 -COL116_bit_5 -COL116_bit_6 -COL116_bit_7 -COL117_bit0 -COL117_bit1 -COL117_bit10 -COL117_bit11 -COL117_bit12 COL117_bit2 -COL117_bit3 COL117_bit4 COL117_bit5 COL117_bit6 COL117_bit7 COL117_bit8 -COL117_bit9 -COL117_bit_1 -COL117_bit_2 -COL117_bit_3 -COL117_bit_4 -COL117_bit_5 -COL117_bit_6 -COL117_bit_7 -COL118_bit0 -COL118_bit1 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL118_bit2 -COL118_bit3 -COL118_bit4 -COL118_bit5 -COL118_bit6 -COL118_bit7 -COL118_bit8 -COL118_bit9 -COL118_bit_1 -COL118_bit_2 -COL118_bit_3 -COL118_bit_4 -COL118_bit_5 -COL118_bit_6 -COL118_bit_7 -COL119_bit0 -COL119_bit1 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit_1 -COL119_bit_2 -COL119_bit_3 -COL119_bit_4 -COL119_bit_5 -COL119_bit_6 -COL119_bit_7 -COL120_bit0 -COL120_bit1 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit_1 -COL120_bit_2 -COL120_bit_3 -COL120_bit_4 -COL120_bit_5 -COL120_bit_6 -COL120_bit_7 -COL121_bit0 -COL121_bit1 -COL121_bit10 -COL121_bit11 -COL121_bit12 COL121_bit2 -COL121_bit3 COL121_bit4 COL121_bit5 -COL121_bit6 COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit_1 -COL121_bit_2 -COL121_bit_3 -COL121_bit_4 -COL121_bit_5 -COL121_bit_6 -COL121_bit_7 -COL122_bit0 -COL122_bit1 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit_1 -COL122_bit_2 -COL122_bit_3 -COL122_bit_4 -COL122_bit_5 -COL122_bit_6 -COL122_bit_7 -COL123_bit0 -COL123_bit1 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit_1 -COL123_bit_2 -COL123_bit_3 -COL123_bit_4 -COL123_bit_5 -COL123_bit_6 -COL123_bit_7 -COL124_bit0 -COL124_bit1 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit_1 -COL124_bit_2 -COL124_bit_3 -COL124_bit_4 -COL124_bit_5 -COL124_bit_6 -COL124_bit_7 -COL125_bit0 -COL125_bit1 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit_1 -COL125_bit_2 -COL125_bit_3 -COL125_bit_4 -COL125_bit_5 -COL125_bit_6 -COL125_bit_7 -COL126_bit0 -COL126_bit1 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL126_bit2 -COL126_bit3 -COL126_bit4 -COL126_bit5 -COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit_1 -COL126_bit_2 -COL126_bit_3 -COL126_bit_4 -COL126_bit_5 -COL126_bit_6 -COL126_bit_7 -COL127_bit0 -COL127_bit1 -COL127_bit10 -COL127_bit11 -COL127_bit12 COL127_bit2 COL127_bit3 COL127_bit4 COL127_bit5 COL127_bit6 -COL127_bit7 COL127_bit8 -COL127_bit9 -COL127_bit_1 -COL127_bit_2 -COL127_bit_3 -COL127_bit_4 -COL127_bit_5 -COL127_bit_6 -COL127_bit_7 -COL128_bit0 -COL128_bit1 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL128_bit2 -COL128_bit3 -COL128_bit4 -COL128_bit5 -COL128_bit6 -COL128_bit7 -COL128_bit8 -COL128_bit9 -COL128_bit_1 -COL128_bit_2 -COL128_bit_3 -COL128_bit_4 -COL128_bit_5 -COL128_bit_6 -COL128_bit_7 COL129_bit0 COL130_bit0 COL131_bit0 -COL131_bit1 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit_1 -COL131_bit_2 -COL131_bit_3 -COL131_bit_4 -COL131_bit_5 -COL131_bit_6 -COL131_bit_7 -COL132_bit0 -COL132_bit1 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit_1 -COL132_bit_2 -COL132_bit_3 -COL132_bit_4 -COL132_bit_5 -COL132_bit_6 -COL132_bit_7 -COL133_bit0 -COL133_bit1 COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL133_bit2 -COL133_bit3 COL133_bit4 -COL133_bit5 -COL133_bit6 -COL133_bit7 -COL133_bit8 -COL133_bit9 -COL133_bit_1 -COL133_bit_2 -COL133_bit_3 -COL133_bit_4 -COL133_bit_5 -COL133_bit_6 -COL133_bit_7 COL134_bit0 COL134_bit1 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 -COL134_bit_1 -COL134_bit_2 -COL134_bit_3 -COL134_bit_4 -COL134_bit_5 -COL134_bit_6 -COL134_bit_7 COL135_bit0 COL135_bit1 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL135_bit2 COL135_bit3 COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit_1 -COL135_bit_2 -COL135_bit_3 -COL135_bit_4 -COL135_bit_5 -COL135_bit_6 -COL135_bit_7 -COL136_bit0 -COL136_bit1 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 -COL136_bit2 -COL136_bit3 COL136_bit4 -COL136_bit5 COL136_bit6 COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit_1 -COL136_bit_2 -COL136_bit_3 -COL136_bit_4 -COL136_bit_5 -COL136_bit_6 -COL136_bit_7 c Done, CPU Time=5.84111 #### 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.73 0.91 0.89 2/55 4006 Raw data (stat): 4006 (runsolver) R 4005 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547083869 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+6.00888 s] Raw data (loadavg): 0.76 0.91 0.89 1/54 4006 Raw data (stat): 4006 (runsolver) R 4005 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547083869 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 0 Child status: 30 Real time (s): 6.00858 CPU time (s): 6.00309 CPU user time (s): 5.98309 CPU system time (s): 0.019996 CPU usage (%): 99.9086 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1443840 #### END VERIFIER DATA ####