btm2xc-was nun?time mysql_c_program q=2 k=7 b=1 t=1000 netcb=277 groupid=125461 solver computenetcode [276,0,14810,2000,273,0,14659,-20,261,0,14666,-20,255,0,14798,2000,252 ,0,14662,-20,210,0,14664,-10,203,0,14663,-10,196,0,14655,-10,189,0,14654 ,-20] netcode incidence matrix has 129 rows and 567 columns wir rechnen packing fuer lambda=1 mit zwanzger solver 277 381 solver -timeout 1000 -a 1.5 -b 1 -file /tmp/file0Saxon -o /tmp/file0Saxon.out 221 544 53 21 11 352 497 281 repetitions = 0 hashKey = 6735042878608976050 choice for step 7 = 281; eval = exp(-20.627); runs = 0 time: 1.01674 s. 221 544 53 21 11 352 497 254 45 446 repetitions = 81 hashKey = 11438139039245138930 choice for step 9 = 446; eval = exp(-15.8498); runs = 99 time: 2.01762 s. 221 544 53 21 11 352 150 42 189 311 473 repetitions = 170 hashKey = 14236937791347420852 choice for step 10 = 473; eval = exp(-12.7777); runs = 209 time: 3.02156 s. 221 544 53 21 11 352 77 275 299 486 521 403 repetitions = 375 hashKey = 15853149743614622930 choice for step 11 = 403; eval = exp(-16.6078); runs = 431 time: 4.02509 s. 221 544 53 21 11 352 77 340 40 311 repetitions = 489 hashKey = 15769818463347284764 choice for step 9 = 311; eval = exp(-15.8218); runs = 574 time: 5.02781 s. 221 544 53 21 11 352 45 446 109 409 403 repetitions = 683 hashKey = 27117371103081828 choice for step 10 = 403; eval = exp(-16.1685); runs = 791 time: 6.03358 s. 221 544 53 21 11 352 449 197 109 42 repetitions = 830 hashKey = 9686301608398387650 choice for step 9 = 42; eval = exp(-15.8105); runs = 966 time: 7.03563 s. 221 544 53 21 11 352 486 197 473 42 repetitions = 1030 hashKey = 17516273634756693376 choice for step 9 = 42; eval = exp(-15.8972); runs = 1190 time: 8.03653 s. 221 544 53 21 11 352 495 281 226 446 repetitions = 1218 hashKey = 5651226166609009206 choice for step 9 = 446; eval = exp(-15.8366); runs = 1396 time: 9.03968 s. 221 544 53 21 11 352 254 496 340 40 521 566 repetitions = 1436 hashKey = 15655240062460088514 choice for step 11 = 566; eval = exp(-16.1676); runs = 1643 time: 10.0438 s. 221 544 53 21 11 352 226 275 430 496 403 521 repetitions = 1674 hashKey = 12633890112645433018 choice for step 11 = 521; eval = exp(-16.6779); runs = 1900 time: 11.0513 s. 221 544 53 21 11 352 405 311 40 250 repetitions = 1975 hashKey = 11057405890450059336 choice for step 9 = 250; eval = exp(-15.8976); runs = 2219 time: 12.0522 s. 221 544 53 21 11 352 417 311 77 repetitions = 2366 hashKey = 9498123889299173638 choice for step 8 = 77; eval = exp(-18.417); runs = 2625 time: 13.0548 s. 221 544 53 21 11 352 496 311 473 repetitions = 2831 hashKey = 16050252090923093566 choice for step 8 = 473; eval = exp(-18.345); runs = 3101 time: 14.0569 s. 221 544 53 21 11 225 497 356 450 205 281 repetitions = 3286 hashKey = 10015710601957886052 choice for step 10 = 281; eval = exp(-12.9654); runs = 3584 time: 15.0597 s. 221 544 53 21 11 225 150 504 299 249 450 repetitions = 3518 hashKey = 1941494214351457612 choice for step 10 = 450; eval = exp(-12.8082); runs = 3839 time: 16.0639 s. 221 544 53 21 11 225 150 409 504 repetitions = 3753 hashKey = 11022824280648102992 choice for step 8 = 504; eval = exp(-18.3257); runs = 4092 time: 17.0695 s. 221 544 53 21 11 225 77 418 111 40 521 566 repetitions = 3959 hashKey = 12574009471117003938 choice for step 11 = 566; eval = exp(-16.23); runs = 4319 time: 18.07 s. 221 544 53 21 11 225 77 102 430 450 repetitions = 4104 hashKey = 3666945380540293728 choice for step 9 = 450; eval = exp(-15.7226); runs = 4490 time: 19.072 s. 221 544 53 21 11 225 425 302 496 566 521 repetitions = 4408 hashKey = 3716718654708538048 choice for step 10 = 521; eval = exp(-19.2614); runs = 4817 time: 20.083 s. 221 544 53 21 11 225 154 339 250 205 521 566 repetitions = 4663 hashKey = 3610476008671163232 choice for step 11 = 566; eval = exp(-16.3464); runs = 5097 time: 21.0877 s. 221 544 53 21 11 225 154 495 40 254 504 repetitions = 4922 hashKey = 12835905248964421616 choice for step 10 = 504; eval = exp(-12.8407); runs = 5375 time: 22.0919 s. 221 544 53 21 11 225 45 418 109 250 566 521 repetitions = 5190 hashKey = 1475628728563840252 choice for step 11 = 521; eval = exp(-16.2827); runs = 5666 time: 23.0932 s. 221 544 53 21 11 225 45 450 430 496 repetitions = 5418 hashKey = 1268179689363360578 choice for step 9 = 496; eval = exp(-15.734); runs = 5913 time: 24.0949 s. 221 544 53 21 11 225 449 504 496 409 254 repetitions = 5600 hashKey = 15069996612183065990 choice for step 10 = 254; eval = exp(-12.8566); runs = 6131 time: 25.1002 s. 221 544 53 21 11 225 469 361 430 repetitions = 5871 hashKey = 11447725688132365276 choice for step 8 = 430; eval = exp(-18.227); runs = 6428 time: 26.1025 s. 221 544 53 21 11 225 486 424 405 205 repetitions = 6038 hashKey = 15109717278331513336 choice for step 9 = 205; eval = exp(-15.9692); runs = 6620 time: 27.1056 s. 221 544 53 21 11 225 495 418 299 504 repetitions = 6276 hashKey = 2581782973703551370 choice for step 9 = 504; eval = exp(-15.8542); runs = 6889 time: 28.1087 s. 221 544 53 21 11 225 102 335 430 250 566 521 repetitions = 6606 hashKey = 5254690837596478476 choice for step 11 = 521; eval = exp(-16.355); runs = 7241 time: 29.1125 s. 221 544 53 21 11 225 254 189 299 450 150 repetitions = 6988 hashKey = 16992155136076961984 choice for step 10 = 150; eval = exp(-12.8653); runs = 7639 time: 30.1145 s. 221 544 53 21 11 225 302 496 504 repetitions = 7326 hashKey = 17520032677381824624 choice for step 8 = 504; eval = exp(-18.224); runs = 7994 time: 31.1162 s. 221 544 53 21 11 225 405 111 300 521 566 repetitions = 7777 hashKey = 4761048270911954678 choice for step 10 = 566; eval = exp(-19.2291); runs = 8463 time: 32.12 s. 221 544 53 21 11 225 481 496 430 450 111 repetitions = 8125 hashKey = 2635966804754131992 choice for step 10 = 111; eval = exp(-12.8603); runs = 8832 time: 33.1231 s. 221 544 53 21 11 225 430 470 496 356 521 403 566 repetitions = 8677 hashKey = 17093191173055976752 choice for step 12 = 566; eval = exp(-16.574); runs = 9394 time: 34.134 s. 221 544 53 21 11 225 418 299 504 repetitions = 9410 hashKey = 16472666684894298198 choice for step 8 = 504; eval = exp(-18.1816); runs = 10131 time: 35.1395 s. 221 544 53 21 11 417 294 495 504 repetitions = 9899 hashKey = 12094134628692637026 choice for step 8 = 504; eval = exp(-18.3341); runs = 10629 time: 36.1449 s. 221 544 53 21 11 417 77 486 238 205 403 183 521 566 repetitions = 10032 hashKey = 14333288362511435094 choice for step 13 = 566; eval = exp(-12.5678); runs = 10783 time: 37.1551 s. 221 544 53 21 11 417 77 311 289 102 521 183 566 repetitions = 10222 hashKey = 8682924629354941368 choice for step 12 = 566; eval = exp(-16.6702); runs = 10996 time: 38.1593 s. 221 544 53 21 11 417 77 238 450 504 repetitions = 10412 hashKey = 14839545751732421182 choice for step 9 = 504; eval = exp(-15.8084); runs = 11208 time: 39.1621 s. 221 544 53 21 11 417 154 42 289 204 403 566 repetitions = 10735 hashKey = 10694813853783395098 choice for step 11 = 566; eval = exp(-16.5438); runs = 11550 time: 40.1646 s. 221 544 53 21 11 417 154 189 504 repetitions = 11002 hashKey = 8790017036795520088 choice for step 8 = 504; eval = exp(-18.2404); runs = 11831 time: 41.1685 s. 221 544 53 21 11 417 350 102 189 201 80 521 183 566 repetitions = 11203 hashKey = 17201285096109587674 choice for step 13 = 566; eval = exp(-13.5899); runs = 12048 time: 42.1797 s. 221 544 53 21 11 417 176 504 249 226 521 403 repetitions = 11433 hashKey = 18326883416090399568 choice for step 11 = 403; eval = exp(-16.6303); runs = 12299 time: 43.1905 s. 221 544 53 21 11 417 176 201 249 226 repetitions = 11657 hashKey = 2742513111579108514 choice for step 9 = 226; eval = exp(-15.945); runs = 12547 time: 44.1925 s. 221 544 53 21 11 417 164 42 109 262 495 566 521 repetitions = 11917 hashKey = 13826810848530762756 choice for step 12 = 521; eval = exp(-13.1584); runs = 12829 time: 45.1979 s. 221 544 53 21 11 417 164 102 361 495 80 521 566 repetitions = 12208 hashKey = 17739040116009389600 choice for step 12 = 566; eval = exp(-13.2078); runs = 13138 time: 46.1988 s. 221 544 53 21 11 417 486 262 289 102 403 183 521 566 repetitions = 12611 hashKey = 6595716931861474032 choice for step 13 = 566; eval = exp(-12.4486); runs = 13552 time: 47.2055 s. 221 544 53 21 11 417 80 102 287 201 189 566 521 repetitions = 12863 hashKey = 18203450934818257102 choice for step 12 = 521; eval = exp(-13.1871); runs = 13820 time: 48.2137 s. 221 544 53 21 11 417 289 311 361 102 495 566 521 repetitions = 13169 hashKey = 7066349569379060540 choice for step 12 = 521; eval = exp(-13.2297); runs = 14142 time: 49.2138 s. 221 544 53 21 11 417 495 262 205 226 566 521 repetitions = 13559 hashKey = 15153152889190380052 choice for step 11 = 521; eval = exp(-16.2196); runs = 14543 time: 50.2227 s. 221 544 53 21 11 417 204 42 249 450 repetitions = 14018 hashKey = 938739749538880330 choice for step 9 = 450; eval = exp(-15.7727); runs = 15012 time: 51.2277 s. 221 544 53 21 11 417 201 226 109 repetitions = 14405 hashKey = 6141593629287508566 choice for step 8 = 109; eval = exp(-18.3933); runs = 15413 time: 52.2306 s. 221 544 53 21 11 417 450 42 361 204 repetitions = 14948 hashKey = 7951560630800153808 choice for step 9 = 204; eval = exp(-15.7338); runs = 15967 time: 53.2321 s. 221 544 53 21 11 148 497 281 300 350 204 183 repetitions = 15760 hashKey = 7037639622091741742 choice for step 11 = 183; eval = exp(-13.1873); runs = 16788 time: 54.2328 s. 221 544 53 21 11 148 497 504 230 450 45 repetitions = 15912 hashKey = 7038277742883663974 choice for step 10 = 45; eval = exp(-12.9936); runs = 16972 time: 55.238 s. 221 544 53 21 11 148 497 311 477 102 176 repetitions = 16072 hashKey = 2398678303989412096 choice for step 10 = 176; eval = exp(-12.7777); runs = 17160 time: 56.2394 s. 221 544 53 21 11 148 497 262 176 102 477 521 repetitions = 16296 hashKey = 5264392120662235366 choice for step 11 = 521; eval = exp(-13.0001); runs = 17405 time: 57.2442 s. 221 544 53 21 11 148 497 102 176 262 repetitions = 16531 hashKey = 11886309006357148280 choice for step 9 = 262; eval = exp(-15.862); runs = 17663 time: 58.2448 s. 221 544 53 21 11 148 497 300 504 repetitions = 16991 hashKey = 6438870580435145006 choice for step 8 = 504; eval = exp(-18.271); runs = 18142 time: 59.2477 s. 221 544 53 21 11 148 77 504 300 302 521 403 repetitions = 17157 hashKey = 14107609170951799112 choice for step 11 = 403; eval = exp(-16.4927); runs = 18338 time: 60.251 s. 221 544 53 21 11 148 77 418 347 111 403 183 566 repetitions = 17361 hashKey = 13709152575881524382 choice for step 12 = 566; eval = exp(-16.6108); runs = 18561 time: 61.2537 s. 221 544 53 21 11 148 77 311 477 102 287 566 403 521 repetitions = 17553 hashKey = 8857017729687932554 choice for step 13 = 521; eval = exp(-13.3701); runs = 18769 time: 62.2539 s. 221 544 53 21 11 148 77 356 255 450 273 403 repetitions = 17740 hashKey = 13611467160590884228 choice for step 11 = 403; eval = exp(-12.9716); runs = 18972 time: 63.2582 s. 221 544 53 21 11 148 77 102 239 205 299 repetitions = 17950 hashKey = 17891245421848018482 choice for step 10 = 299; eval = exp(-12.9236); runs = 19201 time: 64.2596 s. 221 544 53 21 11 148 77 255 176 273 449 repetitions = 18178 hashKey = 14853036574827128178 choice for step 10 = 449; eval = exp(-12.9236); runs = 19451 time: 65.2615 s. 221 544 53 21 11 148 425 197 356 311 521 183 566 repetitions = 18614 hashKey = 5253686320987397492 choice for step 12 = 566; eval = exp(-16.5779); runs = 19906 time: 66.2678 s. 221 544 53 21 11 148 350 281 496 300 258 repetitions = 18865 hashKey = 12480250856801949438 choice for step 10 = 258; eval = exp(-13.0275); runs = 20177 time: 67.2714 s. 221 544 53 21 11 148 350 275 299 189 347 183 521 repetitions = 19035 hashKey = 10364084591611023232 choice for step 12 = 521; eval = exp(-13.1501); runs = 20366 time: 68.2719 s. 221 544 53 21 11 148 350 418 109 204 310 403 566 183 repetitions = 19194 hashKey = 16497083432583142850 choice for step 13 = 183; eval = exp(-13.4089); runs = 20545 time: 69.2755 s. 221 544 53 21 11 148 350 418 310 204 249 521 566 183 403 repetitions = 19381 hashKey = 17572644368367579092 choice for step 14 = 403; eval = exp(-9.05433); runs = 20748 time: 70.2807 s. 221 544 53 21 11 148 350 310 300 204 repetitions = 19653 hashKey = 12760549871744119302 choice for step 9 = 204; eval = exp(-15.8485); runs = 21034 time: 71.2826 s. 221 544 53 21 11 148 45 504 176 496 311 repetitions = 20059 hashKey = 3546876887021632 choice for step 10 = 311; eval = exp(-12.8023); runs = 21458 time: 72.2883 s. 221 544 53 21 11 148 45 302 300 205 403 566 521 183 repetitions = 20263 hashKey = 6782711340222818636 choice for step 13 = 183; eval = exp(-12.5565); runs = 21678 time: 73.2922 s. 221 544 53 21 11 148 45 496 176 230 477 566 521 repetitions = 20479 hashKey = 12203002168772270932 choice for step 12 = 521; eval = exp(-13.1204); runs = 21906 time: 74.2944 s. 221 544 53 21 11 148 45 273 409 496 repetitions = 20825 hashKey = 16215563543778575606 choice for step 9 = 496; eval = exp(-15.8871); runs = 22265 time: 75.2948 s. 221 544 53 21 11 148 176 281 424 204 repetitions = 21114 hashKey = 4295412533446979620 choice for step 9 = 204; eval = exp(-15.8555); runs = 22577 time: 76.2988 s. 221 544 53 21 11 148 176 275 189 45 repetitions = 21275 hashKey = 14363835925177722654 choice for step 9 = 45; eval = exp(-15.9294); runs = 22771 time: 77.2992 s. 221 544 53 21 11 148 176 496 230 102 273 403 521 repetitions = 21493 hashKey = 16517061768791906066 choice for step 12 = 521; eval = exp(-13.2243); runs = 23026 time: 78.302 s. 221 544 53 21 11 148 176 310 111 189 566 521 repetitions = 21852 hashKey = 17968787236730784850 choice for step 11 = 521; eval = exp(-16.3659); runs = 23409 time: 79.3038 s. 221 544 53 21 11 148 449 302 109 496 470 repetitions = 22298 hashKey = 15829713759690674820 choice for step 10 = 470; eval = exp(-12.8892); runs = 23878 time: 80.3045 s. 221 544 53 21 11 148 449 249 504 repetitions = 22693 hashKey = 6218201683532787180 choice for step 8 = 504; eval = exp(-18.374); runs = 24290 time: 81.3045 s. 221 544 53 21 11 148 230 470 109 302 496 521 403 183 repetitions = 22921 hashKey = 331723810946389246 choice for step 13 = 183; eval = exp(-13.302); runs = 24538 time: 82.3075 s. 221 544 53 21 11 148 230 418 287 504 repetitions = 23121 hashKey = 14979974070532694770 choice for step 9 = 504; eval = exp(-15.9217); runs = 24756 time: 83.3104 s. 221 544 53 21 11 148 272 418 250 495 521 183 repetitions = 23523 hashKey = 9390339051892716050 choice for step 11 = 183; eval = exp(-16.4814); runs = 25171 time: 84.3151 s. 221 544 53 21 11 148 255 302 347 204 183 566 403 repetitions = 23797 hashKey = 12598472579470312430 choice for step 12 = 403; eval = exp(-16.5082); runs = 25466 time: 85.3185 s. 221 544 53 21 11 148 255 204 409 521 403 566 repetitions = 24043 hashKey = 1050902275635056354 choice for step 11 = 566; eval = exp(-19.3452); runs = 25726 time: 86.3219 s. 221 544 53 21 11 148 310 418 299 213 189 521 repetitions = 24405 hashKey = 12477653559603887648 choice for step 11 = 521; eval = exp(-13.1269); runs = 26106 time: 87.3236 s. 221 544 53 21 11 148 495 281 299 102 205 521 repetitions = 24861 hashKey = 12830534880324289892 choice for step 11 = 521; eval = exp(-13.0519); runs = 26574 time: 88.3259 s. 221 544 53 21 11 148 495 311 477 300 521 566 repetitions = 25113 hashKey = 323766566843397552 choice for step 11 = 566; eval = exp(-16.2449); runs = 26848 time: 89.3311 s. 221 544 53 21 11 148 495 299 347 213 418 repetitions = 25426 hashKey = 17548720929052495114 choice for step 10 = 418; eval = exp(-12.7904); runs = 27179 time: 90.336 s. 221 544 53 21 11 148 102 496 477 250 311 repetitions = 25758 hashKey = 7885217748551846190 choice for step 10 = 311; eval = exp(-12.8927); runs = 27526 time: 91.3408 s. 221 544 53 21 11 148 204 302 109 183 566 repetitions = 26234 hashKey = 18311889353835493584 choice for step 10 = 566; eval = exp(-18.9452); runs = 28011 time: 92.3418 s. 221 544 53 21 11 148 347 418 299 189 239 repetitions = 26535 hashKey = 9267532629178378368 choice for step 10 = 239; eval = exp(-12.8502); runs = 28323 time: 93.3466 s. 221 544 53 21 11 148 504 418 239 189 299 repetitions = 26969 hashKey = 6768793224981187572 choice for step 10 = 299; eval = exp(-12.8525); runs = 28770 time: 94.3505 s. 221 544 53 21 11 148 405 311 504 repetitions = 27417 hashKey = 3255693219657885506 choice for step 8 = 504; eval = exp(-18.3859); runs = 29240 time: 95.3506 s. 221 544 53 21 11 148 111 496 430 450 287 566 403 repetitions = 27668 hashKey = 17454586210181531228 choice for step 12 = 403; eval = exp(-13.1891); runs = 29510 time: 96.3588 s. 221 544 53 21 11 148 450 262 109 204 repetitions = 28114 hashKey = 11162204893778446274 choice for step 9 = 204; eval = exp(-15.7582); runs = 29970 time: 97.3627 s. 221 544 53 21 11 148 224 250 504 repetitions = 28830 hashKey = 13132169160232240112 choice for step 8 = 504; eval = exp(-18.3653); runs = 30691 time: 98.3635 s. 221 544 53 21 11 148 477 496 300 409 258 repetitions = 29351 hashKey = 4476594304447233118 choice for step 10 = 258; eval = exp(-12.9902); runs = 31219 time: 99.368 s. 221 544 53 21 11 148 197 275 424 449 repetitions = 30260 hashKey = 15294576034882469954 choice for step 9 = 449; eval = exp(-15.9017); runs = 32134 time: 100.37 s. 221 544 53 21 11 252 497 272 440 204 repetitions = 30951 hashKey = 7762286976274730482 choice for step 9 = 204; eval = exp(-15.8865); runs = 32846 time: 101.373 s. 221 544 53 21 11 252 497 356 477 154 repetitions = 31128 hashKey = 4204034623782399244 choice for step 9 = 154; eval = exp(-15.8625); runs = 33048 time: 102.378 s. 221 544 53 21 11 252 497 310 428 350 446 repetitions = 31368 hashKey = 1245168740595446522 choice for step 10 = 446; eval = exp(-12.9014); runs = 33307 time: 103.383 s. 221 544 53 21 11 252 150 302 109 446 403 183 566 repetitions = 31678 hashKey = 12306806979084969660 choice for step 12 = 566; eval = exp(-16.5742); runs = 33639 time: 104.384 s. 221 544 53 21 11 252 150 473 299 440 176 189 repetitions = 31862 hashKey = 4667105463965622200 choice for step 11 = 189; eval = exp(-9.26082); runs = 33845 time: 105.388 s. 221 544 53 21 11 252 77 486 299 439 477 403 repetitions = 32210 hashKey = 12658998533719711918 choice for step 11 = 403; eval = exp(-13.0615); runs = 34207 time: 106.391 s. 221 544 53 21 11 252 77 504 224 155 521 repetitions = 32376 hashKey = 18438745676973893952 choice for step 10 = 521; eval = exp(-16.197); runs = 34397 time: 107.396 s. 221 544 53 21 11 252 77 446 356 154 repetitions = 32524 hashKey = 4771444771417916512 choice for step 9 = 154; eval = exp(-15.7166); runs = 34576 time: 108.397 s. 221 544 53 21 11 252 77 481 430 154 183 566 repetitions = 32745 hashKey = 5493987974890030146 choice for step 11 = 566; eval = exp(-16.7015); runs = 34814 time: 109.4 s. 221 544 53 21 11 252 77 310 504 repetitions = 32964 hashKey = 14499452140661891218 choice for step 8 = 504; eval = exp(-18.3516); runs = 35050 time: 110.405 s. 221 544 53 21 11 252 425 197 176 repetitions = 33332 hashKey = 3622122379086800398 choice for step 8 = 176; eval = exp(-18.3588); runs = 35438 time: 111.409 s. 221 544 53 21 11 252 425 496 176 254 521 repetitions = 33536 hashKey = 6660139300553065568 choice for step 10 = 521; eval = exp(-16.3145); runs = 35664 time: 112.409 s. 221 544 53 21 11 252 154 272 430 356 496 521 403 repetitions = 33768 hashKey = 999642507697059048 choice for step 12 = 403; eval = exp(-13.1282); runs = 35919 time: 113.413 s. 221 544 53 21 11 252 154 496 340 254 403 183 566 repetitions = 34008 hashKey = 17717826768643700914 choice for step 12 = 566; eval = exp(-16.6804); runs = 36175 time: 114.413 s. 221 544 53 21 11 252 350 339 446 repetitions = 34277 hashKey = 16293295098709992534 choice for step 8 = 446; eval = exp(-18.3291); runs = 36459 time: 115.418 s. 221 544 53 21 11 252 350 335 45 189 183 521 566 repetitions = 34430 hashKey = 14841148401613900948 choice for step 12 = 566; eval = exp(-16.6285); runs = 36639 time: 116.425 s. 221 544 53 21 11 252 350 405 299 439 repetitions = 34673 hashKey = 16618897446425059628 choice for step 9 = 439; eval = exp(-15.7913); runs = 36896 time: 117.425 s. 221 544 53 21 11 252 488 356 473 189 183 566 521 repetitions = 34890 hashKey = 13380653097865817370 choice for step 12 = 521; eval = exp(-16.4635); runs = 37136 time: 118.427 s. 221 544 53 21 11 252 488 409 430 287 521 566 repetitions = 35133 hashKey = 14946340204288783958 choice for step 11 = 566; eval = exp(-16.2514); runs = 37394 time: 119.429 s. 221 544 53 21 11 252 45 439 109 350 repetitions = 35382 hashKey = 18031151043985300582 choice for step 9 = 350; eval = exp(-15.783); runs = 37662 time: 120.43 s. 221 544 53 21 11 252 45 496 109 409 342 521 566 403 183 repetitions = 35594 hashKey = 3512859226494174654 choice for step 14 = 183; eval = exp(-9.0286); runs = 37894 time: 121.434 s. 221 544 53 21 11 252 339 486 repetitions = 35945 hashKey = 6159243173901345788 choice for step 7 = 486; eval = exp(-20.6546); runs = 38261 time: 122.439 s. 221 544 53 21 11 252 176 504 299 189 150 repetitions = 36099 hashKey = 5444414172492672586 choice for step 10 = 150; eval = exp(-12.7949); runs = 38446 time: 123.441 s. 221 544 53 21 11 252 176 342 473 189 299 repetitions = 36388 hashKey = 17579720821212314610 choice for step 10 = 299; eval = exp(-12.8981); runs = 38764 time: 124.442 s. 221 544 53 21 11 252 449 272 361 488 repetitions = 36844 hashKey = 2753287879603519300 choice for step 9 = 488; eval = exp(-15.872); runs = 39238 time: 125.443 s. 221 544 53 21 11 252 469 450 430 361 403 183 566 repetitions = 37091 hashKey = 10381620075351435152 choice for step 12 = 566; eval = exp(-16.6394); runs = 39505 time: 126.453 s. 221 544 53 21 11 252 486 302 109 204 566 521 repetitions = 37329 hashKey = 3182652252400584480 choice for step 11 = 521; eval = exp(-16.2809); runs = 39759 time: 127.454 s. 221 544 53 21 11 252 486 356 310 204 521 566 403 repetitions = 37551 hashKey = 7798158428834500560 choice for step 12 = 403; eval = exp(-16.6927); runs = 39992 time: 128.455 s. 221 544 53 21 11 252 155 272 405 356 repetitions = 37854 hashKey = 383959481577312060 choice for step 9 = 356; eval = exp(-15.8918); runs = 40311 time: 129.459 s. 221 544 53 21 11 252 272 356 496 450 430 repetitions = 38139 hashKey = 13985073487789057392 choice for step 10 = 430; eval = exp(-13.0013); runs = 40617 time: 130.464 s. 221 544 53 21 11 252 495 504 446 302 183 repetitions = 38600 hashKey = 7506243577695677662 choice for step 10 = 183; eval = exp(-16.3121); runs = 41090 time: 131.465 s. 221 544 53 21 11 252 428 356 347 189 521 566 repetitions = 38911 hashKey = 5948486595257564064 choice for step 11 = 566; eval = exp(-16.3018); runs = 41420 time: 132.467 s. 221 544 53 21 11 252 204 302 347 361 403 566 repetitions = 39431 hashKey = 10465360082726296158 choice for step 11 = 566; eval = exp(-16.5361); runs = 41950 time: 133.47 s. 221 544 53 21 11 252 208 335 430 440 361 566 403 repetitions = 39897 hashKey = 16669766553804110484 choice for step 12 = 403; eval = exp(-13.167); runs = 42425 time: 134.471 s. 221 544 53 21 11 252 504 405 299 439 repetitions = 40275 hashKey = 10126070039274378030 choice for step 9 = 439; eval = exp(-15.8327); runs = 42816 time: 135.474 s. 221 544 53 21 11 252 430 356 473 450 repetitions = 40968 hashKey = 5556498445044982990 choice for step 9 = 450; eval = exp(-15.7797); runs = 43515 time: 136.476 s. 221 544 53 21 11 252 477 496 213 45 repetitions = 41593 hashKey = 8793582415490188140 choice for step 9 = 45; eval = exp(-15.7796); runs = 44146 time: 137.479 s. 221 544 53 21 11 188 497 504 239 446 226 183 repetitions = 42365 hashKey = 4685541016499933860 choice for step 11 = 183; eval = exp(-13.2025); runs = 44939 time: 138.483 s. 221 544 53 21 11 188 77 275 299 450 repetitions = 42661 hashKey = 3409314870124305030 choice for step 9 = 450; eval = exp(-15.7606); runs = 45256 time: 139.485 s. 221 544 53 21 11 188 77 504 154 42 403 183 521 repetitions = 42809 hashKey = 13840835686415786800 choice for step 12 = 521; eval = exp(-16.7916); runs = 45431 time: 140.49 s. 221 544 53 21 11 188 77 481 176 430 566 521 repetitions = 43019 hashKey = 10876185681720196496 choice for step 11 = 521; eval = exp(-16.4265); runs = 45662 time: 141.499 s. 221 544 53 21 11 188 425 446 176 361 469 repetitions = 43286 hashKey = 18239867068281135836 choice for step 10 = 469; eval = exp(-12.8682); runs = 45954 time: 142.5 s. 221 544 53 21 11 188 154 446 258 77 repetitions = 43527 hashKey = 11445710836646496258 choice for step 9 = 77; eval = exp(-15.7441); runs = 46219 time: 143.503 s. 221 544 53 21 11 188 176 470 361 446 repetitions = 43787 hashKey = 8862792675071358998 choice for step 9 = 446; eval = exp(-15.8457); runs = 46500 time: 144.509 s. 221 544 53 21 11 188 176 481 249 446 repetitions = 44047 hashKey = 11405479973783984084 choice for step 9 = 446; eval = exp(-15.9084); runs = 46787 time: 145.513 s. 221 544 53 21 11 188 486 47 239 77 repetitions = 44381 hashKey = 7688865851195239796 choice for step 9 = 77; eval = exp(-15.7913); runs = 47134 time: 146.516 s. 221 544 53 21 11 188 495 404 299 504 repetitions = 44622 hashKey = 6618993811558630734 choice for step 9 = 504; eval = exp(-15.755); runs = 47398 time: 147.525 s. 221 544 53 21 11 188 226 504 496 450 249 183 403 repetitions = 44949 hashKey = 11869938213647148050 choice for step 12 = 403; eval = exp(-13.3679); runs = 47743 time: 148.531 s. 221 544 53 21 11 188 504 311 239 496 521 403 repetitions = 45294 hashKey = 3079810897054445474 choice for step 11 = 403; eval = exp(-16.4851); runs = 48102 time: 149.531 s. 221 544 53 21 11 188 450 496 430 42 repetitions = 45660 hashKey = 5580229296168506420 choice for step 9 = 42; eval = exp(-15.6494); runs = 48487 time: 150.533 s. 221 544 53 21 11 188 249 275 446 176 repetitions = 46079 hashKey = 1943568950667800722 choice for step 9 = 176; eval = exp(-15.903); runs = 48918 time: 151.537 s. .... .... 221 544 53 21 105 148 441 416 335 258 526 repetitions = 291941 hashKey = 11343901691849204900 choice for step 10 = 526; eval = exp(-12.8384); runs = 303971 time: 722.32 s. 221 544 53 21 105 148 441 5 176 45 273 repetitions = 292174 hashKey = 14600672938566462486 choice for step 10 = 273; eval = exp(-12.949); runs = 304231 time: 723.32 s. 221 544 53 21 105 148 77 7 347 255 224 183 521 repetitions = 292605 hashKey = 15301694500706456258 choice for step 12 = 521; eval = exp(-13.2938); runs = 304682 time: 724.323 s. 221 544 53 21 105 148 77 418 526 213 347 425 166 448 repetitions = 292866 hashKey = 6638714177099536926 choice for step 13 = 448; eval = exp(0); runs = 304971 Search successful! (runs = 304971) time: 725.319 s. 21 53 77 105 148 166 213 221 347 418 425 448 526 544 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 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 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 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 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 1 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 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 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 time: 725.389 s. Program terminated normally. time: 725.389 s. real 12m9.586s user 12m8.834s sys 0m0.276s btm2xc-was nun?