Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb |
MD5SUM | 766b2fe57cb2084b069363491485612e |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 134 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16000000 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 241094849 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 84 |
LAUNCH ON wulflinc17 THE 2005-09-19 17:40:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1842 boxname=wulflinc17 idbench=670 idsolver=2 numberseed=0 MD5SUM SOLVER: 1540ae3c74fe6bb56fea7dc39e0baf99 /oldhome/oroussel/solvers/galena MD5SUM BENCH: 766b2fe57cb2084b069363491485612e /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-vpm2.opb REAL COMMAND: galena /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-vpm2.opb IDLAUNCH: 1842 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 898780 kB Buffers: 37448 kB Cached: 70196 kB SwapCached: 544 kB Active: 58324 kB Inactive: 51772 kB HighTotal: 131008 kB HighFree: 58212 kB LowTotal: 903652 kB LowFree: 840568 kB SwapTotal: 2097892 kB SwapFree: 2096672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5688 kB Slab: 20056 kB Committed_AS: 64316 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 17:40:59 (client local time) WITH STATUS 0 IN 0.449931 SECONDS stats: 1842 7 0.449931 0
~20@307200([31m0d26[0m) 180@800([31m0d16[0m) 181@1600([31m0d16[0m) 182@3200([31m0d16[0m) 183@6400([31m0d16[0m) 184@12800([31m0d16[0m) 185@25600([31m0d16[0m) 186@51200([31m0d16[0m) 187@102400([31m0d16[0m) 188@204800([31m0d16[0m) 189@409600([31m0d16[0m) 190@819200([31m0d16[0m) 246@1200([31m0d21[0m) 247@2400([31m0d21[0m) 248@4800([31m0d21[0m) 249@9600([31m0d21[0m) 250@19200([31m0d21[0m) 251@38400([31m0d21[0m) 252@76800([31m0d21[0m) 253@153600([31m0d21[0m) 254@307200([31m0d21[0m) 255@614400([31m0d21[0m) 256@1228800([31m0d21[0m) 312@1600([31m0d26[0m) 313@3200([31m0d26[0m) 314@6400([31m0d26[0m) 315@12800([31m0d26[0m) 316@25600([31m0d26[0m) 317@51200([31m0d26[0m) 318@102400([31m0d26[0m) 319@204800([31m0d26[0m) 320@409600([31m0d26[0m) 321@819200([31m0d26[0m) 322@1638400([31m0d26[0m) 378@1200([93mX[0m) 379@2400([93mX[0m) 380@4800([93mX[0m) 381@9600([93mX[0m) 382@19200([93mX[0m) 383@38400([93mX[0m) 384@76800([93mX[0m) 385@153600([93mX[0m) 387@307200([32m1d78[0m) 388@1228800([31m0d26[0m) 444@1200([31m0d33[0m) 445@2400([31m0d33[0m) 446@4800([31m0d33[0m) 447@9600([31m0d33[0m) 448@19200([31m0d33[0m) 449@38400([31m0d33[0m) 450@76800([31m0d33[0m) 451@153600([31m0d33[0m) 452@307200([31m0d33[0m) 453@614400([31m0d33[0m) 454@1228800([31m0d0[0m) 510@600([31m0d39[0m) 511@1200([31m0d39[0m) 512@2400([31m0d39[0m) 513@4800([31m0d39[0m) 514@9600([31m0d39[0m) 515@19200([31m0d39[0m) 516@38400([31m0d39[0m) 517@76800([31m0d39[0m) 518@153600([31m0d39[0m) 519@307200([31m0d39[0m) 520@614400([31m0d39[0m) 576@300([31m0d44[0m) 577@600([31m0d44[0m) 578@1200([31m0d44[0m) 579@2400([31m0d44[0m) 580@4800([31m0d44[0m) 581@9600([31m0d44[0m) 582@19200([31m0d44[0m) 583@38400([31m0d44[0m) 584@76800([31m0d44[0m) 585@153600([31m0d44[0m) 586@307200([31m0d44[0m) 642@1200([93mX[0m) 643@2400([93mX[0m) 644@4800([93mX[0m) 645@9600([93mX[0m) 646@19200([93mX[0m) 647@38400([93mX[0m) 648@76800([93mX[0m) 649@153600([93mX[0m) 651@614400([31m0d78[0m) 652@1228800([31m0d0[0m) 2017@4([93mX[0m) 2018@8([93mX[0m) 2019@16([93mX[0m) 2020@32([93mX[0m) 2021@64([93mX[0m) 2022@128([93mX[0m) 2023@256([93mX[0m) 2024@512([93mX[0m) 2025@1024([93mX[0m) 2026@2048([93mX[0m) 2027@4096([93mX[0m) 2028@8192([93mX[0m) 2029@16384([93mX[0m) 2030@32768([93mX[0m) 2031@65536([93mX[0m) 2032@131072([31m0d78[0m) 2033@262144([31m0d78[0m) 2034@524288([32m1d78[0m) ~2035@4([93mX[0m) ~2036@8([93mX[0m) ~2037@16([93mX[0m) ~2038@32([93mX[0m) ~2039@64([93mX[0m) ~2040@128([93mX[0m) ~2041@256([93mX[0m) ~2042@512([93mX[0m) ~2043@1024([93mX[0m) ~2044@2048([93mX[0m) ~2045@4096([93mX[0m) ~2046@8192([93mX[0m) ~2047@16384([93mX[0m) ~2048@32768([93mX[0m) ~2049@65536([93mX[0m) ~2050@131072([93mX[0m) ~2051@262144([93mX[0m) ~2052@524288([31m0d78[0m) 2125@3([31m0d0[0m) 2126@6([31m0d0[0m) 2127@12([31m0d0[0m) 2128@24([31m0d0[0m) 2129@48([31m0d0[0m) 2130@96([31m0d0[0m) 2131@192([31m0d0[0m) 2132@384([31m0d0[0m) 2133@768([31m0d0[0m) 2134@1536([31m0d0[0m) 2135@3072([31m0d0[0m) 2136@6144([31m0d0[0m) 2137@12288([31m0d0[0m) 2138@24576([32m1d0[0m) 2139@49152([31m0d0[0m) 2140@98304([31m0d0[0m) 2141@196608([32m1d0[0m) 2142@393216([32m1d0[0m) ~2143@3([93mX[0m) ~2144@6([93mX[0m) ~2145@12([93mX[0m) ~2146@24([93mX[0m) ~2147@48([93mX[0m) ~2148@96([93mX[0m) ~2149@192([93mX[0m) ~2150@384([93mX[0m) ~2151@768([93mX[0m) ~2152@1536([93mX[0m) ~2153@3072([93mX[0m) ~2154@6144([93mX[0m) ~2155@12288([93mX[0m) ~2156@24576([93mX[0m) ~2157@49152([93mX[0m) ~2158@98304([93mX[0m) ~2159@196608([93mX[0m) ~2160@393216([93mX[0m) [1445888/3499669/19636302] >= 3371001 galena: solver.cpp:406: int cutting_plane(Solver&, ConstraintDB&, int): Assertion `slack < 0' failed.
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/955/stat): 955 (galena) R 954 955 19316 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1851797625 1015808 2 4294967295 134512640 135412752 3221224560 3221224560 134512896 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/955/statm): 248 2 241 241 0 7 0 [pid=955] vsize: 992 open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-vpm2.opb One traced child (pid=955) ended because it received signal 6 (SIGABRT) All traced children have exited ! Game is over. Child ended because it received signal 6 (SIGABRT) Real time (s): 0.474663 CPU time (s): 0.449931 CPU user time (s): 0.432934 CPU system time (s): 0.016997 CPU usage (%): 94.7896 Max. virtual memory (cumulated for all children) (Kb): 0
ERROR: no interpretation found !