c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.5.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.5_01.dat
c array.sh: name:     DSJR500.5_01
c array.sh: task:     29
c array.sh: host:     c3n32
c array.sh: uname:    Linux c3n32 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:20:04 PM CEST
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0730: solving longest 21950178-29-DSJR500_5_01
c 0.0740: Upper bound on solution length 1000000000
c 0.0740: Makespan 1
c 0.0940: Makespan 2
c 0.1170: Found solution, length 3
c 0.1180: Makespan 3
c 0.1430: Found solution, length 4
c 0.1440: Makespan 4
c 0.1730: Found solution, length 5
c 0.1750: Makespan 5
c 0.2140: Found solution, length 6
c 0.2150: Makespan 6
c 0.2610: Found solution, length 7
c 0.2630: Makespan 7
c 0.3000: Found solution, length 8
c 0.3010: Makespan 8
c 0.3530: Found solution, length 9
c 0.3540: Makespan 9
c 0.5510: Found solution, length 10
c 0.5520: Makespan 10
c 0.6250: Found solution, length 11
c 0.6270: Makespan 11
c 0.6720: Found solution, length 12
c 0.6730: Makespan 12
c 0.7240: Found solution, length 13
c 0.7260: Makespan 13
c 0.7880: Found solution, length 14
c 0.7900: Makespan 14
c 0.8470: Found solution, length 15
c 0.8490: Makespan 15
c 0.9190: Found solution, length 16
c 0.9210: Makespan 16
c 2852.7320: Makespan 17
c array.sh: end:      Fri 27 May 2022 04:43:24 PM CEST
s 17 27 326 329 454 464 495
t 27 79 148 326 329 464 495
a YES
a 17 27 326 329 454 464 495
a 27 148 326 329 454 464 495
a 27 47 148 326 329 464 495
a 27 89 148 326 329 464 495
a 27 148 238 326 329 464 495
a 17 27 238 326 329 464 495
a 17 27 47 326 329 464 495
a 17 27 55 326 329 464 495
a 17 27 89 326 329 464 495
a 17 27 167 326 329 464 495
a 27 148 167 326 329 464 495
a 27 55 148 326 329 464 495
a 27 38 148 326 329 464 495
a 17 27 38 326 329 464 495
a 17 27 79 326 329 464 495
a 27 79 148 326 329 464 495