c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC125.9.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC125.9_02.dat
c array.sh: name:     DSJC125.9_02
c array.sh: task:     12
c array.sh: host:     c3n02
c array.sh: uname:    Linux c3n02 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:04 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0150: solving longest 21950178-12-DSJC125_9_02
c 0.0150: Upper bound on solution length 317750
c 0.0150: Makespan 1
c 0.0200: Makespan 2
c 0.0260: Makespan 3
c 0.0320: Makespan 4
c 0.0420: Makespan 5
c 0.0580: Makespan 6
c 0.0840: Makespan 7
c 0.1170: Makespan 8
c 0.1320: Found solution, length 9
c 0.1330: Makespan 9
c 0.1810: Found solution, length 10
c 0.1820: Makespan 10
c 0.1920: Found solution, length 11
c 0.1930: Makespan 11
c 0.2710: Found solution, length 12
c 0.2720: Makespan 12
c 0.2840: Found solution, length 13
c 0.2850: Makespan 13
c 0.3060: Found solution, length 14
c 0.3070: Makespan 14
c 0.3800: Found solution, length 15
c 0.3810: Makespan 15
c 0.6470: Found solution, length 16
c 0.6480: Makespan 16
c 0.7780: Found solution, length 17
c 0.7790: Makespan 17
c 1.0080: Found solution, length 18
c 1.0090: Makespan 18
c 1.0450: Found solution, length 19
c 1.0460: Makespan 19
c 1.0600: Found solution, length 20
c 1.0610: Makespan 20
c 1.0850: Found solution, length 21
c 1.0860: Makespan 21
c 1.1520: Found solution, length 22
c 1.1540: Makespan 22
c 1.7660: Found solution, length 23
c 1.7670: Makespan 23
c 1.8090: Found solution, length 24
c 1.8110: Makespan 24
c 2.0440: Found solution, length 25
c 2.0450: Makespan 25
c 2.1090: Found solution, length 26
c 2.1110: Makespan 26
c 2.2860: Found solution, length 27
c 2.2880: Makespan 27
c 2.7510: Found solution, length 28
c 2.7530: Makespan 28
c 4.1080: Found solution, length 29
c 4.1100: Makespan 29
c 4.5410: Found solution, length 30
c 4.5430: Makespan 30
c 5.0800: Found solution, length 31
c 5.0830: Makespan 31
c 5.2060: Found solution, length 32
c 5.2080: Makespan 32
c 5.2520: Found solution, length 33
c 5.2540: Makespan 33
c 6.0370: Found solution, length 34
c 6.0380: Makespan 34
c 7.6860: Found solution, length 35
c 7.6880: Makespan 35
c 7.8230: Found solution, length 36
c 7.8250: Makespan 36
c 7.8980: Found solution, length 37
c 7.9010: Makespan 37
c 7.9440: Found solution, length 38
c 7.9460: Makespan 38
c 15.0130: Found solution, length 39
c 15.0170: Makespan 39
c 15.7390: Found solution, length 40
c 15.7410: Makespan 40
c 15.8160: Found solution, length 41
c 15.8190: Makespan 41
c 15.8830: Found solution, length 42
c 15.8850: Makespan 42
c 20.0700: Found solution, length 43
c 20.0720: Makespan 43
c 23.3430: Found solution, length 44
c 23.3450: Makespan 44
c 23.4330: Found solution, length 45
c 23.4360: Makespan 45
c 23.5100: Found solution, length 46
c 23.5130: Makespan 46
c 23.6380: Found solution, length 47
c 23.6400: Makespan 47
c 32.7860: Found solution, length 48
c 32.7890: Makespan 48
c 32.8990: Found solution, length 49
c 32.9020: Makespan 49
c 34.5670: Found solution, length 50
c 34.5700: Makespan 50
c 34.7110: Found solution, length 51
c 34.7140: Makespan 51
c 35.0730: Found solution, length 52
c 35.0760: Makespan 52
c 35.3920: Found solution, length 53
c 35.3950: Makespan 53
c 39.1490: Found solution, length 54
c 39.1520: Makespan 54
c 40.7770: Found solution, length 55
c 40.7800: Makespan 55
c 57.3520: Found solution, length 56
c 57.3550: Makespan 56
c 57.5960: Found solution, length 57
c 57.5990: Makespan 57
c 62.3740: Found solution, length 58
c 62.3780: Makespan 58
c 62.5070: Found solution, length 59
c 62.5100: Makespan 59
c 73.0140: Found solution, length 60
c 73.0180: Makespan 60
c 96.4540: Found solution, length 61
c 96.4570: Makespan 61
c 116.2690: Found solution, length 62
c 116.2720: Makespan 62
c 116.4300: Found solution, length 63
c 116.4330: Makespan 63
c 124.0700: Found solution, length 64
c 124.0740: Makespan 64
c 131.4590: Found solution, length 65
c 131.4630: Makespan 65
c 138.1400: Found solution, length 66
c 138.1450: Makespan 66
c 149.1230: Found solution, length 67
c 149.1270: Makespan 67
c 161.8020: Found solution, length 68
c 161.8060: Makespan 68
c 168.1490: Found solution, length 69
c 168.1530: Makespan 69
c 168.5700: Found solution, length 70
c 168.5740: Makespan 70
c 168.9030: Found solution, length 71
c 168.9070: Makespan 71
c 229.1450: Found solution, length 72
c 229.1500: Makespan 72
c 307.1250: Found solution, length 73
c 307.1300: Makespan 73
c 312.5620: Found solution, length 74
c 312.5670: Makespan 74
c 314.3280: Found solution, length 75
c 314.3330: Makespan 75
c 314.6240: Found solution, length 76
c 314.6290: Makespan 76
c 417.4180: Found solution, length 77
c 417.4230: Makespan 77
c 419.4440: Found solution, length 78
c 419.4490: Makespan 78
c 425.2870: Found solution, length 79
c 425.2920: Makespan 79
c 425.5470: Found solution, length 80
c 425.5520: Makespan 80
c 449.2160: Found solution, length 81
c 449.2210: Makespan 81
c 564.4400: Found solution, length 82
c 564.4470: Makespan 82
c 564.7400: Found solution, length 83
c 564.7450: Makespan 83
c 679.7610: Found solution, length 84
c 679.7670: Makespan 84
c 681.5180: Found solution, length 85
c 681.5230: Makespan 85
c 723.9590: Found solution, length 86
c 723.9640: Makespan 86
c 733.9910: Found solution, length 87
c 733.9970: Makespan 87
c 880.9370: Found solution, length 88
c 880.9450: Makespan 88
c 972.8280: Found solution, length 89
c 972.8340: Makespan 89
c 1135.3870: Found solution, length 90
c 1135.3920: Makespan 90
c 1135.8360: Found solution, length 91
c 1135.8410: Makespan 91
c 1136.1270: Found solution, length 92
c 1136.1320: Makespan 92
c 1167.0940: Found solution, length 93
c 1167.1000: Makespan 93
c 1167.5170: Found solution, length 94
c 1167.5230: Makespan 94
c 1199.4650: Found solution, length 95
c 1199.4710: Makespan 95
c 1339.0030: Found solution, length 96
c 1339.0090: Makespan 96
c 1370.4140: Found solution, length 97
c 1370.4210: Makespan 97
c 1484.4670: Found solution, length 98
c 1484.4730: Makespan 98
c 1607.0790: Found solution, length 99
c 1607.0860: Makespan 99
c 1615.7530: Found solution, length 100
c 1615.7600: Makespan 100
c 1654.7880: Found solution, length 101
c 1654.7950: Makespan 101
c 1903.4560: Found solution, length 102
c 1903.4640: Makespan 102
c 1904.1920: Found solution, length 103
c 1904.1980: Makespan 103
c 1934.0660: Found solution, length 104
c 1934.0730: Makespan 104
c 1935.2690: Found solution, length 105
c 1935.2760: Makespan 105
c 1959.5290: Found solution, length 106
c 1959.5360: Makespan 106
c 2088.5910: Found solution, length 107
c 2088.5980: Makespan 107
c 2141.2400: Found solution, length 108
c 2141.2480: Makespan 108
c 2238.2310: Found solution, length 109
c 2238.2380: Makespan 109
c 2238.8700: Found solution, length 110
c 2238.8780: Makespan 110
c 2448.3800: Found solution, length 111
c 2448.3870: Makespan 111
c 2537.7320: Found solution, length 112
c 2537.7400: Makespan 112
c 2637.7920: Found solution, length 113
c 2637.7990: Makespan 113
c 2785.7960: Found solution, length 114
c 2785.8030: Makespan 114
c 3397.2130: Found solution, length 115
c 3397.2210: Makespan 115
c 3966.9180: Found solution, length 116
c 3966.9280: Makespan 116
c 4002.6010: Found solution, length 117
c 4002.6090: Makespan 117
c 4186.3850: Found solution, length 118
c 4186.3930: Makespan 118
c 4417.0730: Found solution, length 119
c 4417.0810: Makespan 119
c 4622.4900: Found solution, length 120
c 4622.4980: Makespan 120
c 4669.9710: Found solution, length 121
c 4669.9790: Makespan 121
c 4731.7950: Found solution, length 122
c 4731.8030: Makespan 122
c 4895.5640: Found solution, length 123
c 4895.5730: Makespan 123
c array.sh: end:      Fri 27 May 2022 04:37:24 PM CEST
s 30 90 125
t 20 85 109
a YES
a 30 90 125
a 30 58 90
a 30 88 90
a 43 88 90
a 43 90 125
a 73 90 125
a 51 90 125
a 30 51 90
a 30 51 125
a 17 51 125
a 17 41 125
a 17 120 125
a 17 46 120
a 17 46 91
a 46 78 91
a 46 47 91
a 46 47 64
a 46 47 50
a 7 47 50
a 7 47 80
a 47 80 118
a 80 104 118
a 75 80 104
a 80 97 104
a 80 87 97
a 80 97 114
a 28 97 114
a 26 28 97
a 26 60 97
a 8 26 97
a 8 53 97
a 8 53 67
a 8 53 104
a 8 97 104
a 53 97 104
a 53 97 115
a 97 114 115
a 80 97 115
a 80 115 118
a 44 115 118
a 18 44 118
a 18 44 116
a 18 44 59
a 23 44 59
a 5 23 44
a 5 23 103
a 23 33 103
a 5 23 33
a 5 33 63
a 5 63 103
a 62 63 103
a 62 63 117
a 63 98 117
a 4 63 117
a 4 15 117
a 15 72 117
a 15 72 96
a 24 72 96
a 21 24 96
a 19 21 96
a 21 64 96
a 21 34 64
a 2 21 64
a 2 35 64
a 14 35 64
a 14 35 52
a 35 52 105
a 10 35 105
a 10 100 105
a 98 100 105
a 5 98 100
a 5 63 98
a 5 63 75
a 5 75 106
a 5 94 106
a 5 27 94
a 5 27 45
a 27 45 55
a 36 45 55
a 20 36 45
a 20 45 79
a 20 45 124
a 17 45 124
a 17 124 125
a 55 124 125
a 45 55 124
a 25 45 55
a 25 31 55
a 24 25 31
a 24 25 45
a 25 45 86
a 25 45 91
a 25 47 91
a 25 47 60
a 13 25 60
a 13 60 62
a 60 62 103
a 54 62 103
a 33 54 103
a 5 33 103
a 5 33 64
a 5 64 77
a 64 71 77
a 42 64 77
a 14 42 64
a 14 35 42
a 2 35 42
a 35 42 64
a 42 64 93
a 2 64 93
a 2 51 93
a 2 42 93
a 2 42 64
a 42 64 109
a 42 63 109
a 42 85 109
a 38 42 85
a 12 38 42
a 12 38 125
a 38 85 125
a 38 85 119
a 20 85 119
a 20 85 109