log.txt

FINISHED! Solution found for date 5/5. No. iterations: 906. Runtime: 3.6170735359191895 seconds.
FINISHED! Solution found for date 5/5. No. iterations: 906FINISHED! Solution found for date 5/5. No. iterations: 3646FINISHED! Solution found for date 5/5. No. iterations: 3736FINISHED! Solution found for date 5/5. No. iterations: 8872FINISHED! Solution found for date 5/5. No. iterations: 10470FINISHED! Solution found for date 5/5. No. iterations: 12021FINISHED! Solution found for date 5/5. No. iterations: 12758FINISHED! Solution found for date 5/5. No. iterations: 906FINISHED! Solution found for date 5/5. No. iterations: 3646FINISHED! Solution found for date 5/5. No. iterations: 3736FINISHED! Solution found for date 5/5. No. iterations: 906. Runtime: 4.034716367721558 seconds.
FINISHED! Solution found for date 5/5. No. iterations: 906. Runtime: 3.718951463699341 seconds.
FINISHED! Solution found. No. iterations: 906. Runtime: 3.7658307552337646 seconds.
FINISHED! Solution found. No. iterations: 323FINISHED! Solution found. No. iterations: 207. Runtime: 1.6562883853912354 seconds.
FINISHED! Solution found. No. iterations: 297. Runtime: 3.093777894973755 seconds.
FINISHED! Solution found. No. iterations: 297. Runtime: 3.358447551727295 seconds.
FINISHED! Solution found. No. iterations: 297FINISHED! Solution found. No. iterations: 338. Runtime: 4.236631870269775 seconds.
FINISHED! Solution found. No. iterations: 297. Runtime: 3.3950188159942627 seconds.
FINISHED! Solution found. No. iterations: 297FINISHED! Solution found. No. iterations: 338. Runtime: 3.579021692276001 seconds.
FINISHED! Solution found. No. iterations: 338FINISHED! Solution found. No. iterations: 297. Runtime: 3.07692813873291 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.115036964416504 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.26401948928833 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4470014572143555 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 1.9860098361968994 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.007857084274292 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.461019992828369 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.210017204284668 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4430110454559326 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.9800171852111816 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.4990155696868896 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.4150264263153076 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.1760141849517822 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.2810091972351074 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9100117683410645 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0480144023895264 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.183008909225464 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.1140129566192627 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 293. Runtime: 1.963822364807129 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.076929569244385 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.319519519805908 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0706160068511963 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.9443202018737793 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.094966173171997 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.132498502731323 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.5430550575256348 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.9626238346099854 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.1383330821990967 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4734997749328613 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.080350160598755 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.392676830291748 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0406999588012695 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 2.887876033782959 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.8725149631500244 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.882502555847168 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.88008451461792 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3206186294555664 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.6697793006896973 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 1.693786382675171 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.444066286087036 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.990752935409546 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.607845067977905 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.705655813217163 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.8394510746002197 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.6663765907287598 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.962805509567261 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.0071487426757812 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.092872142791748 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.109395980834961 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.9531474113464355 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.7968955039978027 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.9375178813934326 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.343780994415283 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1250011920928955 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.0468900203704834 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.6406428813934326 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.1250219345092773 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.9843947887420654 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.187542676925659 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.7812674045562744 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0000197887420654 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.296901226043701 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.015645742416382 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.3750154972076416 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.2812674045562744 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.2812676429748535 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.8762316703796387 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.855449676513672 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 6.4472925662994385 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.677544116973877 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.570450782775879 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1087777614593506 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.257171630859375 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.318495750427246 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.638214111328125 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.1562724113464355 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.2812817096710205 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.1094167232513428 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.718777656555176 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.8672823905944824 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0058584213256836 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.7008216381073 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.4838709831237793 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.887148857116699 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.097928047180176 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.0470681190490723 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.489814519882202 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.246664524078369 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.233154773712158 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 5.00937294960022 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.093653917312622 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.419543981552124 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 1.7897632122039795 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.580857515335083 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.990269422531128 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.288165807723999 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.2880024909973145 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.150636434555054 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.091628074645996 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.10860013961792 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.537024974822998 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.676030397415161 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.5170278549194336 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.7786660194396973 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4175102710723877 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0154473781585693 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.1683645248413086 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.932004690170288 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.489938497543335 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.5962638854980469 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.1559579372406006 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.4956135749816895 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.336228370666504 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.217832565307617 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.6195435523986816 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.209717035293579 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.0830342769622803 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.1926157474517822 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.591322422027588 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.8822832107543945 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.567502975463867 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0928611755371094 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.4812042713165283 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.4592373371124268 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.419067621231079 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 1.82649564743042 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.6644794940948486 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.283862829208374 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4868829250335693 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.343447208404541 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9482483863830566 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.5023114681243896 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.2127883434295654 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.734121799468994 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.29963755607605 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.8073010444641113 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.9284999370574951 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.1232588291168213 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.4454851150512695 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.3562471866607666 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.845980167388916 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.1198997497558594 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9131736755371094 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.2598085403442383 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.118551731109619 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.463583469390869 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1958839893341064 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.2159388065338135 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3664050102233887 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.372279167175293 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1897799968719482 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.974799394607544 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.688992977142334 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.3928682804107666 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.329681158065796 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.766418218612671 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.783862829208374 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.717024087905884 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.362313985824585 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.3197991847991943 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.285303831100464 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.332953691482544 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.8290200233459473 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.7174415588378906 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.07418155670166 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.9501709938049316 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.3562779426574707 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.9431629180908203 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1438870429992676 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.3296310901641846 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.3298351764678955 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.8719472885131836 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 2.95088529586792 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.8086113929748535 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.661943435668945 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.6684954166412354 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.8955066204071045 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.11403751373291 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.9992904663085938 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.7789995670318604 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.721480846405029 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.990161895751953 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4546959400177 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.288028001785278 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.1839253902435303 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.712809324264526 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.477780818939209 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.6372742652893066 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.437511444091797 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.9595239162445068 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1819190979003906 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.867922306060791 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.343658685684204 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 4.122227907180786 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.6226439476013184 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 10.247066736221313 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.9455389976501465 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.017667531967163 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9581563472747803 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.760749340057373 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.7561991214752197 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.9588630199432373 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.5478367805480957 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.1592211723327637 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.590937852859497 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.3443644046783447 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.9150643348693848 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.034834623336792 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.143676996231079 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 1.9291024208068848 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.540052652359009 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.739042282104492 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3988747596740723 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.2593557834625244 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.1044490337371826 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.228445529937744 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.548191547393799 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.1783626079559326 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.8906431198120117 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.840956687927246 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.082258462905884 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.077632188796997 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.165196657180786 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.199049711227417 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.3709235191345215 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.901634931564331 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9368703365325928 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.7890994548797607 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.4466769695281982 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.479027271270752 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 10.690971612930298 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.406536102294922 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.33298659324646 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.203171491622925 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.991253614425659 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.965886116027832 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.1250314712524414 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.0788373947143555 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0569114685058594 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.0323338508605957 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.7453439235687256 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 4.974468469619751 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.9587795734405518 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.3123438358306885 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.36449933052063 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.967294216156006 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3036458492279053 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.7904553413391113 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.7619240283966064 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0172066688537598 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.4860470294952393 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.3573315143585205 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.585352659225464 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.775946617126465 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.8302013874053955 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.5154619216918945 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.280507326126099 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0013020038604736 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4787559509277344 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.722864866256714 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.763009548187256 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 4.013171195983887 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.708678722381592 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.7141225337982178 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.2433741092681885 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 4.6070027351379395 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0103542804718018 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.028940200805664 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3076839447021484 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.1719982624053955 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.0634427070617676 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.6272878646850586 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.4345340728759766 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.258850336074829 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.3077991008758545 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 2.928312063217163 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.2621846199035645 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.765547513961792 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.604304313659668 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.172031879425049 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 3.5410242080688477 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.989387035369873 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9712023735046387 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 4.5039589405059814 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.246981620788574 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0272228717803955 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.2500216960906982 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.343790292739868 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.8750176429748535 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.8125178813934326 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.125021457672119 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0625269412994385 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.8125197887420654 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.046877384185791 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.4531326293945312 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.015646457672119 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0000193119049072 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.921873092651367 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.8906421661376953 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.390650510787964 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.390648126602173 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.2187514305114746 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0469000339508057 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0287585258483887 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.9960150718688965 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 1.8437731266021729 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0937864780426025 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.110517740249634 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.5367438793182373 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.5469183921813965 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.4116389751434326 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0781619548797607 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0781779289245605 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 2.9219107627868652 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.2454309463500977 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9043068885803223 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.75356388092041 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.0312819480895996 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.199030876159668 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.056790828704834 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.930105686187744 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.485506534576416 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0246403217315674 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.0271127223968506 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.7105815410614014 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 5.389840364456177 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 3.48795223236084 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.8570663928985596 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.898293972015381 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.2192275524139404 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.3364875316619873 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 2.9399986267089844 seconds.
FINISHED! Solution found. No. iterations: 892. Runtime: 3.2009713649749756 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 2.9948606491088867 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.1645896434783936 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 3.536283254623413 seconds.
FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 3.5472629070281982 seconds.
FINISHED! Solution found. No. iterations: 293. Runtime: 2.218144416809082 seconds.
FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253FINISHED! Solution found. No. iterations: 293. Runtime: 125.02928638458252 seconds.
FINISHED! Solution found. No. iterations: 1936. Runtime: 9.959115505218506 seconds.
FINISHED! Solution found. No. iterations: 1936FINISHED! Solution found. No. iterations: 293FINISHED! Solution found. No. iterations: 253. Runtime: 2.9078168869018555 seconds.
FINISHED! Solution found. No. iterations: 1936. Runtime: 7.267383337020874 seconds.
FINISHED! Solution found. No. iterations: 1936. Runtime: 8.834359169006348 seconds.
FINISHED! Solution found. No. iterations: 4544. Runtime: 10.140736818313599 seconds.
FINISHED! Solution found. No. iterations: 1936. Runtime: 7.622246980667114 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 2.3255419731140137 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 1.6130034923553467 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 1.9805142879486084 seconds.
FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37. Runtime: 2.7398769855499268 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 178FINISHED! Solution found. No. iterations: 209. Runtime: 3.2691431045532227 seconds.
FINISHED! Solution found. No. iterations: 209FINISHED! Solution found. No. iterations: 73. Runtime: 3.591919183731079 seconds.
FINISHED! Solution found. No. iterations: 73. Runtime: 3.027355909347534 seconds.
FINISHED! Solution found. No. iterations: 73FINISHED! Solution found. No. iterations: 209. Runtime: 3.070281982421875 seconds.
FINISHED! Solution found. No. iterations: 209FINISHED! Solution found. No. iterations: 73. Runtime: 3.0430169105529785 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.3212826251983643 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 2.670563220977783 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.390650987625122 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.346471071243286 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 1.9531450271606445 seconds.
FINISHED! Solution found. No. iterations: 102. Runtime: 2.1444618701934814 seconds.
FINISHED! Solution found. No. iterations: 102. Runtime: 3.2812817096710205 seconds.
FINISHED! Solution found. No. iterations: 59. Runtime: 1.903599500656128 seconds.
FINISHED! Solution found. No. iterations: 59. Runtime: 1.4375271797180176 seconds.
FINISHED! Solution found. No. iterations: 59. Runtime: 2.4332659244537354 seconds.
FINISHED! Solution found. No. iterations: 59. Runtime: 3.031493663787842 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 1.7370891571044922 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.412668228149414 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 2.774278402328491 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.390658140182495 seconds.
FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37. Runtime: 2.9326577186584473 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 2.2678399085998535 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 1.6710269451141357 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.3061439990997314 seconds.
FINISHED! Solution found. No. iterations: 69FINISHED! Solution found. No. iterations: 37. Runtime: 2.37502121925354 seconds.
FINISHED! Solution found. No. iterations: 37. Runtime: 2.0963876247406006 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 2.579017162322998 seconds.
FINISHED! Solution found. No. iterations: 37FINISHED! Solution found. No. iterations: 69. Runtime: 1.8192825317382812 seconds.
FINISHED! Solution found. No. iterations: 178. Runtime: 2.860208034515381 seconds.
FINISHED! Solution found. No. iterations: 178. Runtime: 3.343777894973755 seconds.
FINISHED! Solution found. No. iterations: 178. Runtime: 3.2061378955841064 seconds.
FINISHED! Solution found. No. iterations: 541. Runtime: 3.579230785369873 seconds.
FINISHED! Solution found. No. iterations: 541. Runtime: 3.561161756515503 seconds.
FINISHED! Solution found. No. iterations: 206. Runtime: 2.9460275173187256 seconds.
FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 206. Runtime: 3.189879894256592 seconds.
FINISHED! Solution found. No. iterations: 56. Runtime: 1.6204721927642822 seconds.
FINISHED! Solution found. No. iterations: 201. Runtime: 2.191556692123413 seconds.
FINISHED! Solution found. No. iterations: 201. Runtime: 3.3092076778411865 seconds.
FINISHED! Solution found. No. iterations: 206. Runtime: 3.361886739730835 seconds.
FINISHED! Solution found. No. iterations: 206. Runtime: 1.6240065097808838 seconds.
FINISHED! Solution found. No. iterations: 342FINISHED! Solution found. No. iterations: 370. Runtime: 4.030279636383057 seconds.
FINISHED! Solution found. No. iterations: 342FINISHED! Solution found. No. iterations: 370. Runtime: 3.4034488201141357 seconds.
FINISHED! Solution found. No. iterations: 342FINISHED! Solution found. No. iterations: 370. Runtime: 4.2132134437561035 seconds.
FINISHED! Solution found. No. iterations: 680. Runtime: 5.811720848083496 seconds.
FINISHED! Solution found. No. iterations: 680FINISHED! Solution found. No. iterations: 1329. Runtime: 6.762767314910889 seconds.
FINISHED! Solution found. No. iterations: 287. Runtime: 3.385185480117798 seconds.
FINISHED! Solution found. No. iterations: 287. Runtime: 4.424631118774414 seconds.
FINISHED! Solution found. No. iterations: 574. Runtime: 6.731025457382202 seconds.
FINISHED! Solution found. No. iterations: 1026FINISHED! Solution found. No. iterations: 126. Runtime: 7.567704677581787 seconds.
. Runtime: 4.745190382003784 seconds.
FINISHED! Solution found. No. iterations: 1026. Runtime: 4.376891136169434 seconds.
FINISHED! Solution found. No. iterations: 574. Runtime: 6.41621470451355 seconds.
FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 206. Runtime: 3.507290840148926 seconds.
FINISHED! Solution found. No. iterations: 56. Runtime: 1.6804368495941162 seconds.
FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 206. Runtime: 3.1562790870666504 seconds.
FINISHED! Solution found. No. iterations: 1368. Runtime: 4.049324035644531 seconds.
FINISHED! Solution found. No. iterations: 1368. Runtime: 3.468576192855835 seconds.
FINISHED! Solution found. No. iterations: 206FINISHED! Solution found. No. iterations: 56. Runtime: 2.810448408126831 seconds.
FINISHED! Solution found. No. iterations: 56. Runtime: 1.5937650203704834 seconds.
FINISHED! Solution found. No. iterations: 56. Runtime: 4.170164346694946 seconds.
FINISHED! Solution found. No. iterations: 206FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 206FINISHED! Solution found. No. iterations: 206FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 56. Runtime: 11.574617385864258 seconds.
. Runtime: 14.273194551467896 seconds.
FINISHED! Solution found. No. iterations: 206FINISHED! Solution found. No. iterations: 56. Runtime: 16.57881236076355 seconds.
FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 206. Runtime: 16.66546630859375 seconds.
. Runtime: 13.352575540542603 seconds.
FINISHED! Solution found. No. iterations: 25. Runtime: 2.0595154762268066 seconds.
FINISHED! Solution found. No. iterations: 25FINISHED! Solution found. No. iterations: 46. Runtime: 1.9113600254058838 seconds.
FINISHED! Solution found. No. iterations: 25FINISHED! Solution found. No. iterations: 24. Runtime: 2.1890029907226562 seconds.
FINISHED! Solution found. No. iterations: 24. Runtime: 2.441336154937744 seconds.
FINISHED! Solution found. No. iterations: 102. Runtime: 2.54238224029541 seconds.
FINISHED! Solution found. No. iterations: 102. Runtime: 3.05241060256958 seconds.
FINISHED! Solution found. No. iterations: 102. Runtime: 3.5841281414031982 seconds.
FINISHED! Solution found. No. iterations: 541. Runtime: 0.9832723140716553 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 0.9020652770996094 seconds.
FINISHED! Solution found. No. iterations: 193. Runtime: 0.8051409721374512 seconds.
FINISHED! Solution found. No. iterations: 625. Runtime: 1.1446924209594727 seconds.
FINISHED! Solution found. No. iterations: 16. Runtime: 0.6331944465637207 seconds.
FINISHED! Solution found. No. iterations: 80. Runtime: 0.8956313133239746 seconds.
FINISHED! Solution found. No. iterations: 105. Runtime: 0.7940137386322021 seconds.
FINISHED! Solution found. No. iterations: 387. Runtime: 0.8930089473724365 seconds.
FINISHED! Solution found. No. iterations: 387. Runtime: 0.9720962047576904 seconds.
FINISHED! Solution found. No. iterations: 178. Runtime: 0.7536258697509766 seconds.
FINISHED! Solution found. No. iterations: 81. Runtime: 0.6068618297576904 seconds.
FINISHED! Solution found. No. iterations: 380. Runtime: 0.8850047588348389 seconds.
FINISHED! Solution found. No. iterations: 1964. Runtime: 2.2680160999298096 seconds.
FINISHED! Solution found. No. iterations: 10. Runtime: 0.7305183410644531 seconds.
FINISHED! Solution found. No. iterations: 155. Runtime: 0.9660024642944336 seconds.
FINISHED! Solution found. No. iterations: 927. Runtime: 1.4670019149780273 seconds.
FINISHED! Solution found. No. iterations: 32. Runtime: 0.6235747337341309 seconds.
FINISHED! Solution found. No. iterations: 206. Runtime: 0.8075766563415527 seconds.
FINISHED! Solution found. No. iterations: 206. Runtime: 0.771047830581665 seconds.
FINISHED! Solution found. No. iterations: 56FINISHED! Solution found. No. iterations: 140. Runtime: 0.817997932434082 seconds.
FINISHED! Solution found. No. iterations: 253. Runtime: 1.4999537467956543 seconds.
FINISHED! Solution found. No. iterations: 296. Runtime: 1.5376250743865967 seconds.
FINISHED! Solution found. No. iterations: 334. Runtime: 1.7657115459442139 seconds.
FINISHED! Solution found. No. iterations: 1276. Runtime: 4.820893287658691 seconds.