#BEGIN: [Wed Aug 30 19:59:28 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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
TIMEOUT 1800
c send SIGTERM to CID 4e921e22fb7b8b357650d0304f419067ca00d64b97354134e4ad532bf4770334
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 8 15 17 22 34 106 119
a 8 12 15 17 22 34 106
a 8 15 17 22 32 34 106
a 8 15 17 22 32 106 119
a 8 15 17 32 34 106 119
a 8 15 17 32 34 60 119
a 8 17 18 32 34 60 119
a 8 17 18 32 34 106 119
a 8 18 22 32 34 106 119
a 8 18 22 32 34 60 119
a 8 22 32 34 60 77 119
a 8 22 32 34 54 60 119
a 8 17 32 34 54 60 119
a 8 17 32 34 40 60 119
a 8 17 22 34 40 60 119
a 8 17 22 32 40 60 119
a 8 17 22 40 60 119 121
a 8 22 40 50 60 119 121
a 8 22 32 40 50 60 119
a 8 22 32 40 50 106 119
a 8 22 32 34 40 106 119
a 8 22 32 34 77 106 119
a 22 32 34 43 77 106 119
a 32 34 43 77 85 106 119
a 32 34 77 85 100 106 119
a 32 34 60 77 85 100 119
a 32 34 54 60 85 100 119
a 11 32 34 54 60 100 119
a 11 32 34 54 60 86 119
a 11 32 34 54 86 106 119
a 11 32 34 77 86 106 119
a 32 34 77 85 86 106 119
a 32 34 56 77 85 86 119
a 32 34 77 85 86 100 119
a 32 34 61 77 85 100 119
a 15 32 34 61 85 100 119
a 15 34 56 61 85 100 119
a 15 34 61 85 95 100 119
a 32 34 61 85 95 100 119
a 14 32 34 61 85 95 119
a 14 32 34 36 85 95 119
a 14 15 32 34 85 95 119
a 14 15 32 34 60 85 119
a 14 15 32 34 61 85 119
a 14 15 17 32 34 61 119
a 14 17 32 34 54 61 119
a 14 17 22 32 34 54 119
a 14 17 22 32 34 54 60
a 14 17 22 34 54 60 119
a 14 17 18 22 34 60 119
a 14 17 18 22 34 106 119
a 14 17 18 22 32 34 106
a 13 14 17 18 22 32 34
a 14 17 18 22 32 34 119
a 13 14 17 18 22 32 119
a 14 17 18 22 32 96 119
a 14 17 18 22 32 34 96
a 17 18 22 32 34 96 119
a 17 18 22 32 34 96 100
a 13 17 18 22 32 34 100
a 17 18 22 32 34 100 119
a 18 22 32 34 100 106 119
a 14 18 22 32 34 106 119
a 13 14 18 22 32 34 119
a 14 18 22 32 34 71 119
a 6 14 18 22 32 34 119
a 6 14 22 32 34 119 124
a 6 14 17 22 32 34 124
a 13 14 17 22 32 34 124
a 13 14 15 17 22 32 34
a 14 15 17 22 32 34 60
a 14 17 22 32 34 60 124
a 14 17 22 32 34 60 119
a 14 17 22 32 34 96 119
a 14 22 32 34 96 119 124
a 14 22 32 34 85 96 119
a 13 14 22 32 34 85 119
a 13 14 32 34 77 85 119
a 13 14 22 32 77 85 119
a 13 22 32 34 77 85 119
a 13 14 22 32 34 77 85
a 13 22 32 34 77 85 100
a 13 32 34 36 77 85 100
a 13 32 34 36 42 77 100
a 32 34 36 42 77 100 106
a 32 34 36 42 43 77 106
a 32 34 42 43 61 77 106
a 6 32 34 42 43 61 77
a 6 14 32 34 42 61 77
a 6 14 34 42 61 77 109
a 6 14 15 34 42 61 109
a 6 14 15 34 61 85 109
a 6 14 15 32 34 61 85
a 6 14 32 34 61 77 85
a 14 32 34 61 77 85 95
a 32 34 61 77 85 95 119
a 22 32 34 77 85 95 119
a 22 32 34 77 85 96 119
a 22 32 34 60 77 85 119
a 14 32 34 60 77 85 119
a 32 34 60 77 85 115 119
a 32 34 60 77 82 85 119
a 32 34 77 82 85 100 119
a 6 32 34 77 82 85 100
a 6 32 34 61 77 85 100
a 6 11 32 34 61 77 100
a 6 11 14 32 34 61 77
a 6 11 14 22 32 34 77
a 6 11 22 32 34 77 100
a 11 22 32 34 77 100 106
a 11 32 34 61 77 100 106
a 11 32 34 54 61 100 106
a 11 32 34 41 54 100 106
a 11 32 34 41 54 100 119
a 32 34 41 54 95 100 119
a 32 34 36 54 95 100 119
a 32 34 36 54 100 106 119
a 15 32 34 36 100 106 119
a 17 32 34 36 100 106 119
a 17 22 32 34 100 106 119
a 14 17 22 32 34 106 119
a 14 15 22 32 34 106 119
a 15 22 32 34 100 106 119
a 11 15 22 32 34 100 119
a 15 17 22 32 34 100 119
a 15 17 32 34 41 100 119
a 15 17 32 34 41 106 119
a 15 32 34 41 85 106 119
a 15 32 34 41 85 95 119
a 15 32 34 36 85 95 119
a 32 34 36 77 85 95 119
a 32 34 77 85 95 100 119
a 14 32 34 77 85 95 119
a 25 32 34 77 85 95 119
a 32 34 41 77 85 95 119
a 14 32 34 41 77 85 95
a 11 14 32 34 41 77 95
a 11 32 34 41 77 95 100
a 11 22 32 34 77 95 100
a 22 32 34 77 95 100 119
a 22 32 42 77 95 100 119
a 11 22 32 77 95 100 119
a 11 22 32 34 95 100 119
a 15 22 32 34 95 100 119
a 11 15 22 32 34 95 100
a 6 11 15 22 32 34 100
a 6 15 22 32 34 100 119
a 6 15 22 34 42 100 119
a 15 22 34 42 60 100 119
a 11 15 22 34 60 100 119
a 11 14 15 22 34 60 119
a 11 14 22 32 34 60 119
a 14 22 32 34 54 60 119
a 11 14 22 32 34 54 119
a 11 14 22 32 34 77 119
a 6 11 14 32 34 77 119
a 6 14 22 32 34 77 119
a 6 11 14 22 34 77 119
a 6 11 14 22 32 77 119
a 11 14 22 32 60 77 119
a 11 14 22 32 54 60 119
a 11 22 32 54 60 100 119
a 11 22 32 54 71 100 119
a 22 32 54 71 85 100 119
a 22 32 34 54 71 85 100
a 32 34 54 71 82 85 100
a 32 34 54 59 71 82 100
a 32 34 54 59 71 100 119
a 32 34 54 59 100 106 119
a 32 34 36 54 59 100 106
a 22 32 34 54 59 100 106
a 11 22 32 34 54 100 106
a 17 22 32 34 54 100 106
a 17 22 32 34 54 106 119
a 17 22 32 54 100 106 119
a 17 22 32 77 100 106 119
a 22 32 34 77 100 106 119
a 22 32 34 77 85 106 119
a 22 32 34 77 85 100 106
a 22 32 34 77 85 100 119
a 22 32 34 42 77 100 119
a 22 34 42 77 100 106 119
a 22 32 34 42 100 106 119
a 22 32 34 42 60 100 119
a 32 34 42 60 86 100 119
a 15 32 34 42 60 86 100
a 15 32 34 42 60 86 119
a 15 34 42 60 86 100 119
a 15 32 34 60 86 100 119
a 32 34 54 60 86 100 119
a 11 32 34 54 86 100 119
a 11 32 34 54 60 86 100
a 11 32 34 54 86 100 106
a 32 34 42 54 86 100 106
a 32 34 42 86 100 106 119
a 15 32 34 42 100 106 119
a 15 32 34 42 60 100 119
a 15 32 42 60 86 100 119
a 32 42 60 77 86 100 119
a 32 42 56 77 86 100 119
a 32 42 77 86 100 106 119
a 34 42 77 86 100 106 119
a 32 34 42 77 86 100 119
a 15 32 34 42 86 100 119
a 15 32 34 42 95 100 119
a 15 32 34 42 86 95 100
a 32 34 42 86 95 100 119
a 32 34 42 77 86 95 100
a 32 34 42 77 95 100 119
a 32 34 42 60 77 100 119
a 14 32 34 42 60 77 119
a 14 32 34 42 54 60 119
a 14 32 34 36 54 60 119
a 6 14 32 34 36 54 119
a 6 14 32 34 36 42 119
a 6 32 34 36 42 100 119
a 32 34 36 42 54 100 119
a 32 34 42 54 100 106 119
a 22 32 34 42 54 106 119
a 14 22 32 34 42 106 119
a 11 14 22 32 34 106 119
a 6 11 14 22 32 34 119
a 6 11 14 22 32 34 54
a 6 11 22 32 34 54 119
a 11 22 32 34 54 106 119
a 11 22 32 34 77 106 119
a 11 22 32 34 77 100 119
a 6 11 32 34 77 100 119
a 6 11 15 32 34 100 119
a 6 15 32 34 85 100 119
a 15 32 34 60 85 100 119
a 15 22 32 60 85 100 119
a 15 22 32 42 60 100 119
a 15 22 32 42 43 60 119
a 22 32 42 43 54 60 119
a 22 32 43 54 59 60 119
a 22 32 54 59 60 100 119
a 32 54 59 60 61 100 119
a 32 34 54 59 60 61 100
a 22 32 34 54 59 60 100
a 8 22 32 34 54 59 60
a 8 22 34 44 54 59 60
a 8 22 34 54 59 60 119
a 8 22 34 59 60 112 119
a 8 22 32 34 59 60 119
a 8 22 32 34 59 106 119
a 8 22 32 34 42 106 119
a 8 22 32 42 54 106 119
a 8 22 32 34 42 54 106
a 8 22 32 34 54 85 106
a 8 22 32 54 85 106 119
a 8 22 32 77 85 106 119
a 8 22 35 77 85 106 119
a 22 35 73 77 85 106 119
a 22 32 73 77 85 106 119
a 22 32 73 77 85 95 119
a 22 32 77 85 95 100 119
a 22 32 77 78 85 95 119
a 10 32 77 78 85 95 119
a 32 36 77 78 85 95 119
a 32 77 78 85 86 95 119
a 6 32 77 78 85 86 119
a 6 32 34 77 85 86 119
a 6 32 34 54 85 86 119
a 6 32 34 54 86 100 119
a 6 32 34 54 61 100 119
a 6 11 32 34 54 100 119
a 6 11 22 32 34 100 119
a 6 11 22 32 34 77 119
a 6 22 32 34 77 100 119
a 6 32 34 77 85 100 119
a 6 32 34 82 85 100 119
a 6 11 32 34 82 100 119
a 11 32 34 82 100 106 119
a 11 15 32 34 82 100 119
a 15 32 34 82 100 106 119
a 15 32 34 60 82 100 119
a 15 32 34 36 60 100 119
a 11 15 32 34 36 100 119
a 15 32 34 36 42 100 119
a 15 32 36 42 60 100 119
a 32 34 36 42 60 100 119
a 15 32 34 36 42 60 100
a 14 15 32 34 36 42 60
a 14 15 32 34 36 42 89
a 14 15 32 34 36 42 64
a 14 15 32 34 42 61 64
a 14 15 32 34 42 60 61
a 15 32 34 42 60 61 100
a 15 32 34 42 43 60 61
a 15 32 34 36 42 43 60
a 12 15 34 36 42 43 60
a 12 15 34 36 42 43 106
a 12 14 15 34 36 42 106
a 12 14 15 34 41 42 106
a 12 14 15 34 41 42 95
a 14 15 34 41 42 95 119
a 11 14 15 34 41 95 119
a 11 14 15 34 41 95 102
a 11 14 15 22 34 95 102
a 6 11 14 15 22 34 102
a 6 11 14 22 34 54 102
a 6 11 12 14 22 34 54
a 6 11 12 22 34 43 54
a 6 11 22 32 34 43 54
a 6 11 22 32 34 54 100
a 6 22 32 34 42 54 100
a 22 32 34 42 54 60 100
a 22 32 34 42 54 56 100
a 22 32 34 42 56 77 100
a 22 32 34 42 56 77 119
a 8 22 32 34 42 77 119
a 8 11 22 32 34 77 119
a 8 11 22 34 77 106 119
a 8 11 12 22 34 77 106
a 8 11 22 34 72 77 106
a 8 22 34 72 77 85 106
a 8 22 34 54 72 85 106
a 22 34 54 72 85 100 106
a 14 22 34 54 72 85 106
a 14 22 34 54 85 106 119
a 1 14 22 34 54 85 106
a 14 22 32 34 54 85 106
a 22 32 34 54 85 100 106
a 13 22 32 34 54 85 100
a 13 32 34 54 85 100 119
a 13 22 32 34 54 85 119
a 13 22 32 54 85 119 125
a 22 32 54 85 106 119 125
a 22 32 34 54 85 106 119
a 22 32 34 54 60 85 119
a 22 32 34 60 85 100 119
a 32 34 60 85 86 100 119
a 34 48 60 85 86 100 119
a 34 44 48 60 85 86 100
a 22 34 44 48 60 85 100
a 14 22 34 44 48 60 85
a 14 22 44 48 60 85 121
a 1 14 22 48 60 85 121
a 14 22 48 60 85 119 121
a 14 22 48 60 85 120 121
a 14 22 31 48 60 85 121
a 8 22 31 48 60 85 121
a 8 22 48 60 85 119 121
c Step: 344
#END: [Wed Aug 30 20:29:29 2023]