c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC250.1.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC250.1_02.dat c array.sh: name: DSJC250.1_02 c array.sh: task: 14 c array.sh: host: c3n26 c array.sh: uname: Linux c3n26 5.4.0-110-generic #124-Ubuntu SMP Thu Apr 14 19:46:19 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Fri 27 May 2022 03:14:06 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0040: solving longest 21950178-14-DSJC250_1_02 c 0.0040: Upper bound on solution length 1000000000 c 0.0040: Makespan 1 c 0.0060: Found solution, length 2 c 0.0070: Makespan 2 c 0.0100: Found solution, length 3 c 0.0110: Makespan 3 c 0.0150: Found solution, length 4 c 0.0160: Makespan 4 c 0.0220: Found solution, length 5 c 0.0230: Makespan 5 c 0.0310: Found solution, length 6 c 0.0320: Makespan 6 c 0.0410: Found solution, length 7 c 0.0430: Makespan 7 c 0.0520: Found solution, length 8 c 0.0540: Makespan 8 c 0.0680: Found solution, length 9 c 0.0690: Makespan 9 c 0.0870: Found solution, length 10 c 0.0890: Makespan 10 c 0.1050: Found solution, length 11 c 0.1060: Makespan 11 c 0.1240: Found solution, length 12 c 0.1250: Makespan 12 c 0.1470: Found solution, length 13 c 0.1490: Makespan 13 c 0.1760: Found solution, length 14 c 0.1770: Makespan 14 c 0.2380: Found solution, length 15 c 0.2390: Makespan 15 c 0.2950: Found solution, length 16 c 0.2960: Makespan 16 c 0.5880: Found solution, length 17 c 0.5900: Makespan 17 c 0.6620: Found solution, length 18 c 0.6640: Makespan 18 c 0.7170: Found solution, length 19 c 0.7190: Makespan 19 c 0.7720: Found solution, length 20 c 0.7740: Makespan 20 c 0.8700: Found solution, length 21 c 0.8720: Makespan 21 c 0.9270: Found solution, length 22 c 0.9280: Makespan 22 c 1.0050: Found solution, length 23 c 1.0070: Makespan 23 c 1.2570: Found solution, length 24 c 1.2590: Makespan 24 c 1.7240: Found solution, length 25 c 1.7260: Makespan 25 c 3.0940: Found solution, length 26 c 3.0970: Makespan 26 c 5.2960: Found solution, length 27 c 5.2980: Makespan 27 c 7.1860: Found solution, length 28 c 7.1890: Makespan 28 c 8.9290: Found solution, length 29 c 8.9310: Makespan 29 c 9.0810: Found solution, length 30 c 9.0830: Makespan 30 c 13.2760: Found solution, length 31 c 13.2790: Makespan 31 c 26.1210: Found solution, length 32 c 26.1240: Makespan 32 c 26.3130: Found solution, length 33 c 26.3160: Makespan 33 c 26.4550: Found solution, length 34 c 26.4580: Makespan 34 c 28.3500: Found solution, length 35 c 28.3530: Makespan 35 c 28.5050: Found solution, length 36 c 28.5080: Makespan 36 c 28.7180: Found solution, length 37 c 28.7210: Makespan 37 c 28.8470: Found solution, length 38 c 28.8500: Makespan 38 c 30.7600: Found solution, length 39 c 30.7630: Makespan 39 c 43.0610: Found solution, length 40 c 43.0650: Makespan 40 c 49.0550: Found solution, length 41 c 49.0580: Makespan 41 c 49.2580: Found solution, length 42 c 49.2610: Makespan 42 c 57.6510: Found solution, length 43 c 57.6550: Makespan 43 c 59.7730: Found solution, length 44 c 59.7770: Makespan 44 c 73.6590: Found solution, length 45 c 73.6620: Makespan 45 c 75.9960: Found solution, length 46 c 76.0000: Makespan 46 c 76.4910: Found solution, length 47 c 76.4960: Makespan 47 c 76.9970: Found solution, length 48 c 77.0010: Makespan 48 c 84.2830: Found solution, length 49 c 84.2870: Makespan 49 c 98.9980: Found solution, length 50 c 99.0020: Makespan 50 c 105.6490: Found solution, length 51 c 105.6530: Makespan 51 c 114.9040: Found solution, length 52 c 114.9080: Makespan 52 c 171.7880: Found solution, length 53 c 171.7920: Makespan 53 c 181.7610: Found solution, length 54 c 181.7650: Makespan 54 c 202.3250: Found solution, length 55 c 202.3300: Makespan 55 c 206.9180: Found solution, length 56 c 206.9230: Makespan 56 c 266.3010: Found solution, length 57 c 266.3060: Makespan 57 c 268.4850: Found solution, length 58 c 268.4900: Makespan 58 c 374.9040: Found solution, length 59 c 374.9100: Makespan 59 c 383.0710: Found solution, length 60 c 383.0760: Makespan 60 c 426.4410: Found solution, length 61 c 426.4490: Makespan 61 c 517.1430: Found solution, length 62 c 517.1490: Makespan 62 c 686.0730: Found solution, length 63 c 686.0790: Makespan 63 c 688.1210: Found solution, length 64 c 688.1260: Makespan 64 c 745.2050: Found solution, length 65 c 745.2110: Makespan 65 c 815.1550: Found solution, length 66 c 815.1620: Makespan 66 c 984.7410: Found solution, length 67 c 984.7470: Makespan 67 c 1018.2430: Found solution, length 68 c 1018.2490: Makespan 68 c 1033.4900: Found solution, length 69 c 1033.4960: Makespan 69 c 1041.2350: Found solution, length 70 c 1041.2410: Makespan 70 c 1050.7630: Found solution, length 71 c 1050.7700: Makespan 71 c 1061.0870: Found solution, length 72 c 1061.0940: Makespan 72 c 1238.5590: Found solution, length 73 c 1238.5650: Makespan 73 c 1251.2760: Found solution, length 74 c 1251.2820: Makespan 74 c 1471.7050: Found solution, length 75 c 1471.7120: Makespan 75 c 1530.1200: Found solution, length 76 c 1530.1270: Makespan 76 c 1546.3720: Found solution, length 77 c 1546.3790: Makespan 77 c 1607.1900: Found solution, length 78 c 1607.1980: Makespan 78 c 1851.4060: Found solution, length 79 c 1851.4140: Makespan 79 c 2057.5470: Found solution, length 80 c 2057.5550: Makespan 80 c 2311.5400: Found solution, length 81 c 2311.5480: Makespan 81 c 2382.1760: Found solution, length 82 c 2382.1850: Makespan 82 c array.sh: end: Fri 27 May 2022 04:37:26 PM CEST s 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 t 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a YES a 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 21 22 23 26 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 246 250 a 3 4 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 a 3 4 11 12 15 21 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 250 a 3 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 11 12 15 21 22 23 47 54 60 63 64 67 77 78 93 99 125 130 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 11 12 15 21 22 23 47 54 60 63 64 67 77 78 93 125 130 131 140 152 155 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 47 54 60 63 64 67 77 78 93 125 131 140 152 155 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 10 11 12 15 21 22 23 38 47 54 60 63 64 67 77 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250 a 3 4 10 11 12 15 21 22 23 38 47 54 60 63 64 67 77 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 211 216 217 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 211 216 217 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 73 77 78 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250 a 4 11 12 13 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250 a 4 11 12 13 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250 a 4 11 12 13 15 21 22 23 38 47 54 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 4 11 12 13 15 21 22 23 38 47 54 55 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250 a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250