-
Notifications
You must be signed in to change notification settings - Fork 0
/
epsilon_runs_amazon_diary.txt
2950 lines (2814 loc) · 102 KB
/
epsilon_runs_amazon_diary.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Starting diary with name artifact_epsilon_runs_amazon_2020_10_05_1034_diary.txt
Repository directory: /home/bwlarse/tensor_toolbox
Local Branch: cp_arls_lev
Remote: origin (https://gitlab.com/tensors/tensor_toolbox)
Remote Branch: cp_arls_lev
Short Hash: [33ma0
Up-to-Date: true
Repository directory: /home/bwlarse/cparls_sparse_experiments
Local Branch: master
Remote: origin (https://gitlab.com/bwlarsen/cparls_sparse_experiments)
Remote Branch: master
Short Hash: [33ma4
Up-to-Date: false
Statuses...
[31mM[m als_runs_enron.m
[31mM[m arls_model_reddit.m
[31mM[m arls_runs_coil.m
[31mM[m arls_runs_synthetic_dense.m
[31mM[m epsilon_runs_amazon.m
[31mM[m epsilon_runs_nofit.m
[31mM[m kahuna_slurm_batch.sh
[31mM[m kahuna_slurm_batch_zen.sh
[31mM[m saveLeverage.m
[31m??[m cp_runs_reddit.m
[31m??[m sdet_amazon.png
==== Diffs ====
[1mindex 0130793..1f3c63d 100644[m
[1m--- a/als_runs_enron.m[m
[1m+++ b/als_runs_enron.m[m
[36m@@ -20,7 +20,7 @@[m [mend[m
[m
%% Load in Enron Tensor[m
nruns = 10;[m
[31m-R = 25;[m
[32m+[m[32mR = 50;[m
load ('/home/bwlarse/Tensors/tensor_data_enron_large/enron_emails_log');[m
fprintf('---Loading in Enron Tensor---\n')[m
[m
[36m@@ -57,4 +57,4 @@[m [mfor rep = 1:nruns[m
end[m
[m
% Save out the traces and fits for all runs[m
[31m-save('-v7.3', sprintf('%s-results', aname), 'output')[m
[32m+[m[32msave('-v7.3', sprintf('%s-results', aname), 'results')[m
[1mdiff --git a/arls_model_reddit.m b/arls_model_reddit.m[m
[1mindex c19d754..33fb699 100644[m
[1m--- a/arls_model_reddit.m[m
[1m+++ b/arls_model_reddit.m[m
[36m@@ -47,7 +47,7 @@[m [mfsampler = @() deal(xsubs, xvals, wghts);[m
[m
[m
%% Run cp_leverage[m
[31m-fprintf('\n~~~~~Generating random initialization for run %d~~~~ \n', rep)[m
[32m+[m[32mfprintf('\n~~~~~Generating random initialization~~~~ \n')[m
rnginit('41eb28b040800000');[m
Uinit = cell(d,1);[m
for k = 1:d[m
[36m@@ -55,7 +55,6 @@[m [mfor k = 1:d[m
end[m
[m
[m
[31m-fprintf('\n---Starting run %i/%i with %i samples---\n', rep, nruns, s)[m
sharedparams = {'init', Uinit, 'truefit', truefit, 'finalfit', true, 'nsamplsq', s, 'fsampler', fsampler};[m
[m
fprintf('\nFinding CP decomposition (Deterministic Inclusion): \n')[m
[36m@@ -67,7 +66,6 @@[m [mfprintf('Total Time (secs): %.3f\n', time)[m
[m
info.params.fsampler = 'removed';[m
info.params.init = 'removed';[m
[31m-results{rep,sidx,1} = info;[m
[m
[m
[m
[1mdiff --git a/arls_runs_coil.m b/arls_runs_coil.m[m
[1mindex a34a20b..f3c8fa1 100644[m
[1m--- a/arls_runs_coil.m[m
[1m+++ b/arls_runs_coil.m[m
[36m@@ -19,9 +19,9 @@[m [mif do_gitchecks[m
end[m
[m
%% User setup for script [m
[31m-nruns = 10;[m
[32m+[m[32mnruns = 5;[m
R = 20;[m
[31m-srng = 2.^(9:11);[m
[32m+[m[32msrng = 2.^(9:10);[m
truefit = false;[m
[m
[m
[36m@@ -92,7 +92,7 @@[m [mfor rep = 1:nruns[m
fprintf('\nFinding CP decomposition (ARLS-Mixing): \n')[m
rnginit;[m
tic[m
[31m- [M, ~, info] = cp_arls_trace(X,R,'init', Uinit, 'truefit', true,'epoch', 1,'newitol',5,'tol', 1e-4);[m
[32m+[m[32m [M, ~, info] = cp_arls_trace(X,R,'init', Uinit, 'truefit', true,'epoch', 1,'newitol',5,'tol', 1e-4, 'nsamplsq', s);[m
time = toc;[m
fprintf('Total Time (secs): %.3f\n', time)[m
[m
[1mdiff --git a/arls_runs_synthetic_dense.m b/arls_runs_synthetic_dense.m[m
[1mindex cf2f4f7..aab981b 100644[m
[1m--- a/arls_runs_synthetic_dense.m[m
[1m+++ b/arls_runs_synthetic_dense.m[m
[36m@@ -25,9 +25,10 @@[m [mcheckfit = 0;[m
srng = 2.^(7:11);[m
[m
% This option allows loading in tensors from previous runs[m
[31m-loadproblem = 1;[m
[32m+[m[32mloadproblem = 0;[m
if loadproblem[m
[31m- loadfile = 'artifact_arls_runs_synthetic_dense_2020_09_10_2008-results_small';[m
[32m+[m[32m loadfile = 'artifact_arls_runs_synthetic_dense_2020_09_10_2008-results';[m
[32m+[m[32m load(loadfile);[m
clear results;[m
end[m
[m
[36m@@ -39,8 +40,8 @@[m [mend[m
[m
%% Parameters for problem generation[m
R = 25;[m
[31m-d = 3;[m
[31m-num_rows = 500;[m
[32m+[m[32md = 4;[m
[32m+[m[32mnum_rows = 250;[m
sz = num_rows*ones(1, d);[m
[m
% nconcentrated is the number of columns with concentrated leverage scores[m
[36m@@ -63,7 +64,9 @@[m [mns = length(srng); % Number of s-values[m
[m
%% Set up output[m
results = cell(nproblems,nruns,ns,5);[m
[31m-tensors = cell(nproblems, 2);[m
[32m+[m[32mif ~loadproblem[m
[32m+[m[32m tensors = cell(nproblems, 2);[m
[32m+[m[32mend[m
[m
%% Main runs[m
rng('shuffle')[m
[36m@@ -75,6 +78,7 @@[m [mfor p = 1:nproblems[m
X = tensors{p, 1};[m
Mtrue = tensors{p, 2};[m
U = Mtrue;[m
[32m+[m [32mwhos[m
else[m
fprintf('---Generating Tensor---\n')[m
rnginit;[m
[1mdiff --git a/epsilon_runs_amazon.m b/epsilon_runs_amazon.m[m
[1mindex 17e885e..c91df38 100644[m
[1m--- a/epsilon_runs_amazon.m[m
[1m+++ b/epsilon_runs_amazon.m[m
[36m@@ -37,7 +37,7 @@[m [mkrng = [1 2 3];[m
srng = [2^17];[m
crng = {@(s) []};[m
trng = {@(s) [], @(s) 1/s};[m
[31m-ntrials = 5; % Just for demo, use 10 for regular trials[m
[32m+[m[32mntrials = 10; % Just for demo, use 10 for regular trials[m
[m
% Run without combine[m
fprintf('\t Starting runs with loaded solution (No Combine)');[m
[36m@@ -56,4 +56,4 @@[m [mrnginit;[m
% [results_rand,info_rand] = epsilon_runs_nofit(X,R,krng,srng,crng,trng,ntrials);[m
[m
%%[m
[31m-save('-v7.3', aname,'results','info','results_combine','info_combine');[m
\ No newline at end of file[m
[32m+[m[32msave('-v7.3', aname,'results','info','results_combine','info_combine');[m
[1mdiff --git a/epsilon_runs_nofit.m b/epsilon_runs_nofit.m[m
[1mindex 696733f..9c69c53 100644[m
[1m--- a/epsilon_runs_nofit.m[m
[1m+++ b/epsilon_runs_nofit.m[m
[36m@@ -102,7 +102,7 @@[m [mfor kidx = 1:nk[m
[m
% Compute sampled solve[m
tic[m
[31m- [Vs,info] = tt_sampled_solve(X,A,Alev,k,s,c,t,Xfidxs(:,k),combrep,1);[m
[32m+[m[32m [Vs,info] = tt_sampled_solve(X,A,Alev,k,s,c,t,Xfidxs(:,k),1,combrep);[m
itr.sampled_solve_time_plus_post = toc;[m
[m
% Extract sample-sample residual[m
[36m@@ -148,10 +148,10 @@[m [mfor kidx = 1:nk[m
[m
fprintf('\tMin/Max weight: %g / %g\n', itr.minwgt, itr.maxwgt);[m
fprintf('\tTop-10 Most Frequent Samples:\n');[m
[31m- fprintf('\t\t cnt=%d midx=[%d %d %d]\n', itr.midx_top10')[m
[32m+[m[32m fprintf('\t\t cnt=%d midx=[%d %d]\n', itr.midx_top10')[m
fprintf('\t %i Deterministic Indices with Total Probability %f \n', itr.sdet, itr.pdet);[m
if itr.sdet > 0[m
[31m- fprintf('\t\t prob=%.3e midx=[%d %d %d]\n', itr.midx_det_top10')[m
[32m+[m[32m fprintf('\t\t prob=%.3e midx=[%d %d]\n', itr.midx_det_top10')[m
end[m
[m
% Save everything[m
[36m@@ -166,4 +166,4 @@[m [mfor kidx = 1:nk[m
end % sidx[m
[m
[m
[31m-end % kidx[m
\ No newline at end of file[m
[32m+[m[32mend % kidx[m
[1mdiff --git a/kahuna_slurm_batch.sh b/kahuna_slurm_batch.sh[m
[1mindex 24e744c..df9d03c 100644[m
[1m--- a/kahuna_slurm_batch.sh[m
[1m+++ b/kahuna_slurm_batch.sh[m
[36m@@ -8,7 +8,7 @@[m
#SBATCH -p compute[m
[m
# --- Set the max time to 10 hours ---[m
[31m-#SBATCH -t 5-10:00:00[m
[32m+[m[32m#SBATCH -t 8:00:00[m
[m
# --- Use one single node, with 1 process, and 4 cores ---[m
# --- Plus exclusively claim the resources ---[m
[36m@@ -22,4 +22,4 @@[m [mmodule load matlab[m
echo Hostname:[m
hostname[m
echo MATLAB Command: $1[m
[31m-matlab -nosplash -nodesktop -nodisplay -r "addpath('/home/bwlarse/tensor_toolbox_sparse'); addpath('/home/bwlarse/matlab-tools'); $1; quit"[m
[32m+[m[32mmatlab -nosplash -nodesktop -nodisplay -r "addpath('/home/bwlarse/tensor_toolbox'); addpath('/home/bwlarse/matlab-tools'); $1; quit"[m
[1mdiff --git a/kahuna_slurm_batch_zen.sh b/kahuna_slurm_batch_zen.sh[m
[1mindex 111a4d7..20accd6 100644[m
[1m--- a/kahuna_slurm_batch_zen.sh[m
[1m+++ b/kahuna_slurm_batch_zen.sh[m
[36m@@ -8,7 +8,7 @@[m
#SBATCH -p zen[m
[m
# --- Set the max time to 6 days, 12 hours ---[m
[31m-#SBATCH -t 6-12:00:00[m
[32m+[m[32m#SBATCH -t 3-12:00:00[m
[m
# --- Use one single node, with 1 process, and 4 cores ---[m
# --- Plus exclusively claim the resources ---[m
[36m@@ -22,4 +22,4 @@[m [mmodule load matlab[m
echo Hostname:[m
hostname[m
echo MATLAB Command: $1[m
[31m-matlab -nosplash -nodesktop -nodisplay -r "addpath('/home/bwlarse/tensor_toolbox_sparse'); addpath('/home/bwlarse/matlab-tools'); $1; quit"[m
[32m+[m[32mmatlab -nosplash -nodesktop -nodisplay -r "addpath('/home/bwlarse/tensor_toolbox'); addpath('/home/bwlarse/matlab-tools'); $1; quit"[m
[1mdiff --git a/saveLeverage.m b/saveLeverage.m[m
[1mindex 09a5526..e7a349d 100644[m
[1m--- a/saveLeverage.m[m
[1m+++ b/saveLeverage.m[m
[36m@@ -9,18 +9,18 @@[m [mfprintf('\tLoaded solution with R=%d\n', R);[m
s = 2^17;[m
tau = 1/s;[m
[m
[31m-N = ndims(A);[m
[32m+[m[32mN = 3;[m
[m
u = cell(N, 1);[m
det = cell(N, 1);[m
[m
for i = 1:N[m
[31m- u{i} = calculate_leverage(A{i}); [m
[32m+[m[32m u{i} = tt_leverage_scores(A{i});[m[41m [m
u{i} = sort(u{i});[m
end[m
[m
for i = 1:N[m
[31m- [~, ~,~,det{i}] = find_deterministic_krp(Alev(1:i-1,i+1:N), tau, s);[m
[32m+[m[32m [~, ~,~,det{i}] = find_deterministic_krp(u([1:i-1,i+1:N]), tau, s);[m
det{i} = sort(det{i});[m
end[m
[m
==== End Diffs ====
---Load in Amazon---
Loaded in tensor of size [ 4821207 1774269 1805187 ] with 1741809018 nonzeros
Loaded solution with R=10
Starting runs with loaded solution (No Combine)Random Seed in Hex: 41ea123768800000
*** Epsilon Runs ***
---Extracting data from tensor---
Tensor is of size [ 4821207 1774269 1805187 ] with nnz = 1741809018
---Calculating fiber indices---
Elapsed time is 114.980033 seconds.
---Setup Factor Matrices---
Using provided factor matrices
Rank = 10
---Calculating leverage scores---
Elapsed time is 2.015604 seconds.
---Full Solve for k=1---
---Sampled Solve for k=1, s=131072, c=, t=, trial=1---
Random Seed in Hex: 41e6ecbcb4000000
Sampled solve time: 15.189098s
Min/Max weight: 0.0475063 / 237480
Top-10 Most Frequent Samples:
cnt=470 midx=[960680 792105]
cnt=437 midx=[1732647 792105]
cnt=434 midx=[960680 1113300]
cnt=432 midx=[1732647 252987]
cnt=422 midx=[1732647 1113300]
cnt=415 midx=[960680 252987]
cnt=381 midx=[1732647 228496]
cnt=353 midx=[960680 228496]
cnt=217 midx=[1504230 792105]
cnt=204 midx=[1665202 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=2---
Random Seed in Hex: 41e4f8de0d800000
Sampled solve time: 14.789113s
Min/Max weight: 0.0475063 / 319006
Top-10 Most Frequent Samples:
cnt=459 midx=[960680 792105]
cnt=458 midx=[960680 1113300]
cnt=455 midx=[1732647 252987]
cnt=440 midx=[1732647 1113300]
cnt=439 midx=[960680 252987]
cnt=400 midx=[1732647 792105]
cnt=368 midx=[960680 228496]
cnt=342 midx=[1732647 228496]
cnt=235 midx=[1504230 792105]
cnt=211 midx=[1665202 1113300]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=3---
Random Seed in Hex: 41ea8bc5ba800000
Sampled solve time: 14.784892s
Min/Max weight: 0.0475063 / 66445.2
Top-10 Most Frequent Samples:
cnt=447 midx=[960680 792105]
cnt=440 midx=[960680 1113300]
cnt=429 midx=[1732647 792105]
cnt=416 midx=[1732647 1113300]
cnt=413 midx=[960680 252987]
cnt=398 midx=[1732647 252987]
cnt=349 midx=[960680 228496]
cnt=342 midx=[1732647 228496]
cnt=219 midx=[1665202 792105]
cnt=215 midx=[1665202 1113300]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=4---
Random Seed in Hex: 41cac4757d800000
Sampled solve time: 14.829249s
Min/Max weight: 0.0475063 / 72487.7
Top-10 Most Frequent Samples:
cnt=473 midx=[960680 792105]
cnt=444 midx=[1732647 792105]
cnt=444 midx=[960680 252987]
cnt=439 midx=[1732647 252987]
cnt=398 midx=[960680 1113300]
cnt=397 midx=[1732647 1113300]
cnt=378 midx=[960680 228496]
cnt=373 midx=[1732647 228496]
cnt=222 midx=[1665202 792105]
cnt=206 midx=[1504230 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=5---
Random Seed in Hex: 41e6674377400000
Sampled solve time: 15.644705s
Min/Max weight: 0.0475063 / 84557.8
Top-10 Most Frequent Samples:
cnt=479 midx=[960680 792105]
cnt=447 midx=[1732647 792105]
cnt=429 midx=[960680 1113300]
cnt=426 midx=[1732647 252987]
cnt=420 midx=[1732647 1113300]
cnt=414 midx=[960680 252987]
cnt=382 midx=[1732647 228496]
cnt=353 midx=[960680 228496]
cnt=213 midx=[1504230 252987]
cnt=203 midx=[1504230 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=6---
Random Seed in Hex: 41e632adc4c00000
Sampled solve time: 14.902290s
Min/Max weight: 0.0475063 / 64325.7
Top-10 Most Frequent Samples:
cnt=451 midx=[1732647 792105]
cnt=449 midx=[960680 252987]
cnt=441 midx=[1732647 252987]
cnt=434 midx=[960680 792105]
cnt=426 midx=[960680 1113300]
cnt=405 midx=[1732647 1113300]
cnt=354 midx=[1732647 228496]
cnt=337 midx=[960680 228496]
cnt=218 midx=[1665202 792105]
cnt=211 midx=[1504230 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=7---
Random Seed in Hex: 41d01b3834800000
Sampled solve time: 14.889558s
Min/Max weight: 0.0475063 / 88144.4
Top-10 Most Frequent Samples:
cnt=470 midx=[1732647 252987]
cnt=433 midx=[1732647 1113300]
cnt=432 midx=[1732647 792105]
cnt=432 midx=[960680 792105]
cnt=413 midx=[960680 1113300]
cnt=406 midx=[960680 252987]
cnt=368 midx=[960680 228496]
cnt=353 midx=[1732647 228496]
cnt=234 midx=[1665202 792105]
cnt=220 midx=[1504230 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=8---
Random Seed in Hex: 41ce29f74e000000
Sampled solve time: 14.631286s
Min/Max weight: 0.0475063 / 54888.7
Top-10 Most Frequent Samples:
cnt=473 midx=[960680 792105]
cnt=434 midx=[1732647 792105]
cnt=420 midx=[960680 252987]
cnt=415 midx=[1732647 252987]
cnt=413 midx=[1732647 1113300]
cnt=394 midx=[960680 1113300]
cnt=375 midx=[1732647 228496]
cnt=357 midx=[960680 228496]
cnt=235 midx=[1504230 792105]
cnt=229 midx=[1665202 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=9---
Random Seed in Hex: 41c9be81c9000000
Sampled solve time: 14.706820s
Min/Max weight: 0.0475063 / 71103.1
Top-10 Most Frequent Samples:
cnt=461 midx=[1732647 1113300]
cnt=448 midx=[1732647 792105]
cnt=437 midx=[1732647 252987]
cnt=435 midx=[960680 792105]
cnt=429 midx=[960680 252987]
cnt=416 midx=[960680 1113300]
cnt=375 midx=[1732647 228496]
cnt=367 midx=[960680 228496]
cnt=202 midx=[1504230 1113300]
cnt=202 midx=[1504230 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=, trial=10---
Random Seed in Hex: 41a943e2c8000000
Sampled solve time: 14.626464s
Min/Max weight: 0.0475063 / 41115.3
Top-10 Most Frequent Samples:
cnt=466 midx=[960680 792105]
cnt=437 midx=[1732647 792105]
cnt=431 midx=[1732647 252987]
cnt=427 midx=[960680 1113300]
cnt=418 midx=[1732647 1113300]
cnt=377 midx=[960680 252987]
cnt=367 midx=[1732647 228496]
cnt=352 midx=[960680 228496]
cnt=208 midx=[1504230 792105]
cnt=204 midx=[1732647 67692]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=1---
Random Seed in Hex: 419841d5a8000000
Sampled solve time: 15.841850s
Min/Max weight: 0.73884 / 45802.7
Top-10 Most Frequent Samples:
cnt=7 midx=[1256310 67692]
cnt=7 midx=[1217801 281769]
cnt=7 midx=[1217457 1113300]
cnt=7 midx=[1210762 281769]
cnt=7 midx=[974052 806116]
cnt=7 midx=[874149 1455689]
cnt=7 midx=[424917 1113300]
cnt=6 midx=[1752689 1113300]
cnt=6 midx=[1747247 1297447]
cnt=6 midx=[1732647 1176167]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=2---
Random Seed in Hex: 41e184d195a00000
Sampled solve time: 15.805914s
Min/Max weight: 0.73884 / 36582.4
Top-10 Most Frequent Samples:
cnt=8 midx=[553155 1434639]
cnt=8 midx=[526625 716206]
cnt=7 midx=[1588496 1113300]
cnt=7 midx=[1423782 241628]
cnt=7 midx=[1417172 868954]
cnt=7 midx=[1398843 1309370]
cnt=7 midx=[1266546 252987]
cnt=7 midx=[1216271 944990]
cnt=7 midx=[1188378 1074074]
cnt=7 midx=[521575 852390]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=3---
Random Seed in Hex: 41d60854ec000000
Sampled solve time: 15.932974s
Min/Max weight: 0.73884 / 40007.4
Top-10 Most Frequent Samples:
cnt=8 midx=[185438 465660]
cnt=7 midx=[1513786 1113300]
cnt=7 midx=[1420832 762829]
cnt=7 midx=[1380086 1074074]
cnt=7 midx=[1231784 280928]
cnt=7 midx=[1174275 67692]
cnt=7 midx=[878576 852390]
cnt=7 midx=[488492 539099]
cnt=7 midx=[296818 782043]
cnt=7 midx=[177389 1074715]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=4---
Random Seed in Hex: 41bd445df1000000
Sampled solve time: 15.690234s
Min/Max weight: 0.73884 / 17585.4
Top-10 Most Frequent Samples:
cnt=9 midx=[1753859 580394]
cnt=9 midx=[501716 73768]
cnt=8 midx=[907159 1520411]
cnt=8 midx=[407941 1434639]
cnt=7 midx=[1732647 467022]
cnt=7 midx=[1542227 1074074]
cnt=7 midx=[399036 228496]
cnt=6 midx=[1732647 479652]
cnt=6 midx=[1703074 158295]
cnt=6 midx=[1699631 1117634]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=5---
Random Seed in Hex: 41e564e5a6800000
Sampled solve time: 15.658479s
Min/Max weight: 0.73884 / 17222.4
Top-10 Most Frequent Samples:
cnt=8 midx=[1497768 67692]
cnt=8 midx=[1293436 73768]
cnt=8 midx=[113498 360809]
cnt=7 midx=[1699631 24673]
cnt=7 midx=[1694682 228496]
cnt=7 midx=[1588162 73768]
cnt=7 midx=[1292937 228496]
cnt=7 midx=[1084037 287279]
cnt=7 midx=[1069501 1520411]
cnt=7 midx=[1023981 1113300]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=6---
Random Seed in Hex: 41b838e64a000000
Sampled solve time: 15.660255s
Min/Max weight: 0.73884 / 2.19246e+06
Top-10 Most Frequent Samples:
cnt=8 midx=[960680 918690]
cnt=8 midx=[638954 792105]
cnt=7 midx=[1674435 852390]
cnt=7 midx=[1668328 1523199]
cnt=7 midx=[1264616 73768]
cnt=7 midx=[1084279 1074074]
cnt=7 midx=[960680 1765789]
cnt=7 midx=[891644 360809]
cnt=7 midx=[484379 252987]
cnt=7 midx=[444099 1773628]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=7---
Random Seed in Hex: 41e425cadb200000
Sampled solve time: 16.215854s
Min/Max weight: 0.73884 / 42480.8
Top-10 Most Frequent Samples:
cnt=8 midx=[853822 709648]
cnt=8 midx=[512526 792105]
cnt=7 midx=[1561630 818033]
cnt=7 midx=[1378844 67692]
cnt=7 midx=[1261107 360809]
cnt=7 midx=[1213272 1074074]
cnt=7 midx=[1188378 360809]
cnt=7 midx=[1146858 241628]
cnt=7 midx=[1129138 709648]
cnt=7 midx=[887538 826629]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=8---
Random Seed in Hex: 41ee977d0ec00000
Sampled solve time: 15.574709s
Min/Max weight: 0.738842 / 317961
Top-10 Most Frequent Samples:
cnt=8 midx=[774894 228496]
cnt=7 midx=[1299261 228496]
cnt=7 midx=[997381 527036]
cnt=7 midx=[821925 67692]
cnt=7 midx=[724225 1659293]
cnt=7 midx=[696023 1520411]
cnt=7 midx=[455446 1092186]
cnt=7 midx=[422174 852390]
cnt=7 midx=[168309 1113300]
cnt=7 midx=[76480 150863]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=9---
Random Seed in Hex: 41ee35c78b200000
Sampled solve time: 15.535888s
Min/Max weight: 0.738842 / 38688.3
Top-10 Most Frequent Samples:
cnt=8 midx=[1277207 158295]
cnt=7 midx=[1709912 73768]
cnt=7 midx=[1653178 228496]
cnt=7 midx=[1424510 252987]
cnt=7 midx=[1419427 1434639]
cnt=7 midx=[1272642 252987]
cnt=7 midx=[980191 281769]
cnt=7 midx=[976225 527036]
cnt=7 midx=[943632 1387936]
cnt=7 midx=[696558 792105]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Sampled Solve for k=1, s=131072, c=, t=7.62939e-06, trial=10---
Random Seed in Hex: 41c5ade447800000
Sampled solve time: 15.490047s
Min/Max weight: 0.738842 / 64015.9
Top-10 Most Frequent Samples:
cnt=8 midx=[44734 792105]
cnt=7 midx=[1487874 158295]
cnt=7 midx=[1328625 1523199]
cnt=7 midx=[1113743 1520411]
cnt=7 midx=[1084707 55119]
cnt=7 midx=[923932 158295]
cnt=7 midx=[271250 55119]
cnt=7 midx=[119857 1041511]
cnt=7 midx=[91994 1113300]
cnt=6 midx=[1648319 1455689]
14959 Deterministic Indices with Total Probability 0.516443
prob=3.381e-03 midx=[1732647 792105]
prob=3.374e-03 midx=[960680 792105]
prob=3.222e-03 midx=[1732647 1113300]
prob=3.216e-03 midx=[960680 1113300]
prob=3.202e-03 midx=[1732647 252987]
prob=3.196e-03 midx=[960680 252987]
prob=2.760e-03 midx=[1732647 228496]
prob=2.755e-03 midx=[960680 228496]
prob=1.599e-03 midx=[1665202 792105]
prob=1.591e-03 midx=[1504230 792105]
---Full Solve for k=2---
---Sampled Solve for k=2, s=131072, c=, t=, trial=1---
Random Seed in Hex: 41bd13895c000000
Sampled solve time: 98.007811s
Min/Max weight: 0.0326048 / 50121.5
Top-10 Most Frequent Samples:
cnt=903 midx=[893180 792105]
cnt=883 midx=[893180 1113300]
cnt=840 midx=[893180 252987]
cnt=760 midx=[893180 228496]
cnt=652 midx=[1983278 792105]
cnt=626 midx=[1983278 1113300]
cnt=557 midx=[1983278 252987]
cnt=514 midx=[1983278 228496]
cnt=508 midx=[830322 1113300]
cnt=498 midx=[830322 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=2---
Random Seed in Hex: 41b5c407d2000000
Sampled solve time: 89.655488s
Min/Max weight: 0.0326048 / 44195.1
Top-10 Most Frequent Samples:
cnt=923 midx=[893180 1113300]
cnt=918 midx=[893180 792105]
cnt=907 midx=[893180 252987]
cnt=752 midx=[893180 228496]
cnt=669 midx=[1983278 792105]
cnt=627 midx=[1983278 1113300]
cnt=575 midx=[1983278 252987]
cnt=501 midx=[1983278 228496]
cnt=494 midx=[830322 1113300]
cnt=470 midx=[830322 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=3---
Random Seed in Hex: 41e1467545000000
Sampled solve time: 100.523890s
Min/Max weight: 0.0326048 / 74990.2
Top-10 Most Frequent Samples:
cnt=968 midx=[893180 792105]
cnt=938 midx=[893180 252987]
cnt=895 midx=[893180 1113300]
cnt=737 midx=[893180 228496]
cnt=618 midx=[1983278 792105]
cnt=601 midx=[1983278 252987]
cnt=586 midx=[1983278 1113300]
cnt=513 midx=[830322 792105]
cnt=498 midx=[1983278 228496]
cnt=449 midx=[830322 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=4---
Random Seed in Hex: 41e3e7fcb2400000
Sampled solve time: 93.100494s
Min/Max weight: 0.0326048 / 89800.9
Top-10 Most Frequent Samples:
cnt=931 midx=[893180 792105]
cnt=924 midx=[893180 1113300]
cnt=906 midx=[893180 252987]
cnt=793 midx=[893180 228496]
cnt=620 midx=[1983278 792105]
cnt=590 midx=[1983278 252987]
cnt=566 midx=[1983278 1113300]
cnt=561 midx=[1983278 228496]
cnt=512 midx=[830322 252987]
cnt=507 midx=[830322 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=5---
Random Seed in Hex: 41ee4828ba200000
Sampled solve time: 123.039434s
Min/Max weight: 0.0326048 / 88801.8
Top-10 Most Frequent Samples:
cnt=948 midx=[893180 792105]
cnt=945 midx=[893180 252987]
cnt=901 midx=[893180 1113300]
cnt=775 midx=[893180 228496]
cnt=623 midx=[1983278 792105]
cnt=590 midx=[1983278 252987]
cnt=573 midx=[1983278 1113300]
cnt=545 midx=[1983278 228496]
cnt=512 midx=[830322 792105]
cnt=508 midx=[830322 1113300]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=6---
Random Seed in Hex: 41edb61c5e200000
Sampled solve time: 96.057290s
Min/Max weight: 0.0326048 / 48688.1
Top-10 Most Frequent Samples:
cnt=931 midx=[893180 792105]
cnt=855 midx=[893180 1113300]
cnt=840 midx=[893180 252987]
cnt=780 midx=[893180 228496]
cnt=641 midx=[1983278 792105]
cnt=615 midx=[1983278 1113300]
cnt=611 midx=[1983278 252987]
cnt=524 midx=[1983278 228496]
cnt=485 midx=[830322 1113300]
cnt=469 midx=[830322 792105]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=7---
Random Seed in Hex: 41e54e16ca200000
Sampled solve time: 90.630940s
Min/Max weight: 0.0326048 / 75396.6
Top-10 Most Frequent Samples:
cnt=954 midx=[893180 792105]
cnt=892 midx=[893180 1113300]
cnt=870 midx=[893180 252987]
cnt=781 midx=[893180 228496]
cnt=657 midx=[1983278 792105]
cnt=618 midx=[1983278 252987]
cnt=583 midx=[1983278 1113300]
cnt=499 midx=[1983278 228496]
cnt=487 midx=[830322 1113300]
cnt=475 midx=[830322 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=8---
Random Seed in Hex: 41e2f0ee3e000000
Sampled solve time: 113.416334s
Min/Max weight: 0.0326048 / 22711.4
Top-10 Most Frequent Samples:
cnt=977 midx=[893180 792105]
cnt=945 midx=[893180 1113300]
cnt=893 midx=[893180 252987]
cnt=767 midx=[893180 228496]
cnt=668 midx=[1983278 792105]
cnt=615 midx=[1983278 252987]
cnt=583 midx=[1983278 1113300]
cnt=542 midx=[1983278 228496]
cnt=494 midx=[830322 792105]
cnt=453 midx=[830322 1113300]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=9---
Random Seed in Hex: 41ef986a33400000
Sampled solve time: 90.298077s
Min/Max weight: 0.0326048 / 50359.8
Top-10 Most Frequent Samples:
cnt=958 midx=[893180 792105]
cnt=917 midx=[893180 1113300]
cnt=873 midx=[893180 252987]
cnt=766 midx=[893180 228496]
cnt=616 midx=[1983278 792105]
cnt=593 midx=[1983278 252987]
cnt=564 midx=[1983278 1113300]
cnt=526 midx=[830322 792105]
cnt=500 midx=[1983278 228496]
cnt=460 midx=[830322 252987]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=, trial=10---
Random Seed in Hex: 41d7d803e4400000
Sampled solve time: 88.500332s
Min/Max weight: 0.0326048 / 670574
Top-10 Most Frequent Samples:
cnt=959 midx=[893180 792105]
cnt=906 midx=[893180 252987]
cnt=868 midx=[893180 1113300]
cnt=791 midx=[893180 228496]
cnt=626 midx=[1983278 1113300]
cnt=615 midx=[1983278 252987]
cnt=599 midx=[1983278 792105]
cnt=545 midx=[1983278 228496]
cnt=518 midx=[830322 792105]
cnt=486 midx=[830322 1113300]
0 Deterministic Indices with Total Probability 0.000000
---Sampled Solve for k=2, s=131072, c=, t=7.62939e-06, trial=1---
Random Seed in Hex: 41c02a9b66800000
Sampled solve time: 29.217428s
Min/Max weight: 0.799843 / 64715.5
Top-10 Most Frequent Samples:
cnt=7 midx=[1428379 1113300]
cnt=6 midx=[4323960 67692]
cnt=6 midx=[4063929 1113300]
cnt=6 midx=[3291765 228496]
cnt=6 midx=[3267979 290369]
cnt=6 midx=[3154740 1113300]
cnt=6 midx=[3080499 281769]
cnt=6 midx=[2940895 228496]
cnt=6 midx=[2892380 252987]
cnt=6 midx=[2146915 55119]
10396 Deterministic Indices with Total Probability 0.411073
prob=7.177e-03 midx=[893180 792105]
prob=6.840e-03 midx=[893180 1113300]
prob=6.797e-03 midx=[893180 252987]
prob=5.859e-03 midx=[893180 228496]
prob=4.799e-03 midx=[1983278 792105]
prob=4.574e-03 midx=[1983278 1113300]
prob=4.546e-03 midx=[1983278 252987]
prob=3.918e-03 midx=[1983278 228496]
prob=3.766e-03 midx=[830322 792105]
prob=3.589e-03 midx=[830322 1113300]
---Sampled Solve for k=2, s=131072, c=, t=7.62939e-06, trial=2---
Random Seed in Hex: 41d38f2695c00000
Sampled solve time: 30.873404s
Min/Max weight: 0.799843 / 33696
Top-10 Most Frequent Samples:
cnt=7 midx=[3916370 1752768]
cnt=7 midx=[1266411 158295]
cnt=7 midx=[20138 792105]
cnt=6 midx=[4063929 228496]
cnt=6 midx=[3864486 67692]
cnt=6 midx=[3843048 792105]
cnt=6 midx=[3146627 158295]
cnt=6 midx=[2834514 1551766]
cnt=6 midx=[2605010 1113300]
cnt=6 midx=[2385624 1504582]
10396 Deterministic Indices with Total Probability 0.411073
prob=7.177e-03 midx=[893180 792105]
prob=6.840e-03 midx=[893180 1113300]
prob=6.797e-03 midx=[893180 252987]
prob=5.859e-03 midx=[893180 228496]
prob=4.799e-03 midx=[1983278 792105]
prob=4.574e-03 midx=[1983278 1113300]
prob=4.546e-03 midx=[1983278 252987]
prob=3.918e-03 midx=[1983278 228496]
prob=3.766e-03 midx=[830322 792105]
prob=3.589e-03 midx=[830322 1113300]
---Sampled Solve for k=2, s=131072, c=, t=7.62939e-06, trial=3---
Random Seed in Hex: 41d279fbfac00000
Sampled solve time: 28.905802s
Min/Max weight: 0.799843 / 24904.4
Top-10 Most Frequent Samples:
cnt=8 midx=[3125451 252987]
cnt=7 midx=[2117422 1113300]
cnt=6 midx=[4629997 281769]
cnt=6 midx=[4600404 1523199]
cnt=6 midx=[4476232 252987]
cnt=6 midx=[4306069 792105]
cnt=6 midx=[2839906 1074715]
cnt=6 midx=[2834514 969912]
cnt=6 midx=[2733834 1555924]
cnt=6 midx=[1640628 792105]
10396 Deterministic Indices with Total Probability 0.411073
prob=7.177e-03 midx=[893180 792105]
prob=6.840e-03 midx=[893180 1113300]
prob=6.797e-03 midx=[893180 252987]
prob=5.859e-03 midx=[893180 228496]
prob=4.799e-03 midx=[1983278 792105]
prob=4.574e-03 midx=[1983278 1113300]
prob=4.546e-03 midx=[1983278 252987]
prob=3.918e-03 midx=[1983278 228496]
prob=3.766e-03 midx=[830322 792105]
prob=3.589e-03 midx=[830322 1113300]
---Sampled Solve for k=2, s=131072, c=, t=7.62939e-06, trial=4---
Random Seed in Hex: 41ed47a562400000
Sampled solve time: 29.664338s
Min/Max weight: 0.799849 / 60247.9
Top-10 Most Frequent Samples:
cnt=7 midx=[3108289 1520411]
cnt=7 midx=[3072150 792105]
cnt=7 midx=[2780512 252987]
cnt=7 midx=[1676178 1297447]
cnt=6 midx=[4643813 580394]
cnt=6 midx=[4620090 792105]
cnt=6 midx=[4239161 1297447]
cnt=6 midx=[4080408 281769]
cnt=6 midx=[3763428 1504582]
cnt=6 midx=[3720231 252987]
10396 Deterministic Indices with Total Probability 0.411073
prob=7.177e-03 midx=[893180 792105]
prob=6.840e-03 midx=[893180 1113300]
prob=6.797e-03 midx=[893180 252987]
prob=5.859e-03 midx=[893180 228496]
prob=4.799e-03 midx=[1983278 792105]
prob=4.574e-03 midx=[1983278 1113300]