btn6x4-was nun?time mysql_c_program_debug q=2 k=6 netcb=50 groupid=28147 b=1 solver nc=1 t=1000 computenetcode SRAND with l=-1661873106 netcode incidence matrix has 651 rows and 1395 columns wir rechnen packing fuer lambda=1 mit zwanzger solver 50 381 solver -timeout 1000 -a 1.50 -b 1 -file /tmp/file8NoiWK -o /tmp/file8NoiWK.out 1380 1224 787 repetitions = 0 hashKey = 1649813494756092402 choice for step 2 = 787; eval = exp(-70.5811); runs = 0 time: 1.47938 s. 1380 1224 787 1230 329 repetitions = 0 hashKey = 10315921088872787918 choice for step 4 = 329; eval = exp(-71.0455); runs = 0 time: 2.91579 s. 1380 1224 787 1230 329 826 990 repetitions = 0 hashKey = 1855870441710853776 choice for step 6 = 990; eval = exp(-71.6177); runs = 0 time: 4.28685 s. 1380 1224 787 1230 329 826 990 871 1097 repetitions = 0 hashKey = 566913713000525542 choice for step 8 = 1097; eval = exp(-71.5086); runs = 0 time: 5.6035 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 repetitions = 0 hashKey = 6056023914289360910 choice for step 10 = 669; eval = exp(-71.3995); runs = 0 time: 6.86875 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 repetitions = 0 hashKey = 14309074674553755776 choice for step 12 = 1141; eval = exp(-70.9697); runs = 0 time: 8.06075 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 repetitions = 0 hashKey = 18377669548113445858 choice for step 14 = 46; eval = exp(-70.2207); runs = 0 time: 9.31997 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 repetitions = 0 hashKey = 7696787873654818264 choice for step 16 = 1076; eval = exp(-68.9273); runs = 0 time: 10.6021 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 repetitions = 0 hashKey = 3436006716742866970 choice for step 18 = 1040; eval = exp(-68.0479); runs = 0 time: 11.8181 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 repetitions = 0 hashKey = 7271568698590064602 choice for step 20 = 1123; eval = exp(-66.0256); runs = 0 time: 12.965 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 repetitions = 0 hashKey = 12718360904143359582 choice for step 22 = 213; eval = exp(-63.8991); runs = 0 time: 14.0421 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 repetitions = 0 hashKey = 11318621087337488094 choice for step 24 = 99; eval = exp(-61.5136); runs = 0 time: 15.0663 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 repetitions = 0 hashKey = 2197164793474410198 choice for step 27 = 536; eval = exp(-57.0973); runs = 0 time: 16.418 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 repetitions = 0 hashKey = 10966400239762018854 choice for step 30 = 632; eval = exp(-52.1051); runs = 0 time: 17.6275 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 repetitions = 0 hashKey = 6394634768297620160 choice for step 33 = 172; eval = exp(-46.235); runs = 0 time: 18.6475 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 repetitions = 0 hashKey = 17197391222513741740 choice for step 37 = 156; eval = exp(-37.3445); runs = 0 time: 19.7193 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 266 777 repetitions = 0 hashKey = 5580910978282568444 choice for step 43 = 777; eval = exp(-20.5873); runs = 0 time: 20.7922 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 266 777 461 1211 916 1337 141 repetitions = 17 hashKey = 8544266212576495496 choice for step 48 = 141; eval = exp(-3.71287); runs = 18 time: 21.8011 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 266 916 141 461 1211 repetitions = 88 hashKey = 11269782082776851382 choice for step 46 = 1211; eval = exp(-10.8149); runs = 89 time: 22.8079 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 141 777 183 1337 1211 repetitions = 158 hashKey = 686934620528854326 choice for step 46 = 1211; eval = exp(-10.8108); runs = 160 time: 23.8206 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 777 1211 461 916 1337 repetitions = 249 hashKey = 16102002065706209672 choice for step 46 = 1337; eval = exp(-10.7852); runs = 251 time: 24.827 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 321 183 916 141 repetitions = 350 hashKey = 14451597193897589788 choice for step 44 = 141; eval = exp(-17.2351); runs = 352 time: 25.8297 s. 1380 1224 787 1230 329 826 990 871 1097 956 669 1025 1141 60 46 717 1076 1301 1040 1362 1123 1174 213 410 99 39 271 536 428 498 632 483 1255 172 542 390 1242 156 929 1162 579 599 266 777 141 1211 739 461 384 314 repetitions = 401 hashKey = 4935252787097082918 choice for step 49 = 314; eval = exp(0); runs = 403 Search successful! (runs = 403) time: 26.3861 s. 39 46 60 99 141 156 172 213 266 271 314 329 384 390 410 428 461 483 498 536 542 579 599 632 669 717 739 777 787 826 871 929 956 990 1025 1040 1076 1097 1123 1141 1162 1174 1211 1224 1230 1242 1255 1301 1362 1380 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 time: 26.3864 s. Program terminated normally. time: 26.3866 s.