Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros.opb |
MD5SUM | e0398e644ed8244eeb84fb20e0ca944b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 10110 |
Biggest coefficient in the objective function | 330175610880000000 |
Number of bits for the biggest coefficient in the objective function | 59 |
Sum of the numbers in the objective function | -3512679628005298690 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 330175610880000000 |
Number of bits of the biggest number in a constraint | 59 |
Biggest sum of numbers in a constraint | -3512679628005298690 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.363944 |
Number of variables | 42240 |
Total number of constraints | 844 |
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 | 844 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 04:21:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10974 boxname=wulflinc25 idbench=845 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: e0398e644ed8244eeb84fb20e0ca944b /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-maros.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-maros.opb IDLAUNCH: 10974 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 570340 kB Buffers: 18256 kB Cached: 421796 kB SwapCached: 588 kB Active: 42036 kB Inactive: 400256 kB HighTotal: 131008 kB HighFree: 8848 kB LowTotal: 903652 kB LowFree: 561492 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16276 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:21:53 (client local time) WITH STATUS 0 IN 24.8512 SECONDS stats: 10974 7 24.8512 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -98*G0186041_bit_10 -196*G0186041_bit_9 -392*G0186041_bit_8 -784*G0186041_bit_7 -1568*G0186041_bit_6 -3136*G0186041_bit_5 -6272*G0186041_bit_4 -12544*G0186041_bit_3 -25088*G0186041_bit_2 -50176*G0186041_bit_1 -100352*G0186041_bit0 -200704*G0186041_bit1 -401408*G0186041_bit2 -802816*G0186041_bit3 -1605632*G0186041_bit4 -3211264*G0186041_bit5 -6422528*G0186041_bit6 -12845056*G0186041_bit7 -25690112*G0186041_bit8 -51380224*G0186041_bit9 -102760448*G0186041_bit10 -205520896*G0186041_bit11 -411041792*G0186041_bit12 -822083584*G0186041_bit13 -1644167168*G0186041_bit14 -3288334336*G0186041_bit15 -6576668672*G0186041_bit16 -13153337344*G0186041_bit17 -26306674688*G0186041_bit18 -52613349376*G0186041_bit19 -2*G0186051_bit_10 -4*G0186051_bit_9 -8*G0186051_bit_8 -16*G0186051_bit_7 -32*G0186051_bit_6 -64*G0186051_bit_5 -128*G0186051_bit_4 -256*G0186051_bit_3 -512*G0186051_bit_2 -1024*G0186051_bit_1 -2048*G0186051_bit0 -4096*G0186051_bit1 -8192*G0186051_bit2 -16384*G0186051_bit3 -32768*G0186051_bit4 -65536*G0186051_bit5 -131072*G0186051_bit6 -262144*G0186051_bit7 -524288*G0186051_bit8 -1048576*G0186051_bit9 -2097152*G0186051_bit10 -4194304*G0186051_bit11 -8388608*G0186051_bit12 -16777216*G0186051_bit13 -33554432*G0186051_bit14 -67108864*G0186051_bit15 -134217728*G0186051_bit16 -268435456*G0186051_bit17 -536870912*G0186051_bit18 -1073741824*G0186051_bit19 -10*G0186071_bit_10 -20*G0186071_bit_9 -40*G0186071_bit_8 -80*G0186071_bit_7 -160*G0186071_bit_6 -320*G0186071_bit_5 -640*G0186071_bit_4 -1280*G0186071_bit_3 -2560*G0186071_bit_2 -5120*G0186071_bit_1 -10240*G0186071_bit0 -20480*G0186071_bit1 -40960*G0186071_bit2 -81920*G0186071_bit3 -163840*G0186071_bit4 -327680*G0186071_bit5 -655360*G0186071_bit6 -1310720*G0186071_bit7 -2621440*G0186071_bit8 -5242880*G0186071_bit9 -10485760*G0186071_bit10 -20971520*G0186071_bit11 -41943040*G0186071_bit12 -83886080*G0186071_bit13 -167772160*G0186071_bit14 -335544320*G0186071_bit15 -671088640*G0186071_bit16 -1342177280*G0186071_bit17 -2684354560*G0186071_bit18 -5368709120*G0186071_bit19 -5*G0186081_bit_10 -10*G0186081_bit_9 -20*G0186081_bit_8 -40*G0186081_bit_7 -80*G0186081_bit_6 -160*G0186081_bit_5 -320*G0186081_bit_4 -640*G0186081_bit_3 -1280*G0186081_bit_2 -2560*G0186081_bit_1 -5120*G0186081_bit0 -10240*G0186081_bit1 -20480*G0186081_bit2 -40960*G0186081_bit3 -81920*G0186081_bit4 -163840*G0186081_bit5 -327680*G0186081_bit6 -655360*G0186081_bit7 -1310720*G0186081_bit8 -2621440*G0186081_bit9 -5242880*G0186081_bit10 -10485760*G0186081_bit11 -20971520*G0186081_bit12 -41943040*G0186081_bit13 -83886080*G0186081_bit14 -167772160*G0186081_bit15 -335544320*G0186081_bit16 -671088640*G0186081_bit17 -1342177280*G0186081_bit18 -2684354560*G0186081_bit19 -2*G0186091_bit_10 -4*G0186091_bit_9 -8*G0186091_bit_8 -16*G0186091_bit_7 -32*G0186091_bit_6 -64*G0186091_bit_5 -128*G0186091_bit_4 -256*G0186091_bit_3 -512*G0186091_bit_2 -1024*G0186091_bit_1 -2048*G0186091_bit0 -4096*G0186091_bit1 -8192*G0186091_bit2 -16384*G0186091_bit3 -32768*G0186091_bit4 -65536*G0186091_bit5 -131072*G0186091_bit6 -262144*G0186091_bit7 -524288*G0186091_bit8 -1048576*G0186091_bit9 -2097152*G0186091_bit10 -4194304*G0186091_bit11 -8388608*G0186091_bit12 -16777216*G0186091_bit13 -33554432*G0186091_bit14 -67108864*G0186091_bit15 -134217728*G0186091_bit16 -268435456*G0186091_bit17 -536870912*G0186091_bit18 -1073741824*G0186091_bit19 -5*G0186101_bit_10 -10*G0186101_bit_9 -20*G0186101_bit_8 -40*G0186101_bit_7 -80*G0186101_bit_6 -160*G0186101_bit_5 -320*G0186101_bit_4 -640*G0186101_bit_3 -1280*G0186101_bit_2 -2560*G0186101_bit_1 -5120*G0186101_bit0 -10240*G0186101_bit1 -20480*G0186101_bit2 -40960*G0186101_bit3 -81920*G0186101_bit4 -163840*G0186101_bit5 -327680*G0186101_bit6 -655360*G0186101_bit7 -1310720*G0186101_bit8 -2621440*G0186101_bit9 -5242880*G0186101_bit10 -10485760*G0186101_bit11 -20971520*G0186101_bit12 -41943040*G0186101_bit13 -83886080*G0186101_bit14 -167772160*G0186101_bit15 -335544320*G0186101_bit16 -671088640*G0186101_bit17 -1342177280*G0186101_bit18 -2684354560*G0186101_bit19 -95*G0186131_bit_10 -190*G0186131_bit_9 -380*G0186131_bit_8 -760*G0186131_bit_7 -1520*G0186131_bit_6 -3040*G0186131_bit_5 -6080*G0186131_bit_4 -12160*G0186131_bit_3 -24320*G0186131_bit_2 -48640*G0186131_bit_1 -97280*G0186131_bit0 -194560*G0186131_bit1 -389120*G0186131_bit2 -778240*G0186131_bit3 -1556480*G0186131_bit4 -3112960*G0186131_bit5 -6225920*G0186131_bit6 -12451840*G0186131_bit7 -24903680*G0186131_bit8 -49807360*G0186131_bit9 -99614720*G0186131_bit10 -199229440*G0186131_bit11 -398458880*G0186131_bit12 -796917760*G0186131_bit13 -1593835520*G0186131_bit14 -3187671040*G0186131_bit15 -6375342080*G0186131_bit16 -12750684160*G0186131_bit17 -25501368320*G0186131_bit18 -51002736640*G0186131_bit19 -100*G0186121_bit_10 -200*G0186121_bit_9 -400*G0186121_bit_8 -800*G0186121_bit_7 -1600*G0186121_bit_6 -3200*G0186121_bit_5 -6400*G0186121_bit_4 -12800*G0186121_bit_3 -25600*G0186121_bit_2 -51200*G0186121_bit_1 -102400*G0186121_bit0 -204800*G0186121_bit1 -409600*G0186121_bit2 -819200*G0186121_bit3 -1638400*G0186121_bit4 -3276800*G0186121_bit5 -6553600*G0186121_bit6 -13107200*G0186121_bit7 -26214400*G0186121_bit8 -52428800*G0186121_bit9 -104857600*G0186121_bit10 -209715200*G0186121_bit11 -419430400*G0186121_bit12 -838860800*G0186121_bit13 -1677721600*G0186121_bit14 -3355443200*G0186121_bit15 -6710886400*G0186121_bit16 -13421772800*G0186121_bit17 -26843545600*G0186121_bit18 -53687091200*G0186121_bit19 -70*G0186161_bit_10 -140*G0186161_bit_9 -280*G0186161_bit_8 -560*G0186161_bit_7 -1120*G0186161_bit_6 -2240*G0186161_bit_5 -4480*G0186161_bit_4 -8960*G0186161_bit_3 -17920*G0186161_bit_2 -35840*G0186161_bit_1 -71680*G0186161_bit0 -143360*G0186161_bit1 -286720*G0186161_bit2 -573440*G0186161_bit3 -1146880*G0186161_bit4 -2293760*G0186161_bit5 -4587520*G0186161_bit6 -9175040*G0186161_bit7 -18350080*G0186161_bit8 -36700160*G0186161_bit9 -73400320*G0186161_bit10 -146800640*G0186161_bit11 -293601280*G0186161_bit12 -587202560*G0186161_bit13 -1174405120*G0186161_bit14 -2348810240*G0186161_bit15 -4697620480*G0186161_bit16 -9395240960*G0186161_bit17 -18790481920*G0186161_bit18 -37580963840*G0186161_bit19 -62*G0186171_bit_10 -124*G0186171_bit_9 -248*G0186171_bit_8 -496*G0186171_bit_7 -992*G0186171_bit_6 -1984*G0186171_bit_5 -3968*G0186171_bit_4 -7936*G0186171_bit_3 -15872*G0186171_bit_2 -31744*G0186171_bit_1 -63488*G0186171_bit0 -126976*G0186171_bit1 -253952*G0186171_bit2 -507904*G0186171_bit3 -1015808*G0186171_bit4 -2031616*G0186171_bit5 -4063232*G0186171_bit6 -8126464*G0186171_bit7 -16252928*G0186171_bit8 -32505856*G0186171_bit9 -65011712*G0186171_bit10 -130023424*G0186171_bit11 -260046848*G0186171_bit12 -520093696*G0186171_bit13 -1040187392*G0186171_bit14 -2080374784*G0186171_bit15 -4160749568*G0186171_bit16 -8321499136*G0186171_bit17 -16642998272*G0186171_bit18 -33285996544*G0186171_bit19 -10*G0186201_bit_10 -20*G0186201_bit_9 -40*G0186201_bit_8 -80*G0186201_bit_7 -160*G0186201_bit_6 -320*G0186201_bit_5 -640*G0186201_bit_4 -1280*G0186201_bit_3 -2560*G0186201_bit_2 -5120*G0186201_bit_1 -10240*G0186201_bit0 -20480*G0186201_bit1 -40960*G0186201_bit2 -81920*G0186201_bit3 -163840*G0186201_bit4 -327680*G0186201_bit5 -655360*G0186201_bit6 -1310720*G0186201_bit7 -2621440*G0186201_bit8 -5242880*G0186201_bit9 -10485760*G0186201_bit10 -20971520*G0186201_bit11 -41943040*G0186201_bit12 -83886080*G0186201_bit13 -167772160*G0186201_bit14 -335544320*G0186201_bit15 -671088640*G0186201_bit16 -1342177280*G0186201_bit17 -2684354560*G0186201_bit18 -5368709120*G0186201_bit19 -12*G0186231_bit_10 -24*G0186231_bit_9 -48*G0186231_bit_8 -96*G0186231_bit_7 -192*G0186231_bit_6 -384*G0186231_bit_5 -768*G0186231_bit_4 -1536*G0186231_bit_3 -3072*G0186231_bit_2 -6144*G0186231_bit_1 -12288*G0186231_bit0 -24576*G0186231_bit1 -49152*G0186231_bit2 -98304*G0186231_bit3 -196608*G0186231_bit4 -393216*G0186231_bit5 -786432*G0186231_bit6 -1572864*G0186231_bit7 -3145728*G0186231_bit8 -6291456*G0186231_bit9 -12582912*G0186231_bit10 -25165824*G0186231_bit11 -50331648*G0186231_bit12 -100663296*G0186231_bit13 -201326592*G0186231_bit14 -402653184*G0186231_bit15 -805306368*G0186231_bit16 -1610612736*G0186231_bit17 -3221225472*G0186231_bit18 -6442450944*G0186231_bit19 -5*G0186241_bit_10 -10*G0186241_bit_9 -20*G0186241_bit_8 -40*G0186241_bit_7 -80*G0186241_bit_6 -160*G0186241_bit_5 -320*G0186241_bit_4 -640*G0186241_bit_3 -1280*G0186241_bit_2 -2560*G0186241_bit_1 -5120*G0186241_bit0 -10240*G0186241_bit1 -20480*G0186241_bit2 -40960*G0186241_bit3 -81920*G0186241_bit4 -163840*G0186241_bit5 -327680*G0186241_bit6 -655360*G0186241_bit7 -1310720*G0186241_bit8 -2621440*G0186241_bit9 -5242880*G0186241_bit10 -10485760*G0186241_bit11 -20971520*G0186241_bit12 -41943040*G0186241_bit13 -83886080*G0186241_bit14 -167772160*G0186241_bit15 -335544320*G0186241_bit16 -671088640*G0186241_bit17 -1342177280*G0186241_bit18 -2684354560*G0186241_bit19 -5*G0186251_bit_10 -10*G0186251_bit_9 -20*G0186251_bit_8 -40*G0186251_bit_7 -80*G0186251_bit_6 -160*G0186251_bit_5 -320*G0186251_bit_4 -640*G0186251_bit_3 -1280*G0186251_bit_2 -2560*G0186251_bit_1 -5120*G0186251_bit0 -10240*G0186251_bit1 -20480*G0186251_bit2 -40960*G0186251_bit3 -81920*G0186251_bit4 -163840*G0186251_bit5 -327680*G0186251_bit6 -655360*G0186251_bit7 -1310720*G0186251_bit8 -2621440*G0186251_bit9 -5242880*G0186251_bit10 -10485760*G0186251_bit11 -20971520*G0186251_bit12 -41943040*G0186251_bit13 -83886080*G0186251_bit14 -167772160*G0186251_bit15 -335544320*G0186251_bit16 -671088640*G0186251_bit17 -1342177280*G0186251_bit18 -2684354560*G0186251_bit19 -10*G0186271_bit_10 -20*G0186271_bit_9 -40*G0186271_bit_8 -80*G0186271_bit_7 -160*G0186271_bit_6 -320*G0186271_bit_5 -640*G0186271_bit_4 -1280*G0186271_bit_3 -2560*G0186271_bit_2 -5120*G0186271_bit_1 -10240*G0186271_bit0 -20480*G0186271_bit1 -40960*G0186271_bit2 -81920*G0186271_bit3 -163840*G0186271_bit4 -327680*G0186271_bit5 -655360*G0186271_bit6 -1310720*G0186271_bit7 -2621440*G0186271_bit8 -5242880*G0186271_bit9 -10485760*G0186271_bit10 -20971520*G0186271_bit11 -41943040*G0186271_bit12 -83886080*G0186271_bit13 -167772160*G0186271_bit14 -335544320*G0186271_bit15 -671088640*G0186271_bit16 -1342177280*G0186271_bit17 -2684354560*G0186271_bit18 -5368709120*G0186271_bit19 -52*G0186281_bit_10 -104*G0186281_bit_9 -208*G0186281_bit_8 -416*G0186281_bit_7 -832*G0186281_bit_6 -1664*G0186281_bit_5 -3328*G0186281_bit_4 -6656*G0186281_bit_3 -13312*G0186281_bit_2 -26624*G0186281_bit_1 -53248*G0186281_bit0 -106496*G0186281_bit1 -212992*G0186281_bit2 -425984*G0186281_bit3 -851968*G0186281_bit4 -1703936*G0186281_bit5 -3407872*G0186281_bit6 -6815744*G0186281_bit7 -13631488*G0186281_bit8 -27262976*G0186281_bit9 -54525952*G0186281_bit10 -109051904*G0186281_bit11 -218103808*G0186281_bit12 -436207616*G0186281_bit13 -872415232*G0186281_bit14 -1744830464*G0186281_bit15 -3489660928*G0186281_bit16 -6979321856*G0186281_bit17 -13958643712*G0186281_bit18 -27917287424*G0186281_bit19 -65*G0186331_bit_10 -130*G0186331_bit_9 -260*G0186331_bit_8 -520*G0186331_bit_7 -1040*G0186331_bit_6 -2080*G0186331_bit_5 -4160*G0186331_bit_4 -8320*G0186331_bit_3 -16640*G0186331_bit_2 -33280*G0186331_bit_1 -66560*G0186331_bit0 -133120*G0186331_bit1 -266240*G0186331_bit2 -532480*G0186331_bit3 -1064960*G0186331_bit4 -2129920*G0186331_bit5 -4259840*G0186331_bit6 -8519680*G0186331_bit7 -17039360*G0186331_bit8 -34078720*G0186331_bit9 -68157440*G0186331_bit10 -136314880*G0186331_bit11 -272629760*G0186331_bit12 -545259520*G0186331_bit13 -1090519040*G0186331_bit14 -2181038080*G0186331_bit15 -4362076160*G0186331_bit16 -8724152320*G0186331_bit17 -17448304640*G0186331_bit18 -34896609280*G0186331_bit19 -50*G0186341_bit_10 -100*G0186341_bit_9 -200*G0186341_bit_8 -400*G0186341_bit_7 -800*G0186341_bit_6 -1600*G0186341_bit_5 -3200*G0186341_bit_4 -6400*G0186341_bit_3 -12800*G0186341_bit_2 -25600*G0186341_bit_1 -51200*G0186341_bit0 -102400*G0186341_bit1 -204800*G0186341_bit2 -409600*G0186341_bit3 -819200*G0186341_bit4 -1638400*G0186341_bit5 -3276800*G0186341_bit6 -6553600*G0186341_bit7 -13107200*G0186341_bit8 -26214400*G0186341_bit9 -52428800*G0186341_bit10 -104857600*G0186341_bit11 -209715200*G0186341_bit12 -419430400*G0186341_bit13 -838860800*G0186341_bit14 -1677721600*G0186341_bit15 -3355443200*G0186341_bit16 -6710886400*G0186341_bit17 -13421772800*G0186341_bit18 -26843545600*G0186341_bit19 -100*G0186371_bit_10 -200*G0186371_bit_9 -400*G0186371_bit_8 -800*G0186371_bit_7 -1600*G0186371_bit_6 -3200*G0186371_bit_5 -6400*G0186371_bit_4 -12800*G0186371_bit_3 -25600*G0186371_bit_2 -51200*G0186371_bit_1 -102400*G0186371_bit0 -204800*G0186371_bit1 -409600*G0186371_bit2 -819200*G0186371_bit3 -1638400*G0186371_bit4 -3276800*G0186371_bit5 -6553600*G0186371_bit6 -13107200*G0186371_bit7 -26214400*G0186371_bit8 -52428800*G0186371_bit9 -104857600*G0186371_bit10 -209715200*G0186371_bit11 -419430400*G0186371_bit12 -838860800*G0186371_bit13 -1677721600*G0186371_bit14 -3355443200*G0186371_bit15 -6710886400*G0186371_bit16 -13421772800*G0186371_bit17 -26843545600*G0186371_bit18 -53687091200*G0186371_bit19 -5*G0186411_bit_10 -10*G0186411_bit_9 -20*G0186411_bit_8 -40*G0186411_bit_7 -80*G0186411_bit_6 -160*G0186411_bit_5 -320*G0186411_bit_4 -640*G0186411_bit_3 -1280*G0186411_bit_2 -2560*G0186411_bit_1 -5120*G0186411_bit0 -10240*G0186411_bit1 -20480*G0186411_bit2 -40960*G0186411_bit3 -81920*G0186411_bit4 -163840*G0186411_bit5 -327680*G0186411_bit6 -655360*G0186411_bit7 -1310720*G0186411_bit8 -2621440*G0186411_bit9 -5242880*G0186411_bit10 -10485760*G0186411_bit11 -20971520*G0186411_bit12 -41943040*G0186411_bit13 -83886080*G0186411_bit14 -167772160*G0186411_bit15 -335544320*G0186411_bit16 -671088640*G0186411_bit17 -1342177280*G0186411_bit18 -2684354560*G0186411_bit19 -65*G0186451_bit_10 -130*G0186451_bit_9 -260*G0186451_bit_8 -520*G0186451_bit_7 -1040*G0186451_bit_6 -2080*G0186451_bit_5 -4160*G0186451_bit_4 -8320*G0186451_bit_3 -16640*G0186451_bit_2 -33280*G0186451_bit_1 -66560*G0186451_bit0 -133120*G0186451_bit1 -266240*G0186451_bit2 -532480*G0186451_bit3 -1064960*G0186451_bit4 -2129920*G0186451_bit5 -4259840*G0186451_bit6 -8519680*G0186451_bit7 -17039360*G0186451_bit8 -34078720*G0186451_bit9 -68157440*G0186451_bit10 -136314880*G0186451_bit11 -272629760*G0186451_bit12 -545259520*G0186451_bit13 -1090519040*G0186451_bit14 -2181038080*G0186451_bit15 -4362076160*G0186451_bit16 -8724152320*G0186451_bit17 -17448304640*G0186451_bit18 -34896609280*G0186451_bit19 -50*G0186461_bit_10 -100*G0186461_bit_9 -200*G0186461_bit_8 -400*G0186461_bit_7 -800*G0186461_bit_6 -1600*G0186461_bit_5 -3200*G0186461_bit_4 -6400*G0186461_bit_3 -12800*G0186461_bit_2 -25600*G0186461_bit_1 -51200*G0186461_bit0 -102400*G0186461_bit1 -204800*G0186461_bit2 -409600*G0186461_bit3 -819200*G0186461_bit4 -1638400*G0186461_bit5 -3276800*G0186461_bit6 -6553600*G0186461_bit7 -13107200*G0186461_bit8 -26214400*G0186461_bit9 -52428800*G0186461_bit10 -104857600*G0186461_bit11 -209715200*G0186461_bit12 -419430400*G0186461_bit13 -838860800*G0186461_bit14 -1677721600*G0186461_bit15 -3355443200*G0186461_bit16 -6710886400*G0186461_bit17 -13421772800*G0186461_bit18 -26843545600*G0186461_bit19 -5*G0186581_bit_10 -10*G0186581_bit_9 -20*G0186581_bit_8 -40*G0186581_bit_7 -80*G0186581_bit_6 -160*G0186581_bit_5 -320*G0186581_bit_4 -640*G0186581_bit_3 -1280*G0186581_bit_2 -2560*G0186581_bit_1 -5120*G0186581_bit0 -10240*G0186581_bit1 -20480*G0186581_bit2 -40960*G0186581_bit3 -81920*G0186581_bit4 -163840*G0186581_bit5 -327680*G0186581_bit6 -655360*G0186581_bit7 -1310720*G0186581_bit8 -2621440*G0186581_bit9 -5242880*G0186581_bit10 -10485760*G0186581_bit11 -20971520*G0186581_bit12 -41943040*G0186581_bit13 -83886080*G0186581_bit14 -167772160*G0186581_bit15 -335544320*G0186581_bit16 -671088640*G0186581_bit17 -1342177280*G0186581_bit18 -2684354560*G0186581_bit19 -10*G0186601_bit_10 -20*G0186601_bit_9 -40*G0186601_bit_8 -80*G0186601_bit_7 -160*G0186601_bit_6 -320*G0186601_bit_5 -640*G0186601_bit_4 -1280*G0186601_bit_3 -2560*G0186601_bit_2 -5120*G0186601_bit_1 -10240*G0186601_bit0 -20480*G0186601_bit1 -40960*G0186601_bit2 -81920*G0186601_bit3 -163840*G0186601_bit4 -327680*G0186601_bit5 -655360*G0186601_bit6 -1310720*G0186601_bit7 -2621440*G0186601_bit8 -5242880*G0186601_bit9 -10485760*G0186601_bit10 -20971520*G0186601_bit11 -41943040*G0186601_bit12 -83886080*G0186601_bit13 -167772160*G0186601_bit14 -335544320*G0186601_bit15 -671088640*G0186601_bit16 -1342177280*G0186601_bit17 -2684354560*G0186601_bit18 -5368709120*G0186601_bit19 -12*G0186711_bit_10 -24*G0186711_bit_9 -48*G0186711_bit_8 -96*G0186711_bit_7 -192*G0186711_bit_6 -384*G0186711_bit_5 -768*G0186711_bit_4 -1536*G0186711_bit_3 -3072*G0186711_bit_2 -6144*G0186711_bit_1 -12288*G0186711_bit0 -24576*G0186711_bit1 -49152*G0186711_bit2 -98304*G0186711_bit3 -196608*G0186711_bit4 -393216*G0186711_bit5 -786432*G0186711_bit6 -1572864*G0186711_bit7 -3145728*G0186711_bit8 -6291456*G0186711_bit9 -12582912*G0186711_bit10 -25165824*G0186711_bit11 -50331648*G0186711_bit12 -100663296*G0186711_bit13 -201326592*G0186711_bit14 -402653184*G0186711_bit15 -805306368*G0186711_bit16 -1610612736*G0186711_bit17 -3221225472*G0186711_bit18 -6442450944*G0186711_bit19 +62*G0186991_bit_10 +124*G0186991_bit_9 +248*G0186991_bit_8 +496*G0186991_bit_7 +992*G0186991_bit_6 +1984*G0186991_bit_5 +3968*G0186991_bit_4 +7936*G0186991_bit_3 +15872*G0186991_bit_2 +31744*G0186991_bit_1 +63488*G0186991_bit0 +126976*G0186991_bit1 +253952*G0186991_bit2 +507904*G0186991_bit3 +1015808*G0186991_bit4 +2031616*G0186991_bit5 +4063232*G0186991_bit6 +8126464*G0186991_bit7 +16252928*G0186991_bit8 +32505856*G0186991_bit9 +65011712*G0186991_bit10 +130023424*G0186991_bit11 +260046848*G0186991_bit12 +520093696*G0186991_bit13 +1040187392*G0186991_bit14 +2080374784*G0186991_bit15 +4160749568*G0186991_bit16 +8321499136*G0186991_bit17 +16642998272*G0186991_bit18 +33285996544*G0186991_bit19 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-maros.opb s UNKNOWN c Exit Code: 0 c Total time: 24.812 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.87 0.95 0.93 1/54 9419 Raw data (stat): 9419 (runsolver) D 9418 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 835972671 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.89 0.96 0.93 2/54 9419 Raw data (stat): 9419 (bsolo_lpr_cuts) R 9418 1586 1585 0 -1 0 2361 0 0 0 966 4 0 0 25 0 1 0 835972671 22650880 2285 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5530 2285 1111 63 0 5467 0 vsize: 22120 [startup+20.0007 s] Raw data (loadavg): 0.91 0.96 0.93 2/54 9419 Raw data (stat): 9419 (bsolo_lpr_cuts) R 9418 1586 1585 0 -1 0 4832 0 0 0 1961 10 0 0 25 0 1 0 835972671 32731136 4756 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7991 4756 1111 63 0 7928 0 vsize: 31964 [startup+25.1437 s] Raw data (loadavg): 0.92 0.96 0.93 1/53 9419 Raw data (stat): 9419 (bsolo_lpr_cuts) R 9418 1586 1585 0 -1 0 4832 0 0 0 1961 10 0 0 25 0 1 0 835972671 32731136 4756 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7991 4756 1111 63 0 7928 0 vsize: 0 Child status: 0 Real time (s): 25.1433 CPU time (s): 24.8512 CPU user time (s): 24.4103 CPU system time (s): 0.440932 CPU usage (%): 98.8382 Max. virtual memory (Kb): 31964 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####