MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
kall_circlespolygons_c1p5b - point p2
Solution found by SCIP running with aggressive heuristics settings
Formatsⓘ | gdx sol |
Added to libraryⓘ | 16 Aug 2014 |
Objective Valueⓘ | 4.158684 |
Infeasibilityⓘ | 4.796e-14 |
Variables with value 0.0 are omitted in the following.
x1 18.682577843834601 x2 -0.004229308035332 x3 1.000000000000000 x4 -0.623413317267466 x5 -0.999999360496529 x6 0.000000000000000 x7 0.999991056436777 x9 -0.781892470774322 x10 0.001130931709945 x11 -1.000000000000000 x12 0.618546501362572 x13 1.945022964178000 x14 1.212927966714970 x15 1.305425480219620 x16 1.321483429049430 x17 2.243303794674620 x18 2.109952489498580 x19 2.131193905058800 x20 1.250020892951630 x21 2.569689157884310 x22 1.841145716047250 x23 2.374835030575020 x24 2.893779958863730 x25 2.038689502769490 x26 2.067930171284600 x27 2.569348373387540 x28 2.717715138546420 x29 2.647019315963600 x30 3.311359249656280 x31 2.460905913103320 x32 2.038620141256530 x33 1.090618106452690 x34 0.457484956840003 x35 0.298352824629241 x36 0.613221709820400 x37 1.561223744624240 x38 1.778001415866860 x39 1.050098130523730 x40 0.343306580903352 x41 0.000466673954543 x42 0.021578409677300 x43 0.749481695020434 x44 2.492230495679780 x45 1.813354083215830 x46 1.106789598777000 x47 0.739663320570141 x48 0.711975248595261 x49 1.390851661059210 x50 2.946888273722130 x51 2.375824206733720 x52 1.679839425838960 x53 1.269386678438400 x54 1.144465964532060 x55 1.715530031520470 x56 1.645623857495980 x57 1.959875882877620 x58 1.642332098619150 x59 1.167662301669860 x60 0.535866492029745 x61 0.221614466648098 x62 1.796252023428950 x63 1.014359552654630 x64 0.311706658633733 x66 0.079239576753428 x67 0.861132047527750 x68 1.422358529658470 x69 0.451959834911796 x70 0.087514755821140 x71 0.208269024103823 x72 0.814222639759845 x73 1.784621334506520 x74 1.982062560353230 x75 1.056227838806340 x76 0.782274805604382 x77 0.971239133175876 x78 1.623120821520820 x79 2.548955543067710 x80 1.573999064359340 x81 0.577055696818941 x82 0.039520212935312 x83 0.000456412821883 x84 0.459864296478653 x85 1.456807664019050 x86 1.500000000000000 x87 1.500000000000000 x88 1.000000000000000 x89 0.500000000000000 x92 0.000547030325014 x93 1.000547029098180 x94 1.500522261264920 x95 1.500497494045080 x96 1.000472727438650 x97 0.000472728665476 x98 0.291255594581001 x99 1.224492488418710 x100 1.870741737248140 x101 2.050372539158720 x102 1.763384894150440 x103 0.830148000312738 x104 1.543412342729470 x105 0.812809266301310 x106 0.788908938071069 x107 1.130310148054910 x108 1.837012896252820 x109 2.567615972680980 x110 1.420208053711950 x111 0.450083109200828 x112 0.086323555332767 x113 0.207626473720265 x114 0.813991864363323 x115 1.784116808874440 x116 0.622940975954423 x117 0.000451090618968 x118 0.080520070095295 x119 0.471833992239349 x120 1.174392857051130 x121 1.796882742386590 x122 0.008603513788749 x123 1.008591459668330 x124 1.506130432835790 x125 1.503675433063460 x126 1.001226460351340 x127 0.001238514471750 x128 3.217441759838480 x129 2.642910937992260 x130 1.946404053502280 x131 1.537162579935390 x132 1.415186517291690 x133 1.989717339137920 x134 2.472229822314220 x135 2.094301167171240 x136 1.442419478826300 x137 0.979502118052810 x138 0.705549084850902 x139 1.083477739993880 x140 2.431135986981960 x141 1.925413554446430 x142 1.241204212753750 x143 0.809856087328793 x144 0.631369178171694 x145 1.137091610707230 x146 1.505114733165290 x147 1.501335654838150 x148 0.999449686045570 x149 0.499453256416520 x150 0.001346365951140 x151 0.005125444278287 x152 0.028552058563789 x153 -0.289712205857735 x154 0.025156679333424 x155 0.499157696735346 x156 1.132290846348030 x157 1.450555110769550 x158 0.007852767386664 x159 -0.677827046510954 x160 -0.656715310788197 x161 -0.292763668116630 x162 0.414027881503746 x163 1.099707695401360 x164 0.742376536962161 x165 0.008123980548448 x166 -0.019564091426431 x167 0.319874114805545 x168 1.026438599244380 x169 1.760691155658090 x170 0.534413282363928 x171 -0.286492212437180 x172 -0.411412926343528 x173 -0.125880892849321 x174 0.570103888045440 x175 1.391009382846550 x176 -1.196291757866320 x177 -0.246952163967737 x178 0.384843645672379 x179 0.541969658363202 x180 0.224425874104733 x181 -0.724913719793854 x182 -0.247757042563051 x183 -0.871170359830516 x184 -0.791930783077088 x185 -0.400984547689927 x186 0.301668346330967 x187 0.925081663598433 x188 -1.908383289300910 x189 -1.666874752735550 x190 -1.060921137079530 x191 -0.575721789706188 x192 -0.211276710615532 x193 -0.452785247180898 x194 -2.801369003919590 x195 -2.423440348776600 x196 -1.771558660431660 x197 -1.308641299658220 x198 -1.034688266456260 x199 -1.412616921599250 x200 0.619765492212838 x201 0.697893092439696 x202 0.238485208782926 x203 -0.259986474987273 x204 -0.797521958870903 x205 -0.875649559097761 x206 -0.509124662285999 x207 0.490875337714001 x208 0.990875337714001 x209 0.990875337714001 x210 0.490875337714001 x211 -0.509124662285999 x212 0.860270417859947 x213 0.860220883420255 x214 0.360196116813824 x215 -0.139803882572761 x216 -0.639779114739500 x217 -0.639729580299807 x218 0.541412931390794 x219 0.900674535211953 x220 0.613686890203679 x221 0.147068443284826 x222 -0.499180805544606 x223 -0.858442409365764 x224 1.250425757117640 x225 0.567623337149969 x226 -0.139079411047947 x227 -0.504380949262025 x228 -0.528281277492266 x229 0.154521142475410 x230 0.346747954358535 x231 0.104142117583538 x232 -0.502223273059521 x233 -0.987285745315081 x234 -1.351045299183140 x235 -1.108439462408150 x236 1.082971373317980 x237 0.300343529029874 x238 -0.402215335781908 x239 -0.713460278449635 x240 -0.633391298973308 x241 0.149236545314801 x242 0.079530330726660 x243 0.074620331181994 x244 -0.427828641530131 x245 -0.927822614469924 x246 -1.425361587637380 x247 -1.420451588092720 x248 0.117897883272002 x249 0.936380830405701 x250 1.058356893049440 x251 0.771091482126292 x252 0.074584597636345 x253 -0.743898349497354 x254 -0.983112796178197 x255 -0.057278074631320 x256 0.216674958570633 x257 0.027710630999121 x258 -0.624171057345801 x259 -1.550005778892680 x260 -0.007785631951568 x261 0.854910618898238 x262 1.033397528055380 x263 0.780536311787585 x264 0.096326970094929 x265 -0.766369280754877 x266 -1.416632212853760 x267 -0.416639353595768 x268 0.081467536869661 x269 0.079577997706087 x270 -0.422307971086488 x271 -1.422300830344480 x272 0.949339593898586 x273 -0.314252025381647 x274 0.730796726440664 x275 -0.682595154263206 x276 0.681975721126642 x277 -0.731374812113322 x278 0.574530821846237 x279 -0.818482947133712 x280 -0.623413317267466 x281 -0.781892470774322 x282 0.241508536565366 x283 -0.970398694746678 x284 0.377928655142987 x285 -0.925834721546893 x286 0.781923350244440 x287 -0.623374585897204 x288 0.505722432535539 x289 -0.862696250849821 x290 0.003779078327147 x291 -0.999992859258004 x292 -0.314252025381647 x293 -0.949339593898586 x294 -0.682595154263206 x295 -0.730796726440664 x296 -0.731374812113322 x297 -0.681975721126642 x298 -0.818482947133712 x299 -0.574530821846237 x300 -0.781892470774322 x301 0.623413317267466 x302 -0.970398694746678 x303 -0.241508536565366 x304 -0.925834721546893 x305 -0.377928655142987 x306 -0.623374585897204 x307 -0.781923350244440 x308 -0.862696250849821 x309 -0.505722432535539 x310 -0.999992859258004 x311 -0.003779078327147 x312 -0.640640508373683 x313 -1.935342817013950 x314 -0.342728948870653 x315 -1.035366950278240 x316 -0.143765574268606 x317 -0.434308583141201 x318 -0.093757979418074 x319 -0.283238149372020 x320 -0.192706164319057 x321 -0.582155648970696 x322 -0.490617723822087 x323 -1.482131515706410 x324 -1.213655150743840 x325 -1.299357614322370 x326 -0.716791895396348 x327 -0.767408276228201 x328 -0.234339408551297 x329 -0.250887325489706 x330 -0.000318549379992 x331 -0.000341043798295 x332 -0.014729317882431 x333 -0.015769431153967 x334 -0.511592573229922 x335 -0.547718769248133 x336 -1.822754610520890 x337 -1.699640689505030 x338 -1.326241501906900 x339 -1.236663458559060 x340 -0.809478034854505 x341 -0.754803634761409 x342 -0.540971122109103 x343 -0.504432426436748 x344 -0.520720763670695 x345 -0.485549833585073 x346 -1.017233872284680 x347 -0.948527064531046 x348 -2.411977799149870 x349 -1.693078141790620 x350 -1.944571598599030 x351 -1.364984234056910 x352 -1.374919923972070 x353 -0.965119525896968 x354 -1.038971349620540 x355 -0.729301771603882 x356 -0.936725875544425 x357 -0.657530971177649 x358 -1.404132076095270 x359 -0.985624878911357 x360 0.517140630234469 x361 1.562255884585060 x362 0.615894965690937 x363 1.860587774742680 x364 0.516106188340360 x365 1.559130887549720 x366 0.366940243261549 x367 1.108508055277950 x368 0.168397130454505 x369 0.508719277927378 x370 0.069642794998038 x371 0.210387387769757 x372 -1.404475932732240 x373 1.119807432574240 x374 -0.793120096878662 x375 0.632365253622363 x376 -0.243721089475937 x377 0.194322082073213 x380 -0.061956828450850 x381 0.049399007402725 x382 -0.673312664304424 x383 0.536841186354600 x384 -1.380254860642390 x385 -0.343511726969084 x386 -0.438581233876331 x387 -0.109152158315872 x388 -0.084924204819909 x389 -0.021135560606239 x390 -0.202103989146515 x391 -0.050298747223211 x392 -0.790120586856148 x393 -0.196641718166789 x394 -1.731794213622200 x395 -0.431001286820001 x396 -1.835062338653150 x397 -0.749078237843562 x398 -0.977892407031340 x399 -0.399178766644662 x400 -0.724257176819883 x401 -0.295644065234306 x402 -0.899206912419333 x403 -0.367059099423400 x404 -1.502741613829690 x405 -0.613423869211943 x406 -2.359911545451500 x407 -0.963323340410842 x408 1.074404134146510 x409 1.150273363654470 x410 0.393895422388587 x411 0.421710414209219 x412 0.026976305845094 x413 0.028881242241364 x414 0.000311545180561 x415 0.000333544996138 x416 0.313901140394987 x417 0.336067322473539 x418 0.994409852152906 x419 1.064630271918790 x420 1.172838706161480 x421 -0.935119975901199 x422 1.172838706161480 x423 -0.935119975901198 x424 0.781892470774322 x425 -0.623413317267466 x426 0.390946235387161 x427 -0.311706658633733 x432 -0.000341004802329 x433 -0.000427735784420 x434 -0.623715589934758 x435 -0.782351085069574 x436 -0.935387443245557 x437 -1.173293393644630 x438 -0.935372003990142 x439 -1.173274027577110 x440 -0.623669272168512 x441 -0.782292986867019 x442 -0.000294687036083 x443 -0.000369637581866 x444 -0.251265109484065 x445 -0.147294487781088 x446 -1.056365078952590 x447 -0.619253319864604 x448 -1.613881883032250 x449 -0.946076062006889 x450 -1.768848702377650 x451 -1.036919388107420 x452 -1.521265536988800 x453 -0.891783298166187 x454 -0.716165567520275 x455 -0.419824466082671 x456 1.128812912177150 x457 1.052569745428690 x458 0.594468224425088 x459 0.554316185524253 x460 0.576988126356248 x461 0.538016741944271 x462 0.826680372163438 x463 0.770844078316506 x464 1.343544961846660 x465 1.252798194640960 x466 1.877889649598720 x467 1.751051754545390 x468 1.378168041590790 x469 0.342992368670319 x470 0.436760061696010 x471 0.108698913035882 x472 0.083768265420809 x473 0.020847875519536 x474 0.201480459093001 x475 0.050143565820409 x476 0.789896642712583 x477 0.196585983938500 x478 1.731304622607370 x479 0.430879439572938 x480 0.388325572923988 x481 0.487092094922823 x482 0.000281198427801 x483 0.000352718288047 x484 0.050194165352068 x485 0.062960522970830 x486 0.294129319524429 x487 0.368938015971001 x488 0.732086660944883 x489 0.918285197288561 x490 1.120131035441070 x491 1.405024573923340 x492 -0.008603452353277 x493 -0.000032513352496 x494 -1.008584257576940 x495 -0.003811546126178 x496 -1.506119677946960 x497 -0.005691784876586 x498 -1.503664695705150 x499 -0.005682507240153 x500 -1.001219310851500 x501 -0.003783713216879 x502 -0.001238505627837 x503 -0.000004680443198 x504 2.633421213823680 x505 1.848519458522410 x506 2.163177533539830 x507 1.518433793271100 x508 1.593098526023550 x509 1.118269120503510 x510 1.258141358649180 x511 0.883147280361560 x512 1.158306031416800 x513 0.813068272845308 x514 1.628549711700650 x515 1.143153938096610 x516 2.288876209142210 x517 0.934326491951600 x518 1.938976737943320 x519 0.791496423573416 x520 1.335442036532960 x521 0.545131653784872 x522 0.906857070722015 x523 0.370181918185406 x524 0.653221840510600 x525 0.266647216775067 x526 1.003121311709490 x527 0.409477285153252 x528 2.097331901275410 x529 1.229480005161200 x530 1.661047054756360 x531 0.973724826391545 x532 1.070782220881660 x533 0.627704813747183 x534 0.698659810266455 x535 0.409562390487632 x536 0.544679822910853 x537 0.319297556612953 x538 0.980964669429908 x539 0.575052735382613 x540 1.505103985529310 x541 0.005687946467974 x542 1.501324934187580 x543 0.005673665034971 x544 0.999442549233224 x545 0.003776998647608 x546 0.499449689949677 x547 0.001887472976746 x548 0.001346356337088 x549 0.000005088022386 x550 0.005125407678812 x551 0.000019369455389 x552 2.022727760694340 x553 1.922616849564520 x554 2.226065201447970 x555 2.375368099148080 x556 2.727595019679550 x557 2.016772006849810 x558 2.975211849742190 x559 2.229168519192100 x560 3.703328600349300 x561 2.401434282744410 x562 2.592391758855470 x563 2.220224716116560 x564 1.570058310905500 x565 1.105975427063890 x566 0.827976064591739 x567 1.200143107330650 x568 1.983930088996660 x569 0.994496144680020 x570 0.572271361469915 x571 0.644763550418131 x572 1.211972711524670 x573 2.201406655841310 x576 0.500000000000000 x577 1.000000000000000 x578 1.500000000000000 x579 1.500000000000000 x580 0.003006325667198 x581 0.417500642978397 x582 1.079773751695290 x583 1.534799701756580 x584 1.782578493162270 x585 1.368084175851070 x586 1.645686612580530 x587 0.659673315428746 x588 0.083333333426427 x590 0.409673315149489 x591 1.395686612301270 x592 1.021968026861630 x593 0.093802259178416 x594 -0.184197103293739 x595 0.001886418075715 x596 0.652052823286776 x597 1.580218590969990 x598 -1.814660531436580 x599 -1.669676153540150 x600 -1.102466992433620 x601 -0.607750020275296 x602 -0.185525237065191 x603 -0.330509614961623 x604 -0.020307031789833 x605 0.979692968210167 x606 1.479692968210170 x607 1.479692968210170 x608 0.979692968210167 x609 -0.020307031789833 x610 -0.361428061901688 x611 0.548623838220895 x612 0.796402629626587 x613 0.589155470970988 x614 -0.073117637745903 x615 -0.983169537868486 x616 -0.845323253497362 x617 -1.011989920350200 x618 -0.602316605200716 x619 -0.109309956624768 x620 0.467030025377504 x621 0.633696692230338 x622 1.266938121833320 x623 1.363758905154330 x624 0.087833082803372 x625 -0.153472734041200 x626 -0.109309956851390 x627 0.376089213178814 x628 -0.926583457509652 x629 0.144984377896432 x630 -0.989433944316640 x631 -0.623413317267466 x632 -0.781892470774322 x633 -0.910520082908273 x634 -0.413464845689100 x635 -0.986013297151801 x636 0.166666666852837 x637 -0.926583457509652 x638 -0.376089213178814 x639 -0.989433944316640 x640 -0.144984377896432 x641 -0.781892470774322 x642 0.623413317267466 x643 -0.413464845689100 x644 0.910520082908273 x645 0.166666666852837 x646 0.986013297151801 x647 -2.402067319139830 x648 -0.974970576839196 x649 -2.057223493907670 x650 -0.835002566564435 x651 -1.454790058210580 x652 -0.590481994793308 x653 -1.024778535129580 x654 -0.415945428159563 x655 -0.767188924664648 x656 -0.311392866663198 x657 -1.112032749896810 x658 -0.451360876937960 x659 -1.962967773204430 x660 -0.287638869743193 x661 -0.983988243038444 x662 -0.144186404856832 x663 -0.566224710398632 x664 -0.082970407330660 x665 -0.637950942841812 x666 -0.093480642247667 x667 -1.199166940367980 x668 -0.175717109607855 x669 -2.178146470533970 x670 -0.319169574494216 x675 -0.390946235387161 x676 0.311706658633733 x677 -0.781892470774322 x678 0.623413317267466 x679 -1.172838706161480 x680 0.935119975901198 x681 -1.172838706161480 x682 0.935119975901198 x683 -0.001243009978079 x684 0.002737319895746 x685 -0.172621838924163 x686 0.380142720058948 x687 -0.446448487623833 x688 0.983155685915771 x689 -0.634585721850461 x690 1.397465951690990 x691 -0.737033541604047 x692 1.623073517384620 x693 -0.565654712657963 x694 1.245668117221410 x695 0.274281102403134 x696 1.622668882949110 x697 0.109945552694270 x698 0.650446660788958 x699 0.013888888919919 x700 0.082167774854441 x703 0.068278885934517 x704 0.403943336225657 x705 0.232614435643382 x706 1.376165558385810 x707 1.111900149011580 x708 0.451307055814577 x709 1.187320733179970 x710 0.173981253475718 x711 0.938270964929187 x712 -0.748095980720959 x713 0.496157814826920 x714 -1.092624099489930 x715 -0.200000000223405 x716 -1.183215956582160 x717 3.611109671092460 x718 1.200000000000000 x719 0.005011592670806 x720 0.000707604931557 x721 0.000782284635474 x722 1.000698661368330 x723 0.498663158836196 x724 1.502808843604390 x725 0.998658687054585 x726 1.504923497622060 x727 1.500768869290640 x728 1.007042623421330 x729 1.504998177325970 x730 0.007051566984555 x732 3.883215956619910 x733 1.000000000000000 x734 3.883215956619910 x735 1.500000000000000 x736 3.383215956619910 x737 1.500000000000000 x738 2.883215956619910 x739 1.000000000000000 x740 2.383215956619910 x742 2.383215956619910 x743 2.740254693731500 x744 2.032649922110060 x745 2.116841376464040 x746 1.250757451335740 x747 1.414188482443150 x748 1.171517874582310 x749 1.023242247055980 x750 1.483224533216040 x751 0.944002670302556 x752 2.185877427236930 x753 1.567415987570020 x754 2.967769898011260 x755 3.303056348652210 x756 2.381343636929740 x757 2.303056988155680 x758 2.382474568639680 x759 1.803622773762390 x760 2.883039714742920 x761 1.804188239617360 x762 3.383039394991180 x763 2.304753385720600 x764 3.882473609384480 x765 3.304752746217120 x766 3.881342677674530 x767 4.811109671092460 x768 3.883215956619910 x769 4.811109671092460 x770 2.883215956619930 x771 4.311109671092460 x772 2.383215956619930 x773 3.811109671092410 x774 2.383215956619930 x775 3.311109671092460 x776 2.883215956619930 x777 3.311109671092460 x778 3.883215956619910 x779 0.751480461635612 x780 0.837205466322037 x781 0.833333333333333 x782 3.133215956619910 x783 1.634324242927880 x784 1.848632851082060 x785 2.470571747020890 x786 3.132285600393750 x787 4.061109671092460 x788 3.049882623286600 x789 4.811109671092460 x790 3.883215956619910 objvar 4.158684422665330
Last updated: 2024-12-17 Git hash: 8eaceb91