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_02.dat
c array.sh: name:     DSJC250.9_02
c array.sh: task:     18
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.0340: solving longest 21950178-18-DSJC250_9_02
c 0.0340: Upper bound on solution length 158882750
c 0.0340: Makespan 1
c 0.0440: Makespan 2
c 0.0540: Makespan 3
c 0.0650: Makespan 4
c 0.0770: Makespan 5
c 0.0900: Found solution, length 6
c 0.0910: Makespan 6
c 0.1060: Found solution, length 7
c 0.1080: Makespan 7
c 0.1220: Found solution, length 8
c 0.1230: Makespan 8
c 0.1460: Found solution, length 9
c 0.1470: Makespan 9
c 0.1900: Found solution, length 10
c 0.1910: Makespan 10
c 0.2190: Found solution, length 11
c 0.2200: Makespan 11
c 0.2470: Found solution, length 12
c 0.2480: Makespan 12
c 0.4250: Found solution, length 13
c 0.4270: Makespan 13
c 0.9460: Found solution, length 14
c 0.9480: Makespan 14
c 1.0680: Found solution, length 15
c 1.0690: Makespan 15
c 1.5780: Found solution, length 16
c 1.5790: Makespan 16
c 3.5460: Makespan 17
c 4.4670: Makespan 18
c 5.3180: Makespan 19
c 7.4440: Makespan 20
c 8.1340: Makespan 21
c 8.5550: Makespan 22
c 9.5980: Makespan 23
c 10.0970: Makespan 24
c 10.4570: Makespan 25
c 11.1840: Makespan 26
c 11.5450: Makespan 27
c 12.0140: Makespan 28
c 12.5220: Makespan 29
c 12.9610: Makespan 30
c 13.7700: Makespan 31
c 14.3020: Makespan 32
c 17.6420: Makespan 33
c 18.2880: Makespan 34
c 18.9800: Makespan 35
c 19.6860: Makespan 36
c 20.2080: Makespan 37
c 23.2490: Makespan 38
c 23.7510: Makespan 39
c 24.2040: Makespan 40
c 24.6680: Makespan 41
c 25.0980: Makespan 42
c 25.5130: Makespan 43
c 26.0220: Makespan 44
c 29.1400: Makespan 45
c 29.7770: Makespan 46
c 30.5270: Makespan 47
c 31.1370: Makespan 48
c 31.6850: Makespan 49
c 32.1240: Makespan 50
c 40.1740: Makespan 51
c 41.3970: Makespan 52
c 42.0990: Makespan 53
c 42.7570: Makespan 54
c 43.3470: Makespan 55
c 46.7750: Makespan 56
c 47.3830: Makespan 57
c 47.9020: Makespan 58
c 48.4000: Makespan 59
c 49.0460: Makespan 60
c 50.6000: Makespan 61
c 51.3350: Makespan 62
c 51.9710: Makespan 63
c 52.4910: Makespan 64
c 53.3880: Makespan 65
c 53.9820: Makespan 66
c 54.5490: Makespan 67
c 56.9280: Makespan 68
c 58.5340: Makespan 69
c 59.2890: Makespan 70
c 59.9380: Makespan 71
c 74.6800: Makespan 72
c 75.5440: Makespan 73
c 75.9740: Makespan 74
c 76.7700: Makespan 75
c 77.1060: Makespan 76
c 82.1360: Makespan 77
c 82.9930: Makespan 78
c 85.1200: Makespan 79
c 85.8380: Makespan 80
c 86.2860: Makespan 81
c 86.6940: Makespan 82
c 87.1470: Makespan 83
c 88.0160: Makespan 84
c 88.5440: Makespan 85
c 88.9100: Makespan 86
c 89.9450: Makespan 87
c 90.4590: Makespan 88
c 91.4710: Makespan 89
c 91.9470: Makespan 90
c 92.8390: Makespan 91
c 95.2010: Makespan 92
c 96.2090: Makespan 93
c 96.8910: Makespan 94
c 97.5890: Makespan 95
c 98.6220: Makespan 96
c 124.2690: Makespan 97
c 125.0710: Makespan 98
c 125.7960: Makespan 99
c 126.5030: Makespan 100
c 127.1860: Makespan 101
c 127.9570: Makespan 102
c 128.7690: Makespan 103
c 131.6250: Makespan 104
c 138.7370: Makespan 105
c 139.3110: Makespan 106
c 140.0000: Makespan 107
c 140.7280: Makespan 108
c 141.5710: Makespan 109
c 142.4000: Makespan 110
c 143.3350: Makespan 111
c 144.0290: Makespan 112
c 144.8180: Makespan 113
c 145.4410: Makespan 114
c 146.2630: Makespan 115
c 146.9230: Makespan 116
c 148.0670: Makespan 117
c 151.1640: Makespan 118
c 152.2090: Makespan 119
c 152.8020: Makespan 120
c 153.6370: Makespan 121
c 154.2110: Makespan 122
c 154.7690: Makespan 123
c 155.7610: Makespan 124
c 194.6250: Makespan 125
c 195.3630: Makespan 126
c 195.9640: Makespan 127
c 196.6590: Makespan 128
c 197.5770: Makespan 129
c 201.9480: Makespan 130
c 202.9340: Makespan 131
c 207.0270: Makespan 132
c 208.0130: Makespan 133
c 208.3320: Makespan 134
c 208.6880: Makespan 135
c 221.0150: Makespan 136
c 221.4250: Makespan 137
c 222.3780: Makespan 138
c 222.8390: Makespan 139
c 223.7390: Makespan 140
c 224.4890: Makespan 141
c 225.3430: Makespan 142
c 225.7840: Makespan 143
c 226.9100: Makespan 144
c 227.3650: Makespan 145
c 228.2380: Makespan 146
c 229.1360: Makespan 147
c 229.7000: Makespan 148
c 230.8570: Makespan 149
c 235.7300: Makespan 150
c 237.0600: Makespan 151
c 237.9320: Makespan 152
c 238.8060: Makespan 153
c 239.3520: Makespan 154
c 240.2150: Makespan 155
c 303.6280: Makespan 156
c 304.4220: Makespan 157
c 305.4910: Makespan 158
c 306.6290: Makespan 159
c 307.9800: Makespan 160
c 309.3670: Makespan 161
c 310.0940: Makespan 162
c 311.2780: Makespan 163
c 312.5000: Makespan 164
c 313.6070: Makespan 165
c 319.2660: Makespan 166
c 320.4050: Makespan 167
c 321.3540: Makespan 168
c 337.9850: Makespan 169
c 338.8410: Makespan 170
c 339.7100: Makespan 171
c 340.6970: Makespan 172
c 341.5060: Makespan 173
c 342.5840: Makespan 174
c 343.6920: Makespan 175
c 344.6090: Makespan 176
c 345.6160: Makespan 177
c 346.5370: Makespan 178
c 347.7650: Makespan 179
c 348.7260: Makespan 180
c 349.8370: Makespan 181
c 350.8580: Makespan 182
c 352.0800: Makespan 183
c 358.8320: Makespan 184
c 359.9940: Makespan 185
c 360.7280: Makespan 186
c 361.3730: Makespan 187
c 362.0400: Makespan 188
c 460.6800: Makespan 189
c 461.8090: Makespan 190
c 462.7870: Makespan 191
c 463.6250: Makespan 192
c 464.2310: Makespan 193
c 464.9750: Makespan 194
c 465.7480: Makespan 195
c 466.4840: Makespan 196
c 474.8390: Makespan 197
c 475.5270: Makespan 198
c 476.2080: Makespan 199
c 477.2210: Makespan 200
c 477.9680: Makespan 201
c 478.6360: Makespan 202
c 486.2800: Makespan 203
c 487.2820: Makespan 204
c 487.8570: Makespan 205
c 489.0080: Makespan 206
c 519.6350: Makespan 207
c 521.0220: Makespan 208
c 521.5590: Makespan 209
c 522.6400: Makespan 210
c 523.2460: Makespan 211
c 524.2990: Makespan 212
c 524.9800: Makespan 213
c 525.8830: Makespan 214
c 526.5840: Makespan 215
c 527.6270: Makespan 216
c 528.1950: Makespan 217
c 528.8090: Makespan 218
c 529.8340: Makespan 219
c 531.1280: Makespan 220
c 531.7580: Makespan 221
c 532.3270: Makespan 222
c 533.6410: Makespan 223
c 534.5750: Makespan 224
c 677.4950: Makespan 225
c 679.2440: Makespan 226
c 679.9970: Makespan 227
c 681.0340: Makespan 228
c 682.1130: Makespan 229
c 683.2310: Makespan 230
c 684.0960: Makespan 231
c 685.0150: Makespan 232
c 686.0530: Makespan 233
c 686.8870: Makespan 234
c 687.7820: Makespan 235
c 688.6430: Makespan 236
c 689.8320: Makespan 237
c 691.0210: Makespan 238
c 691.9070: Makespan 239
c 692.8230: Makespan 240
c 693.7480: Makespan 241
c 694.4920: Makespan 242
c 695.2650: Makespan 243
c 696.0960: Makespan 244
c 697.3670: Makespan 245
c 698.3820: Makespan 246
c 699.5090: Makespan 247
c 700.3100: Makespan 248
c 711.8280: Makespan 249
c 713.4190: Makespan 250
c 714.5190: Makespan 251
c 715.6000: Makespan 252
c 760.0510: Makespan 253
c 761.1450: Makespan 254
c 761.8140: Makespan 255
c 762.4550: Makespan 256
c 763.3100: Makespan 257
c 764.0880: Makespan 258
c 764.9940: Makespan 259
c 766.2750: Makespan 260
c 767.3010: Makespan 261
c 768.1100: Makespan 262
c 768.8560: Makespan 263
c 769.9590: Makespan 264
c 770.9920: Makespan 265
c 772.3370: Makespan 266
c 962.4910: Makespan 267
c 963.9840: Makespan 268
c 965.4210: Makespan 269
c 966.5520: Makespan 270
c 967.8790: Makespan 271
c 968.7410: Makespan 272
c 969.8880: Makespan 273
c 970.6870: Makespan 274
c 984.4660: Makespan 275
c 985.8440: Makespan 276
c 987.1300: Makespan 277
c 988.0210: Makespan 278
c 988.8720: Makespan 279
c 989.7600: Makespan 280
c 990.7880: Makespan 281
c 991.6390: Makespan 282
c 992.4110: Makespan 283
c 993.4400: Makespan 284
c 994.3120: Makespan 285
c 995.5230: Makespan 286
c 996.4210: Makespan 287
c 997.5680: Makespan 288
c 998.2800: Makespan 289
c 999.1650: Makespan 290
c 1000.1850: Makespan 291
c 1001.2990: Makespan 292
c 1004.7490: Makespan 293
c 1005.7280: Makespan 294
c 1006.5950: Makespan 295
c 1007.9550: Makespan 296
c 1008.9960: Makespan 297
c 1010.4270: Makespan 298
c 1011.5760: Makespan 299
c 1012.3080: Makespan 300
c 1013.1280: Makespan 301
c 1014.3680: Makespan 302
c 1030.7630: Makespan 303
c 1086.8950: Makespan 304
c 1088.2520: Makespan 305
c 1089.4050: Makespan 306
c 1090.2190: Makespan 307
c 1091.1870: Makespan 308
c 1092.4740: Makespan 309
c 1093.4280: Makespan 310
c 1094.4250: Makespan 311
c 1337.8340: Makespan 312
c 1339.3270: Makespan 313
c 1340.1900: Makespan 314
c 1341.3550: Makespan 315
c 1342.3470: Makespan 316
c 1343.2100: Makespan 317
c 1344.2630: Makespan 318
c 1345.2470: Makespan 319
c 1346.4950: Makespan 320
c 1347.4890: Makespan 321
c 1348.6710: Makespan 322
c 1349.5240: Makespan 323
c 1350.4920: Makespan 324
c 1351.2180: Makespan 325
c 1352.3320: Makespan 326
c 1353.2880: Makespan 327
c 1354.3680: Makespan 328
c 1355.1510: Makespan 329
c 1373.4830: Makespan 330
c 1375.8820: Makespan 331
c 1376.7690: Makespan 332
c 1377.5080: Makespan 333
c 1378.6020: Makespan 334
c 1379.7440: Makespan 335
c 1380.4920: Makespan 336
c 1382.0470: Makespan 337
c 1383.3630: Makespan 338
c 1385.0510: Makespan 339
c 1386.2400: Makespan 340
c 1387.3180: Makespan 341
c 1388.1110: Makespan 342
c 1389.6790: Makespan 343
c 1390.5910: Makespan 344
c 1391.4850: Makespan 345
c 1392.1920: Makespan 346
c 1392.9540: Makespan 347
c 1393.9350: Makespan 348
c 1408.5310: Makespan 349
c 1409.3390: Makespan 350
c 1409.9570: Makespan 351
c 1411.0310: Makespan 352
c 1411.5760: Makespan 353
c 1412.8000: Makespan 354
c 1414.0070: Makespan 355
c 1505.0640: Makespan 356
c 1506.2740: Makespan 357
c 1506.8620: Makespan 358
c 1508.1570: Makespan 359
c 1530.4760: Makespan 360
c 1794.4970: Makespan 361
c 1796.1730: Makespan 362
c 1796.5500: Makespan 363
c 1797.0960: Makespan 364
c 1797.4840: Makespan 365
c 1797.8090: Makespan 366
c 1798.4090: Makespan 367
c 1812.3450: Makespan 368
c 1812.7930: Makespan 369
c 1821.4950: Makespan 370
c 1822.0310: Makespan 371
c 1822.6890: Makespan 372
c 1823.4990: Makespan 373
c 1823.9270: Makespan 374
c 1824.4160: Makespan 375
c 1836.9760: Makespan 376
c 1837.4050: Makespan 377
c 1847.6000: Makespan 378
c 1847.9610: Makespan 379
c 1849.2550: Makespan 380
c 1850.5330: Makespan 381
c 1851.9530: Makespan 382
c 1853.4610: Makespan 383
c 1855.1730: Makespan 384
c 1856.1210: Makespan 385
c 1856.7970: Makespan 386
c 1858.4840: Makespan 387
c 1859.0520: Makespan 388
c 1859.5320: Makespan 389
c 1861.0450: Makespan 390
c 1883.9960: Makespan 391
c 1886.1030: Makespan 392
c 1886.5270: Makespan 393
c 1886.9760: Makespan 394
c 1895.9540: Makespan 395
c 1896.3460: Makespan 396
c 1896.9640: Makespan 397
c 1897.4980: Makespan 398
c 1903.0090: Makespan 399
c 1904.3680: Makespan 400
c 1906.0460: Makespan 401
c 1907.7040: Makespan 402
c 1908.8600: Makespan 403
c 1910.3230: Makespan 404
c 1911.1310: Makespan 405
c 1911.9680: Makespan 406
c 1912.7560: Makespan 407
c 1914.0150: Makespan 408
c 1915.2060: Makespan 409
c 1916.4370: Makespan 410
c 1917.0300: Makespan 411
c 1918.2690: Makespan 412
c 1919.5800: Makespan 413
c 2445.7710: Makespan 414
c 2451.4440: Makespan 415
c 2452.0160: Makespan 416
c 2453.5120: Makespan 417
c 2580.3160: Makespan 418
c 2583.1920: Makespan 419
c 2583.8320: Makespan 420
c 2584.5030: Makespan 421
c 2585.1250: Makespan 422
c 2585.9380: Makespan 423
c 2586.3150: Makespan 424
c 2586.8100: Makespan 425
c 2587.5090: Makespan 426
c 2587.9150: Makespan 427
c 2588.3450: Makespan 428
c 2588.6640: Makespan 429
c 2589.1170: Makespan 430
c 2590.7820: Makespan 431
c 2624.7660: Makespan 432
c 2627.9270: Makespan 433
c 2629.5210: Makespan 434
c 2630.3810: Makespan 435
c 2631.5710: Makespan 436
c 2632.6730: Makespan 437
c 2633.5390: Makespan 438
c 2634.3100: Makespan 439
c 2635.6200: Makespan 440
c 2636.8500: Makespan 441
c 2637.2860: Makespan 442
c 2638.9120: Makespan 443
c 2639.6950: Makespan 444
c 2641.2500: Makespan 445
c 2642.4560: Makespan 446
c 2644.2440: Makespan 447
c 2644.9860: Makespan 448
c 2646.9040: Makespan 449
c 2648.6450: Makespan 450
c 2649.2780: Makespan 451
c 2651.3160: Makespan 452
c 2653.6540: Makespan 453
c 2654.5430: Makespan 454
c 2656.2890: Makespan 455
c 2656.9660: Makespan 456
c 2658.6460: Makespan 457
c 2659.2330: Makespan 458
c 2660.9810: Makespan 459
c 2662.5380: Makespan 460
c 2663.8690: Makespan 461
c 2664.9490: Makespan 462
c 2666.3310: Makespan 463
c 2667.3290: Makespan 464
c 2668.4460: Makespan 465
c 2669.4460: Makespan 466
c 2671.3300: Makespan 467
c 2711.1000: Makespan 468
c 2714.9240: Makespan 469
c 2717.1720: Makespan 470
c 2718.9450: Makespan 471
c 2720.3060: Makespan 472
c 2721.4860: Makespan 473
c 2722.5330: Makespan 474
c 2723.4040: Makespan 475
c 3371.8880: Makespan 476
c 3374.3360: Makespan 477
c 3375.7470: Makespan 478
c 3376.5910: Makespan 479
c 3378.9010: Makespan 480
c 3379.9210: Makespan 481
c 3382.2140: Makespan 482
c 3383.9970: Makespan 483
c 3384.8740: Makespan 484
c 3386.6620: Makespan 485
c 3569.8850: Makespan 486
c 3572.9600: Makespan 487
c 3573.6960: Makespan 488
c 3574.2580: Makespan 489
c 3575.7820: Makespan 490
c 3577.8030: Makespan 491
c 3578.5850: Makespan 492
c 3579.3580: Makespan 493
c 3580.1160: Makespan 494
c 3580.7240: Makespan 495
c 3581.2550: Makespan 496
c 3582.5480: Makespan 497
c 3583.3950: Makespan 498
c 3584.0880: Makespan 499
c 3585.1570: Makespan 500
c 3586.3960: Makespan 501
c 3588.4200: Makespan 502
c 3590.2580: Makespan 503
c 3592.2210: Makespan 504
c 3594.5040: Makespan 505
c 3641.8220: Makespan 506
c 3644.1120: Makespan 507
c 3645.6300: Makespan 508
c 3647.4460: Makespan 509
c 3649.1070: Makespan 510
c 3650.1400: Makespan 511
c 3650.6220: Makespan 512
c 3651.7010: Makespan 513
c 3652.4600: Makespan 514
c 3654.6220: Makespan 515
c 3655.9240: Makespan 516
c 3656.7190: Makespan 517
c 3658.5820: Makespan 518
c 3660.4630: Makespan 519
c 3661.2700: Makespan 520
c 3662.5670: Makespan 521
c 3663.2060: Makespan 522
c 3663.8280: Makespan 523
c 3665.9470: Makespan 524
c 3666.8760: Makespan 525
c 3667.9320: Makespan 526
c 3668.3770: Makespan 527
c 3669.2280: Makespan 528
c 3670.8920: Makespan 529
c 3672.2210: Makespan 530
c 3672.8790: Makespan 531
c 3675.7620: Makespan 532
c 3678.0820: Makespan 533
c 3680.1200: Makespan 534
c 3682.0840: Makespan 535
c 3683.5860: Makespan 536
c 3686.2640: Makespan 537
c 4589.4700: Makespan 538
c 4591.4310: Makespan 539
c 4593.8350: Makespan 540
c 4595.7060: Makespan 541
c 4597.3130: Makespan 542
c 4598.4430: Makespan 543
c 4599.5020: Makespan 544
c 4601.2150: Makespan 545
c 4657.8550: Makespan 546
c 4661.3810: Makespan 547
c 4663.3060: Makespan 548
c 4664.6020: Makespan 549
c 4665.8980: Makespan 550
c 4667.5960: Makespan 551
c 4669.8180: Makespan 552
c 4671.6840: Makespan 553
c 4673.8670: Makespan 554
c 4675.6950: Makespan 555
c 4677.3770: Makespan 556
c 4678.5770: Makespan 557
c 4920.9950: Makespan 558
c 4924.3010: Makespan 559
c 4925.5090: Makespan 560
c 4926.9360: Makespan 561
c 4927.9960: Makespan 562
c 4929.3510: Makespan 563
c 4930.8070: Makespan 564
c 4932.3600: Makespan 565
c 4933.9060: Makespan 566
c 4935.8760: Makespan 567
c 4937.6560: Makespan 568
c 4939.3900: Makespan 569
c 4940.5540: Makespan 570
c 4942.5810: Makespan 571
c 4944.3750: Makespan 572
c 4946.2670: Makespan 573
c 4948.0380: Makespan 574
c 4949.1160: Makespan 575
c 4950.9860: Makespan 576
c 4952.4180: Makespan 577
c 4954.0480: Makespan 578
c 4955.5520: Makespan 579
c 4957.0690: Makespan 580
c 4958.4750: Makespan 581
c 4960.0000: Makespan 582
c 4961.0470: Makespan 583
c 4962.4790: Makespan 584
c 4964.1170: Makespan 585
c array.sh: end:      Fri 27 May 2022 04:37:42 PM CEST
s 3 69 154 223
t 3 39 186 238
a YES
a 3 69 154 223
a 3 88 154 223
a 3 88 154 226
a 3 69 88 154
a 69 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 3 39 186 238