Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc04.opb |
MD5SUM | 7b42190d864979953c47e5a92736f365 |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 43188899594881916928 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 133861748414790074368 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 4.12137 |
Number of variables | 146276 |
Total number of constraints | 1755 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 1710 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5071 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-24 16:42:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11975 boxname=wulflinc20 idbench=922 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 7b42190d864979953c47e5a92736f365 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc04.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc04.opb IDLAUNCH: 11975 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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: 878400 kB Buffers: 4220 kB Cached: 130068 kB SwapCached: 556 kB Active: 25768 kB Inactive: 110524 kB HighTotal: 131008 kB HighFree: 91336 kB LowTotal: 903652 kB LowFree: 787064 kB SwapTotal: 2097892 kB SwapFree: 2096376 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5096 kB Slab: 14164 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 16:42:12 (client local time) WITH STATUS 0 IN 0.049992 SECONDS stats: 11975 7 0.049992 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +66*CL0277_bit_10 +132*CL0277_bit_9 +264*CL0277_bit_8 +528*CL0277_bit_7 +1056*CL0277_bit_6 +2112*CL0277_bit_5 +4224*CL0277_bit_4 +8448*CL0277_bit_3 +16896*CL0277_bit_2 +33792*CL0277_bit_1 +67584*CL0277_bit0 +135168*CL0277_bit1 +270336*CL0277_bit2 +540672*CL0277_bit3 +1081344*CL0277_bit4 +2162688*CL0277_bit5 +4325376*CL0277_bit6 +8650752*CL0277_bit7 +17301504*CL0277_bit8 +34603008*CL0277_bit9 +69206016*CL0277_bit10 +138412032*CL0277_bit11 +276824064*CL0277_bit12 +553648128*CL0277_bit13 +1107296256*CL0277_bit14 +2214592512*CL0277_bit15 +4429185024*CL0277_bit16 +8858370048*CL0277_bit17 +17716740096*CL0277_bit18 +35433480192*CL0277_bit19 +66*CL0349_bit_10 +132*CL0349_bit_9 +264*CL0349_bit_8 +528*CL0349_bit_7 +1056*CL0349_bit_6 +2112*CL0349_bit_5 +4224*CL0349_bit_4 +8448*CL0349_bit_3 +16896*CL0349_bit_2 +33792*CL0349_bit_1 +67584*CL0349_bit0 +135168*CL0349_bit1 +270336*CL0349_bit2 +540672*CL0349_bit3 +1081344*CL0349_bit4 +2162688*CL0349_bit5 +4325376*CL0349_bit6 +8650752*CL0349_bit7 +17301504*CL0349_bit8 +34603008*CL0349_bit9 +69206016*CL0349_bit10 +138412032*CL0349_bit11 +276824064*CL0349_bit12 +553648128*CL0349_bit13 +1107296256*CL0349_bit14 +2214592512*CL0349_bit15 +4429185024*CL0349_bit16 +8858370048*CL0349_bit17 +17716740096*CL0349_bit18 +35433480192*CL0349_bit19 +66*CL0421_bit_10 +132*CL0421_bit_9 +264*CL0421_bit_8 +528*CL0421_bit_7 +1056*CL0421_bit_6 +2112*CL0421_bit_5 +4224*CL0421_bit_4 +8448*CL0421_bit_3 +16896*CL0421_bit_2 +33792*CL0421_bit_1 +67584*CL0421_bit0 +135168*CL0421_bit1 +270336*CL0421_bit2 +540672*CL0421_bit3 +1081344*CL0421_bit4 +2162688*CL0421_bit5 +4325376*CL0421_bit6 +8650752*CL0421_bit7 +17301504*CL0421_bit8 +34603008*CL0421_bit9 +69206016*CL0421_bit10 +138412032*CL0421_bit11 +276824064*CL0421_bit12 +553648128*CL0421_bit13 +1107296256*CL0421_bit14 +2214592512*CL0421_bit15 +4429185024*CL0421_bit16 +8858370048*CL0421_bit17 +17716740096*CL0421_bit18 +35433480192*CL0421_bit19 +41*CL0493_bit_10 +82*CL0493_bit_9 +164*CL0493_bit_8 +328*CL0493_bit_7 +656*CL0493_bit_6 +1312*CL0493_bit_5 +2624*CL0493_bit_4 +5248*CL0493_bit_3 +10496*CL0493_bit_2 +20992*CL0493_bit_1 +41984*CL0493_bit0 +83968*CL0493_bit1 +167936*CL0493_bit2 +335872*CL0493_bit3 +671744*CL0493_bit4 +1343488*CL0493_bit5 +2686976*CL0493_bit6 +5373952*CL0493_bit7 +10747904*CL0493_bit8 +21495808*CL0493_bit9 +42991616*CL0493_bit10 +85983232*CL0493_bit11 +171966464*CL0493_bit12 +343932928*CL0493_bit13 +687865856*CL0493_bit14 +1375731712*CL0493_bit15 +2751463424*CL0493_bit16 +5502926848*CL0493_bit17 +11005853696*CL0493_bit18 +22011707392*CL0493_bit19 +41*CL0565_bit_10 +82*CL0565_bit_9 +164*CL0565_bit_8 +328*CL0565_bit_7 +656*CL0565_bit_6 +1312*CL0565_bit_5 +2624*CL0565_bit_4 +5248*CL0565_bit_3 +10496*CL0565_bit_2 +20992*CL0565_bit_1 +41984*CL0565_bit0 +83968*CL0565_bit1 +167936*CL0565_bit2 +335872*CL0565_bit3 +671744*CL0565_bit4 +1343488*CL0565_bit5 +2686976*CL0565_bit6 +5373952*CL0565_bit7 +10747904*CL0565_bit8 +21495808*CL0565_bit9 +42991616*CL0565_bit10 +85983232*CL0565_bit11 +171966464*CL0565_bit12 +343932928*CL0565_bit13 +687865856*CL0565_bit14 +1375731712*CL0565_bit15 +2751463424*CL0565_bit16 +5502926848*CL0565_bit17 +11005853696*CL0565_bit18 +22011707392*CL0565_bit19 +41*CL0637_bit_10 +82*CL0637_bit_9 +164*CL0637_bit_8 +328*CL0637_bit_7 +656*CL0637_bit_6 +1312*CL0637_bit_5 +2624*CL0637_bit_4 +5248*CL0637_bit_3 +10496*CL0637_bit_2 +20992*CL0637_bit_1 +41984*CL0637_bit0 +83968*CL0637_bit1 +167936*CL0637_bit2 +335872*CL0637_bit3 +671744*CL0637_bit4 +1343488*CL0637_bit5 +2686976*CL0637_bit6 +5373952*CL0637_bit7 +10747904*CL0637_bit8 +21495808*CL0637_bit9 +42991616*CL0637_bit10 +85983232*CL0637_bit11 +171966464*CL0637_bit12 +343932928*CL0637_bit13 +687865856*CL0637_bit14 +1375731712*CL0637_bit15 +2751463424*CL0637_bit16 +5502926848*CL0637_bit17 +11005853696*CL0637_bit18 +22011707392*CL0637_bit19 +92*CL0709_bit_10 +184*CL0709_bit_9 +368*CL0709_bit_8 +736*CL0709_bit_7 +1472*CL0709_bit_6 +2944*CL0709_bit_5 +5888*CL0709_bit_4 +11776*CL0709_bit_3 +23552*CL0709_bit_2 +47104*CL0709_bit_1 +94208*CL0709_bit0 +188416*CL0709_bit1 +376832*CL0709_bit2 +753664*CL0709_bit3 +1507328*CL0709_bit4 +3014656*CL0709_bit5 +6029312*CL0709_bit6 +12058624*CL0709_bit7 +24117248*CL0709_bit8 +48234496*CL0709_bit9 +96468992*CL0709_bit10 +192937984*CL0709_bit11 +385875968*CL0709_bit12 +771751936*CL0709_bit13 +1543503872*CL0709_bit14 +3087007744*CL0709_bit15 +6174015488*CL0709_bit16 +12348030976*CL0709_bit17 +24696061952*CL0709_bit18 +49392123904*CL0709_bit19 +92*CL0781_bit_10 +184*CL0781_bit_9 +368*CL0781_bit_8 +736*CL0781_bit_7 +1472*CL0781_bit_6 +2944*CL0781_bit_5 +5888*CL0781_bit_4 +11776*CL0781_bit_3 +23552*CL0781_bit_2 +47104*CL0781_bit_1 +94208*CL0781_bit0 +188416*CL0781_bit1 +376832*CL0781_bit2 +753664*CL0781_bit3 +1507328*CL0781_bit4 +3014656*CL0781_bit5 +6029312*CL0781_bit6 +12058624*CL0781_bit7 +24117248*CL0781_bit8 +48234496*CL0781_bit9 +96468992*CL0781_bit10 +192937984*CL0781_bit11 +385875968*CL0781_bit12 +771751936*CL0781_bit13 +1543503872*CL0781_bit14 +3087007744*CL0781_bit15 +6174015488*CL0781_bit16 +12348030976*CL0781_bit17 +24696061952*CL0781_bit18 +49392123904*CL0781_bit19 +92*CL0853_bit_10 +184*CL0853_bit_9 +368*CL0853_bit_8 +736*CL0853_bit_7 +1472*CL0853_bit_6 +2944*CL0853_bit_5 +5888*CL0853_bit_4 +11776*CL0853_bit_3 +23552*CL0853_bit_2 +47104*CL0853_bit_1 +94208*CL0853_bit0 +188416*CL0853_bit1 +376832*CL0853_bit2 +753664*CL0853_bit3 +1507328*CL0853_bit4 +3014656*CL0853_bit5 +6029312*CL0853_bit6 +12058624*CL0853_bit7 +24117248*CL0853_bit8 +48234496*CL0853_bit9 +96468992*CL0853_bit10 +192937984*CL0853_bit11 +385875968*CL0853_bit12 +771751936*CL0853_bit13 +1543503872*CL0853_bit14 +3087007744*CL0853_bit15 +6174015488*CL0853_bit16 +12348030976*CL0853_bit17 +24696061952*CL0853_bit18 +49392123904*CL0853_bit19 +92*CL0925_bit_10 +184*CL0925_bit_9 +368*CL0925_bit_8 +736*CL0925_bit_7 +1472*CL0925_bit_6 +2944*CL0925_bit_5 +5888*CL0925_bit_4 +11776*CL0925_bit_3 +23552*CL0925_bit_2 +47104*CL0925_bit_1 +94208*CL0925_bit0 +188416*CL0925_bit1 +376832*CL0925_bit2 +753664*CL0925_bit3 +1507328*CL0925_bit4 +3014656*CL0925_bit5 +6029312*CL0925_bit6 +12058624*CL0925_bit7 +24117248*CL0925_bit8 +48234496*CL0925_bit9 +96468992*CL0925_bit10 +192937984*CL0925_bit11 +385875968*CL0925_bit12 +771751936*CL0925_bit13 +1543503872*CL0925_bit14 +3087007744*CL0925_bit15 +6174015488*CL0925_bit16 +12348030976*CL0925_bit17 +24696061952*CL0925_bit18 +49392123904*CL0925_bit19 +92*CL0997_bit_10 +184*CL0997_bit_9 +368*CL0997_bit_8 +736*CL0997_bit_7 +1472*CL0997_bit_6 +2944*CL0997_bit_5 +5888*CL0997_bit_4 +11776*CL0997_bit_3 +23552*CL0997_bit_2 +47104*CL0997_bit_1 +94208*CL0997_bit0 +188416*CL0997_bit1 +376832*CL0997_bit2 +753664*CL0997_bit3 +1507328*CL0997_bit4 +3014656*CL0997_bit5 +6029312*CL0997_bit6 +12058624*CL0997_bit7 +24117248*CL0997_bit8 +48234496*CL0997_bit9 +96468992*CL0997_bit10 +192937984*CL0997_bit11 +385875968*CL0997_bit12 +771751936*CL0997_bit13 +1543503872*CL0997_bit14 +3087007744*CL0997_bit15 +6174015488*CL0997_bit16 +12348030976*CL0997_bit17 +24696061952*CL0997_bit18 +49392123904*CL0997_bit19 +92*CL1069_bit_10 +184*CL1069_bit_9 +368*CL1069_bit_8 +736*CL1069_bit_7 +1472*CL1069_bit_6 +2944*CL1069_bit_5 +5888*CL1069_bit_4 +11776*CL1069_bit_3 +23552*CL1069_bit_2 +47104*CL1069_bit_1 +94208*CL1069_bit0 +188416*CL1069_bit1 +376832*CL1069_bit2 +753664*CL1069_bit3 +1507328*CL1069_bit4 +3014656*CL1069_bit5 +6029312*CL1069_bit6 +12058624*CL1069_bit7 +24117248*CL1069_bit8 +48234496*CL1069_bit9 +96468992*CL1069_bit10 +192937984*CL1069_bit11 +385875968*CL1069_bit12 +771751936*CL1069_bit13 +1543503872*CL1069_bit14 +3087007744*CL1069_bit15 +6174015488*CL1069_bit16 +12348030976*CL1069_bit17 +24696061952*CL1069_bit18 +49392123904*CL1069_bit19 +92*CL1141_bit_10 +184*CL1141_bit_9 +368*CL1141_bit_8 +736*CL1141_bit_7 +1472*CL1141_bit_6 +2944*CL1141_bit_5 +5888*CL1141_bit_4 +11776*CL1141_bit_3 +23552*CL1141_bit_2 +47104*CL1141_bit_1 +94208*CL1141_bit0 +188416*CL1141_bit1 +376832*CL1141_bit2 +753664*CL1141_bit3 +1507328*CL1141_bit4 +3014656*CL1141_bit5 +6029312*CL1141_bit6 +12058624*CL1141_bit7 +24117248*CL1141_bit8 +48234496*CL1141_bit9 +96468992*CL1141_bit10 +192937984*CL1141_bit11 +385875968*CL1141_bit12 +771751936*CL1141_bit13 +1543503872*CL1141_bit14 +3087007744*CL1141_bit15 +6174015488*CL1141_bit16 +12348030976*CL1141_bit17 +24696061952*CL1141_bit18 +49392123904*CL1141_bit19 +92*CL1213_bit_10 +184*CL1213_bit_9 +368*CL1213_bit_8 +736*CL1213_bit_7 +1472*CL1213_bit_6 +2944*CL1213_bit_5 +5888*CL1213_bit_4 +11776*CL1213_bit_3 +23552*CL1213_bit_2 +47104*CL1213_bit_1 +94208*CL1213_bit0 +188416*CL1213_bit1 +376832*CL1213_bit2 +753664*CL1213_bit3 +1507328*CL1213_bit4 +3014656*CL1213_bit5 +6029312*CL1213_bit6 +12058624*CL1213_bit7 +24117248*CL1213_bit8 +48234496*CL1213_bit9 +96468992*CL1213_bit10 +192937984*CL1213_bit11 +385875968*CL1213_bit12 +771751936*CL1213_bit13 +1543503872*CL1213_bit14 +3087007744*CL1213_bit15 +6174015488*CL1213_bit16 +12348030976*CL1213_bit17 +24696061952*CL1213_bit18 +49392123904*CL1213_bit19 +92*CL1285_bit_10 +184*CL1285_bit_9 +368*CL1285_bit_8 +736*CL1285_bit_7 +1472*CL1285_bit_6 +2944*CL1285_bit_5 +5888*CL1285_bit_4 +11776*CL1285_bit_3 +23552*CL1285_bit_2 +47104*CL1285_bit_1 +94208*CL1285_bit0 +188416*CL1285_bit1 +376832*CL1285_bit2 +753664*CL1285_bit3 +1507328*CL1285_bit4 +3014656*CL1285_bit5 +6029312*CL1285_bit6 +12058624*CL1285_bit7 +24117248*CL1285_bit8 +48234496*CL1285_bit9 +96468992*CL1285_bit10 +192937984*CL1285_bit11 +385875968*CL1285_bit12 +771751936*CL1285_bit13 +1543503872*CL1285_bit14 +3087007744*CL1285_bit15 +6174015488*CL1285_bit16 +12348030976*CL1285_bit17 +24696061952*CL1285_bit18 +49392123904*CL1285_bit19 +92*CL1357_bit_10 +184*CL1357_bit_9 +368*CL1357_bit_8 +736*CL1357_bit_7 +1472*CL1357_bit_6 +2944*CL1357_bit_5 +5888*CL1357_bit_4 +11776*CL1357_bit_3 +23552*CL1357_bit_2 +47104*CL1357_bit_1 +94208*CL1357_bit0 +188416*CL1357_bit1 +376832*CL1357_bit2 +753664*CL1357_bit3 +1507328*CL1357_bit4 +3014656*CL1357_bit5 +6029312*CL1357_bit6 +12058624*CL1357_bit7 +24117248*CL1357_bit8 +48234496*CL1357_bit9 +96468992*CL1357_bit10 +192937984*CL1357_bit11 +385875968*CL1357_bit12 +771751936*CL1357_bit13 +1543503872*CL1357_bit14 +3087007744*CL1357_bit15 +6174015488*CL1357_bit16 +12348030976*CL1357_bit17 +24696061952*CL1357_bit18 +49392123904*CL1357_bit19 +36*CL2005_bit_10 +72*CL2005_bit_9 +144*CL2005_bit_8 +288*CL2005_bit_7 +576*CL2005_bit_6 +1152*CL2005_bit_5 +2304*CL2005_bit_4 +4608*CL2005_bit_3 +9216*CL2005_bit_2 +18432*CL2005_bit_1 +36864*CL2005_bit0 +73728*CL2005_bit1 +147456*CL2005_bit2 +294912*CL2005_bit3 +589824*CL2005_bit4 +1179648*CL2005_bit5 +2359296*CL2005_bit6 +4718592*CL2005_bit7 +9437184*CL2005_bit8 +18874368*CL2005_bit9 +37748736*CL2005_bit10 +75497472*CL2005_bit11 +150994944*CL2005_bit12 +301989888*CL2005_bit13 +603979776*CL2005_bit14 +1207959552*CL2005_bit15 +2415919104*CL2005_bit16 +4831838208*CL2005_bit17 +9663676416*CL2005_bit18 +19327352832*CL2005_bit19 +36*CL2077_bit_10 +72*CL2077_bit_9 +144*CL2077_bit_8 +288*CL2077_bit_7 +576*CL2077_bit_6 +1152*CL2077_bit_5 +2304*CL2077_bit_4 +4608*CL2077_bit_3 +9216*CL2077_bit_2 +18432*CL2077_bit_1 +36864*CL2077_bit0 +73728*CL2077_bit1 +147456*CL2077_bit2 +294912*CL2077_bit3 +589824*CL2077_bit4 +1179648*CL2077_bit5 +2359296*CL2077_bit6 +4718592*CL2077_bit7 +9437184*CL2077_bit8 +18874368*CL2077_bit9 +37748736*CL2077_bit10 +75497472*CL2077_bit11 +150994944*CL2077_bit12 +301989888*CL2077_bit13 +603979776*CL2077_bit14 +1207959552*CL2077_bit15 +2415919104*CL2077_bit16 +4831838208*CL2077_bit17 +9663676416*CL2077_bit18 +19327352832*CL2077_bit19 +36*CL2149_bit_10 +72*CL2149_bit_9 +144*CL2149_bit_8 +288*CL2149_bit_7 +576*CL2149_bit_6 +1152*CL2149_bit_5 +2304*CL2149_bit_4 +4608*CL2149_bit_3 +9216*CL2149_bit_2 +18432*CL2149_bit_1 +36864*CL2149_bit0 +73728*CL2149_bit1 +147456*CL2149_bit2 +294912*CL2149_bit3 +589824*CL2149_bit4 +1179648*CL2149_bit5 +2359296*CL2149_bit6 +4718592*CL2149_bit7 +9437184*CL2149_bit8 +18874368*CL2149_bit9 +37748736*CL2149_bit10 +75497472*CL2149_bit11 +150994944*CL2149_bit12 +301989888*CL2149_bit13 +603979776*CL2149_bit14 +1207959552*CL2149_bit15 +2415919104*CL2149_bit16 +4831838208*CL2149_bit17 +9663676416*CL2149_bit18 +19327352832*CL2149_bit19 +66*CL3609_bit_10 +132*CL3609_bit_9 +264*CL3609_bit_8 +528*CL3609_bit_7 +1056*CL3609_bit_6 +2112*CL3609_bit_5 +4224*CL3609_bit_4 +8448*CL3609_bit_3 +16896*CL3609_bit_2 +33792*CL3609_bit_1 +67584*CL3609_bit0 +135168*CL3609_bit1 +270336*CL3609_bit2 +540672*CL3609_bit3 +1081344*CL3609_bit4 +2162688*CL3609_bit5 +4325376*CL3609_bit6 +8650752*CL3609_bit7 +17301504*CL3609_bit8 +34603008*CL3609_bit9 +69206016*CL3609_bit10 +138412032*CL3609_bit11 +276824064*CL3609_bit12 +553648128*CL3609_bit13 +1107296256*CL3609_bit14 +2214592512*CL3609_bit15 +4429185024*CL3609_bit16 +8858370048*CL3609_bit17 +17716740096*CL3609_bit18 +35433480192*CL3609_bit19 +41*CL3681_bit_10 +82*CL3681_bit_9 +164*CL3681_bit_8 +328*CL3681_bit_7 +656*CL3681_bit_6 +1312*CL3681_bit_5 +2624*CL3681_bit_4 +5248*CL3681_bit_3 +10496*CL3681_bit_2 +20992*CL3681_bit_1 +41984*CL3681_bit0 +83968*CL3681_bit1 +167936*CL3681_bit2 +335872*CL3681_bit3 +671744*CL3681_bit4 +1343488*CL3681_bit5 +2686976*CL3681_bit6 +5373952*CL3681_bit7 +10747904*CL3681_bit8 +21495808*CL3681_bit9 +42991616*CL3681_bit10 +85983232*CL3681_bit11 +171966464*CL3681_bit12 +343932928*CL3681_bit13 +687865856*CL3681_bit14 +1375731712*CL3681_bit15 +2751463424*CL3681_bit16 +5502926848*CL3681_bit17 +11005853696*CL3681_bit18 +22011707392*CL3681_bit19 +92*CL3753_bit_10 +184*CL3753_bit_9 +368*CL3753_bit_8 +736*CL3753_bit_7 +1472*CL3753_bit_6 +2944*CL3753_bit_5 +5888*CL3753_bit_4 +11776*CL3753_bit_3 +23552*CL3753_bit_2 +47104*CL3753_bit_1 +94208*CL3753_bit0 +188416*CL3753_bit1 +376832*CL3753_bit2 +753664*CL3753_bit3 +1507328*CL3753_bit4 +3014656*CL3753_bit5 +6029312*CL3753_bit6 +12058624*CL3753_bit7 +24117248*CL3753_bit8 +48234496*CL3753_bit9 +96468992*CL3753_bit10 +192937984*CL3753_bit11 +385875968*CL3753_bit12 +771751936*CL3753_bit13 +1543503872*CL3753_bit14 +3087007744*CL3753_bit15 +6174015488*CL3753_bit16 +12348030976*CL3753_bit17 +24696061952*CL3753_bit18 +49392123904*CL3753_bit19 +36*CL3897_bit_10 +72*CL3897_bit_9 +144*CL3897_bit_8 +288*CL3897_bit_7 +576*CL3897_bit_6 +1152*CL3897_bit_5 +2304*CL3897_bit_4 +4608*CL3897_bit_3 +9216*CL3897_bit_2 +18432*CL3897_bit_1 +36864*CL3897_bit0 +73728*CL3897_bit1 +147456*CL3897_bit2 +294912*CL3897_bit3 +589824*CL3897_bit4 +1179648*CL3897_bit5 +2359296*CL3897_bit6 +4718592*CL3897_bit7 +9437184*CL3897_bit8 +18874368*CL3897_bit9 +37748736*CL3897_bit10 +75497472*CL3897_bit11 +150994944*CL3897_bit12 +301989888*CL3897_bit13 +603979776*CL3897_bit14 +1207959552*CL3897_bit15 +2415919104*CL3897_bit16 +4831838208*CL3897_bit17 +9663676416*CL3897_bit18 +19327352832*CL3897_bit19 >= +61440; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-misc04.opb s UNKNOWN c Exit Code: 0 c Total time: 0.039 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.85 0.95 0.97 2/54 27911 Raw data (stat): 27911 (runsolver) R 27910 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831761779 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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+0.069372 s] Raw data (loadavg): 0.85 0.95 0.97 1/53 27911 Raw data (stat): 27911 (runsolver) R 27910 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831761779 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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: 0 Real time (s): 0.069099 CPU time (s): 0.049992 CPU user time (s): 0.024996 CPU system time (s): 0.024996 CPU usage (%): 72.3484 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####