#BEGIN: [Thu Aug 31 06:49:00 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/miles1000.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/miles1000_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/miles1000.col /benchmark/2022benchmark/benchmark/color04/miles1000_01.dat
c /benchmark/2022benchmark/benchmark/color04/miles1000.col
c /benchmark/2022benchmark/benchmark/color04/miles1000_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6ed710508229d25036280a1809ff985fed4c2f03ae692f5b6bc3cccb09a61799
s 14 15 17 22 32 34 106 119 
t 8 11 22 32 34 54 106 119
a YES
a 14 15 17 22 32 34 106 119
a 11 14 15 22 32 34 106 119
a 6 11 14 15 22 32 34 119
a 6 11 15 22 32 34 43 119
a 6 11 22 32 34 43 54 119
a 6 11 14 22 32 34 54 119
a 6 11 22 32 34 54 100 119
a 6 11 32 34 54 61 100 119
a 6 11 14 32 34 54 61 119
a 6 11 14 32 34 36 54 119
a 6 14 32 34 36 54 59 119
a 14 32 34 36 54 59 106 119
a 11 14 32 34 36 54 106 119
a 11 14 22 32 34 54 106 119
a 14 17 22 32 34 54 106 119
a 14 17 22 32 34 77 106 119
a 11 14 22 32 34 77 106 119
a 11 14 32 34 61 77 106 119
a 14 17 32 34 61 77 106 119
a 17 32 34 43 61 77 106 119
a 17 32 34 36 43 77 106 119
a 11 32 34 36 43 77 106 119
a 32 34 36 42 43 77 106 119
a 32 34 36 42 77 100 106 119
a 11 32 34 36 77 100 106 119
a 11 22 32 34 77 100 106 119
a 11 22 32 34 54 100 106 119
a 11 22 32 34 43 54 106 119
a 11 15 22 32 34 43 106 119
a 11 13 15 22 32 34 43 119
a 13 15 22 32 34 43 85 119
a 13 15 22 32 34 85 100 119
a 15 22 32 34 71 85 100 119
a 11 15 22 32 34 71 100 119
a 11 14 15 22 32 34 71 119
a 11 14 15 32 34 36 71 119
a 14 15 32 34 36 71 85 119
a 13 14 15 32 34 36 85 119
a 13 15 32 34 36 43 85 119
a 13 32 34 36 43 54 85 119
a 13 14 32 34 36 54 85 119
a 13 14 32 34 36 77 85 119
a 13 14 17 32 34 36 77 119
a 13 14 17 18 32 34 36 119
a 13 14 17 32 34 36 54 119
a 13 14 32 34 36 54 59 119
a 14 32 34 36 54 59 95 119
a 14 22 32 34 54 59 95 119
a 6 14 22 32 34 54 59 119
a 6 22 32 34 43 54 59 119
a 22 32 34 43 54 59 106 119
a 22 32 34 43 54 85 106 119
a 22 32 34 43 77 85 106 119
a 14 22 32 34 77 85 106 119
a 14 22 32 34 54 85 106 119
a 14 32 34 54 61 85 106 119
a 14 32 34 54 61 85 95 119
a 14 15 32 34 61 85 95 119
a 14 15 22 32 34 85 95 119
a 14 15 22 32 34 42 95 119
a 14 15 22 32 34 42 106 119
a 14 15 32 34 42 61 106 119
a 14 32 34 42 61 77 106 119
a 14 32 34 42 54 61 106 119
a 11 14 32 34 54 61 106 119
a 14 17 32 34 54 61 106 119
a 14 17 32 34 40 61 106 119
a 14 17 22 32 34 40 106 119
a 14 17 22 32 34 106 119 124
a 14 17 32 34 36 106 119 124
a 14 17 32 34 36 77 106 119
a 17 32 34 36 77 100 106 119
a 17 32 34 36 60 77 100 119
a 11 32 34 36 60 77 100 119
a 11 32 34 36 54 60 100 119
a 11 32 34 36 54 95 100 119
a 32 34 36 42 54 95 100 119
a 6 32 34 36 42 54 100 119
a 6 32 34 42 54 86 100 119
a 6 11 32 34 54 86 100 119
a 6 11 32 34 77 86 100 119
a 6 17 32 34 77 86 100 119
a 17 32 34 56 77 86 100 119
a 17 32 34 77 86 100 106 119
a 11 32 34 77 86 100 106 119
a 11 32 34 54 86 100 106 119
a 11 32 34 54 86 95 100 119
a 11 15 32 34 86 95 100 119
a 11 32 34 77 86 95 100 119
a 32 34 77 85 86 95 100 119
a 32 34 54 85 86 95 100 119
a 32 34 41 54 85 95 100 119
a 11 32 34 41 54 95 100 119
a 11 32 34 41 54 100 106 119
a 11 15 32 34 41 100 106 119
a 15 32 34 41 42 100 106 119
a 15 32 34 42 86 100 106 119
a 15 17 32 34 86 100 106 119
a 11 15 32 34 86 100 106 119
a 11 15 32 34 60 86 100 119
a 11 32 34 54 60 86 100 119
a 32 34 54 60 85 86 100 119
a 32 34 54 85 86 100 106 119
a 6 32 34 54 85 86 100 119
a 6 32 34 54 59 86 100 119
a 6 32 34 54 59 100 118 119
a 6 32 34 54 59 61 100 119
a 6 14 32 34 54 59 61 119
a 6 14 32 34 54 61 85 119
a 6 14 22 32 34 54 85 119
a 6 14 22 32 34 42 54 119
a 14 22 32 34 42 54 95 119
a 14 22 32 34 42 54 106 119
a 8 22 32 34 42 54 106 119
a 8 22 32 34 42 77 106 119
a 8 22 32 34 42 60 77 119
a 8 11 22 32 34 60 77 119
a 11 22 32 34 43 60 77 119
a 11 32 34 43 60 61 77 119
a 11 32 34 43 54 60 61 119
a 11 32 34 36 43 54 60 119
a 32 34 36 43 54 59 60 119
a 6 32 34 36 43 54 59 119
a 32 34 36 43 54 59 95 119
a 17 32 34 36 43 54 95 119
a 17 32 34 36 43 95 119 124
a 13 17 32 34 36 43 119 124
a 13 17 18 32 34 36 43 119
a 13 17 32 34 36 43 77 119
a 13 17 32 34 36 77 100 119
a 13 17 22 32 34 77 100 119
a 17 22 32 34 60 77 100 119
a 14 17 22 32 34 60 77 119
a 14 17 22 32 34 54 60 119
a 14 17 22 32 34 54 56 119
a 14 22 32 34 54 56 85 119
a 14 22 32 34 56 77 85 119
a 8 22 32 34 56 77 85 119
a 8 22 32 34 54 56 85 119
a 8 22 32 34 54 60 85 119
a 22 32 34 43 54 60 85 119
a 32 34 43 54 60 61 85 119
a 32 34 43 54 56 61 85 119
a 32 34 43 54 61 85 95 119
a 11 32 34 43 54 61 95 119
a 11 32 34 54 61 95 100 119
a 11 15 32 34 61 95 100 119
a 11 15 32 34 56 61 100 119
a 6 11 15 32 34 61 100 119
a 6 15 32 34 42 61 100 119
a 6 15 22 32 34 42 100 119
a 6 15 17 22 32 34 100 119
a 15 17 22 32 34 100 106 119
a 17 22 32 34 77 100 106 119
a 17 32 34 77 100 106 118 119
a 17 26 32 34 100 106 118 119
a 15 17 32 34 100 106 118 119
a 15 32 34 42 100 106 118 119
a 15 32 34 85 100 106 118 119
a 15 32 34 71 85 100 118 119
a 15 32 34 56 85 100 118 119
a 15 32 34 36 56 85 100 119
a 15 32 34 36 42 56 100 119
a 13 15 32 34 36 42 100 119
a 13 15 32 34 36 42 43 119
a 11 13 15 32 34 36 43 119
a 11 13 32 34 36 43 54 119
a 13 32 34 36 42 43 54 119
a 32 34 36 42 43 54 56 119
a 22 32 34 42 43 54 56 119
a 22 32 34 42 43 54 95 119
a 32 34 42 43 54 61 95 119
a 14 32 34 42 54 61 95 119
a 14 32 34 42 61 77 95 119
a 32 34 42 61 77 95 100 119
a 22 32 34 42 77 95 100 119
a 8 22 32 34 42 77 95 119
a 14 22 32 34 42 77 95 119
a 14 22 32 34 42 56 77 119
a 14 32 34 42 56 61 77 119
a 11 14 32 34 56 61 77 119
a 14 32 34 56 61 77 85 119
a 14 32 34 61 77 85 95 119
a 14 22 32 34 77 85 95 119
a 11 14 22 32 34 77 95 119
a 11 14 22 32 34 60 77 119
a 11 14 15 22 32 34 60 119
a 14 15 22 32 34 60 85 119
a 14 15 32 34 60 61 85 119
a 14 32 34 60 61 77 85 119
a 14 32 34 54 60 61 85 119
a 14 22 32 34 54 60 85 119
a 22 32 34 54 60 85 100 119
a 22 32 34 54 85 95 100 119
a 14 22 32 34 54 85 95 119
a 8 22 32 34 54 85 95 119
a 8 17 22 32 34 54 95 119
a 8 15 17 22 32 34 95 119
a 15 17 22 32 34 43 95 119
a 15 17 32 34 36 43 95 119
a 15 32 34 36 42 43 95 119
a 11 15 32 34 36 43 95 119
a 6 11 15 32 34 36 43 119
a 11 15 32 34 36 43 60 119
a 15 17 32 34 36 43 60 119
a 15 17 32 34 43 60 61 119
a 15 17 32 34 60 61 100 119
a 15 17 32 34 36 60 100 119
a 11 15 32 34 36 60 100 119
a 11 15 32 34 36 100 106 119
a 11 15 32 34 36 95 100 119
a 15 17 32 34 36 95 100 119
a 15 32 34 36 85 95 100 119
a 32 34 36 77 85 95 100 119
a 32 34 36 54 85 95 100 119
a 17 32 34 36 54 95 100 119
a 14 17 32 34 36 54 95 119
a 14 17 22 32 34 54 95 119
a 14 17 22 32 34 77 95 119
a 14 15 17 22 32 34 95 119
a 14 15 17 32 34 36 95 119
a 6 14 15 17 32 34 36 119
a 6 14 15 32 34 36 85 119
a 6 14 15 32 34 61 85 119
a 6 11 14 15 32 34 61 119
a 6 11 14 15 32 34 36 119
a 11 14 15 32 34 36 106 119
a 11 14 15 32 34 36 95 119
a 11 14 32 34 36 77 95 119
a 11 14 32 34 61 77 95 119
a 11 14 32 34 60 61 77 119
a 14 17 32 34 60 61 77 119
a 14 17 32 34 54 60 61 119
a 14 17 32 34 54 61 95 119
a 14 17 32 34 41 54 95 119
a 14 17 32 34 41 95 119 124
a 14 15 17 32 34 41 95 119
a 14 15 32 34 41 85 95 119
a 14 15 32 34 41 85 106 119
a 14 15 22 32 34 85 106 119
a 14 15 32 34 61 85 106 119
a 15 32 34 61 85 100 106 119
a 11 15 32 34 61 100 106 119
a 11 32 34 61 77 100 106 119
a 11 32 34 77 100 106 118 119
a 11 32 34 77 95 100 118 119
a 17 32 34 77 95 100 118 119
a 32 34 77 85 95 100 118 119
a 32 34 77 85 100 106 118 119
a 32 34 77 85 86 100 106 119
a 32 34 56 77 85 86 100 119
a 32 34 54 56 85 86 100 119
a 32 34 54 56 59 86 100 119
a 22 32 34 54 56 59 100 119
a 11 22 32 34 54 56 100 119
a 17 22 32 34 54 56 100 119
a 17 22 32 34 56 77 100 119
a 14 17 22 32 34 56 77 119
a 14 17 32 34 36 56 77 119
a 11 14 32 34 36 56 77 119
a 14 32 34 36 42 56 77 119
a 14 32 34 36 56 77 85 119
a 6 14 32 34 36 77 85 119
a 14 32 34 36 71 77 85 119
a 14 22 32 34 71 77 85 119
a 14 22 32 34 77 85 96 119
a 22 32 34 77 85 96 100 119
a 22 32 34 42 77 96 100 119
a 22 32 34 42 71 77 100 119
a 15 22 32 34 42 71 100 119
a 14 15 22 32 34 42 71 119
a 14 15 17 22 32 34 71 119
a 15 17 22 32 34 71 100 119
a 17 22 32 34 71 100 119 124
a 17 22 32 34 95 100 119 124
a 17 22 32 34 60 100 119 124
a 15 17 22 32 34 60 100 119
a 14 15 17 22 32 34 60 119
a 14 15 17 32 34 36 60 119
a 13 14 15 17 32 34 36 119
a 13 14 15 17 22 32 34 119
a 13 14 17 18 22 32 34 119
a 13 17 18 22 32 34 100 119
a 13 17 18 32 34 36 100 119
a 17 18 32 34 36 95 100 119
a 17 18 32 34 82 95 100 119
a 17 18 32 34 60 82 100 119
a 15 17 32 34 60 82 100 119
a 17 32 34 54 60 82 100 119
a 17 32 34 36 54 60 100 119
a 17 32 34 36 54 71 100 119
a 32 34 36 54 71 85 100 119
a 22 32 34 54 71 85 100 119
a 14 22 32 34 54 71 85 119
a 14 17 22 32 34 54 71 119
a 14 17 22 32 34 71 77 119
a 14 17 32 34 36 71 77 119
a 14 17 32 34 36 77 95 119
a 14 17 32 34 36 95 119 124
a 14 17 32 34 36 56 119 124
a 14 17 22 32 34 56 119 124
a 17 22 32 34 56 100 119 124
a 17 32 34 56 61 100 119 124
a 17 32 34 61 100 106 119 124
a 17 32 34 61 77 100 106 119
a 17 32 34 61 77 95 100 119
a 17 32 34 60 61 77 100 119
a 32 34 42 60 61 77 100 119
a 32 34 42 54 60 61 100 119
a 32 34 42 54 56 61 100 119
a 32 34 42 56 61 77 100 119
a 32 34 42 43 56 61 77 119
a 32 34 42 43 61 77 106 119
a 32 34 42 43 54 61 106 119
a 6 32 34 42 43 54 61 119
a 6 32 34 42 43 61 77 119
a 6 15 32 34 42 43 61 119
a 6 15 32 34 43 61 85 119
a 6 15 32 34 36 43 85 119
a 6 32 34 36 43 54 85 119
a 6 32 34 36 42 43 54 119
a 32 34 36 42 43 54 95 119
a 32 34 36 42 43 77 95 119
a 32 34 42 43 61 77 95 119
a 17 32 34 43 61 77 95 119
a 17 32 34 40 43 61 95 119
a 17 32 34 40 43 56 61 119
a 6 17 32 34 40 43 61 119
a 6 17 32 34 43 54 61 119
a 6 17 32 34 54 61 100 119
a 17 32 34 54 61 100 106 119
a 17 32 34 54 61 95 100 119
a 17 32 34 61 95 100 119 124
a 15 17 32 34 61 95 100 119
a 15 17 32 34 43 61 95 119
a 15 17 32 34 43 61 106 119
a 15 17 32 34 43 56 61 119
a 17 32 34 43 56 61 119 124
a 17 32 34 43 60 61 119 124
a 17 32 34 43 61 106 119 124
a 17 22 32 34 43 106 119 124
a 17 22 32 34 43 60 119 124
a 14 17 22 32 34 60 119 124
a 14 17 32 34 60 61 119 124
a 14 17 32 34 61 95 119 124
a 17 32 34 43 61 95 119 124
a 6 17 32 34 43 61 119 124
a 6 17 32 34 61 100 119 124
a 6 17 22 32 34 100 119 124
a 6 17 22 32 34 54 100 119
a 17 22 32 34 54 100 106 119
a 8 17 22 32 34 54 106 119
a 8 11 22 32 34 54 106 119
c Step: 352
#END: [Thu Aug 31 07:19:00 2023]