Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-grow15.opb |
MD5SUM | 997a6069ce24fed97967c5999a31ff05 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1200 |
Biggest coefficient in the objective function | 469762048 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 19327352658 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 109773592723456 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 511403730649348 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1266.73 |
Number of variables | 14880 |
Total number of constraints | 900 |
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 | 900 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 416 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-24 23:10:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15887 boxname=wulflinc5 idbench=1223 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 997a6069ce24fed97967c5999a31ff05 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-grow15.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-grow15.opb IDLAUNCH: 15887 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 872264 kB Buffers: 14992 kB Cached: 123076 kB SwapCached: 3780 kB Active: 25836 kB Inactive: 117992 kB HighTotal: 131008 kB HighFree: 32536 kB LowTotal: 903652 kB LowFree: 839728 kB SwapTotal: 2097136 kB SwapFree: 2092924 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5744 kB Slab: 12836 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:10:49 (client local time) WITH STATUS 0 IN 1.47078 SECONDS stats: 15887 7 1.47078 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +690602*XI0101_bit_7 +1381204*XI0101_bit_6 +2762408*XI0101_bit_5 +5524816*XI0101_bit_4 +11049632*XI0101_bit_3 +22099264*XI0101_bit_2 +44198528*XI0101_bit_1 +88397056*XI0101_bit0 +176794112*XI0101_bit1 +353588224*XI0101_bit2 +707176448*XI0101_bit3 +1414352896*XI0101_bit4 +2828705792*XI0101_bit5 +5657411584*XI0101_bit6 +11314823168*XI0101_bit7 +22629646336*XI0101_bit8 +45259292672*XI0101_bit9 +90518585344*XI0101_bit10 +181037170688*XI0101_bit11 +362074341376*XI0101_bit12 -1440*XI0501_bit_7 -2880*XI0501_bit_6 -5760*XI0501_bit_5 -11520*XI0501_bit_4 -23040*XI0501_bit_3 -46080*XI0501_bit_2 -92160*XI0501_bit_1 -184320*XI0501_bit0 -368640*XI0501_bit1 -737280*XI0501_bit2 -1474560*XI0501_bit3 -2949120*XI0501_bit4 -5898240*XI0501_bit5 -11796480*XI0501_bit6 -23592960*XI0501_bit7 -47185920*XI0501_bit8 -94371840*XI0501_bit9 -188743680*XI0501_bit10 -377487360*XI0501_bit11 -754974720*XI0501_bit12 -1509949440*XI0501_bit13 -3019898880*XI0501_bit14 -6039797760*XI0501_bit15 -12079595520*XI0501_bit16 -24159191040*XI0501_bit17 -338610*XI0601_bit_7 -677220*XI0601_bit_6 -1354440*XI0601_bit_5 -2708880*XI0601_bit_4 -5417760*XI0601_bit_3 -10835520*XI0601_bit_2 -21671040*XI0601_bit_1 -43342080*XI0601_bit0 -86684160*XI0601_bit1 -173368320*XI0601_bit2 -346736640*XI0601_bit3 -693473280*XI0601_bit4 -1386946560*XI0601_bit5 -2773893120*XI0601_bit6 -5547786240*XI0601_bit7 -11095572480*XI0601_bit8 -22191144960*XI0601_bit9 -44382289920*XI0601_bit10 -88764579840*XI0601_bit11 -177529159680*XI0601_bit12 -355058319360*XI0601_bit13 -710116638720*XI0601_bit14 -1420233277440*XI0601_bit15 -2840466554880*XI0601_bit16 -777*XI0901_bit_7 -1554*XI0901_bit_6 -3108*XI0901_bit_5 -6216*XI0901_bit_4 -12432*XI0901_bit_3 -24864*XI0901_bit_2 -49728*XI0901_bit_1 -99456*XI0901_bit0 -198912*XI0901_bit1 -397824*XI0901_bit2 -795648*XI0901_bit3 -1591296*XI0901_bit4 -3182592*XI0901_bit5 -6365184*XI0901_bit6 -12730368*XI0901_bit7 -25460736*XI0901_bit8 -50921472*XI0901_bit9 -101842944*XI0901_bit10 -203685888*XI0901_bit11 -407371776*XI0901_bit12 -814743552*XI0901_bit13 -1629487104*XI0901_bit14 -3258974208*XI0901_bit15 -7163*XI1401_bit_7 -14326*XI1401_bit_6 -28652*XI1401_bit_5 -57304*XI1401_bit_4 -114608*XI1401_bit_3 -229216*XI1401_bit_2 -458432*XI1401_bit_1 -916864*XI1401_bit0 -1833728*XI1401_bit1 -3667456*XI1401_bit2 -7334912*XI1401_bit3 -14669824*XI1401_bit4 -29339648*XI1401_bit5 -58679296*XI1401_bit6 -117358592*XI1401_bit7 -234717184*XI1401_bit8 -469434368*XI1401_bit9 -938868736*XI1401_bit10 -1877737472*XI1401_bit11 -3755474944*XI1401_bit12 -7510949888*XI1401_bit13 -15021899776*XI1401_bit14 -30043799552*XI1401_bit15 -60087599104*XI1401_bit16 -120175198208*XI1401_bit17 -240350396416*XI1401_bit18 -2576*XI2001_bit_7 -5152*XI2001_bit_6 -10304*XI2001_bit_5 -20608*XI2001_bit_4 -41216*XI2001_bit_3 -82432*XI2001_bit_2 -164864*XI2001_bit_1 -329728*XI2001_bit0 -659456*XI2001_bit1 -1318912*XI2001_bit2 -2637824*XI2001_bit3 -5275648*XI2001_bit4 -10551296*XI2001_bit5 -21102592*XI2001_bit6 -42205184*XI2001_bit7 -84410368*XI2001_bit8 -168820736*XI2001_bit9 -337641472*XI2001_bit10 -675282944*XI2001_bit11 -1350565888*XI2001_bit12 -2701131776*XI2001_bit13 -5402263552*XI2001_bit14 -10804527104*XI2001_bit15 -21609054208*XI2001_bit16 -43218108416*XI2001_bit17 -86436216832*XI2001_bit18 -172872433664*XI2001_bit19 -345744867328*XI2001_bit20 -1000000*YI0101_bit_7 -2000000*YI0101_bit_6 -4000000*YI0101_bit_5 -8000000*YI0101_bit_4 -16000000*YI0101_bit_3 -32000000*YI0101_bit_2 -64000000*YI0101_bit_1 -128000000*YI0101_bit0 -256000000*YI0101_bit1 -512000000*YI0101_bit2 -1024000000*YI0101_bit3 -2048000000*YI0101_bit4 -4096000000*YI0101_bit5 -8192000000*YI0101_bit6 -16384000000*YI0101_bit7 -32768000000*YI0101_bit8 -65536000000*YI0101_bit9 -131072000000*YI0101_bit10 -262144000000*YI0101_bit11 -524288000000*YI0101_bit12 -1048576000000*YI0101_bit13 -2097152000000*YI0101_bit14 -4194304000000*YI0101_bit15 -8388608000000*YI0101_bit16 -16777216000000*YI0101_bit17 -33554432000000*YI0101_bit18 -67108864000000*YI0101_bit19 -1000000*SI0101_bit_7 -2000000*SI0101_bit_6 -4000000*SI0101_bit_5 -8000000*SI0101_bit_4 -16000000*SI0101_bit_3 -32000000*SI0101_bit_2 -64000000*SI0101_bit_1 -128000000*SI0101_bit0 -256000000*SI0101_bit1 -512000000*SI0101_bit2 -1024000000*SI0101_bit3 -2048000000*SI0101_bit4 -4096000000*SI0101_bit5 -8192000000*SI0101_bit6 -16384000000*SI0101_bit7 -32768000000*SI0101_bit8 -65536000000*SI0101_bit9 -131072000000*SI0101_bit10 -262144000000*SI0101_bit11 -524288000000*SI0101_bit12 -1048576000000*SI0101_bit13 -2097152000000*SI0101_bit14 -4194304000000*SI0101_bit15 -8388608000000*SI0101_bit16 -16777216000000*SI0101_bit17 -33554432000000*SI0101_bit18 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-grow15.opb s UNKNOWN c Exit Code: 0 c Total time: 1.446 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.65 0.88 0.88 2/54 13748 Raw data (stat): 13748 (runsolver) R 13747 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775872622 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+1.49067 s] Raw data (loadavg): 0.65 0.88 0.88 1/53 13748 Raw data (stat): 13748 (runsolver) R 13747 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775872622 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: 0 Child status: 0 Real time (s): 1.49034 CPU time (s): 1.47078 CPU user time (s): 1.20982 CPU system time (s): 0.26096 CPU usage (%): 98.6872 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####