c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.9.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC1000.9_02.dat
c array.sh: name:     DSJC1000.9_02
c array.sh: task:     6
c array.sh: host:     c3n10
c array.sh: uname:    Linux c3n10 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:13:35 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.9750: solving longest 21950178-6-DSJC1000_9_02
c 0.9830: Upper bound on solution length 1000000000
c 0.9830: Makespan 1
c 1.2370: Makespan 2
c 1.5020: Found solution, length 3
c 1.5030: Makespan 3
c 1.7830: Found solution, length 4
c 1.7840: Makespan 4
c 2.0610: Found solution, length 5
c 2.0620: Makespan 5
c 2.3540: Found solution, length 6
c 2.3560: Makespan 6
c 2.6600: Found solution, length 7
c 2.6620: Makespan 7
c 2.9490: Found solution, length 8
c 2.9500: Makespan 8
c 3.4680: Found solution, length 9
c 3.4700: Makespan 9
c 5.9570: Makespan 10
c 13.1400: Makespan 11
c 20.8940: Makespan 12
c 22.2030: Makespan 13
c 32.1280: Makespan 14
c 34.2170: Makespan 15
c 36.0730: Makespan 16
c 38.4520: Makespan 17
c 42.3830: Makespan 18
c 44.1360: Makespan 19
c 45.5120: Makespan 20
c 91.5380: Makespan 21
c 97.4590: Makespan 22
c 99.5380: Makespan 23
c 101.2580: Makespan 24
c 103.0740: Makespan 25
c 104.9830: Makespan 26
c 106.5060: Makespan 27
c 108.0960: Makespan 28
c 109.8040: Makespan 29
c 112.1040: Makespan 30
c 113.8890: Makespan 31
c 116.2530: Makespan 32
c 123.0410: Makespan 33
c 137.0760: Makespan 34
c 139.3960: Makespan 35
c 154.7000: Makespan 36
c 158.2330: Makespan 37
c 165.9510: Makespan 38
c 167.6690: Makespan 39
c 169.5670: Makespan 40
c 171.1210: Makespan 41
c 173.0920: Makespan 42
c 175.5480: Makespan 43
c 177.4810: Makespan 44
c 179.3330: Makespan 45
c 255.7440: Makespan 46
c 257.4290: Makespan 47
c 259.0650: Makespan 48
c 260.9740: Makespan 49
c 262.8550: Makespan 50
c 264.4820: Makespan 51
c 267.6760: Makespan 52
c 269.1210: Makespan 53
c 279.3170: Makespan 54
c 282.5530: Makespan 55
c 283.8440: Makespan 56
c 285.1930: Makespan 57
c 286.5780: Makespan 58
c 287.9180: Makespan 59
c 289.5590: Makespan 60
c 291.5830: Makespan 61
c 293.8690: Makespan 62
c 295.2130: Makespan 63
c 296.6290: Makespan 64
c 298.0160: Makespan 65
c 299.3040: Makespan 66
c 301.6750: Makespan 67
c 304.4160: Makespan 68
c 306.2370: Makespan 69
c 338.5700: Makespan 70
c 354.4730: Makespan 71
c 356.1670: Makespan 72
c 357.4810: Makespan 73
c 358.4970: Makespan 74
c 359.3380: Makespan 75
c 360.3400: Makespan 76
c 361.8150: Makespan 77
c 362.9750: Makespan 78
c 364.0750: Makespan 79
c 365.2670: Makespan 80
c 366.7040: Makespan 81
c 368.0190: Makespan 82
c 368.9450: Makespan 83
c 369.8440: Makespan 84
c 370.7960: Makespan 85
c 518.8160: Makespan 86
c 520.0470: Makespan 87
c 535.9890: Makespan 88
c 538.0570: Makespan 89
c 539.0960: Makespan 90
c 540.1650: Makespan 91
c 541.7200: Makespan 92
c 543.4140: Makespan 93
c 544.5810: Makespan 94
c 545.8350: Makespan 95
c 546.8400: Makespan 96
c 548.1730: Makespan 97
c 549.2450: Makespan 98
c 550.6220: Makespan 99
c 552.0770: Makespan 100
c 553.1590: Makespan 101
c 601.3300: Makespan 102
c 603.6030: Makespan 103
c 605.4680: Makespan 104
c 625.8380: Makespan 105
c 628.0040: Makespan 106
c 629.1730: Makespan 107
c 630.6130: Makespan 108
c 631.7660: Makespan 109
c 632.8180: Makespan 110
c 634.2320: Makespan 111
c 635.4980: Makespan 112
c 636.7070: Makespan 113
c 638.2270: Makespan 114
c 639.7140: Makespan 115
c 640.9280: Makespan 116
c 642.2550: Makespan 117
c 643.8760: Makespan 118
c 644.8960: Makespan 119
c 645.9970: Makespan 120
c 646.9590: Makespan 121
c 648.1580: Makespan 122
c 650.4710: Makespan 123
c 652.3610: Makespan 124
c 653.3410: Makespan 125
c 654.8150: Makespan 126
c 655.7160: Makespan 127
c 656.9460: Makespan 128
c 966.5460: Makespan 129
c 967.8220: Makespan 130
c 969.1040: Makespan 131
c 970.1900: Makespan 132
c 971.1790: Makespan 133
c 972.0910: Makespan 134
c 973.4900: Makespan 135
c 974.6000: Makespan 136
c 975.8520: Makespan 137
c 976.9420: Makespan 138
c 978.0660: Makespan 139
c 979.6080: Makespan 140
c 980.9610: Makespan 141
c 982.1940: Makespan 142
c 983.2480: Makespan 143
c 984.2260: Makespan 144
c 985.4390: Makespan 145
c 987.0120: Makespan 146
c 988.5350: Makespan 147
c 992.7820: Makespan 148
c 994.6190: Makespan 149
c 996.5410: Makespan 150
c 998.0160: Makespan 151
c 1108.4400: Makespan 152
c 1112.7130: Makespan 153
c 1115.0680: Makespan 154
c 1117.2610: Makespan 155
c 1162.0760: Makespan 156
c 1166.4220: Makespan 157
c 1169.9250: Makespan 158
c 1172.2400: Makespan 159
c 1174.6700: Makespan 160
c 1177.4810: Makespan 161
c 1179.4560: Makespan 162
c 1180.7420: Makespan 163
c 1181.9680: Makespan 164
c 1183.5140: Makespan 165
c 1184.6820: Makespan 166
c 1185.9400: Makespan 167
c 1187.1750: Makespan 168
c 1188.8460: Makespan 169
c 1189.9790: Makespan 170
c 1191.5520: Makespan 171
c 1193.1180: Makespan 172
c 1194.2190: Makespan 173
c 1195.3360: Makespan 174
c 1196.6570: Makespan 175
c 1198.8080: Makespan 176
c 1200.1930: Makespan 177
c 1201.3920: Makespan 178
c 1202.4270: Makespan 179
c 1203.4020: Makespan 180
c 1204.5070: Makespan 181
c 1205.7680: Makespan 182
c 1207.1620: Makespan 183
c 1209.1050: Makespan 184
c 1749.2520: Makespan 185
c 1750.6910: Makespan 186
c 1751.7880: Makespan 187
c 1752.9110: Makespan 188
c 1753.9400: Makespan 189
c 1756.1370: Makespan 190
c 1757.1550: Makespan 191
c 1758.2070: Makespan 192
c 1759.2130: Makespan 193
c 1760.4240: Makespan 194
c 1761.7500: Makespan 195
c 1763.5070: Makespan 196
c 1765.2250: Makespan 197
c 1766.6880: Makespan 198
c 1767.9340: Makespan 199
c 1769.1850: Makespan 200
c 1770.3940: Makespan 201
c 1896.3950: Makespan 202
c 1900.8210: Makespan 203
c 1901.9160: Makespan 204
c 1902.9870: Makespan 205
c 1904.0930: Makespan 206
c 1905.2870: Makespan 207
c 1906.9280: Makespan 208
c 1908.1930: Makespan 209
c 1913.7820: Makespan 210
c 1915.3870: Makespan 211
c 1916.6440: Makespan 212
c 1918.0640: Makespan 213
c 1919.1440: Makespan 214
c 1966.8270: Makespan 215
c 1970.9910: Makespan 216
c 1972.5590: Makespan 217
c 1974.3460: Makespan 218
c 1975.7370: Makespan 219
c 1977.0910: Makespan 220
c 1978.6190: Makespan 221
c 1979.8670: Makespan 222
c 1981.1950: Makespan 223
c 1982.2490: Makespan 224
c 1983.9250: Makespan 225
c 1985.5430: Makespan 226
c 1987.6280: Makespan 227
c 1989.3790: Makespan 228
c 1990.9180: Makespan 229
c 1993.5210: Makespan 230
c 1995.0860: Makespan 231
c 1996.3790: Makespan 232
c 1997.8990: Makespan 233
c 1999.2620: Makespan 234
c 2000.7450: Makespan 235
c 2002.2580: Makespan 236
c 2003.7200: Makespan 237
c 2005.3820: Makespan 238
c 2007.0240: Makespan 239
c 2008.4300: Makespan 240
c 2762.4290: Makespan 241
c 2764.3900: Makespan 242
c 2766.5130: Makespan 243
c 2768.0410: Makespan 244
c 2770.1380: Makespan 245
c 2772.1850: Makespan 246
c 2773.9980: Makespan 247
c 2775.9360: Makespan 248
c 2846.6480: Makespan 249
c 2855.9440: Makespan 250
c 2857.9020: Makespan 251
c 2859.6350: Makespan 252
c 2861.7500: Makespan 253
c 2863.1890: Makespan 254
c 2864.6860: Makespan 255
c 2866.1020: Makespan 256
c 2867.9220: Makespan 257
c 3246.7760: Makespan 258
c array.sh: end:      Fri 27 May 2022 04:36:56 PM CEST
s 145 184 672 793 805
t 145 674 719 793 805
a YES
a 145 184 672 793 805
a 76 184 672 793 805
a 76 145 672 793 805
a 76 145 184 672 793
a 76 145 184 672 805
a 76 145 184 514 805
a 76 145 184 793 805
a 145 184 719 793 805
a 145 674 719 793 805