#BEGIN: [Wed Aug 30 20:59:37 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen12_12.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen12_12_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/queen12_12.col /benchmark/2022benchmark/benchmark/color04/queen12_12_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen12_12.col
c /benchmark/2022benchmark/benchmark/color04/queen12_12_01.dat
TIMEOUT 1800
c send SIGTERM to CID 296224d4aec4962ec8e10d6ced4f513d466cc48323596238bc41feb592fa1f86
s 7 17 27 48 54 68 88 97 117 122 142 
t 7 23 27 37 58 68 74 88 108 117 125
a YES
a 7 17 27 48 54 68 88 97 117 122 142
a 7 17 27 48 54 68 74 88 97 117 142
a 7 17 27 48 54 71 74 88 97 117 142
a 7 17 27 48 54 71 74 88 97 128 142
a 7 17 27 48 54 71 74 97 112 128 142
a 7 17 27 54 71 74 96 97 112 128 142
a 7 17 27 54 71 81 96 97 112 128 142
a 7 17 26 54 71 81 96 97 112 128 142
a 7 17 26 54 71 81 96 97 111 128 142
a 7 17 26 47 54 81 96 97 111 128 142
a 7 17 26 47 66 81 96 97 111 128 142
a 7 17 47 52 66 81 96 97 111 128 142
a 7 17 47 52 66 81 96 97 111 128 134
a 7 17 25 47 52 66 81 96 111 128 134
a 7 17 25 47 52 66 81 96 106 111 134
a 7 17 32 47 52 66 81 96 106 111 134
a 17 32 47 52 66 81 96 106 111 127 134
a 1 17 32 47 52 81 96 106 111 127 134
a 1 17 32 47 64 81 96 106 111 127 134
a 1 17 32 47 64 81 96 106 111 126 134
a 1 17 32 47 55 64 96 106 111 126 134
a 17 32 47 55 64 73 96 106 111 126 134
a 17 32 47 55 64 73 96 105 111 126 134
a 10 17 47 55 64 73 96 105 111 126 134
a 10 17 47 55 64 73 96 105 111 128 134
a 10 30 47 55 64 73 96 105 111 128 134
a 10 13 30 47 55 64 96 105 111 128 134
a 10 13 30 47 55 64 96 105 111 125 134
a 10 13 30 55 64 80 96 105 111 125 134
a 10 30 37 55 64 80 96 105 111 125 134
a 10 30 37 55 71 80 96 105 111 125 134
a 10 13 30 55 71 80 96 105 111 125 134
a 10 13 30 40 55 71 80 96 111 125 134
a 9 13 30 40 55 71 80 96 111 125 134
a 9 13 30 40 55 71 96 106 111 125 134
a 9 13 30 55 71 76 96 106 111 125 134
a 9 13 30 55 71 76 96 106 116 125 134
a 9 30 39 55 71 76 96 106 116 125 134
a 1 30 39 55 71 76 96 106 116 125 134
a 1 21 30 39 55 71 96 106 116 125 134
a 1 21 30 39 55 71 96 100 116 125 134
a 1 21 30 39 55 71 80 96 100 125 134
a 1 21 30 39 55 71 80 96 100 125 142
a 1 21 30 39 55 62 80 96 100 125 142
a 1 21 30 39 62 80 96 100 115 125 142
a 1 21 30 39 59 62 80 96 100 115 142
a 21 30 39 59 62 80 96 100 115 121 142
a 3 21 30 59 62 80 96 100 115 121 142
a 3 21 30 53 62 80 96 100 115 121 142
a 21 30 39 53 62 80 96 100 115 121 142
a 21 35 39 53 62 80 96 100 115 121 142
a 3 21 35 53 62 80 96 100 115 121 142
a 3 21 35 53 62 80 96 100 115 121 138
a 3 21 35 38 53 80 96 100 115 121 138
a 3 21 35 38 53 80 96 100 115 130 138
a 3 21 35 53 62 80 96 100 115 130 138
a 3 21 35 53 62 80 85 100 115 130 138
a 3 21 48 53 62 80 85 100 115 130 138
a 3 21 48 53 62 80 95 100 115 130 138
a 21 25 48 53 62 80 95 100 115 130 138
a 11 21 25 48 53 62 80 100 115 130 138
a 11 21 25 53 62 80 96 100 115 130 138
a 11 21 25 53 62 80 96 100 115 123 138
a 11 21 25 48 53 62 80 100 115 123 138
a 11 21 25 48 53 62 80 94 100 115 123
a 21 25 48 53 62 80 94 100 115 123 143
a 6 21 25 53 62 80 94 100 115 123 143
a 6 21 25 48 53 62 80 94 100 115 143
a 6 21 25 48 53 62 94 100 115 123 143
a 6 21 25 48 53 62 80 94 100 123 143
a 6 21 25 48 62 80 94 100 115 123 143
a 6 21 25 48 53 62 80 100 115 123 143
a 6 21 25 48 53 62 80 94 115 123 143
a 6 21 25 48 53 80 94 100 115 123 143
a 6 21 25 48 53 62 80 94 100 115 123
a 6 25 48 53 62 80 94 100 115 123 143
a 6 21 48 53 62 80 94 100 115 123 143
a 6 33 48 53 62 80 94 100 115 123 143
a 6 33 48 53 62 80 94 100 109 123 143
a 19 33 48 53 62 80 94 100 109 123 143
a 5 19 33 48 62 80 94 100 109 123 143
a 5 19 33 60 62 80 94 100 109 123 143
a 5 19 33 37 60 62 80 94 100 123 143
a 5 19 33 37 60 62 80 100 118 123 143
a 5 19 33 42 60 62 80 100 118 123 143
a 5 19 25 42 60 62 80 100 118 123 143
a 5 19 25 42 60 62 80 100 118 123 141
a 11 19 25 42 60 62 80 100 118 123 141
a 11 17 25 42 60 62 80 100 118 123 141
a 11 17 25 42 60 62 91 100 118 123 141
a 17 25 42 60 62 83 91 100 118 123 141
a 17 32 42 60 62 83 91 100 118 123 141
a 1 17 32 42 60 62 83 91 100 123 141
a 1 17 32 42 60 62 83 91 100 123 142
a 1 17 32 42 60 62 91 100 119 123 142
a 1 17 32 60 62 81 91 100 119 123 142
a 1 17 44 60 62 81 91 100 119 123 142
a 1 17 44 60 62 81 91 100 119 123 138
a 10 17 44 60 62 81 91 100 119 123 138
a 10 17 25 44 60 62 81 91 100 119 138
a 10 17 27 44 60 62 81 91 100 119 138
a 10 17 27 44 60 62 91 100 119 129 138
a 10 17 27 37 60 62 91 100 119 129 138
a 10 17 27 37 60 68 91 100 119 129 138
a 10 17 27 37 60 68 74 91 119 129 138
a 10 17 27 37 60 68 74 88 119 129 138
a 10 17 27 37 60 68 74 88 103 119 138
a 10 17 27 37 60 68 74 88 103 117 138
a 10 17 27 37 68 74 88 103 117 132 138
a 17 27 37 58 68 74 88 103 117 132 138
a 9 17 27 37 58 68 74 88 103 132 138
a 9 17 27 58 68 74 88 103 109 132 138
a 9 17 27 47 68 74 88 103 109 132 138
a 9 17 27 47 68 74 88 103 109 130 138
a 9 17 27 60 68 74 88 103 109 130 138
a 17 27 45 60 68 74 88 103 109 130 138
a 7 17 27 45 60 68 74 88 109 130 138
a 7 17 27 45 60 68 74 88 102 109 130
a 7 17 27 45 60 68 74 88 102 109 142
a 7 27 45 60 68 74 88 102 109 125 142
a 7 23 27 60 68 74 88 102 109 125 142
a 9 23 27 60 68 74 88 102 109 125 142
a 9 23 27 43 60 68 74 88 102 125 142
a 23 27 43 60 68 74 88 102 117 125 142
a 2 23 27 43 60 68 88 102 117 125 142
a 2 23 27 43 60 68 88 97 117 125 142
a 23 27 43 60 68 74 88 97 117 125 142
a 7 23 27 60 68 74 88 97 117 125 142
a 7 23 27 37 60 68 74 88 117 125 142
a 6 23 27 37 60 68 74 88 117 125 142
a 6 23 27 37 68 74 88 108 117 125 142
a 6 23 31 37 68 74 88 108 117 125 142
a 6 23 31 37 68 74 88 108 117 125 135
a 23 31 37 54 68 74 88 108 117 125 135
a 23 31 37 54 68 74 88 108 118 125 135
a 7 23 37 54 68 74 88 108 118 125 135
a 7 23 37 54 68 74 88 108 117 125 135
a 7 34 37 54 68 74 88 108 117 125 135
a 7 34 37 54 68 83 88 108 117 125 135
a 19 34 37 54 68 83 88 108 117 125 135
a 1 19 34 54 68 83 88 108 117 125 135
a 1 34 38 54 68 83 88 108 117 125 135
a 7 34 38 54 68 83 88 108 117 125 135
a 7 14 34 54 68 83 88 108 117 125 135
a 7 14 34 54 68 83 88 97 117 125 135
a 7 14 34 37 54 68 83 88 117 125 135
a 7 14 34 37 54 83 88 108 117 125 135
a 7 14 34 37 54 71 88 108 117 125 135
a 7 14 34 37 54 68 88 108 117 125 135
a 7 14 34 37 54 68 83 88 108 117 125
a 7 14 37 54 68 83 88 108 117 125 142
a 7 27 37 54 68 83 88 108 117 125 142
a 7 27 37 54 68 74 88 108 117 125 142
a 7 23 27 37 54 68 74 88 108 117 125
a 7 23 27 37 58 68 74 88 108 117 125
c Step: 154
#END: [Wed Aug 30 21:29:37 2023]