c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.9.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.9_02.dat
c array.sh: name:     DSJC500.9_02
c array.sh: task:     24
c array.sh: host:     c3n13
c array.sh: uname:    Linux c3n13 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:15:29 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.1400: solving longest 21950178-24-DSJC500_9_02
c 0.1410: Upper bound on solution length 1000000000
c 0.1410: Makespan 1
c 0.1770: Makespan 2
c 0.2150: Makespan 3
c 0.2540: Makespan 4
c 0.2950: Makespan 5
c 0.3540: Makespan 6
c 0.4670: Makespan 7
c 0.6790: Makespan 8
c 0.9120: Makespan 9
c 0.9780: Found solution, length 10
c 0.9800: Makespan 10
c 1.1060: Found solution, length 11
c 1.1070: Makespan 11
c 1.2100: Found solution, length 12
c 1.2120: Makespan 12
c 2.6190: Found solution, length 13
c 2.6200: Makespan 13
c 2.9490: Found solution, length 14
c 2.9500: Makespan 14
c 6.2860: Found solution, length 15
c 6.2880: Makespan 15
c 7.2110: Found solution, length 16
c 7.2130: Makespan 16
c 8.4190: Found solution, length 17
c 8.4210: Makespan 17
c 15.6100: Found solution, length 18
c 15.6120: Makespan 18
c 19.9100: Found solution, length 19
c 19.9120: Makespan 19
c 21.2190: Found solution, length 20
c 21.2210: Makespan 20
c 24.2840: Found solution, length 21
c 24.2860: Makespan 21
c 24.8630: Found solution, length 22
c 24.8650: Makespan 22
c 27.5360: Found solution, length 23
c 27.5390: Makespan 23
c 51.7100: Found solution, length 24
c 51.7130: Makespan 24
c 92.3940: Found solution, length 25
c 92.3970: Makespan 25
c 128.5730: Found solution, length 26
c 128.5770: Makespan 26
c 130.8100: Found solution, length 27
c 130.8140: Makespan 27
c 145.1460: Found solution, length 28
c 145.1500: Makespan 28
c 171.1180: Makespan 29
c 191.1200: Makespan 30
c 209.7970: Makespan 31
c 223.4700: Makespan 32
c 248.6040: Makespan 33
c 283.7750: Makespan 34
c 311.2740: Makespan 35
c 339.9270: Makespan 36
c 403.3470: Makespan 37
c 422.1680: Makespan 38
c 445.7070: Makespan 39
c 490.9740: Makespan 40
c 512.6930: Makespan 41
c 533.3800: Makespan 42
c 542.7340: Makespan 43
c 558.3620: Makespan 44
c 576.3030: Makespan 45
c 586.3420: Makespan 46
c 609.3310: Makespan 47
c 628.6440: Makespan 48
c 635.6650: Makespan 49
c 640.3060: Makespan 50
c 643.8670: Makespan 51
c 652.2210: Makespan 52
c 663.2280: Makespan 53
c 670.7620: Makespan 54
c 674.4480: Makespan 55
c 681.4020: Makespan 56
c 687.9650: Makespan 57
c 710.1570: Makespan 58
c 743.5050: Makespan 59
c 747.6820: Makespan 60
c 753.6440: Makespan 61
c 757.4920: Makespan 62
c 768.8950: Makespan 63
c 785.4800: Makespan 64
c 790.0440: Makespan 65
c 802.2550: Makespan 66
c 806.5380: Makespan 67
c 810.6910: Makespan 68
c 814.1130: Makespan 69
c 823.8020: Makespan 70
c 846.1380: Makespan 71
c 851.3900: Makespan 72
c 854.4950: Makespan 73
c 894.7680: Makespan 74
c 899.3240: Makespan 75
c 907.7300: Makespan 76
c 914.4390: Makespan 77
c 918.8800: Makespan 78
c 928.4580: Makespan 79
c 933.3280: Makespan 80
c 944.1940: Makespan 81
c 948.3610: Makespan 82
c 958.3970: Makespan 83
c 970.2750: Makespan 84
c 974.2480: Makespan 85
c 981.0360: Makespan 86
c 985.6540: Makespan 87
c 989.2070: Makespan 88
c 1014.9890: Makespan 89
c 1018.9680: Makespan 90
c 1022.7550: Makespan 91
c 1028.0340: Makespan 92
c 1098.0530: Makespan 93
c 1102.8060: Makespan 94
c 1107.2640: Makespan 95
c 1119.1950: Makespan 96
c 1122.9070: Makespan 97
c 1128.1490: Makespan 98
c 1132.6690: Makespan 99
c 1135.6390: Makespan 100
c 1143.1300: Makespan 101
c 1172.1350: Makespan 102
c 1183.5430: Makespan 103
c 1189.8620: Makespan 104
c 1195.3700: Makespan 105
c 1222.1700: Makespan 106
c 1227.4510: Makespan 107
c 1304.3300: Makespan 108
c 1308.8940: Makespan 109
c 1315.5180: Makespan 110
c 1319.4410: Makespan 111
c 1328.6610: Makespan 112
c 1332.1910: Makespan 113
c 1339.9560: Makespan 114
c 1344.8670: Makespan 115
c 1362.5660: Makespan 116
c 1367.5210: Makespan 117
c 1370.5380: Makespan 118
c 1376.7440: Makespan 119
c 1387.7400: Makespan 120
c 1394.4990: Makespan 121
c 1436.2520: Makespan 122
c 1448.7360: Makespan 123
c 1452.4660: Makespan 124
c 1547.5670: Makespan 125
c 1556.7380: Makespan 126
c 1561.1780: Makespan 127
c 1565.7050: Makespan 128
c 1573.3040: Makespan 129
c 1578.0390: Makespan 130
c 1584.9570: Makespan 131
c 1603.5370: Makespan 132
c 1611.2520: Makespan 133
c 1619.0930: Makespan 134
c 1629.4130: Makespan 135
c 1656.5820: Makespan 136
c 1664.5160: Makespan 137
c 1667.2580: Makespan 138
c 1671.2160: Makespan 139
c 1675.5150: Makespan 140
c 1809.7840: Makespan 141
c 1821.4030: Makespan 142
c 1826.0690: Makespan 143
c 1836.7880: Makespan 144
c 1845.9930: Makespan 145
c 1863.3720: Makespan 146
c 1870.2880: Makespan 147
c 1874.0400: Makespan 148
c 1879.2580: Makespan 149
c 1906.2120: Makespan 150
c 1912.4250: Makespan 151
c 1916.0970: Makespan 152
c 1921.0040: Makespan 153
c 1928.7110: Makespan 154
c 1931.6290: Makespan 155
c 1942.1080: Makespan 156
c 1986.3690: Makespan 157
c 1992.8750: Makespan 158
c 2160.9670: Makespan 159
c 2166.7730: Makespan 160
c 2170.6350: Makespan 161
c 2195.1710: Makespan 162
c 2200.6740: Makespan 163
c 2207.4570: Makespan 164
c 2212.9960: Makespan 165
c 2219.3590: Makespan 166
c 2223.9140: Makespan 167
c 2230.1230: Makespan 168
c 2235.4140: Makespan 169
c 2242.1220: Makespan 170
c 2247.7340: Makespan 171
c 2257.0810: Makespan 172
c 2261.5030: Makespan 173
c 2266.0390: Makespan 174
c 2274.5410: Makespan 175
c 2278.4100: Makespan 176
c 2302.9250: Makespan 177
c 2308.3110: Makespan 178
c 2313.5840: Makespan 179
c 2319.5660: Makespan 180
c 2328.7610: Makespan 181
c 2391.8560: Makespan 182
c 2594.8290: Makespan 183
c 2604.1700: Makespan 184
c 2614.5050: Makespan 185
c 2620.1030: Makespan 186
c 2641.1370: Makespan 187
c 2649.0820: Makespan 188
c 2656.6730: Makespan 189
c 2675.8120: Makespan 190
c 2698.7370: Makespan 191
c 2703.4730: Makespan 192
c 2715.7450: Makespan 193
c 2722.2850: Makespan 194
c 2726.9870: Makespan 195
c 2736.9280: Makespan 196
c 2749.4830: Makespan 197
c 2755.4450: Makespan 198
c 2787.6140: Makespan 199
c 2796.6830: Makespan 200
c 2801.1540: Makespan 201
c 2807.9330: Makespan 202
c 2872.7340: Makespan 203
c 3104.9150: Makespan 204
c 3112.0970: Makespan 205
c 3121.8410: Makespan 206
c 3126.8140: Makespan 207
c 3138.6200: Makespan 208
c 3142.7860: Makespan 209
c 3153.1690: Makespan 210
c 3158.0060: Makespan 211
c 3181.9230: Makespan 212
c 3196.7900: Makespan 213
c 3202.5750: Makespan 214
c 3227.0000: Makespan 215
c 3238.6510: Makespan 216
c 3252.4000: Makespan 217
c 3261.5690: Makespan 218
c 3269.1410: Makespan 219
c 3279.2710: Makespan 220
c 3311.4650: Makespan 221
c 3515.5100: Makespan 222
c 3587.2500: Makespan 223
c 3592.2040: Makespan 224
c 3596.8100: Makespan 225
c 3607.4480: Makespan 226
c 3619.4910: Makespan 227
c 3633.8580: Makespan 228
c 3640.7340: Makespan 229
c 3652.5530: Makespan 230
c 3658.1770: Makespan 231
c 3692.6390: Makespan 232
c 3710.0690: Makespan 233
c 3717.1290: Makespan 234
c 3723.4630: Makespan 235
c 3729.2560: Makespan 236
c 3741.7280: Makespan 237
c 3747.7580: Makespan 238
c 3759.8350: Makespan 239
c 3765.6200: Makespan 240
c 4013.2400: Makespan 241
c 4023.3240: Makespan 242
c 4065.4360: Makespan 243
c 4143.8550: Makespan 244
c 4154.8770: Makespan 245
c 4160.9650: Makespan 246
c 4177.2040: Makespan 247
c 4188.8030: Makespan 248
c 4197.4770: Makespan 249
c 4207.8500: Makespan 250
c 4213.4910: Makespan 251
c 4218.8340: Makespan 252
c 4253.4890: Makespan 253
c 4259.7690: Makespan 254
c 4263.8800: Makespan 255
c 4271.9580: Makespan 256
c 4286.5560: Makespan 257
c 4572.1910: Makespan 258
c 4582.9270: Makespan 259
c 4596.0780: Makespan 260
c 4599.0470: Makespan 261
c 4605.9680: Makespan 262
c 4613.4690: Makespan 263
c 4618.4960: Makespan 264
c 4698.3800: Makespan 265
c 4704.6240: Makespan 266
c 4733.6000: Makespan 267
c 4740.2620: Makespan 268
c 4749.2990: Makespan 269
c 4755.8620: Makespan 270
c 4769.2970: Makespan 271
c 4778.7900: Makespan 272
c 4789.8760: Makespan 273
c 4794.4050: Makespan 274
c 4801.1020: Makespan 275
c 4812.7660: Makespan 276
c 4817.8650: Makespan 277
c 4858.7390: Makespan 278
c array.sh: end:      Fri 27 May 2022 04:38:49 PM CEST
s 97 179 194 467
t 144 445 471 477
a YES
a 97 179 194 467
a 18 179 194 467
a 65 179 194 467
a 65 179 194 360
a 65 97 179 194
a 65 97 194 372
a 65 97 194 467
a 65 97 179 467
a 65 97 455 467
a 97 160 455 467
a 160 440 455 467
a 160 236 440 467
a 5 160 236 440
a 160 236 440 477
a 160 440 470 477
a 160 198 470 477
a 160 445 470 477
a 160 236 445 477
a 236 445 471 477
a 57 236 445 471
a 236 306 445 471
a 236 306 307 445
a 236 306 404 445
a 306 404 408 445
a 306 358 404 445
a 306 358 445 471
a 358 445 471 477
a 144 445 471 477