c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.5.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJC500.5_02.dat
c array.sh: name:     DSJC500.5_02
c array.sh: task:     22
c array.sh: host:     c3n01
c array.sh: uname:    Linux c3n01 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:31 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.1190: solving longest 21950178-22-DSJC500_5_02
c 0.1200: Upper bound on solution length 1000000000
c 0.1200: Makespan 1
c 0.1410: Found solution, length 2
c 0.1420: Makespan 2
c 0.1680: Found solution, length 3
c 0.1690: Makespan 3
c 0.1990: Found solution, length 4
c 0.2000: Makespan 4
c 0.2310: Found solution, length 5
c 0.2320: Makespan 5
c 0.2720: Found solution, length 6
c 0.2730: Makespan 6
c 0.3070: Found solution, length 7
c 0.3090: Makespan 7
c 0.3590: Found solution, length 8
c 0.3610: Makespan 8
c 0.4160: Found solution, length 9
c 0.4170: Makespan 9
c 0.4660: Found solution, length 10
c 0.4670: Makespan 10
c 0.5230: Found solution, length 11
c 0.5250: Makespan 11
c 0.5700: Found solution, length 12
c 0.5710: Makespan 12
c 0.7410: Found solution, length 13
c 0.7420: Makespan 13
c 0.8610: Found solution, length 14
c 0.8630: Makespan 14
c 1.2000: Found solution, length 15
c 1.2020: Makespan 15
c 1.5230: Found solution, length 16
c 1.5250: Makespan 16
c 1.7430: Found solution, length 17
c 1.7450: Makespan 17
c 2.3690: Found solution, length 18
c 2.3710: Makespan 18
c 3.3460: Found solution, length 19
c 3.3480: Makespan 19
c 3.8670: Found solution, length 20
c 3.8690: Makespan 20
c 4.0130: Found solution, length 21
c 4.0150: Makespan 21
c 4.1970: Found solution, length 22
c 4.1990: Makespan 22
c 4.3100: Found solution, length 23
c 4.3130: Makespan 23
c 4.4160: Found solution, length 24
c 4.4190: Makespan 24
c 9.7560: Found solution, length 25
c 9.7580: Makespan 25
c 9.9490: Found solution, length 26
c 9.9510: Makespan 26
c 13.3700: Found solution, length 27
c 13.3730: Makespan 27
c 13.5680: Found solution, length 28
c 13.5710: Makespan 28
c 23.4170: Found solution, length 29
c 23.4200: Makespan 29
c 23.8720: Found solution, length 30
c 23.8760: Makespan 30
c 49.2240: Found solution, length 31
c 49.2270: Makespan 31
c 117.8840: Found solution, length 32
c 117.8880: Makespan 32
c 156.2300: Found solution, length 33
c 156.2340: Makespan 33
c 426.5880: Found solution, length 34
c 426.5930: Makespan 34
c 614.6610: Found solution, length 35
c 614.6660: Makespan 35
c 669.3290: Found solution, length 36
c 669.3330: Makespan 36
c 1051.9240: Found solution, length 37
c 1051.9290: Makespan 37
c 1069.2900: Found solution, length 38
c 1069.2950: Makespan 38
c array.sh: end:      Fri 27 May 2022 04:37:51 PM CEST
s 3 7 87 109 150 159 192 226 319 381 405 480
t 3 7 109 137 150 159 192 226 319 381 405 480
a YES
a 3 7 87 109 150 159 192 226 319 381 405 480
a 7 87 109 150 159 192 226 319 381 405 461 480
a 7 87 109 150 159 192 319 374 381 405 461 480
a 3 7 87 150 159 192 319 374 381 405 461 480
a 3 7 87 150 159 192 226 319 381 405 461 480
a 3 7 87 109 150 159 192 226 319 405 461 480
a 3 7 87 109 150 192 226 319 381 405 461 480
a 3 7 87 109 150 159 192 226 381 405 461 480
a 3 7 87 109 150 159 192 319 381 405 461 480
a 3 7 87 109 150 159 192 319 374 381 461 480
a 3 7 87 109 150 192 319 374 381 405 461 480
a 3 7 87 109 150 159 192 319 374 381 405 461
a 3 7 109 150 159 192 193 319 374 381 405 461
a 3 7 109 137 150 159 192 193 319 374 381 405
a 3 7 109 137 150 159 192 193 226 319 381 405
a 3 22 109 137 150 159 192 193 226 319 381 405
a 3 22 109 137 150 159 192 193 319 374 381 405
a 3 22 137 150 159 192 193 234 319 374 381 405
a 3 22 150 159 192 193 234 319 374 381 405 461
a 3 22 109 150 159 192 193 319 374 381 405 461
a 3 22 109 150 159 192 193 226 319 381 405 461
a 3 7 109 150 159 192 193 226 319 381 405 461
a 3 7 87 109 150 159 192 226 319 381 405 461
a 3 7 87 109 150 159 226 319 381 405 461 480
a 3 7 87 109 150 159 192 226 319 381 461 480
a 3 7 109 150 159 192 226 271 319 381 461 480
a 3 7 109 150 159 192 226 319 381 405 461 480
a 3 7 87 109 159 192 226 319 381 405 461 480
a 3 87 109 150 159 192 226 319 381 405 461 480
a 3 87 109 150 159 192 319 374 381 405 461 480
a 3 7 87 109 159 192 319 374 381 405 461 480
a 3 7 87 109 150 159 192 319 374 405 461 480
a 3 7 87 109 150 159 192 374 381 405 461 480
a 3 7 87 109 150 159 192 319 374 381 405 480
a 3 7 87 109 150 159 319 374 381 405 461 480
a 3 7 109 150 159 192 319 374 381 405 461 480
a 3 7 109 137 150 159 192 319 374 381 405 480
a 3 7 109 137 150 159 192 226 319 381 405 480