this repo has no description
at develop 29 kB view raw
1% init_area = 83030480; 2objective = 13728; 3period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 1, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 4% time elapsed: 0.04 s 5---------- 6objective = 12001; 7period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 4, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 8% time elapsed: 0.04 s 9---------- 10objective = 11065; 11period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 3, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 12% time elapsed: 0.04 s 13---------- 14objective = 10993; 15period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 16% time elapsed: 0.04 s 17---------- 18objective = 10706; 19period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 3, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 20% time elapsed: 0.04 s 21---------- 22objective = 10705; 23period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 24% time elapsed: 0.04 s 25---------- 26objective = 10633; 27period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 28% time elapsed: 0.05 s 29---------- 30objective = 10058; 31period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 1, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 32% time elapsed: 0.05 s 33---------- 34objective = 9914; 35period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 2, 2, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 36% time elapsed: 0.05 s 37---------- 38objective = 9698; 39period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 2, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 40% time elapsed: 0.05 s 41---------- 42objective = 9626; 43period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 3, 3, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 3, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 3, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 44% time elapsed: 0.05 s 45---------- 46objective = 9554; 47period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 4, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 4, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 4, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 48% time elapsed: 0.05 s 49---------- 50objective = 9482; 51period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 2, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 52% time elapsed: 0.07 s 53---------- 54objective = 9338; 55period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 1, 4, 2, 2, 3, 3, 3, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 56% time elapsed: 0.07 s 57---------- 58objective = 8762; 59period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 5, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 5, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 60% time elapsed: 0.07 s 61---------- 62objective = 8690; 63period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 4, 5, 5, 3, 1, 3, 4, 1, 5, 3, 4, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 64% time elapsed: 0.07 s 65---------- 66objective = 8618; 67period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 1, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 2, 5, 5, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 68% time elapsed: 0.07 s 69---------- 70objective = 8402; 71period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 3, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 5, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 5, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 2, 5, 5, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 72% time elapsed: 0.08 s 73---------- 74objective = 8186; 75period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 3, 2, 2, 2, 1, 2, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 2, 3, 3, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 76% time elapsed: 0.08 s 77---------- 78objective = 7827; 79period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 3, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 3, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 80% time elapsed: 0.08 s 81---------- 82objective = 7826; 83period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 5, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 84% time elapsed: 0.08 s 85---------- 86objective = 7754; 87period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 3, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 88% time elapsed: 0.10 s 89---------- 90objective = 7394; 91period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 2, 4, 2, 4, 3, 3, 3, 3, 2, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 92% time elapsed: 0.10 s 93---------- 94objective = 7322; 95period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 2, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 96% time elapsed: 0.10 s 97---------- 98objective = 7250; 99period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 1, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 100% time elapsed: 0.12 s 101---------- 102objective = 7106; 103period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 2, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 104% time elapsed: 0.12 s 105---------- 106objective = 6890; 107period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 3, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 108% time elapsed: 0.14 s 109---------- 110objective = 6747; 111period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 3, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 112% time elapsed: 0.15 s 113---------- 114objective = 6675; 115period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 116% time elapsed: 0.15 s 117---------- 118objective = 6603; 119period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 120% time elapsed: 0.17 s 121---------- 122objective = 6531; 123period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 1, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 124% time elapsed: 0.17 s 125---------- 126objective = 5955; 127period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 2, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 128% time elapsed: 0.18 s 129---------- 130objective = 5883; 131period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 1, 2, 1, 3, 2, 3, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 132% time elapsed: 0.18 s 133---------- 134objective = 5811; 135period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 1, 2, 1, 3, 2, 5, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 136% time elapsed: 0.19 s 137---------- 138objective = 5739; 139period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 3, 2, 1, 3, 2, 5, 5, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 140% time elapsed: 0.20 s 141---------- 142objective = 5738; 143period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 3, 2, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 144% time elapsed: 0.21 s 145---------- 146objective = 5594; 147period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 2, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 148% time elapsed: 0.21 s 149---------- 150objective = 5450; 151period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 1, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 152% time elapsed: 0.21 s 153---------- 154objective = 5378; 155period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 2, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 156% time elapsed: 0.21 s 157---------- 158objective = 4658; 159period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 160% time elapsed: 0.21 s 161---------- 162objective = 4299; 163period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 164% time elapsed: 0.21 s 165---------- 166objective = 4298; 167period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 2, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 168% time elapsed: 0.21 s 169---------- 170objective = 4154; 171period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 3, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 3, 1, 1, 3, 3, 3, 3, 4, 3, 3, 4, 3, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 172% time elapsed: 0.22 s 173---------- 174objective = 4153; 175period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 2, 3, 4, 3, 3, 3, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 176% time elapsed: 0.22 s 177---------- 178objective = 4009; 179period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 2, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 180% time elapsed: 0.22 s 181---------- 182objective = 3937; 183period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 1, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 184% time elapsed: 0.22 s 185---------- 186objective = 3866; 187period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 188% time elapsed: 0.29 s 189---------- 190objective = 3722; 191period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 2, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 192% time elapsed: 0.31 s 193---------- 194objective = 3650; 195period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 3, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 196% time elapsed: 0.34 s 197---------- 198objective = 3649; 199period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 2, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 200% time elapsed: 0.35 s 201---------- 202objective = 3577; 203period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 2, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 204% time elapsed: 0.37 s 205---------- 206objective = 3433; 207period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 208% time elapsed: 0.40 s 209---------- 210objective = 3289; 211period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 1, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 212% time elapsed: 0.41 s 213---------- 214objective = 3145; 215period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 1, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 216% time elapsed: 0.47 s 217---------- 218objective = 3073; 219period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 1, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 220% time elapsed: 0.49 s 221---------- 222objective = 2929; 223period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 1, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 224% time elapsed: 0.54 s 225---------- 226objective = 2065; 227period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 1, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 228% time elapsed: 0.68 s 229---------- 230objective = 1922; 231period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 2, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 2, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 232% time elapsed: 0.73 s 233---------- 234objective = 1921; 235period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 2, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 6, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 236% time elapsed: 0.83 s 237---------- 238objective = 1920; 239period_of = [1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 4, 3, 4, 3, 4, 1, 4, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 1, 1, 1, 4, 2, 6, 3, 3, 6, 4, 3, 3, 2, 5, 6, 6, 1, 4, 4, 6, 5, 5, 4, 2, 2, 5, 1, 2, 1, 2, 6, 2, 6, 4, 1, 5, 2, 1, 2, 3, 3, 3, 4, 2, 3, 4, 3, 3, 4, 3, 3, 4, 5, 1, 1, 1, 6, 4, 2, 4, 3, 3, 3, 3, 3, 6, 4, 5, 1, 3, 4, 1, 5, 3, 5, 5, 5, 3, 5, 5, 5, 5, 6, 4, 5, 6, 5, 1, 6, 1, 6, 6, 6, 6, 1, 6, 6, 3, 6, 6, 6, 6, 6]; 240% time elapsed: 0.88 s 241---------- 242%%%mzn-stat: initTime=0.009262 243%%%mzn-stat: solveTime=240 244%%%mzn-stat: solutions=60 245%%%mzn-stat: variables=1211 246%%%mzn-stat: propagators=1327 247%%%mzn-stat: propagations=941434304 248%%%mzn-stat: nodes=7136166 249%%%mzn-stat: failures=3395042 250%%%mzn-stat: restarts=40940 251%%%mzn-stat: peakDepth=108 252%%%mzn-stat-end 253%% copies: 3782127