#BEGIN: [Fri Sep  1 02:35:49 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/miles1000.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/miles1000_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/miles1000.col /benchmark/2022benchmark/benchmark/color04/miles1000_02.dat
c /benchmark/2022benchmark/benchmark/color04/miles1000.col
c /benchmark/2022benchmark/benchmark/color04/miles1000_02.dat
s 14 15 17 22 34 106 119 
t 8 22 48 60 85 119 121
a YES
a 14 15 17 22 34 106 119
a 12 14 15 17 22 34 106
a 14 15 17 22 34 55 106
a 14 15 22 34 55 85 106
a 14 22 34 55 77 85 106
a 14 22 34 77 85 106 119
a 14 32 34 77 85 106 119
a 14 32 34 42 77 106 119
a 14 15 32 34 42 106 119
a 7 15 32 34 42 106 119
a 7 15 32 34 85 106 119
a 7 11 15 32 34 106 119
a 8 11 15 32 34 106 119
a 8 11 15 32 34 60 119
a 8 15 17 32 34 60 119
a 8 17 22 32 34 60 119
a 8 11 22 32 34 60 119
a 11 22 32 34 60 100 119
a 17 22 32 34 60 100 119
a 22 32 34 60 100 119 124
a 22 32 34 60 77 100 119
a 22 32 42 60 77 100 119
a 32 34 42 60 77 100 119
a 15 32 34 42 60 100 119
a 15 32 34 42 95 100 119
a 15 32 34 42 100 106 119
a 15 32 42 61 100 106 119
a 15 32 34 61 100 106 119
a 15 32 34 61 85 106 119
a 6 15 32 34 61 85 119
a 6 15 17 32 34 61 119
a 6 17 32 34 61 100 119
a 6 17 18 32 61 100 119
a 6 17 18 32 34 100 119
a 6 18 32 34 100 118 119
a 6 18 22 32 34 100 119
a 6 18 22 32 34 43 119
a 6 18 32 34 43 61 119
a 6 18 32 34 61 100 119
a 18 32 34 61 95 100 119
a 15 32 34 61 95 100 119
a 15 32 34 60 61 100 119
a 15 32 34 60 100 118 119
a 11 15 32 34 60 100 119
a 11 15 32 34 36 100 119
a 11 14 15 32 34 36 119
a 11 14 15 32 34 36 95
a 14 15 32 34 36 95 119
a 14 15 32 34 36 85 119
a 15 32 34 36 85 100 119
a 6 15 32 34 36 100 119
a 15 32 34 36 71 100 119
a 15 32 34 36 60 100 119
a 32 34 36 54 60 100 119
a 32 34 42 54 60 100 119
a 32 34 42 54 71 100 119
a 32 34 42 54 71 118 119
a 32 34 42 71 77 118 119
a 32 34 42 77 100 118 119
a 32 34 77 85 100 118 119
a 32 34 60 77 85 100 119
a 6 32 34 77 85 100 119
a 6 32 77 85 100 118 119
a 6 32 42 77 100 118 119
a 32 42 60 77 100 118 119
a 32 34 42 60 100 118 119
a 32 34 59 60 100 118 119
a 32 34 59 60 82 100 119
a 32 34 60 77 82 100 119
a 32 60 77 82 85 100 119
a 6 32 77 82 85 100 119
a 6 32 54 82 85 100 119
a 6 17 32 54 82 100 119
a 6 17 32 54 61 100 119
a 6 17 32 36 54 100 119
a 6 15 17 32 36 100 119
a 6 17 32 34 36 100 119
a 6 11 32 34 36 100 119
a 6 11 32 34 82 100 119
a 6 11 22 32 34 100 119
a 6 22 32 34 85 100 119
a 6 22 29 34 85 100 119
a 6 11 22 29 34 100 119
a 6 11 15 22 34 100 119
a 11 15 22 34 100 106 119
a 11 15 22 32 100 106 119
a 11 15 22 32 34 106 119
a 11 22 32 34 54 106 119
a 22 32 34 54 59 106 119
a 32 34 54 59 100 106 119
a 32 34 54 59 71 100 119
a 32 34 54 59 82 100 119
a 32 34 54 59 95 100 119
a 11 32 34 54 95 100 119
a 11 32 34 41 54 100 119
a 11 32 34 41 54 95 100
a 11 32 34 41 95 100 119
a 11 32 34 82 95 100 119
a 32 34 42 82 95 100 119
a 32 34 42 82 100 106 119
a 32 34 42 77 82 100 119
a 32 34 77 82 85 100 119
a 32 34 61 77 85 100 119
a 32 34 61 77 100 106 119
a 11 32 34 61 77 106 119
a 11 14 32 34 77 106 119
a 11 14 32 34 54 106 119
a 11 14 22 32 34 106 119
a 11 14 22 32 34 54 119
a 11 14 22 34 54 96 119
a 14 22 34 54 85 96 119
a 13 14 22 34 54 85 119
a 13 14 22 32 34 54 85
a 13 22 32 34 43 54 85
a 13 22 32 34 43 77 85
a 13 22 34 43 77 85 119
a 13 17 22 34 43 77 119
a 17 22 34 43 77 95 119
a 22 34 43 77 85 95 119
a 22 32 34 43 77 85 95
a 22 32 34 43 77 85 119
a 22 32 34 77 85 100 119
a 6 22 32 77 85 100 119
a 6 22 34 77 85 100 119
a 6 22 34 54 85 100 119
a 6 32 34 54 85 100 119
a 6 32 34 54 100 118 119
a 6 32 34 54 86 100 119
a 32 34 54 60 86 100 119
a 32 34 54 59 60 100 119
a 32 34 54 59 60 86 100
a 32 34 54 60 85 86 100
a 34 54 60 85 86 100 119
a 32 34 54 60 85 100 119
a 32 34 60 85 86 100 119
a 32 34 60 85 100 118 119
a 32 34 54 60 85 100 118
a 32 34 42 54 60 100 118
a 32 34 42 54 100 118 119
a 32 34 54 60 100 118 119
a 34 42 54 60 100 118 119
a 34 42 54 60 86 100 119
a 34 42 60 77 86 100 119
a 34 42 60 61 77 100 119
a 11 34 60 61 77 100 119
a 11 34 54 60 61 100 119
a 11 32 34 54 60 100 119
a 11 32 34 54 71 100 119
a 11 32 34 54 82 100 119
a 6 11 34 54 82 100 119
a 6 34 54 59 82 100 119
a 6 32 34 54 59 82 119
a 6 32 34 54 59 82 100
a 6 32 34 42 54 82 100
a 6 32 34 54 82 100 119
a 6 17 32 34 54 82 100
a 6 17 32 34 77 82 100
a 6 17 32 34 36 77 100
a 6 32 34 36 77 85 100
a 32 34 36 77 85 95 100
a 11 32 34 36 77 95 100
a 11 32 34 36 95 100 119
a 11 32 34 61 95 100 119
a 11 32 34 60 61 100 119
a 11 32 34 60 61 77 100
a 11 32 34 61 77 100 119
a 32 34 42 61 77 100 119
a 32 34 42 71 77 100 119
a 32 34 42 77 95 100 119
a 32 34 42 61 95 100 119
a 15 34 42 61 95 100 119
a 11 15 34 61 95 100 119
a 11 15 32 34 61 100 119
a 15 17 32 34 61 100 119
a 17 32 34 54 61 100 119
a 6 32 34 54 61 100 119
a 6 17 32 34 54 61 119
a 6 17 26 32 34 61 119
a 6 17 26 32 34 61 100
a 17 26 32 34 61 100 119
a 17 26 32 34 36 100 119
a 17 26 32 34 36 71 119
a 17 32 34 36 71 100 119
a 32 34 36 71 77 100 119
a 32 34 36 42 77 100 119
a 14 32 34 36 42 77 119
a 6 14 32 34 36 42 119
a 6 14 32 36 42 77 119
a 6 14 32 36 77 85 119
a 6 32 36 77 85 100 119
a 6 15 32 36 85 100 119
a 6 15 34 36 85 100 119
a 6 34 36 77 85 100 119
a 34 36 60 77 85 100 119
a 17 34 36 60 77 100 119
a 17 34 60 77 82 100 119
a 17 34 77 82 100 106 119
a 17 34 41 77 100 106 119
a 14 17 34 41 77 106 119
a 17 32 34 41 77 106 119
a 17 32 34 77 82 106 119
a 17 32 34 77 100 106 119
a 32 34 77 85 100 106 119
a 32 34 77 85 95 100 119
a 32 34 41 77 85 95 119
a 32 34 41 77 95 100 119
a 17 32 34 41 77 100 119
a 17 32 41 77 100 106 119
a 17 32 36 77 100 106 119
a 17 34 36 77 100 106 119
a 17 34 61 77 100 106 119
a 17 32 34 61 77 100 106
a 17 32 34 61 77 100 119
a 17 32 34 61 100 106 119
a 32 34 61 85 100 106 119
a 14 32 34 61 85 106 119
a 14 32 34 41 85 106 119
a 14 32 34 41 59 106 119
a 14 17 32 34 41 106 119
a 17 32 34 41 100 106 119
a 32 34 41 42 100 106 119
a 32 34 42 61 100 106 119
a 15 32 34 42 61 100 119
a 6 32 34 42 61 100 119
a 6 32 34 42 54 100 119
a 6 32 34 42 100 118 119
a 6 32 34 42 77 118 119
a 6 32 34 42 61 77 119
a 32 34 42 60 61 77 119
a 32 34 42 54 60 61 119
a 32 34 42 60 61 100 119
a 14 32 34 42 60 61 119
a 32 34 42 43 60 61 119
a 15 32 34 42 43 60 119
a 15 32 34 42 43 60 61
a 15 32 34 42 60 61 100
a 14 15 32 34 42 60 61
a 14 15 34 42 60 61 119
a 14 34 42 54 60 61 119
a 14 32 34 54 60 61 119
a 14 32 34 60 61 119 124
a 14 32 34 61 95 119 124
a 32 34 61 95 100 119 124
a 32 34 60 61 100 119 124
a 17 32 34 60 100 119 124
a 17 32 34 54 60 100 119
a 17 32 34 54 100 106 119
a 11 32 34 54 100 106 119
a 11 32 34 54 100 118 119
a 11 32 34 54 106 118 119
a 11 15 32 34 106 118 119
a 11 15 32 34 100 106 119
a 15 32 34 85 100 106 119
a 14 15 32 34 85 106 119
a 14 32 34 54 85 106 119
a 14 32 34 42 54 106 119
a 14 17 32 34 54 106 119
a 17 32 34 41 54 106 119
a 32 34 41 54 100 106 119
a 32 34 41 42 54 106 119
a 32 34 41 54 85 106 119
a 32 34 54 85 100 106 119
a 32 34 41 54 85 100 119
a 14 32 34 41 54 85 119
a 14 32 34 41 42 54 119
a 32 34 41 42 54 100 119
a 32 34 41 42 77 100 119
a 15 32 34 41 42 100 119
a 15 32 41 42 100 106 119
a 32 41 42 54 100 106 119
a 14 32 41 42 54 106 119
a 14 32 41 42 54 95 119
a 32 34 41 42 54 95 119
a 32 34 41 54 95 100 119
a 17 34 41 54 95 100 119
a 17 32 34 41 54 95 100
a 17 32 34 41 95 100 119
a 17 32 34 77 95 100 119
a 17 32 34 71 77 100 119
a 14 17 32 34 71 77 119
a 14 32 34 71 77 85 119
a 32 34 71 77 85 118 119
a 32 34 71 77 85 100 119
a 22 32 34 71 85 100 119
a 14 22 32 34 71 85 119
a 14 22 32 34 54 71 119
a 22 32 34 54 71 100 119
a 22 32 34 59 71 100 119
a 32 34 59 71 82 100 119
a 15 32 34 71 82 100 119
a 15 32 34 82 95 100 119
a 32 34 82 95 100 119 124
a 32 34 41 95 100 119 124
a 32 34 41 100 106 119 124
a 17 32 34 41 100 119 124
a 17 32 34 40 41 100 119
a 17 32 40 41 95 100 119
a 32 34 40 41 95 100 119
a 32 34 36 40 95 100 119
a 21 32 34 36 95 100 119
a 21 32 34 36 43 95 119
a 17 32 34 36 43 95 119
a 13 17 32 34 36 43 119
a 17 32 34 36 43 77 119
a 32 34 36 43 77 106 119
a 32 34 36 77 100 106 119
a 32 34 36 76 77 106 119
a 32 34 36 76 77 85 119
a 32 34 36 60 77 85 119
a 8 32 34 60 77 85 119
a 8 22 32 60 77 85 119
a 8 22 60 77 85 119 121
a 8 22 48 60 85 119 121
c Step: 312
#END: [Fri Sep  1 02:47:17 2023]