btm2x5-was nun?time mysql_c_program q=2 k=11 n=166 d=76 b=1 t=10000 solver nc=1 groupid=39811 paraa=15000.0 nurgls computecode wir rechnen f�r: q=2 k=11 n=166 d=76 b=1 t=10000 gid=39811 numberoforbits=143 maxcols=-1 mit zwanzger solver 166 166 solver -timeout 10000 -a 15000 -b 1 -file /tmp/fileJs6WWq -o /tmp/fileJs6WWq.out 82 79 105 122 133 113 55 85 repetitions = 0 hashKey = 17063026254011862852 choice for step 7 = 85; eval = exp(-16.5851); runs = 0 time: 1.0815 s. 82 79 105 122 133 113 55 85 123 142 103 42 repetitions = 385 hashKey = 9996343791432298386 choice for step 11 = 42; eval = exp(-23.5486); runs = 717 time: 2.08237 s. 82 79 105 122 133 113 55 85 90 38 77 repetitions = 1862 hashKey = 15947633760648076522 choice for step 10 = 77; eval = exp(-16.1495); runs = 2619 time: 3.08453 s. 82 79 105 122 133 113 55 85 39 27 142 repetitions = 3738 hashKey = 1257082739638793728 choice for step 10 = 142; eval = exp(-20.2032); runs = 5001 time: 4.08498 s. 82 79 105 122 133 113 55 85 89 34 142 repetitions = 5534 hashKey = 9227701299990779206 choice for step 10 = 142; eval = exp(-18.2606); runs = 7378 time: 5.08593 s. 82 79 105 122 133 113 55 85 142 42 77 40 8 repetitions = 6398 hashKey = 15915234109457337692 choice for step 12 = 8; eval = exp(-16.8554); runs = 8909 time: 6.10139 s. 82 79 105 122 133 113 55 85 142 42 29 77 repetitions = 8321 hashKey = 15716771426205781948 choice for step 11 = 77; eval = exp(-18.1859); runs = 11601 time: 7.10174 s. 82 79 105 122 133 113 55 85 142 61 77 38 42 repetitions = 10401 hashKey = 5420944101079314280 choice for step 12 = 42; eval = exp(-17.367); runs = 14779 time: 8.10509 s. 82 79 105 122 133 113 55 85 142 138 141 53 77 repetitions = 11828 hashKey = 13693529647212566654 choice for step 12 = 77; eval = exp(-21.3092); runs = 17213 time: 9.10551 s. 82 79 105 122 133 113 55 85 142 132 59 77 repetitions = 14349 hashKey = 13640838823587156174 choice for step 11 = 77; eval = exp(-15.6584); runs = 20493 time: 10.1064 s. 82 79 105 122 133 113 55 85 142 77 18 8 42 repetitions = 16947 hashKey = 2356512896656906366 choice for step 12 = 42; eval = exp(-27.2664); runs = 23798 time: 11.1067 s. 82 79 105 122 133 113 55 85 142 1 38 8 140 repetitions = 19929 hashKey = 14182760594930287238 choice for step 12 = 140; eval = exp(-23.0198); runs = 27526 time: 12.1075 s. 82 79 105 122 133 113 55 85 142 141 37 8 repetitions = 22965 hashKey = 16002700627306822320 choice for step 11 = 8; eval = exp(-25.8036); runs = 31057 time: 13.1094 s. 82 79 105 122 133 113 55 85 142 117 42 repetitions = 26326 hashKey = 1893166140984252110 choice for step 10 = 42; eval = exp(-21.4724); runs = 35520 time: 14.1116 s. 82 79 105 122 133 113 55 85 42 77 140 50 138 repetitions = 28075 hashKey = 10583699269851439050 choice for step 12 = 138; eval = exp(-21.6594); runs = 37920 time: 15.112 s. 82 79 105 122 133 113 55 85 42 8 2 142 repetitions = 31226 hashKey = 1512106000385422520 choice for step 11 = 142; eval = exp(-22.0003); runs = 41179 time: 16.1129 s. 82 79 105 122 133 113 55 85 77 34 40 repetitions = 35240 hashKey = 10146402505946004352 choice for step 10 = 40; eval = exp(-15.8946); runs = 45378 time: 17.1208 s. 82 79 105 122 133 113 55 85 77 140 0 42 repetitions = 38116 hashKey = 10694887404983661824 choice for step 11 = 42; eval = exp(-20.5939); runs = 49282 time: 18.1215 s. 82 79 105 122 133 113 55 85 77 38 86 140 repetitions = 41864 hashKey = 14554196466092410994 choice for step 11 = 140; eval = exp(-20.7378); runs = 53256 time: 19.1219 s. 82 79 105 122 133 113 55 85 61 77 repetitions = 46800 hashKey = 11148557896953920644 choice for step 9 = 77; eval = exp(-16.0478); runs = 58569 time: 20.1302 s. 82 79 105 122 133 113 55 85 138 141 24 42 repetitions = 50595 hashKey = 8503288971683595286 choice for step 11 = 42; eval = exp(-19.1867); runs = 62407 time: 21.1305 s. 82 79 105 122 133 113 55 85 140 38 132 repetitions = 54779 hashKey = 10863155625787618444 choice for step 10 = 132; eval = exp(-15.7231); runs = 66623 time: 22.1315 s. 82 79 105 122 133 113 55 85 8 141 78 140 repetitions = 60020 hashKey = 14037954429212010402 choice for step 11 = 140; eval = exp(-22.8704); runs = 71934 time: 23.1316 s. 82 79 105 122 133 113 55 85 70 2 142 repetitions = 64664 hashKey = 8714610727654744780 choice for step 10 = 142; eval = exp(-27.0526); runs = 76595 time: 24.1319 s. 82 79 105 122 133 113 55 85 71 78 138 repetitions = 69467 hashKey = 5234694083801200674 choice for step 10 = 138; eval = exp(-21.4451); runs = 81454 time: 25.1321 s. 82 79 105 122 133 113 55 49 89 142 77 8 repetitions = 73415 hashKey = 4627576304257707124 choice for step 11 = 8; eval = exp(-16.5052); runs = 85567 time: 26.1347 s. 82 79 105 122 133 113 55 49 67 142 140 47 141 repetitions = 75097 hashKey = 13204087555146102804 choice for step 12 = 141; eval = exp(-29.6129); runs = 87839 time: 27.135 s. 82 79 105 122 133 113 55 49 142 16 140 15 77 repetitions = 76697 hashKey = 2590535362375775290 choice for step 12 = 77; eval = exp(-33.4096); runs = 90068 time: 28.1355 s. 82 79 105 122 133 113 55 49 142 40 77 138 140 repetitions = 77522 hashKey = 13301095120884465166 choice for step 12 = 140; eval = exp(-27.9451); runs = 91907 time: 29.1359 s. 82 79 105 122 133 113 55 49 142 8 141 104 77 repetitions = 78553 hashKey = 8263486753165323514 choice for step 12 = 77; eval = exp(-25.3009); runs = 93750 time: 30.1372 s. 82 79 105 122 133 113 55 49 142 77 15 68 140 repetitions = 80178 hashKey = 11239386440541129708 choice for step 12 = 140; eval = exp(-35.2491); runs = 96013 time: 31.1385 s. 82 79 105 122 133 113 55 49 142 141 89 repetitions = 82329 hashKey = 17990251293653418596 choice for step 10 = 89; eval = exp(-18.1653); runs = 98833 time: 32.1462 s. 82 79 105 122 133 113 55 49 142 140 15 115 77 repetitions = 84357 hashKey = 1429385868327977312 choice for step 12 = 77; eval = exp(-31.1079); runs = 101488 time: 33.1483 s. 82 79 105 122 133 113 55 49 142 33 21 repetitions = 87231 hashKey = 10825694929201923566 choice for step 10 = 21; eval = exp(-21.2762); runs = 105066 time: 34.1595 s. 82 79 105 122 133 113 55 49 21 119 142 repetitions = 89323 hashKey = 7666636014145130324 choice for step 10 = 142; eval = exp(-21.1526); runs = 107832 time: 35.1598 s. 82 79 105 122 133 113 55 49 1 126 140 77 repetitions = 91557 hashKey = 8185692528422960786 choice for step 11 = 77; eval = exp(-31.8395); runs = 110259 time: 36.1599 s. 82 79 105 122 133 113 55 49 8 77 140 128 38 repetitions = 93724 hashKey = 11398243716873961522 choice for step 12 = 38; eval = exp(-24.4806); runs = 112727 time: 37.1599 s. 82 79 105 122 133 113 55 49 69 7 142 repetitions = 96793 hashKey = 14457209097834080792 choice for step 10 = 142; eval = exp(-24.1528); runs = 115950 time: 38.1605 s. 82 79 105 122 133 113 55 49 77 140 111 8 repetitions = 99407 hashKey = 15551756039116535210 choice for step 11 = 8; eval = exp(-18.9439); runs = 119003 time: 39.1627 s. 82 79 105 122 133 113 55 49 42 140 0 142 repetitions = 103303 hashKey = 2702257107328604240 choice for step 11 = 142; eval = exp(-23.9289); runs = 123164 time: 40.1635 s. 82 79 105 122 133 113 55 49 45 50 77 repetitions = 106726 hashKey = 4543940119063635126 choice for step 10 = 77; eval = exp(-25.5383); runs = 126634 time: 41.1638 s. 82 79 105 122 133 113 55 49 11 53 141 142 repetitions = 110721 hashKey = 17769330571765013854 choice for step 11 = 142; eval = exp(-38.6298); runs = 130685 time: 42.1639 s. 82 79 105 122 133 113 55 49 76 63 142 repetitions = 114786 hashKey = 6451047597752986512 choice for step 10 = 142; eval = exp(-29.8953); runs = 134839 time: 43.1642 s. 82 79 105 122 133 113 55 16 130 142 40 42 repetitions = 116333 hashKey = 10310350436127390062 choice for step 11 = 42; eval = exp(-23.6687); runs = 136826 time: 44.1645 s. 82 79 105 122 133 113 55 16 3 138 15 140 repetitions = 117807 hashKey = 16572230407717213156 choice for step 11 = 140; eval = exp(-23.1924); runs = 138760 time: 45.1646 s. 82 79 105 122 133 113 55 16 142 0 101 138 repetitions = 118811 hashKey = 908241155117919318 choice for step 11 = 138; eval = exp(-32.5708); runs = 140685 time: 46.1656 s. 82 79 105 122 133 113 55 16 142 45 138 77 38 repetitions = 119548 hashKey = 4587473698087591766 choice for step 12 = 38; eval = exp(-22.9886); runs = 142255 time: 47.1672 s. 82 79 105 122 133 113 55 16 142 123 138 130 repetitions = 120493 hashKey = 16040547678249922192 choice for step 11 = 130; eval = exp(-25.5603); runs = 143985 time: 48.1682 s. 82 79 105 122 133 113 55 16 142 42 140 50 8 repetitions = 121591 hashKey = 12597915797265166990 choice for step 12 = 8; eval = exp(-28.7423); runs = 145742 time: 49.17 s. 82 79 105 122 133 113 55 16 142 138 60 140 repetitions = 123098 hashKey = 3221761531163033424 choice for step 11 = 140; eval = exp(-24.687); runs = 147735 time: 50.1718 s. 82 79 105 122 133 113 55 16 142 77 32 138 repetitions = 124910 hashKey = 8520721912444623078 choice for step 11 = 138; eval = exp(-28.8689); runs = 150068 time: 51.1731 s. 82 79 105 122 133 113 55 16 142 136 39 repetitions = 126921 hashKey = 18365984823066457176 choice for step 10 = 39; eval = exp(-19.3593); runs = 152499 time: 52.1797 s. 82 79 105 122 133 113 55 16 142 129 138 77 repetitions = 128883 hashKey = 2796019342276695742 choice for step 11 = 77; eval = exp(-29.5232); runs = 155082 time: 53.1852 s. 82 79 105 122 133 113 55 16 21 47 77 140 repetitions = 130875 hashKey = 917294767001766560 choice for step 11 = 140; eval = exp(-22.8018); runs = 157297 time: 54.1852 s. 82 79 105 122 133 113 55 16 42 140 130 repetitions = 132425 hashKey = 2257573270695331680 choice for step 10 = 130; eval = exp(-15.2735); runs = 159171 time: 55.1872 s. 82 79 105 122 133 113 55 16 42 87 77 140 38 repetitions = 134714 hashKey = 17771522382462222508 choice for step 12 = 38; eval = exp(-25.2052); runs = 161493 time: 56.188 s. 82 79 105 122 133 113 55 16 93 121 142 repetitions = 136968 hashKey = 1336974707744299576 choice for step 10 = 142; eval = exp(-20.449); runs = 163954 time: 57.1888 s. 82 79 105 122 133 113 55 16 77 8 140 112 42 repetitions = 138704 hashKey = 14499904001195455234 choice for step 12 = 42; eval = exp(-19.6154); runs = 165999 time: 58.2081 s. 82 79 105 122 133 113 55 16 77 140 141 89 42 repetitions = 140642 hashKey = 7638903371988963846 choice for step 12 = 42; eval = exp(-20.9022); runs = 168239 time: 59.2095 s. 82 79 105 122 133 113 55 16 77 78 140 repetitions = 143920 hashKey = 14332546577791825636 choice for step 10 = 140; eval = exp(-23.9361); runs = 171848 time: 60.2109 s. 82 79 105 122 133 113 55 16 138 140 8 89 77 repetitions = 146261 hashKey = 8680401033117496168 choice for step 12 = 77; eval = exp(-26.0898); runs = 174232 time: 61.211 s. 82 79 105 122 133 113 55 16 140 38 15 119 77 repetitions = 148762 hashKey = 14837484969410996176 choice for step 12 = 77; eval = exp(-25.2068); runs = 176755 time: 62.2112 s. 82 79 105 122 133 113 55 16 132 74 142 repetitions = 151993 hashKey = 7026629756535287992 choice for step 10 = 142; eval = exp(-24.4351); runs = 180010 time: 63.2113 s. 82 79 105 122 133 113 55 16 8 84 140 repetitions = 154712 hashKey = 12542364186240762354 choice for step 10 = 140; eval = exp(-23.5865); runs = 182760 time: 64.2127 s. 82 79 105 122 133 113 55 16 51 68 142 repetitions = 157595 hashKey = 10585567716883955704 choice for step 10 = 142; eval = exp(-26.213); runs = 185698 time: 65.2127 s. 82 79 105 122 133 113 55 123 130 142 27 38 repetitions = 160018 hashKey = 17057163937861793616 choice for step 11 = 38; eval = exp(-27.6419); runs = 188465 time: 66.2137 s. 82 79 105 122 133 113 55 123 142 21 120 138 repetitions = 162079 hashKey = 13190499042547888270 choice for step 11 = 138; eval = exp(-28.088); runs = 191370 time: 67.2159 s. 82 79 105 122 133 113 55 123 142 12 26 140 repetitions = 163097 hashKey = 1975936933345535456 choice for step 11 = 140; eval = exp(-32.8342); runs = 193623 time: 68.2194 s. 82 79 105 122 133 113 55 123 142 38 141 59 42 repetitions = 164265 hashKey = 1541499522645648746 choice for step 12 = 42; eval = exp(-25.8427); runs = 195925 time: 69.2208 s. 82 79 105 122 133 113 55 123 142 100 83 15 repetitions = 166037 hashKey = 11729598204943184880 choice for step 11 = 15; eval = exp(-31.6086); runs = 198514 time: 70.2252 s. 82 79 105 122 133 113 55 123 142 120 77 85 repetitions = 167695 hashKey = 9926768379512455940 choice for step 11 = 85; eval = exp(-20.6642); runs = 200912 time: 71.2259 s. 82 79 105 122 133 113 55 123 142 135 128 8 repetitions = 169595 hashKey = 12557952539432018340 choice for step 11 = 8; eval = exp(-28.7365); runs = 203577 time: 72.2272 s. 82 79 105 122 133 113 55 123 142 15 107 140 repetitions = 172112 hashKey = 12221399694551232854 choice for step 11 = 140; eval = exp(-26.913); runs = 206702 time: 73.2284 s. 82 79 105 122 133 113 55 123 142 125 22 15 repetitions = 174916 hashKey = 3043042397236757142 choice for step 11 = 15; eval = exp(-34.3404); runs = 210310 time: 74.2289 s. 82 79 105 122 133 113 55 123 21 140 77 15 8 repetitions = 176542 hashKey = 9151706046758557640 choice for step 12 = 8; eval = exp(-23.752); runs = 212580 time: 75.2299 s. 82 79 105 122 133 113 55 123 12 77 38 140 141 repetitions = 178929 hashKey = 16941873914573410562 choice for step 12 = 141; eval = exp(-18.7326); runs = 215164 time: 76.2314 s. 82 79 105 122 133 113 55 123 38 141 13 77 repetitions = 180940 hashKey = 13120623927595195392 choice for step 11 = 77; eval = exp(-23.83); runs = 217429 time: 77.2315 s. 82 79 105 122 133 113 55 123 39 140 38 repetitions = 184077 hashKey = 5701170065542370392 choice for step 10 = 38; eval = exp(-22.1961); runs = 220756 time: 78.2328 s. 82 79 105 122 133 113 55 123 68 37 77 140 repetitions = 186871 hashKey = 6873201588059736772 choice for step 11 = 140; eval = exp(-43.7856); runs = 223685 time: 79.2328 s. 82 79 105 122 133 113 55 123 8 106 77 38 repetitions = 189375 hashKey = 6360313933723898192 choice for step 11 = 38; eval = exp(-23.5734); runs = 226422 time: 80.2331 s. 82 79 105 122 133 113 55 123 45 70 142 repetitions = 192441 hashKey = 17766480645993857266 choice for step 10 = 142; eval = exp(-19.3637); runs = 229688 time: 81.2333 s. 82 79 105 122 133 113 55 123 15 62 141 repetitions = 195531 hashKey = 17084734214620291338 choice for step 10 = 141; eval = exp(-18.8252); runs = 232948 time: 82.2356 s. 82 79 105 122 133 113 55 123 140 77 73 42 repetitions = 199182 hashKey = 3856214354734735446 choice for step 11 = 42; eval = exp(-22.1546); runs = 236756 time: 83.2378 s. 82 79 105 122 133 113 55 123 138 57 140 repetitions = 203565 hashKey = 3485372872351961350 choice for step 10 = 140; eval = exp(-22.8137); runs = 241253 time: 84.2389 s. 82 79 105 122 133 113 55 123 139 44 142 repetitions = 207169 hashKey = 13202756223645241698 choice for step 10 = 142; eval = exp(-26.8795); runs = 244917 time: 85.2391 s. 82 79 105 122 133 113 55 39 90 142 38 8 77 repetitions = 209524 hashKey = 14118633565390273086 choice for step 12 = 77; eval = exp(-17.9433); runs = 247393 time: 86.24 s. 82 79 105 122 133 113 55 39 89 142 80 141 repetitions = 211399 hashKey = 9220030805998937844 choice for step 11 = 141; eval = exp(-21.673); runs = 250026 time: 87.2406 s. 82 79 105 122 133 113 55 39 142 45 132 77 repetitions = 213090 hashKey = 12056311529699046874 choice for step 11 = 77; eval = exp(-21.6549); runs = 252620 time: 88.2411 s. 82 79 105 122 133 113 55 39 142 50 124 42 repetitions = 214026 hashKey = 14005119318765346488 choice for step 11 = 42; eval = exp(-43.4336); runs = 254649 time: 89.2427 s. 82 79 105 122 133 113 55 39 142 59 124 77 repetitions = 215303 hashKey = 5179461725293020214 choice for step 11 = 77; eval = exp(-27.0736); runs = 256936 time: 90.2428 s. 82 79 105 122 133 113 55 39 142 77 141 15 89 repetitions = 216840 hashKey = 1503476994767680394 choice for step 12 = 89; eval = exp(-19.2149); runs = 259197 time: 91.247 s. 82 79 105 122 133 113 55 39 142 141 31 77 repetitions = 219044 hashKey = 8439594567758836078 choice for step 11 = 77; eval = exp(-27.2591); runs = 262097 time: 92.2482 s. 82 79 105 122 133 113 55 39 142 138 42 101 77 repetitions = 221153 hashKey = 2685171081741915472 choice for step 12 = 77; eval = exp(-32.3441); runs = 264928 time: 93.2487 s. 82 79 105 122 133 113 55 39 142 66 76 141 repetitions = 224274 hashKey = 6989376336537523062 choice for step 11 = 141; eval = exp(-41.5112); runs = 268740 time: 94.2494 s. 82 79 105 122 133 113 55 39 7 94 142 repetitions = 226297 hashKey = 12081555712500780734 choice for step 10 = 142; eval = exp(-20.5938); runs = 271382 time: 95.2506 s. 82 79 105 122 133 113 55 39 12 69 142 repetitions = 228876 hashKey = 4089610128154973354 choice for step 10 = 142; eval = exp(-25.3514); runs = 274151 time: 96.2508 s. 82 79 105 122 133 113 55 39 77 141 140 42 89 repetitions = 231065 hashKey = 11539302777025375490 choice for step 12 = 89; eval = exp(-21.9455); runs = 276727 time: 97.2512 s. 82 79 105 122 133 113 55 39 77 138 4 140 repetitions = 234022 hashKey = 11851533765060007310 choice for step 11 = 140; eval = exp(-22.7731); runs = 280200 time: 98.2514 s. 82 79 105 122 133 113 55 39 38 42 77 repetitions = 237782 hashKey = 7895120657305770578 choice for step 10 = 77; eval = exp(-19.9238); runs = 284167 time: 99.2551 s. 82 79 105 122 133 113 55 39 141 8 140 109 77 repetitions = 240861 hashKey = 8240399042108765040 choice for step 12 = 77; eval = exp(-27.274); runs = 287291 time: 100.255 s. 82 79 105 122 133 113 55 39 41 65 142 repetitions = 244102 hashKey = 639991012588145538 choice for step 10 = 142; eval = exp(-26.5122); runs = 290590 time: 101.256 s. 82 79 105 122 133 113 55 39 140 31 15 77 repetitions = 248046 hashKey = 14443207796637522826 choice for step 11 = 77; eval = exp(-27.5788); runs = 294593 time: 102.256 s. 82 79 105 122 133 113 55 39 42 116 77 142 repetitions = 252143 hashKey = 7530318174942539824 choice for step 11 = 142; eval = exp(-27.895); runs = 298762 time: 103.256 s. 82 79 105 122 133 113 55 44 142 67 49 repetitions = 254170 hashKey = 16473784221240940108 choice for step 10 = 49; eval = exp(-15.1465); runs = 301072 time: 104.257 s. 82 79 105 122 133 113 55 44 142 120 111 138 repetitions = 255142 hashKey = 14663428777488877598 choice for step 11 = 138; eval = exp(-32.3993); runs = 303097 time: 105.258 s. 82 79 105 122 133 113 55 44 142 135 39 repetitions = 256008 hashKey = 13202479596890990856 choice for step 10 = 39; eval = exp(-17.844); runs = 304950 time: 106.262 s. 82 79 105 122 133 113 55 44 142 25 141 140 repetitions = 256943 hashKey = 10111570108229457502 choice for step 11 = 140; eval = exp(-25.2927); runs = 306662 time: 107.263 s. 82 79 105 122 133 113 55 44 142 117 77 141 repetitions = 258304 hashKey = 16341371570998230468 choice for step 11 = 141; eval = exp(-22.3958); runs = 308724 time: 108.266 s. 82 79 105 122 133 113 55 44 142 2 138 140 repetitions = 259966 hashKey = 11779847949157531346 choice for step 11 = 140; eval = exp(-22.9553); runs = 311006 time: 109.272 s. 82 79 105 122 133 113 55 44 142 141 77 114 38 repetitions = 261556 hashKey = 7689066502304396292 choice for step 12 = 38; eval = exp(-30.2721); runs = 313233 time: 110.274 s. 82 79 105 122 133 113 55 44 142 124 123 repetitions = 263950 hashKey = 18405488920400541846 choice for step 10 = 123; eval = exp(-20.304); runs = 316058 time: 111.278 s. 82 79 105 122 133 113 55 44 90 140 77 8 42 repetitions = 265671 hashKey = 13718957895173086254 choice for step 12 = 42; eval = exp(-21.9231); runs = 318481 time: 112.279 s. 82 79 105 122 133 113 55 44 9 138 140 repetitions = 268157 hashKey = 5530674552650844316 choice for step 10 = 140; eval = exp(-22.5903); runs = 321161 time: 113.281 s. 82 79 105 122 133 113 55 44 45 20 142 repetitions = 270329 hashKey = 11043363916381359358 choice for step 10 = 142; eval = exp(-21.4255); runs = 323516 time: 114.281 s. 82 79 105 122 133 113 55 44 42 140 50 77 repetitions = 272320 hashKey = 1731136460483762704 choice for step 11 = 77; eval = exp(-22.4485); runs = 325782 time: 115.282 s. 82 79 105 122 133 113 55 44 48 17 142 repetitions = 274617 hashKey = 5230198013154571402 choice for step 10 = 142; eval = exp(-26.0611); runs = 328151 time: 116.284 s. 82 79 105 122 133 113 55 44 140 38 77 42 repetitions = 276459 hashKey = 9057773173319851098 choice for step 11 = 42; eval = exp(-18.5508); runs = 330219 time: 117.285 s. 82 79 105 122 133 113 55 44 140 138 83 77 repetitions = 278970 hashKey = 7568363015378016756 choice for step 11 = 77; eval = exp(-26.3644); runs = 333115 time: 118.285 s. 82 79 105 122 133 113 55 44 26 49 repetitions = 282077 hashKey = 10710027889437011076 choice for step 9 = 49; eval = exp(-18.0554); runs = 336357 time: 119.287 s. 82 79 105 122 133 113 55 44 108 77 42 repetitions = 284513 hashKey = 13082757198717484464 choice for step 10 = 42; eval = exp(-20.4457); runs = 338840 time: 120.288 s. 82 79 105 122 133 113 55 44 77 84 140 repetitions = 287605 hashKey = 4658196639045651246 choice for step 10 = 140; eval = exp(-24.3751); runs = 341994 time: 121.29 s. 82 79 105 122 133 113 55 44 27 67 142 repetitions = 290614 hashKey = 12289940151862349284 choice for step 10 = 142; eval = exp(-27.8695); runs = 345076 time: 122.29 s. 82 79 105 122 133 113 55 44 110 38 77 140 repetitions = 293480 hashKey = 6572504926313065258 choice for step 11 = 140; eval = exp(-29.3533); runs = 347986 time: 123.291 s. 82 79 105 122 133 113 55 89 130 0 135 142 repetitions = 293528 hashKey = 16909519652458744854 choice for step 11 = 142; eval = exp(0); runs = 348034 Search successful! (runs = 348034) time: 123.352 s. 0 55 79 82 89 105 113 122 130 133 135 142 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 time: 123.412 s. Program terminated normally. time: 123.413 s. real 2m4.341s user 2m3.092s sys 0m0.416s