c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC250.9.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC250.9_01.dat
c array.sh: name:     DSJC250.9_01
c array.sh: task:     17
c array.sh: host:     c3n31
c array.sh: uname:    Linux c3n31 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:22 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0550: solving longest 21950178-17-DSJC250_9_01
c 0.0560: Upper bound on solution length 158882750
c 0.0560: Makespan 1
c 0.0650: Makespan 2
c 0.0750: Makespan 3
c 0.0860: Makespan 4
c 0.0980: Makespan 5
c 0.1250: Found solution, length 6
c 0.1260: Makespan 6
c 0.1430: Found solution, length 7
c 0.1440: Makespan 7
c 0.1670: Found solution, length 8
c 0.1690: Makespan 8
c 0.1910: Found solution, length 9
c 0.1920: Makespan 9
c 0.2350: Found solution, length 10
c 0.2360: Makespan 10
c 0.2640: Found solution, length 11
c 0.2650: Makespan 11
c 0.3250: Found solution, length 12
c 0.3260: Makespan 12
c 0.3670: Found solution, length 13
c 0.3690: Makespan 13
c 0.5090: Found solution, length 14
c 0.5110: Makespan 14
c 0.7230: Found solution, length 15
c 0.7240: Makespan 15
c 3.0880: Found solution, length 16
c 3.0900: Makespan 16
c 4.8200: Makespan 17
c 8.6190: Makespan 18
c 10.7930: Makespan 19
c 11.5250: Makespan 20
c 12.1620: Makespan 21
c 12.8250: Makespan 22
c 13.1120: Makespan 23
c 13.4320: Makespan 24
c 13.6790: Makespan 25
c 14.0200: Makespan 26
c 14.2460: Makespan 27
c 14.6360: Makespan 28
c 15.1260: Makespan 29
c 19.9920: Makespan 30
c 20.3750: Makespan 31
c 21.0650: Makespan 32
c 23.0360: Makespan 33
c 23.3650: Makespan 34
c 23.7800: Makespan 35
c 24.2840: Makespan 36
c 24.7100: Makespan 37
c 25.2590: Makespan 38
c 25.8090: Makespan 39
c 26.5670: Makespan 40
c 26.8530: Makespan 41
c 27.1950: Makespan 42
c 27.7030: Makespan 43
c 28.0280: Makespan 44
c 28.3940: Makespan 45
c 28.6470: Makespan 46
c 29.1330: Makespan 47
c 29.4520: Makespan 48
c 29.7490: Makespan 49
c 38.3840: Makespan 50
c 39.1930: Makespan 51
c 39.7900: Makespan 52
c 40.5870: Makespan 53
c 43.6950: Makespan 54
c 44.1800: Makespan 55
c 44.6780: Makespan 56
c 45.3030: Makespan 57
c 45.6480: Makespan 58
c 46.7820: Makespan 59
c 47.1750: Makespan 60
c 47.5410: Makespan 61
c 47.9890: Makespan 62
c 48.4490: Makespan 63
c 48.8460: Makespan 64
c 49.2820: Makespan 65
c 49.6590: Makespan 66
c 50.1110: Makespan 67
c 50.4960: Makespan 68
c 50.9490: Makespan 69
c 51.9010: Makespan 70
c 53.3940: Makespan 71
c 53.8360: Makespan 72
c 54.1920: Makespan 73
c 54.8660: Makespan 74
c 70.0250: Makespan 75
c 70.8380: Makespan 76
c 71.3410: Makespan 77
c 71.7750: Makespan 78
c 72.2730: Makespan 79
c 72.5810: Makespan 80
c 73.0820: Makespan 81
c 77.7200: Makespan 82
c 78.6040: Makespan 83
c 79.1000: Makespan 84
c 81.0640: Makespan 85
c 81.5270: Makespan 86
c 81.8700: Makespan 87
c 82.1720: Makespan 88
c 82.5740: Makespan 89
c 82.9970: Makespan 90
c 83.3880: Makespan 91
c 83.9170: Makespan 92
c 84.4560: Makespan 93
c 84.9720: Makespan 94
c 85.4040: Makespan 95
c 86.0360: Makespan 96
c 86.5520: Makespan 97
c 87.0800: Makespan 98
c 87.6950: Makespan 99
c 88.3420: Makespan 100
c 88.9900: Makespan 101
c 91.4700: Makespan 102
c 92.0310: Makespan 103
c 92.3930: Makespan 104
c 92.9850: Makespan 105
c 93.7020: Makespan 106
c 94.1710: Makespan 107
c 123.7910: Makespan 108
c 124.3170: Makespan 109
c 124.9710: Makespan 110
c 125.5700: Makespan 111
c 126.0150: Makespan 112
c 126.6740: Makespan 113
c 127.3020: Makespan 114
c 127.9970: Makespan 115
c 128.7750: Makespan 116
c 129.7010: Makespan 117
c 130.0880: Makespan 118
c 142.6900: Makespan 119
c 143.4940: Makespan 120
c 144.0350: Makespan 121
c 144.5530: Makespan 122
c 145.0560: Makespan 123
c 145.4920: Makespan 124
c 145.9760: Makespan 125
c 146.4910: Makespan 126
c 146.9680: Makespan 127
c 147.4000: Makespan 128
c 147.8950: Makespan 129
c 148.6750: Makespan 130
c 149.2490: Makespan 131
c 150.1730: Makespan 132
c 151.0360: Makespan 133
c 152.2270: Makespan 134
c 152.9980: Makespan 135
c 157.4710: Makespan 136
c 158.5940: Makespan 137
c 164.6020: Makespan 138
c 213.6690: Makespan 139
c 214.2460: Makespan 140
c 214.8150: Makespan 141
c 215.5160: Makespan 142
c 216.0470: Makespan 143
c 216.7800: Makespan 144
c 217.3230: Makespan 145
c 217.7780: Makespan 146
c 218.5170: Makespan 147
c 219.0570: Makespan 148
c 219.6220: Makespan 149
c 220.3520: Makespan 150
c 221.8430: Makespan 151
c 222.5140: Makespan 152
c 227.4050: Makespan 153
c 242.6320: Makespan 154
c 243.2660: Makespan 155
c 243.7110: Makespan 156
c 244.5080: Makespan 157
c 244.9090: Makespan 158
c 245.7500: Makespan 159
c 246.3700: Makespan 160
c 246.9410: Makespan 161
c 247.5080: Makespan 162
c 247.9560: Makespan 163
c 248.5160: Makespan 164
c 249.0590: Makespan 165
c 250.3380: Makespan 166
c 251.0560: Makespan 167
c 251.7610: Makespan 168
c 252.4740: Makespan 169
c 253.0940: Makespan 170
c 253.6180: Makespan 171
c 254.1870: Makespan 172
c 259.6370: Makespan 173
c 260.4690: Makespan 174
c 261.1490: Makespan 175
c 334.8060: Makespan 176
c 335.4900: Makespan 177
c 336.2770: Makespan 178
c 337.1730: Makespan 179
c 337.9150: Makespan 180
c 338.5760: Makespan 181
c 339.2420: Makespan 182
c 339.8820: Makespan 183
c 340.7650: Makespan 184
c 341.4550: Makespan 185
c 342.1530: Makespan 186
c 342.7550: Makespan 187
c 343.3750: Makespan 188
c 343.9930: Makespan 189
c 344.5140: Makespan 190
c 344.9580: Makespan 191
c 345.4300: Makespan 192
c 345.9100: Makespan 193
c 347.5920: Makespan 194
c 348.1360: Makespan 195
c 374.8090: Makespan 196
c 375.5690: Makespan 197
c 376.1350: Makespan 198
c 376.5770: Makespan 199
c 377.0130: Makespan 200
c 377.5690: Makespan 201
c 378.2190: Makespan 202
c 378.7590: Makespan 203
c 379.3160: Makespan 204
c 379.8300: Makespan 205
c 380.3800: Makespan 206
c 380.9730: Makespan 207
c 381.6260: Makespan 208
c 382.2340: Makespan 209
c 383.5820: Makespan 210
c 384.3280: Makespan 211
c 385.1660: Makespan 212
c 386.0280: Makespan 213
c 386.4590: Makespan 214
c 387.1420: Makespan 215
c 387.8680: Makespan 216
c 388.5900: Makespan 217
c 389.2050: Makespan 218
c 502.4610: Makespan 219
c 503.3110: Makespan 220
c 512.2500: Makespan 221
c 513.3910: Makespan 222
c 514.0000: Makespan 223
c 514.4150: Makespan 224
c 514.8550: Makespan 225
c 515.3920: Makespan 226
c 515.9870: Makespan 227
c 516.6840: Makespan 228
c 517.6960: Makespan 229
c 518.5120: Makespan 230
c 519.0700: Makespan 231
c 520.0010: Makespan 232
c 520.6710: Makespan 233
c 521.7710: Makespan 234
c 522.5750: Makespan 235
c 523.3940: Makespan 236
c 524.1120: Makespan 237
c 524.5410: Makespan 238
c 525.2310: Makespan 239
c 526.6540: Makespan 240
c 527.3060: Makespan 241
c 528.2390: Makespan 242
c 528.7640: Makespan 243
c 529.9440: Makespan 244
c 530.5400: Makespan 245
c 531.0860: Makespan 246
c 583.5230: Makespan 247
c 585.1240: Makespan 248
c 585.6350: Makespan 249
c 586.3810: Makespan 250
c 587.0270: Makespan 251
c 587.6160: Makespan 252
c 588.1670: Makespan 253
c 588.8310: Makespan 254
c 589.5540: Makespan 255
c 590.1150: Makespan 256
c 590.9900: Makespan 257
c 592.2570: Makespan 258
c 593.1290: Makespan 259
c 594.5370: Makespan 260
c 595.5490: Makespan 261
c 596.2400: Makespan 262
c 763.0400: Makespan 263
c 763.6240: Makespan 264
c 765.0140: Makespan 265
c 765.7070: Makespan 266
c 766.3700: Makespan 267
c 767.0280: Makespan 268
c 767.7180: Makespan 269
c 781.5540: Makespan 270
c 782.2360: Makespan 271
c 782.7780: Makespan 272
c 797.2890: Makespan 273
c 799.4110: Makespan 274
c 800.1330: Makespan 275
c 802.4020: Makespan 276
c 803.1730: Makespan 277
c 803.8730: Makespan 278
c 805.0030: Makespan 279
c 806.2100: Makespan 280
c 807.2970: Makespan 281
c 808.5150: Makespan 282
c 809.8070: Makespan 283
c 810.9060: Makespan 284
c 812.0850: Makespan 285
c 813.2880: Makespan 286
c 814.6780: Makespan 287
c 816.1150: Makespan 288
c 817.5110: Makespan 289
c 818.8480: Makespan 290
c 820.1830: Makespan 291
c 821.0630: Makespan 292
c 822.3970: Makespan 293
c 890.7230: Makespan 294
c 892.1610: Makespan 295
c 892.7120: Makespan 296
c 909.9110: Makespan 297
c 911.4920: Makespan 298
c 912.6140: Makespan 299
c 913.7560: Makespan 300
c 915.0960: Makespan 301
c 916.1990: Makespan 302
c 917.0920: Makespan 303
c 1140.8740: Makespan 304
c 1141.8360: Makespan 305
c 1142.7180: Makespan 306
c 1143.5700: Makespan 307
c 1144.4190: Makespan 308
c 1145.5650: Makespan 309
c 1146.2000: Makespan 310
c 1147.0870: Makespan 311
c 1147.9500: Makespan 312
c 1149.0700: Makespan 313
c 1149.7260: Makespan 314
c 1150.5920: Makespan 315
c 1151.5350: Makespan 316
c 1152.9090: Makespan 317
c 1153.8820: Makespan 318
c 1155.3500: Makespan 319
c 1156.0910: Makespan 320
c 1157.5030: Makespan 321
c 1158.1060: Makespan 322
c 1159.1880: Makespan 323
c 1159.8940: Makespan 324
c 1160.4770: Makespan 325
c 1161.1420: Makespan 326
c 1161.7220: Makespan 327
c 1182.4230: Makespan 328
c 1184.2840: Makespan 329
c 1185.0040: Makespan 330
c 1185.6060: Makespan 331
c 1186.5030: Makespan 332
c 1187.2320: Makespan 333
c 1188.2800: Makespan 334
c 1202.4920: Makespan 335
c 1203.2170: Makespan 336
c 1206.0880: Makespan 337
c 1207.1230: Makespan 338
c 1208.6500: Makespan 339
c 1210.0390: Makespan 340
c 1211.2690: Makespan 341
c 1212.5930: Makespan 342
c 1213.3210: Makespan 343
c 1214.2050: Makespan 344
c 1214.9930: Makespan 345
c 1215.9480: Makespan 346
c 1216.6450: Makespan 347
c 1217.6680: Makespan 348
c 1218.3250: Makespan 349
c 1307.0260: Makespan 350
c 1308.4040: Makespan 351
c 1309.0030: Makespan 352
c 1309.4680: Makespan 353
c 1310.0910: Makespan 354
c 1626.2470: Makespan 355
c 1626.9040: Makespan 356
c 1627.4830: Makespan 357
c 1651.5140: Makespan 358
c 1653.4650: Makespan 359
c 1654.1190: Makespan 360
c 1654.9230: Makespan 361
c 1655.8610: Makespan 362
c 1656.8540: Makespan 363
c 1658.9140: Makespan 364
c 1660.0410: Makespan 365
c 1661.1670: Makespan 366
c 1662.1690: Makespan 367
c 1663.0100: Makespan 368
c 1663.7010: Makespan 369
c 1664.3630: Makespan 370
c 1665.0720: Makespan 371
c 1665.7890: Makespan 372
c 1667.1670: Makespan 373
c 1672.9880: Makespan 374
c 1674.3150: Makespan 375
c 1675.6310: Makespan 376
c 1676.3910: Makespan 377
c 1677.0930: Makespan 378
c 1677.7830: Makespan 379
c 1678.3750: Makespan 380
c 1679.1980: Makespan 381
c 1680.0190: Makespan 382
c 1681.4910: Makespan 383
c 1682.2690: Makespan 384
c 1683.6160: Makespan 385
c 1684.4270: Makespan 386
c 1685.2710: Makespan 387
c 1686.5170: Makespan 388
c 1687.6300: Makespan 389
c 1689.4020: Makespan 390
c 1693.1880: Makespan 391
c 1693.9300: Makespan 392
c 1694.5230: Makespan 393
c 1722.6920: Makespan 394
c 1725.0030: Makespan 395
c 1725.6500: Makespan 396
c 1726.3540: Makespan 397
c 1727.0260: Makespan 398
c 1727.7830: Makespan 399
c 1728.6780: Makespan 400
c 1729.3150: Makespan 401
c 1731.8090: Makespan 402
c 1732.5880: Makespan 403
c 1733.6630: Makespan 404
c 1734.6800: Makespan 405
c 1736.0910: Makespan 406
c 1737.3470: Makespan 407
c 1738.7300: Makespan 408
c 1740.1440: Makespan 409
c 1741.5840: Makespan 410
c 2293.2220: Makespan 411
c 2296.2730: Makespan 412
c 2442.0790: Makespan 413
c 2444.0550: Makespan 414
c 2445.0980: Makespan 415
c 2445.9260: Makespan 416
c 2446.9870: Makespan 417
c 2448.1140: Makespan 418
c 2449.3470: Makespan 419
c 2450.1510: Makespan 420
c 2451.4610: Makespan 421
c 2452.4730: Makespan 422
c 2453.4760: Makespan 423
c 2454.6450: Makespan 424
c 2455.5420: Makespan 425
c 2456.2440: Makespan 426
c 2457.0380: Makespan 427
c 2493.6110: Makespan 428
c 2495.6450: Makespan 429
c 2496.5800: Makespan 430
c 2497.4430: Makespan 431
c 2498.2780: Makespan 432
c 2499.1690: Makespan 433
c 2500.0120: Makespan 434
c 2500.8610: Makespan 435
c 2501.7190: Makespan 436
c 2502.5680: Makespan 437
c 2503.2760: Makespan 438
c 2504.0540: Makespan 439
c 2504.9200: Makespan 440
c 2505.7720: Makespan 441
c 2507.9880: Makespan 442
c 2508.9200: Makespan 443
c 2510.2360: Makespan 444
c 2511.5210: Makespan 445
c 2513.0130: Makespan 446
c 2514.2510: Makespan 447
c 2515.7820: Makespan 448
c 2516.7110: Makespan 449
c 2517.8610: Makespan 450
c 2518.7660: Makespan 451
c 2519.4860: Makespan 452
c 2520.2720: Makespan 453
c 2521.2300: Makespan 454
c 2522.9310: Makespan 455
c 2523.7770: Makespan 456
c 2524.5880: Makespan 457
c 2525.3670: Makespan 458
c 2526.1070: Makespan 459
c 2526.9090: Makespan 460
c 2527.5800: Makespan 461
c 2528.7130: Makespan 462
c 2530.3610: Makespan 463
c 2531.7910: Makespan 464
c 2533.1650: Makespan 465
c 2534.4700: Makespan 466
c 2535.3290: Makespan 467
c 2575.2790: Makespan 468
c 2577.3680: Makespan 469
c 2578.3660: Makespan 470
c 2579.8630: Makespan 471
c 3147.4570: Makespan 472
c 3148.9800: Makespan 473
c 3150.5080: Makespan 474
c 3151.3890: Makespan 475
c 3152.5060: Makespan 476
c 3153.4620: Makespan 477
c 3154.3880: Makespan 478
c 3156.0590: Makespan 479
c 3156.9780: Makespan 480
c 3157.9520: Makespan 481
c 3159.0770: Makespan 482
c 3316.0380: Makespan 483
c 3319.4470: Makespan 484
c 3320.3750: Makespan 485
c 3321.2230: Makespan 486
c 3322.0200: Makespan 487
c 3323.3270: Makespan 488
c 3324.7590: Makespan 489
c 3325.6280: Makespan 490
c 3326.6090: Makespan 491
c 3327.9370: Makespan 492
c 3328.9620: Makespan 493
c 3330.5140: Makespan 494
c 3331.7010: Makespan 495
c 3332.9110: Makespan 496
c 3334.3610: Makespan 497
c 3335.3000: Makespan 498
c 3336.4480: Makespan 499
c 3337.3190: Makespan 500
c 3338.6630: Makespan 501
c 3339.7240: Makespan 502
c 3340.6750: Makespan 503
c 3341.5580: Makespan 504
c 3344.9750: Makespan 505
c 3345.7390: Makespan 506
c 3391.3870: Makespan 507
c 3394.3920: Makespan 508
c 3395.1500: Makespan 509
c 3395.8990: Makespan 510
c 3396.6810: Makespan 511
c 3398.1460: Makespan 512
c 3398.8000: Makespan 513
c 3400.1500: Makespan 514
c 3401.8450: Makespan 515
c 3403.8800: Makespan 516
c 3405.6180: Makespan 517
c 3406.4250: Makespan 518
c 3407.2320: Makespan 519
c 3408.9120: Makespan 520
c 3410.3720: Makespan 521
c 3411.3050: Makespan 522
c 3412.3730: Makespan 523
c 3413.2890: Makespan 524
c 3414.7710: Makespan 525
c 3416.2280: Makespan 526
c 3417.7760: Makespan 527
c 3419.1710: Makespan 528
c 3420.7420: Makespan 529
c 3421.5950: Makespan 530
c 3422.4780: Makespan 531
c 3423.2630: Makespan 532
c 3425.1220: Makespan 533
c 3426.4610: Makespan 534
c 4224.6830: Makespan 535
c 4226.0200: Makespan 536
c 4226.8950: Makespan 537
c 4228.8000: Makespan 538
c 4229.7190: Makespan 539
c 4231.3590: Makespan 540
c 4232.8210: Makespan 541
c 4233.5500: Makespan 542
c 4234.3630: Makespan 543
c 4235.2830: Makespan 544
c 4236.0740: Makespan 545
c 4237.0230: Makespan 546
c 4237.8250: Makespan 547
c 4238.4710: Makespan 548
c 4242.9360: Makespan 549
c 4296.0090: Makespan 550
c 4299.5640: Makespan 551
c 4300.6830: Makespan 552
c 4309.9630: Makespan 553
c 4310.7630: Makespan 554
c 4312.3030: Makespan 555
c 4567.2240: Makespan 556
c 4570.2650: Makespan 557
c 4571.2740: Makespan 558
c 4572.0880: Makespan 559
c 4572.6700: Makespan 560
c 4574.5750: Makespan 561
c 4575.2780: Makespan 562
c 4576.1020: Makespan 563
c 4576.9020: Makespan 564
c 4577.7410: Makespan 565
c 4579.9640: Makespan 566
c 4580.9540: Makespan 567
c 4581.8630: Makespan 568
c 4583.3920: Makespan 569
c 4584.5330: Makespan 570
c 4585.4220: Makespan 571
c 4586.2230: Makespan 572
c 4587.2270: Makespan 573
c 4587.9470: Makespan 574
c 4588.8240: Makespan 575
c 4590.4570: Makespan 576
c 4591.7130: Makespan 577
c 4592.8510: Makespan 578
c 4594.4340: Makespan 579
c 4595.9900: Makespan 580
c 4597.6360: Makespan 581
c 4598.4690: Makespan 582
c 4599.4940: Makespan 583
c 4600.2940: Makespan 584
c 4602.3660: Makespan 585
c 4603.4580: Makespan 586
c 4604.9150: Makespan 587
c 4606.1400: Makespan 588
c 4607.0330: Makespan 589
c 4608.0440: Makespan 590
c 4608.9860: Makespan 591
c 4610.2540: Makespan 592
c 4611.1310: Makespan 593
c 4613.0980: Makespan 594
c 4614.0670: Makespan 595
c 4703.1700: Makespan 596
c 4710.1330: Makespan 597
c 4711.1290: Makespan 598
c 4716.5260: Makespan 599
c 4717.7800: Makespan 600
c 4718.8070: Makespan 601
c 4719.7860: Makespan 602
c 4720.8350: Makespan 603
c 4722.3240: Makespan 604
c array.sh: end:      Fri 27 May 2022 04:37:42 PM CEST
s 69 88 154 223
t 39 131 136 238
a YES
a 69 88 154 223
a 3 69 154 223
a 3 69 88 154
a 3 88 154 226
a 3 88 154 223
a 88 154 161 223
a 83 88 161 223
a 83 88 208 223
a 69 83 88 223
a 3 69 88 223
a 3 69 88 238
a 69 88 130 238
a 88 130 131 238
a 3 88 131 238
a 3 39 131 238
a 39 131 136 238