output/gecode/rcpsp-wet/restart/j60_28_3-wet.5.sol at develop · dekker.one/on-restart-benchmarks

this repo has no description
on-restart-benchmarks / output / gecode / rcpsp-wet / restart / j60_28_3-wet.5.sol
at develop 128 kB view raw
   1% init_area = 10111;
   2s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
   3objective = 1011;
   4% time elapsed: 0.03 s
   5----------
   6s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 36, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
   7objective = 1007;
   8% time elapsed: 0.03 s
   9----------
  10s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 37, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  11objective = 1003;
  12% time elapsed: 0.03 s
  13----------
  14s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  15objective = 999;
  16% time elapsed: 0.03 s
  17----------
  18s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
  19objective = 994;
  20% time elapsed: 0.03 s
  21----------
  22s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 40, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  23objective = 991;
  24% time elapsed: 0.03 s
  25----------
  26s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  27objective = 987;
  28% time elapsed: 0.04 s
  29----------
  30s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
  31objective = 982;
  32% time elapsed: 0.04 s
  33----------
  34s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 57, 69, 41, 72];
  35objective = 977;
  36% time elapsed: 0.04 s
  37----------
  38s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  39objective = 974;
  40% time elapsed: 0.04 s
  41----------
  42s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  43objective = 971;
  44% time elapsed: 0.04 s
  45----------
  46s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  47objective = 967;
  48% time elapsed: 0.04 s
  49----------
  50s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
  51objective = 964;
  52% time elapsed: 0.04 s
  53----------
  54s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  55objective = 962;
  56% time elapsed: 0.04 s
  57----------
  58s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 42, 53, 1, 63, 55, 69, 41, 72];
  59objective = 961;
  60% time elapsed: 0.04 s
  61----------
  62s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  63objective = 958;
  64% time elapsed: 0.04 s
  65----------
  66s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
  67objective = 953;
  68% time elapsed: 0.04 s
  69----------
  70s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  71objective = 952;
  72% time elapsed: 0.04 s
  73----------
  74s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
  75objective = 951;
  76% time elapsed: 0.04 s
  77----------
  78s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
  79objective = 946;
  80% time elapsed: 0.04 s
  81----------
  82s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 73];
  83objective = 943;
  84% time elapsed: 0.04 s
  85----------
  86s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  87objective = 942;
  88% time elapsed: 0.04 s
  89----------
  90s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 73];
  91objective = 939;
  92% time elapsed: 0.04 s
  93----------
  94s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
  95objective = 937;
  96% time elapsed: 0.04 s
  97----------
  98s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
  99objective = 932;
 100% time elapsed: 0.04 s
 101----------
 102s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
 103objective = 931;
 104% time elapsed: 0.04 s
 105----------
 106s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 41, 57, 46, 53, 1, 63, 55, 69, 41, 72];
 107objective = 930;
 108% time elapsed: 0.05 s
 109----------
 110s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 111objective = 929;
 112% time elapsed: 0.05 s
 113----------
 114s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 115objective = 926;
 116% time elapsed: 0.05 s
 117----------
 118s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 119objective = 923;
 120% time elapsed: 0.05 s
 121----------
 122s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 73];
 123objective = 920;
 124% time elapsed: 0.05 s
 125----------
 126s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 127objective = 917;
 128% time elapsed: 0.06 s
 129----------
 130s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
 131objective = 912;
 132% time elapsed: 0.06 s
 133----------
 134s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 135objective = 909;
 136% time elapsed: 0.06 s
 137----------
 138s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 45, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
 139objective = 908;
 140% time elapsed: 0.06 s
 141----------
 142s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 42, 53, 1, 63, 56, 69, 41, 72];
 143objective = 907;
 144% time elapsed: 0.06 s
 145----------
 146s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 147objective = 906;
 148% time elapsed: 0.06 s
 149----------
 150s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
 151objective = 903;
 152% time elapsed: 0.07 s
 153----------
 154s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
 155objective = 902;
 156% time elapsed: 0.07 s
 157----------
 158s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 73];
 159objective = 899;
 160% time elapsed: 0.07 s
 161----------
 162s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 56, 69, 41, 72];
 163objective = 898;
 164% time elapsed: 0.07 s
 165----------
 166s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 56, 69, 41, 73];
 167objective = 895;
 168% time elapsed: 0.07 s
 169----------
 170s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 171objective = 894;
 172% time elapsed: 0.08 s
 173----------
 174s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 175objective = 893;
 176% time elapsed: 0.08 s
 177----------
 178s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 179objective = 892;
 180% time elapsed: 0.08 s
 181----------
 182s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 183objective = 891;
 184% time elapsed: 0.08 s
 185----------
 186s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
 187objective = 888;
 188% time elapsed: 0.09 s
 189----------
 190s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 59, 69, 41, 72];
 191objective = 887;
 192% time elapsed: 0.09 s
 193----------
 194s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 58, 69, 41, 72];
 195objective = 886;
 196% time elapsed: 0.09 s
 197----------
 198s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 58, 69, 41, 73];
 199objective = 883;
 200% time elapsed: 0.09 s
 201----------
 202s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 203objective = 882;
 204% time elapsed: 0.09 s
 205----------
 206s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 207objective = 881;
 208% time elapsed: 0.09 s
 209----------
 210s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 45, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 211objective = 880;
 212% time elapsed: 0.09 s
 213----------
 214s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 215objective = 879;
 216% time elapsed: 0.10 s
 217----------
 218s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
 219objective = 876;
 220% time elapsed: 0.10 s
 221----------
 222s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 223objective = 875;
 224% time elapsed: 0.10 s
 225----------
 226s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 227objective = 874;
 228% time elapsed: 0.11 s
 229----------
 230s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 56, 69, 41, 78];
 231objective = 871;
 232% time elapsed: 0.12 s
 233----------
 234s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 56, 73, 41, 77];
 235objective = 870;
 236% time elapsed: 0.12 s
 237----------
 238s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 239objective = 869;
 240% time elapsed: 0.12 s
 241----------
 242s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 243objective = 866;
 244% time elapsed: 0.12 s
 245----------
 246s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 247objective = 863;
 248% time elapsed: 0.12 s
 249----------
 250s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 75];
 251objective = 860;
 252% time elapsed: 0.12 s
 253----------
 254s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 255objective = 859;
 256% time elapsed: 0.12 s
 257----------
 258s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 259objective = 857;
 260% time elapsed: 0.14 s
 261----------
 262s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 263objective = 855;
 264% time elapsed: 0.14 s
 265----------
 266s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 267objective = 854;
 268% time elapsed: 0.16 s
 269----------
 270s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 271objective = 851;
 272% time elapsed: 0.17 s
 273----------
 274s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 275objective = 848;
 276% time elapsed: 0.19 s
 277----------
 278s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 279objective = 847;
 280% time elapsed: 0.19 s
 281----------
 282s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
 283objective = 846;
 284% time elapsed: 0.19 s
 285----------
 286s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 287objective = 845;
 288% time elapsed: 0.19 s
 289----------
 290s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 291objective = 842;
 292% time elapsed: 0.19 s
 293----------
 294s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 295objective = 841;
 296% time elapsed: 0.20 s
 297----------
 298s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
 299objective = 838;
 300% time elapsed: 0.20 s
 301----------
 302s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 303objective = 837;
 304% time elapsed: 0.21 s
 305----------
 306s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 307objective = 836;
 308% time elapsed: 0.21 s
 309----------
 310s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 311objective = 835;
 312% time elapsed: 0.21 s
 313----------
 314s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 315objective = 834;
 316% time elapsed: 0.23 s
 317----------
 318s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
 319objective = 831;
 320% time elapsed: 0.23 s
 321----------
 322s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
 323objective = 830;
 324% time elapsed: 0.24 s
 325----------
 326s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 72, 41, 75];
 327objective = 829;
 328% time elapsed: 0.26 s
 329----------
 330s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 70, 41, 76];
 331objective = 828;
 332% time elapsed: 0.26 s
 333----------
 334s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 71, 41, 76];
 335objective = 827;
 336% time elapsed: 0.26 s
 337----------
 338s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 339objective = 826;
 340% time elapsed: 0.27 s
 341----------
 342s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 69, 41, 72];
 343objective = 825;
 344% time elapsed: 0.28 s
 345----------
 346s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 347objective = 824;
 348% time elapsed: 0.29 s
 349----------
 350s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 351objective = 823;
 352% time elapsed: 0.31 s
 353----------
 354s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
 355objective = 822;
 356% time elapsed: 0.31 s
 357----------
 358s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 359objective = 821;
 360% time elapsed: 0.31 s
 361----------
 362s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 363objective = 820;
 364% time elapsed: 0.34 s
 365----------
 366s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 367objective = 817;
 368% time elapsed: 0.34 s
 369----------
 370s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 75];
 371objective = 814;
 372% time elapsed: 0.34 s
 373----------
 374s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 72, 41, 76];
 375objective = 813;
 376% time elapsed: 0.35 s
 377----------
 378s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 73, 41, 76];
 379objective = 812;
 380% time elapsed: 0.35 s
 381----------
 382s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 71, 41, 77];
 383objective = 811;
 384% time elapsed: 0.35 s
 385----------
 386s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 71, 41, 78];
 387objective = 808;
 388% time elapsed: 0.35 s
 389----------
 390s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
 391objective = 807;
 392% time elapsed: 0.36 s
 393----------
 394s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 395objective = 806;
 396% time elapsed: 0.39 s
 397----------
 398s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 399objective = 805;
 400% time elapsed: 0.43 s
 401----------
 402s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 403objective = 802;
 404% time elapsed: 0.43 s
 405----------
 406s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 407objective = 799;
 408% time elapsed: 0.43 s
 409----------
 410s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 411objective = 798;
 412% time elapsed: 0.45 s
 413----------
 414s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
 415objective = 797;
 416% time elapsed: 0.45 s
 417----------
 418s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 76];
 419objective = 794;
 420% time elapsed: 0.46 s
 421----------
 422s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 77];
 423objective = 791;
 424% time elapsed: 0.46 s
 425----------
 426s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 78];
 427objective = 788;
 428% time elapsed: 0.46 s
 429----------
 430s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 431objective = 787;
 432% time elapsed: 0.46 s
 433----------
 434s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
 435objective = 786;
 436% time elapsed: 0.46 s
 437----------
 438s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 70, 41, 74];
 439objective = 785;
 440% time elapsed: 0.46 s
 441----------
 442s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
 443objective = 784;
 444% time elapsed: 0.47 s
 445----------
 446s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 447objective = 783;
 448% time elapsed: 0.47 s
 449----------
 450s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
 451objective = 782;
 452% time elapsed: 0.47 s
 453----------
 454s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
 455objective = 779;
 456% time elapsed: 0.49 s
 457----------
 458s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 459objective = 776;
 460% time elapsed: 0.49 s
 461----------
 462s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
 463objective = 775;
 464% time elapsed: 0.51 s
 465----------
 466s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
 467objective = 774;
 468% time elapsed: 0.51 s
 469----------
 470s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 77];
 471objective = 773;
 472% time elapsed: 0.51 s
 473----------
 474s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 80];
 475objective = 772;
 476% time elapsed: 0.51 s
 477----------
 478s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 77];
 479objective = 771;
 480% time elapsed: 0.52 s
 481----------
 482s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 77];
 483objective = 770;
 484% time elapsed: 0.54 s
 485----------
 486s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 74, 41, 79];
 487objective = 769;
 488% time elapsed: 0.54 s
 489----------
 490s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 79];
 491objective = 768;
 492% time elapsed: 0.54 s
 493----------
 494s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 80];
 495objective = 765;
 496% time elapsed: 0.54 s
 497----------
 498s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 79];
 499objective = 764;
 500% time elapsed: 0.54 s
 501----------
 502s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 79];
 503objective = 763;
 504% time elapsed: 0.54 s
 505----------
 506s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 79];
 507objective = 762;
 508% time elapsed: 0.54 s
 509----------
 510s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 80];
 511objective = 761;
 512% time elapsed: 0.56 s
 513----------
 514s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 80];
 515objective = 760;
 516% time elapsed: 0.56 s
 517----------
 518s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 67, 59, 75, 41, 79];
 519objective = 759;
 520% time elapsed: 0.58 s
 521----------
 522s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 73, 41, 83];
 523objective = 758;
 524% time elapsed: 0.58 s
 525----------
 526s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 58, 77, 41, 80];
 527objective = 757;
 528% time elapsed: 0.58 s
 529----------
 530s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 81];
 531objective = 756;
 532% time elapsed: 0.58 s
 533----------
 534s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 69, 59, 75, 41, 79];
 535objective = 755;
 536% time elapsed: 0.58 s
 537----------
 538s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 82];
 539objective = 754;
 540% time elapsed: 0.58 s
 541----------
 542s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 82];
 543objective = 753;
 544% time elapsed: 0.58 s
 545----------
 546s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 82];
 547objective = 752;
 548% time elapsed: 0.60 s
 549----------
 550s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 83];
 551objective = 751;
 552% time elapsed: 0.60 s
 553----------
 554s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 84];
 555objective = 750;
 556% time elapsed: 0.60 s
 557----------
 558s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 559objective = 749;
 560% time elapsed: 0.60 s
 561----------
 562s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 563objective = 748;
 564% time elapsed: 0.60 s
 565----------
 566s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 567objective = 747;
 568% time elapsed: 0.61 s
 569----------
 570s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
 571objective = 746;
 572% time elapsed: 0.61 s
 573----------
 574s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 575objective = 745;
 576% time elapsed: 0.61 s
 577----------
 578s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 579objective = 744;
 580% time elapsed: 0.61 s
 581----------
 582s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 583objective = 743;
 584% time elapsed: 0.61 s
 585----------
 586s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
 587objective = 742;
 588% time elapsed: 0.61 s
 589----------
 590s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 591objective = 741;
 592% time elapsed: 0.61 s
 593----------
 594s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 595objective = 740;
 596% time elapsed: 0.62 s
 597----------
 598s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 599objective = 739;
 600% time elapsed: 0.62 s
 601----------
 602s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 603objective = 738;
 604% time elapsed: 0.62 s
 605----------
 606s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 73, 59, 79, 41, 82];
 607objective = 737;
 608% time elapsed: 0.62 s
 609----------
 610s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 73, 59, 79, 41, 83];
 611objective = 734;
 612% time elapsed: 0.62 s
 613----------
 614s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 74, 59, 80, 41, 83];
 615objective = 733;
 616% time elapsed: 0.62 s
 617----------
 618s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 619objective = 732;
 620% time elapsed: 0.64 s
 621----------
 622s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 623objective = 731;
 624% time elapsed: 0.69 s
 625----------
 626s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 627objective = 730;
 628% time elapsed: 0.69 s
 629----------
 630s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 631objective = 729;
 632% time elapsed: 0.69 s
 633----------
 634s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 635objective = 728;
 636% time elapsed: 0.71 s
 637----------
 638s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 639objective = 727;
 640% time elapsed: 0.71 s
 641----------
 642s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 643objective = 726;
 644% time elapsed: 0.74 s
 645----------
 646s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 647objective = 725;
 648% time elapsed: 0.74 s
 649----------
 650s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 651objective = 724;
 652% time elapsed: 0.74 s
 653----------
 654s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 655objective = 723;
 656% time elapsed: 0.74 s
 657----------
 658s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 659objective = 722;
 660% time elapsed: 0.74 s
 661----------
 662s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 663objective = 721;
 664% time elapsed: 0.74 s
 665----------
 666s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 667objective = 720;
 668% time elapsed: 0.80 s
 669----------
 670s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
 671objective = 719;
 672% time elapsed: 0.80 s
 673----------
 674s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
 675objective = 718;
 676% time elapsed: 0.80 s
 677----------
 678s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 679objective = 715;
 680% time elapsed: 0.81 s
 681----------
 682s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 683objective = 714;
 684% time elapsed: 0.82 s
 685----------
 686s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
 687objective = 713;
 688% time elapsed: 0.83 s
 689----------
 690s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 691objective = 712;
 692% time elapsed: 0.83 s
 693----------
 694s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 695objective = 711;
 696% time elapsed: 0.83 s
 697----------
 698s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 699objective = 710;
 700% time elapsed: 0.85 s
 701----------
 702s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 703objective = 709;
 704% time elapsed: 0.85 s
 705----------
 706s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
 707objective = 708;
 708% time elapsed: 0.85 s
 709----------
 710s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
 711objective = 707;
 712% time elapsed: 0.85 s
 713----------
 714s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 715objective = 706;
 716% time elapsed: 0.85 s
 717----------
 718s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 45, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 719objective = 705;
 720% time elapsed: 0.87 s
 721----------
 722s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 723objective = 704;
 724% time elapsed: 0.87 s
 725----------
 726s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 727objective = 703;
 728% time elapsed: 0.87 s
 729----------
 730s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
 731objective = 702;
 732% time elapsed: 0.87 s
 733----------
 734s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
 735objective = 701;
 736% time elapsed: 0.87 s
 737----------
 738s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
 739objective = 700;
 740% time elapsed: 0.89 s
 741----------
 742s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 33, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 743objective = 699;
 744% time elapsed: 0.91 s
 745----------
 746s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
 747objective = 698;
 748% time elapsed: 0.91 s
 749----------
 750s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 751objective = 697;
 752% time elapsed: 0.94 s
 753----------
 754s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 755objective = 696;
 756% time elapsed: 0.94 s
 757----------
 758s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 759objective = 695;
 760% time elapsed: 0.94 s
 761----------
 762s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
 763objective = 694;
 764% time elapsed: 0.99 s
 765----------
 766s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 767objective = 693;
 768% time elapsed: 0.99 s
 769----------
 770s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
 771objective = 692;
 772% time elapsed: 0.99 s
 773----------
 774s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 775objective = 691;
 776% time elapsed: 0.99 s
 777----------
 778s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
 779objective = 690;
 780% time elapsed: 1.01 s
 781----------
 782s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 85];
 783objective = 689;
 784% time elapsed: 1.01 s
 785----------
 786s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 82];
 787objective = 688;
 788% time elapsed: 1.01 s
 789----------
 790s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 72, 59, 78, 41, 82];
 791objective = 687;
 792% time elapsed: 1.02 s
 793----------
 794s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 795objective = 686;
 796% time elapsed: 1.02 s
 797----------
 798s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
 799objective = 685;
 800% time elapsed: 1.02 s
 801----------
 802s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 803objective = 684;
 804% time elapsed: 1.03 s
 805----------
 806s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 807objective = 683;
 808% time elapsed: 1.04 s
 809----------
 810s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 811objective = 682;
 812% time elapsed: 1.04 s
 813----------
 814s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 815objective = 681;
 816% time elapsed: 1.05 s
 817----------
 818s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 819objective = 680;
 820% time elapsed: 1.06 s
 821----------
 822s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 823objective = 679;
 824% time elapsed: 1.07 s
 825----------
 826s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
 827objective = 678;
 828% time elapsed: 1.07 s
 829----------
 830s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 83];
 831objective = 675;
 832% time elapsed: 1.10 s
 833----------
 834s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 74, 59, 80, 41, 83];
 835objective = 674;
 836% time elapsed: 1.10 s
 837----------
 838s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 839objective = 673;
 840% time elapsed: 1.11 s
 841----------
 842s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
 843objective = 672;
 844% time elapsed: 1.11 s
 845----------
 846s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 847objective = 671;
 848% time elapsed: 1.11 s
 849----------
 850s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 85];
 851objective = 670;
 852% time elapsed: 1.11 s
 853----------
 854s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 855objective = 669;
 856% time elapsed: 1.11 s
 857----------
 858s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 859objective = 668;
 860% time elapsed: 1.11 s
 861----------
 862s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
 863objective = 667;
 864% time elapsed: 1.11 s
 865----------
 866s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 85];
 867objective = 666;
 868% time elapsed: 1.11 s
 869----------
 870s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
 871objective = 665;
 872% time elapsed: 1.11 s
 873----------
 874s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 875objective = 664;
 876% time elapsed: 1.11 s
 877----------
 878s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 879objective = 663;
 880% time elapsed: 1.13 s
 881----------
 882s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 883objective = 662;
 884% time elapsed: 1.13 s
 885----------
 886s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
 887objective = 661;
 888% time elapsed: 1.13 s
 889----------
 890s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 891objective = 660;
 892% time elapsed: 1.13 s
 893----------
 894s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 895objective = 659;
 896% time elapsed: 1.15 s
 897----------
 898s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
 899objective = 658;
 900% time elapsed: 1.16 s
 901----------
 902s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 83];
 903objective = 657;
 904% time elapsed: 1.16 s
 905----------
 906s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
 907objective = 656;
 908% time elapsed: 1.16 s
 909----------
 910s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
 911objective = 655;
 912% time elapsed: 1.18 s
 913----------
 914s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 64, 59, 75, 41, 85];
 915objective = 654;
 916% time elapsed: 1.18 s
 917----------
 918s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 84];
 919objective = 653;
 920% time elapsed: 1.18 s
 921----------
 922s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
 923objective = 652;
 924% time elapsed: 1.18 s
 925----------
 926s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 74, 41, 85];
 927objective = 651;
 928% time elapsed: 1.18 s
 929----------
 930s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
 931objective = 650;
 932% time elapsed: 1.18 s
 933----------
 934s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 935objective = 649;
 936% time elapsed: 1.19 s
 937----------
 938s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
 939objective = 648;
 940% time elapsed: 1.19 s
 941----------
 942s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 943objective = 647;
 944% time elapsed: 1.19 s
 945----------
 946s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 947objective = 646;
 948% time elapsed: 1.20 s
 949----------
 950s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
 951objective = 645;
 952% time elapsed: 1.20 s
 953----------
 954s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 955objective = 644;
 956% time elapsed: 1.21 s
 957----------
 958s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 959objective = 643;
 960% time elapsed: 1.21 s
 961----------
 962s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 963objective = 642;
 964% time elapsed: 1.21 s
 965----------
 966s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 967objective = 641;
 968% time elapsed: 1.23 s
 969----------
 970s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
 971objective = 640;
 972% time elapsed: 1.24 s
 973----------
 974s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 50, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
 975objective = 639;
 976% time elapsed: 1.25 s
 977----------
 978s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
 979objective = 638;
 980% time elapsed: 1.25 s
 981----------
 982s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 983objective = 637;
 984% time elapsed: 1.25 s
 985----------
 986s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 43, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 987objective = 636;
 988% time elapsed: 1.25 s
 989----------
 990s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 43, 51, 44, 47, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
 991objective = 635;
 992% time elapsed: 1.26 s
 993----------
 994s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 995objective = 634;
 996% time elapsed: 1.26 s
 997----------
 998s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
 999objective = 633;
1000% time elapsed: 1.27 s
1001----------
1002s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
1003objective = 632;
1004% time elapsed: 1.27 s
1005----------
1006s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
1007objective = 631;
1008% time elapsed: 1.27 s
1009----------
1010s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
1011objective = 630;
1012% time elapsed: 1.27 s
1013----------
1014s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 73, 59, 79, 41, 82];
1015objective = 629;
1016% time elapsed: 1.29 s
1017----------
1018s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 85];
1019objective = 628;
1020% time elapsed: 1.30 s
1021----------
1022s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 64, 59, 75, 41, 85];
1023objective = 627;
1024% time elapsed: 1.32 s
1025----------
1026s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 75, 41, 84];
1027objective = 626;
1028% time elapsed: 1.32 s
1029----------
1030s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 73, 41, 85];
1031objective = 625;
1032% time elapsed: 1.32 s
1033----------
1034s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 74, 41, 85];
1035objective = 624;
1036% time elapsed: 1.33 s
1037----------
1038s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 75, 41, 85];
1039objective = 623;
1040% time elapsed: 1.33 s
1041----------
1042s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 65, 59, 75, 41, 85];
1043objective = 622;
1044% time elapsed: 1.35 s
1045----------
1046s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 72, 59, 78, 41, 83];
1047objective = 621;
1048% time elapsed: 1.35 s
1049----------
1050s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 75, 41, 85];
1051objective = 620;
1052% time elapsed: 1.35 s
1053----------
1054s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 74, 41, 85];
1055objective = 619;
1056% time elapsed: 1.35 s
1057----------
1058s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 75, 41, 85];
1059objective = 618;
1060% time elapsed: 1.35 s
1061----------
1062s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 74, 59, 80, 41, 85];
1063objective = 617;
1064% time elapsed: 1.35 s
1065----------
1066s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 60, 50, 53, 1, 66, 59, 75, 41, 85];
1067objective = 616;
1068% time elapsed: 1.36 s
1069----------
1070s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 61, 49, 53, 1, 66, 59, 75, 41, 85];
1071objective = 615;
1072% time elapsed: 1.36 s
1073----------
1074s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 59, 49, 53, 1, 75, 59, 81, 41, 85];
1075objective = 614;
1076% time elapsed: 1.45 s
1077----------
1078s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 59, 49, 53, 1, 76, 59, 82, 41, 85];
1079objective = 613;
1080% time elapsed: 1.45 s
1081----------
1082s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 60, 49, 53, 1, 73, 59, 79, 41, 85];
1083objective = 612;
1084% time elapsed: 1.48 s
1085----------
1086s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 76, 59, 82, 41, 85];
1087objective = 611;
1088% time elapsed: 1.51 s
1089----------
1090s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 62, 49, 53, 1, 67, 59, 75, 41, 85];
1091objective = 610;
1092% time elapsed: 1.51 s
1093----------
1094s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 62, 50, 53, 1, 67, 59, 75, 41, 85];
1095objective = 609;
1096% time elapsed: 1.56 s
1097----------
1098s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 61, 1, 76, 59, 82, 41, 85];
1099objective = 608;
1100% time elapsed: 1.57 s
1101----------
1102s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 67, 59, 75, 41, 85];
1103objective = 607;
1104% time elapsed: 1.57 s
1105----------
1106s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 68, 59, 75, 41, 85];
1107objective = 606;
1108% time elapsed: 1.59 s
1109----------
1110s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
1111objective = 605;
1112% time elapsed: 1.59 s
1113----------
1114s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 72, 59, 78, 41, 84];
1115objective = 604;
1116% time elapsed: 1.64 s
1117----------
1118s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 63, 49, 53, 1, 68, 59, 75, 41, 85];
1119objective = 603;
1120% time elapsed: 1.65 s
1121----------
1122s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
1123objective = 602;
1124% time elapsed: 1.66 s
1125----------
1126s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 73, 59, 79, 41, 85];
1127objective = 601;
1128% time elapsed: 1.66 s
1129----------
1130s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 74, 59, 80, 41, 85];
1131objective = 600;
1132% time elapsed: 1.66 s
1133----------
1134s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 75, 59, 81, 41, 85];
1135objective = 599;
1136% time elapsed: 1.67 s
1137----------
1138s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 76, 59, 82, 41, 85];
1139objective = 598;
1140% time elapsed: 1.67 s
1141----------
1142s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
1143objective = 597;
1144% time elapsed: 1.67 s
1145----------
1146s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 73, 59, 79, 41, 85];
1147objective = 596;
1148% time elapsed: 1.67 s
1149----------
1150s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 50, 44, 48, 52, 53, 45, 62, 50, 61, 1, 76, 59, 82, 41, 85];
1151objective = 595;
1152% time elapsed: 1.69 s
1153----------
1154s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
1155objective = 594;
1156% time elapsed: 1.69 s
1157----------
1158s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 76, 59, 82, 41, 85];
1159objective = 593;
1160% time elapsed: 1.73 s
1161----------
1162s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 76, 59, 82, 41, 85];
1163objective = 592;
1164% time elapsed: 1.76 s
1165----------
1166s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 65, 50, 53, 1, 73, 59, 79, 41, 85];
1167objective = 591;
1168% time elapsed: 1.78 s
1169----------
1170s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 61, 1, 76, 59, 82, 41, 85];
1171objective = 590;
1172% time elapsed: 1.78 s
1173----------
1174s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 63, 49, 61, 1, 76, 59, 82, 41, 85];
1175objective = 589;
1176% time elapsed: 1.81 s
1177----------
1178s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 64, 49, 61, 1, 73, 59, 79, 41, 85];
1179objective = 588;
1180% time elapsed: 1.84 s
1181----------
1182s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 70, 49, 53, 1, 75, 59, 81, 41, 85];
1183objective = 587;
1184% time elapsed: 1.86 s
1185----------
1186s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 41, 85];
1187objective = 586;
1188% time elapsed: 1.88 s
1189----------
1190s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 76, 59, 82, 41, 85];
1191objective = 585;
1192% time elapsed: 1.89 s
1193----------
1194s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 69, 49, 61, 1, 74, 59, 80, 41, 85];
1195objective = 584;
1196% time elapsed: 1.91 s
1197----------
1198s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 63, 49, 61, 1, 76, 59, 82, 50, 85];
1199objective = 583;
1200% time elapsed: 1.91 s
1201----------
1202s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 65, 49, 61, 1, 71, 59, 77, 50, 85];
1203objective = 580;
1204% time elapsed: 1.92 s
1205----------
1206s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 64, 49, 61, 1, 76, 59, 82, 50, 85];
1207objective = 579;
1208% time elapsed: 1.94 s
1209----------
1210s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 71, 59, 77, 50, 85];
1211objective = 576;
1212% time elapsed: 1.97 s
1213----------
1214s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1215objective = 575;
1216% time elapsed: 1.98 s
1217----------
1218s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 73, 59, 79, 50, 85];
1219objective = 574;
1220% time elapsed: 1.98 s
1221----------
1222s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1223objective = 573;
1224% time elapsed: 1.98 s
1225----------
1226s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1227objective = 572;
1228% time elapsed: 2.06 s
1229----------
1230s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 75, 59, 81, 41, 85];
1231objective = 571;
1232% time elapsed: 2.09 s
1233----------
1234s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 76, 59, 82, 41, 85];
1235objective = 570;
1236% time elapsed: 2.09 s
1237----------
1238s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 60, 1, 76, 59, 82, 41, 85];
1239objective = 569;
1240% time elapsed: 2.11 s
1241----------
1242s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 41, 85];
1243objective = 568;
1244% time elapsed: 2.11 s
1245----------
1246s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1247objective = 567;
1248% time elapsed: 2.12 s
1249----------
1250s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 41, 85];
1251objective = 566;
1252% time elapsed: 2.12 s
1253----------
1254s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1255objective = 565;
1256% time elapsed: 2.12 s
1257----------
1258s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1259objective = 564;
1260% time elapsed: 2.18 s
1261----------
1262s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1263objective = 563;
1264% time elapsed: 2.20 s
1265----------
1266s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1267objective = 560;
1268% time elapsed: 2.20 s
1269----------
1270s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1271objective = 559;
1272% time elapsed: 2.21 s
1273----------
1274s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1275objective = 558;
1276% time elapsed: 2.21 s
1277----------
1278s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1279objective = 557;
1280% time elapsed: 2.23 s
1281----------
1282s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1283objective = 556;
1284% time elapsed: 2.26 s
1285----------
1286s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1287objective = 555;
1288% time elapsed: 2.26 s
1289----------
1290s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1291objective = 554;
1292% time elapsed: 2.28 s
1293----------
1294s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1295objective = 553;
1296% time elapsed: 2.28 s
1297----------
1298s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1299objective = 552;
1300% time elapsed: 2.32 s
1301----------
1302s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1303objective = 551;
1304% time elapsed: 2.35 s
1305----------
1306s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1307objective = 550;
1308% time elapsed: 2.41 s
1309----------
1310s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1311objective = 549;
1312% time elapsed: 2.41 s
1313----------
1314s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1315objective = 548;
1316% time elapsed: 2.46 s
1317----------
1318s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1319objective = 547;
1320% time elapsed: 2.47 s
1321----------
1322s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 74, 59, 80, 50, 85];
1323objective = 546;
1324% time elapsed: 2.47 s
1325----------
1326s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1327objective = 545;
1328% time elapsed: 2.47 s
1329----------
1330s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1331objective = 544;
1332% time elapsed: 2.49 s
1333----------
1334s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1335objective = 543;
1336% time elapsed: 2.50 s
1337----------
1338s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1339objective = 542;
1340% time elapsed: 2.50 s
1341----------
1342s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 59, 1, 76, 59, 82, 50, 85];
1343objective = 541;
1344% time elapsed: 2.52 s
1345----------
1346s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 60, 1, 76, 59, 82, 50, 85];
1347objective = 540;
1348% time elapsed: 2.52 s
1349----------
1350s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 67, 50, 60, 1, 73, 59, 79, 50, 85];
1351objective = 539;
1352% time elapsed: 2.55 s
1353----------
1354s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1355objective = 538;
1356% time elapsed: 2.58 s
1357----------
1358s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 59, 1, 76, 59, 82, 50, 85];
1359objective = 537;
1360% time elapsed: 2.58 s
1361----------
1362s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1363objective = 536;
1364% time elapsed: 2.59 s
1365----------
1366s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1367objective = 535;
1368% time elapsed: 2.64 s
1369----------
1370s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1371objective = 531;
1372% time elapsed: 2.65 s
1373----------
1374s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1375objective = 530;
1376% time elapsed: 2.68 s
1377----------
1378s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1379objective = 529;
1380% time elapsed: 2.90 s
1381----------
1382s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 65, 50, 60, 1, 76, 59, 82, 50, 85];
1383objective = 528;
1384% time elapsed: 2.91 s
1385----------
1386s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1387objective = 527;
1388% time elapsed: 2.91 s
1389----------
1390s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1391objective = 526;
1392% time elapsed: 2.92 s
1393----------
1394s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1395objective = 525;
1396% time elapsed: 2.95 s
1397----------
1398s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1399objective = 524;
1400% time elapsed: 2.95 s
1401----------
1402s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
1403objective = 523;
1404% time elapsed: 2.95 s
1405----------
1406s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1407objective = 522;
1408% time elapsed: 2.95 s
1409----------
1410s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1411objective = 521;
1412% time elapsed: 2.95 s
1413----------
1414s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 71, 59, 77, 50, 85];
1415objective = 519;
1416% time elapsed: 2.96 s
1417----------
1418s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1419objective = 518;
1420% time elapsed: 2.97 s
1421----------
1422s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1423objective = 517;
1424% time elapsed: 2.98 s
1425----------
1426s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
1427objective = 516;
1428% time elapsed: 2.99 s
1429----------
1430s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 60, 1, 76, 59, 82, 50, 85];
1431objective = 515;
1432% time elapsed: 2.99 s
1433----------
1434s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 65, 49, 61, 1, 76, 59, 82, 50, 85];
1435objective = 514;
1436% time elapsed: 2.99 s
1437----------
1438s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 66, 49, 60, 1, 76, 59, 82, 50, 85];
1439objective = 513;
1440% time elapsed: 2.99 s
1441----------
1442s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 67, 49, 60, 1, 73, 59, 79, 50, 85];
1443objective = 512;
1444% time elapsed: 2.99 s
1445----------
1446s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 60, 1, 76, 59, 82, 50, 85];
1447objective = 511;
1448% time elapsed: 3.02 s
1449----------
1450s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 76, 59, 82, 50, 85];
1451objective = 510;
1452% time elapsed: 3.02 s
1453----------
1454s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1455objective = 509;
1456% time elapsed: 3.12 s
1457----------
1458s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 74, 59, 80, 50, 85];
1459objective = 508;
1460% time elapsed: 3.12 s
1461----------
1462s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 60, 1, 76, 59, 82, 50, 85];
1463objective = 507;
1464% time elapsed: 3.12 s
1465----------
1466s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 76, 59, 82, 50, 85];
1467objective = 506;
1468% time elapsed: 3.15 s
1469----------
1470s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 60, 1, 76, 59, 82, 50, 85];
1471objective = 505;
1472% time elapsed: 3.17 s
1473----------
1474s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1475objective = 504;
1476% time elapsed: 3.17 s
1477----------
1478s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1479objective = 501;
1480% time elapsed: 3.18 s
1481----------
1482s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 60, 1, 75, 59, 81, 50, 85];
1483objective = 500;
1484% time elapsed: 3.18 s
1485----------
1486s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 60, 1, 76, 59, 82, 50, 85];
1487objective = 499;
1488% time elapsed: 3.19 s
1489----------
1490s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1491objective = 498;
1492% time elapsed: 3.20 s
1493----------
1494s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1495objective = 497;
1496% time elapsed: 3.20 s
1497----------
1498s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1499objective = 496;
1500% time elapsed: 3.25 s
1501----------
1502s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1503objective = 495;
1504% time elapsed: 3.26 s
1505----------
1506s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1507objective = 494;
1508% time elapsed: 3.31 s
1509----------
1510s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
1511objective = 493;
1512% time elapsed: 3.31 s
1513----------
1514s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 69, 49, 61, 1, 74, 59, 80, 50, 85];
1515objective = 492;
1516% time elapsed: 3.33 s
1517----------
1518s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 69, 49, 60, 1, 76, 59, 82, 50, 85];
1519objective = 491;
1520% time elapsed: 3.35 s
1521----------
1522s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 60, 1, 75, 59, 81, 50, 85];
1523objective = 488;
1524% time elapsed: 3.36 s
1525----------
1526s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1527objective = 487;
1528% time elapsed: 3.38 s
1529----------
1530s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1531objective = 486;
1532% time elapsed: 3.39 s
1533----------
1534s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1535objective = 485;
1536% time elapsed: 3.41 s
1537----------
1538s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1539objective = 481;
1540% time elapsed: 3.41 s
1541----------
1542s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1543objective = 480;
1544% time elapsed: 3.41 s
1545----------
1546s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 74, 59, 80, 50, 85];
1547objective = 479;
1548% time elapsed: 3.41 s
1549----------
1550s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 60, 1, 76, 59, 82, 50, 85];
1551objective = 478;
1552% time elapsed: 3.41 s
1553----------
1554s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 25, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1555objective = 477;
1556% time elapsed: 3.42 s
1557----------
1558s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1559objective = 476;
1560% time elapsed: 3.42 s
1561----------
1562s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1563objective = 475;
1564% time elapsed: 3.46 s
1565----------
1566s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1567objective = 474;
1568% time elapsed: 3.46 s
1569----------
1570s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 50, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1571objective = 473;
1572% time elapsed: 3.46 s
1573----------
1574s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1575objective = 472;
1576% time elapsed: 3.46 s
1577----------
1578s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1579objective = 471;
1580% time elapsed: 3.46 s
1581----------
1582s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1583objective = 470;
1584% time elapsed: 3.46 s
1585----------
1586s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 27, 24, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 33, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1587objective = 469;
1588% time elapsed: 3.50 s
1589----------
1590s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1591objective = 468;
1592% time elapsed: 3.51 s
1593----------
1594s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1595objective = 467;
1596% time elapsed: 3.54 s
1597----------
1598s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1599objective = 466;
1600% time elapsed: 3.56 s
1601----------
1602s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1603objective = 465;
1604% time elapsed: 3.59 s
1605----------
1606s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1607objective = 464;
1608% time elapsed: 3.61 s
1609----------
1610s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1611objective = 463;
1612% time elapsed: 3.62 s
1613----------
1614s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1615objective = 462;
1616% time elapsed: 3.63 s
1617----------
1618s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1619objective = 461;
1620% time elapsed: 3.85 s
1621----------
1622s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 50, 45, 48, 53, 54, 45, 68, 50, 61, 1, 76, 59, 82, 50, 85];
1623objective = 460;
1624% time elapsed: 3.87 s
1625----------
1626s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 50, 45, 48, 53, 54, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
1627objective = 458;
1628% time elapsed: 3.91 s
1629----------
1630s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
1631objective = 457;
1632% time elapsed: 3.93 s
1633----------
1634s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1635objective = 456;
1636% time elapsed: 3.95 s
1637----------
1638s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1639objective = 455;
1640% time elapsed: 3.96 s
1641----------
1642s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
1643objective = 454;
1644% time elapsed: 4.02 s
1645----------
1646s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1647objective = 453;
1648% time elapsed: 4.03 s
1649----------
1650s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 75, 59, 81, 50, 85];
1651objective = 452;
1652% time elapsed: 4.03 s
1653----------
1654s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1655objective = 451;
1656% time elapsed: 4.05 s
1657----------
1658s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1659objective = 450;
1660% time elapsed: 4.05 s
1661----------
1662s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1663objective = 449;
1664% time elapsed: 4.05 s
1665----------
1666s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1667objective = 448;
1668% time elapsed: 4.11 s
1669----------
1670s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1671objective = 447;
1672% time elapsed: 4.12 s
1673----------
1674s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1675objective = 446;
1676% time elapsed: 4.22 s
1677----------
1678s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1679objective = 442;
1680% time elapsed: 4.22 s
1681----------
1682s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1683objective = 441;
1684% time elapsed: 4.22 s
1685----------
1686s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1687objective = 440;
1688% time elapsed: 4.66 s
1689----------
1690s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1691objective = 439;
1692% time elapsed: 4.66 s
1693----------
1694s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1695objective = 438;
1696% time elapsed: 4.68 s
1697----------
1698s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1699objective = 437;
1700% time elapsed: 4.69 s
1701----------
1702s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1703objective = 436;
1704% time elapsed: 4.70 s
1705----------
1706s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1707objective = 435;
1708% time elapsed: 4.70 s
1709----------
1710s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1711objective = 434;
1712% time elapsed: 4.70 s
1713----------
1714s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 50, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1715objective = 433;
1716% time elapsed: 4.79 s
1717----------
1718s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1719objective = 432;
1720% time elapsed: 4.85 s
1721----------
1722s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 44, 49, 52, 53, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1723objective = 431;
1724% time elapsed: 4.97 s
1725----------
1726s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1727objective = 430;
1728% time elapsed: 5.15 s
1729----------
1730s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1731objective = 429;
1732% time elapsed: 5.16 s
1733----------
1734s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1735objective = 428;
1736% time elapsed: 5.16 s
1737----------
1738s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 50, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1739objective = 427;
1740% time elapsed: 5.17 s
1741----------
1742s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1743objective = 426;
1744% time elapsed: 5.18 s
1745----------
1746s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1747objective = 425;
1748% time elapsed: 5.25 s
1749----------
1750s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1751objective = 424;
1752% time elapsed: 5.27 s
1753----------
1754s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 29, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1755objective = 423;
1756% time elapsed: 5.70 s
1757----------
1758s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 29, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 41, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1759objective = 422;
1760% time elapsed: 5.76 s
1761----------
1762%%%mzn-stat: initTime=0.005854
1763%%%mzn-stat: solveTime=120
1764%%%mzn-stat: solutions=440
1765%%%mzn-stat: variables=591
1766%%%mzn-stat: propagators=703
1767%%%mzn-stat: propagations=581357339
1768%%%mzn-stat: nodes=3985229
1769%%%mzn-stat: failures=1915611
1770%%%mzn-stat: restarts=30804
1771%%%mzn-stat: peakDepth=62
1772%%%mzn-stat-end
1773%% copies: 2100865