#BEGIN: [Thu Aug 31 08:06:49 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#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 -t4 /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 dd4c146a40bf663b47fc1e69f6f625a941f3250149c1669165f2f3bb54dcf912
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 47 54 68 74 88 97 117 142
a 7 27 47 54 68 74 88 97 117 125 142
a 7 27 47 54 68 74 88 108 117 125 142
a 7 23 27 54 68 74 88 108 117 125 142
a 7 23 27 54 68 74 88 97 117 125 142
a 7 23 27 48 54 68 74 88 97 117 142
a 7 23 27 48 54 68 74 88 97 117 137
a 7 23 27 48 54 68 74 88 97 130 137
a 7 23 27 48 54 69 74 88 97 130 137
a 23 27 48 54 69 74 88 97 116 130 137
a 3 23 48 54 69 74 88 97 116 130 137
a 3 23 31 48 54 69 74 88 116 130 137
a 1 23 31 48 54 69 74 88 116 130 137
a 1 31 48 54 69 74 88 107 116 130 137
a 1 15 31 48 69 74 88 107 116 130 137
a 1 15 31 48 50 69 88 107 116 130 137
a 1 15 31 48 50 69 78 88 107 116 137
a 1 15 31 46 50 69 78 88 107 116 137
a 1 15 31 46 50 69 78 88 107 116 125
a 15 31 46 50 69 78 88 107 116 125 144
a 15 31 46 50 69 78 85 107 116 125 144
a 10 15 31 50 69 78 85 107 116 125 144
a 10 15 31 40 50 69 78 85 107 116 125
a 10 15 31 40 60 69 78 85 107 116 125
a 10 15 40 60 69 78 85 107 116 125 139
a 10 15 33 40 60 78 85 107 116 125 139
a 10 15 33 40 50 78 85 107 116 125 139
a 10 15 40 50 69 78 85 107 116 125 139
a 10 15 35 40 50 69 78 85 116 125 139
a 10 15 35 40 50 69 78 96 116 125 139
a 10 15 35 40 50 69 78 96 97 116 125
a 10 15 35 40 55 69 78 96 97 116 125
a 10 15 35 40 55 78 96 97 116 125 141
a 10 15 40 55 71 78 96 97 116 125 141
a 10 15 40 55 71 78 96 97 116 125 134
a 10 15 33 40 71 78 96 97 116 125 134
a 10 15 33 40 71 78 96 97 116 125 139
a 10 15 33 40 49 71 78 96 116 125 139
a 10 15 33 40 49 71 78 108 116 125 139
a 10 15 33 40 49 71 78 108 116 125 134
a 10 15 33 40 49 71 78 96 116 125 134
a 10 15 33 40 49 71 96 102 116 125 134
a 10 15 33 40 49 71 96 102 116 125 139
a 10 15 33 40 49 71 96 102 116 122 139
a 10 15 40 49 71 81 96 102 116 122 139
a 10 15 35 40 49 81 96 102 116 122 139
a 10 17 35 40 49 81 96 102 116 122 139
a 10 17 35 40 49 81 96 99 116 122 139
a 10 17 40 49 71 81 96 99 116 122 139
a 10 30 40 49 71 81 96 99 116 122 139
a 10 15 30 40 49 71 81 96 116 122 139
a 10 15 30 40 71 81 96 101 116 122 139
a 10 15 30 40 71 81 96 97 116 122 139
a 10 15 30 40 50 71 81 96 97 116 139
a 10 15 30 40 50 71 81 96 101 116 139
a 15 30 40 50 71 81 96 101 116 121 139
a 9 15 30 40 50 71 96 101 116 121 139
a 9 15 40 50 71 78 96 101 116 121 139
a 10 15 40 50 71 78 96 101 116 121 139
a 10 15 40 50 71 81 96 101 116 121 139
a 10 15 30 40 50 71 81 96 116 121 139
a 10 15 30 40 50 71 96 101 116 121 139
a 10 15 30 40 50 71 81 101 116 121 139
a 10 15 30 50 71 81 96 101 116 121 139
a 10 30 40 50 71 81 96 101 116 121 139
a 10 15 30 40 50 71 81 96 101 116 121
a 10 15 30 40 71 81 96 101 116 121 139
a 10 15 30 40 50 81 96 101 116 121 139
a 10 15 30 40 50 81 96 101 116 121 143
a 10 30 40 50 67 81 96 101 116 121 143
a 10 20 30 40 50 67 81 96 101 121 143
a 10 20 30 40 50 81 96 101 111 121 143
a 10 20 30 40 50 71 81 96 101 111 121
a 20 30 40 50 71 81 96 101 111 121 142
a 20 30 40 50 71 81 96 101 111 121 139
a 2 20 30 40 71 81 96 101 111 121 139
a 10 20 30 40 71 81 96 101 111 121 139
a 10 20 26 40 71 81 96 101 111 121 139
a 10 20 40 50 71 81 96 101 111 121 139
a 10 20 40 50 71 81 96 101 111 121 138
a 10 20 40 50 71 81 91 101 111 121 138
a 10 20 40 50 71 81 91 101 111 132 138
a 10 20 30 40 50 71 81 91 101 111 132
a 10 20 25 40 50 71 81 91 101 111 132
a 10 20 25 40 50 71 81 101 111 132 139
a 10 20 25 40 50 71 81 96 101 111 139
a 10 20 30 40 50 71 81 96 101 111 139
a 10 20 30 40 50 71 81 101 111 132 139
a 10 20 30 40 50 71 81 101 111 121 139
a 10 20 30 50 71 81 96 101 111 121 139
a 10 30 40 50 71 81 96 101 111 121 139
a 10 30 40 50 71 80 96 101 111 121 139
a 10 16 30 50 71 80 96 101 111 121 139
a 10 16 30 50 71 80 96 105 111 121 139
a 10 16 30 50 71 80 96 105 111 125 139
a 10 16 25 50 71 80 96 105 111 125 139
a 16 25 46 50 71 80 96 105 111 125 139
a 4 25 46 50 71 80 96 105 111 125 139
a 4 13 46 50 71 80 96 105 111 125 139
a 4 13 29 46 50 71 80 96 105 111 139
a 4 13 29 46 50 71 80 96 105 114 139
a 4 13 29 46 50 71 80 96 99 114 139
a 4 13 29 46 50 71 80 99 114 129 139
a 12 13 29 46 50 71 80 99 114 129 139
a 12 29 46 50 71 80 85 99 114 129 139
a 4 29 46 50 71 80 85 99 114 129 139
a 4 29 46 50 71 80 85 99 114 129 144
a 4 13 29 46 50 71 80 99 114 129 144
a 4 13 31 46 50 71 80 99 114 129 144
a 4 13 31 46 50 71 80 87 114 129 144
a 4 13 29 46 50 71 80 87 114 129 144
a 4 29 46 50 71 80 87 97 114 129 144
a 4 23 29 46 50 80 87 97 114 129 144
a 4 19 29 46 50 80 87 97 114 129 144
a 4 19 29 46 50 80 87 97 114 129 143
a 12 19 29 46 50 80 87 97 114 129 143
a 12 19 29 46 50 66 80 87 97 129 143
a 4 19 29 46 50 66 80 87 97 129 143
a 4 19 46 50 66 80 87 97 120 129 143
a 4 19 34 50 66 80 87 97 120 129 143
a 4 19 34 50 66 80 87 97 120 129 137
a 4 19 34 50 66 83 87 97 120 129 137
a 4 19 34 48 50 66 83 87 97 129 137
a 4 19 34 48 50 66 87 97 119 129 137
a 4 19 34 48 50 66 73 87 119 129 137
a 4 19 34 48 50 68 73 87 119 129 137
a 4 19 34 48 50 68 73 87 105 119 137
a 4 19 34 48 50 68 87 105 119 121 137
a 4 18 34 48 50 68 87 105 119 121 137
a 4 18 34 48 50 68 75 105 119 121 137
a 4 18 34 48 50 68 75 105 119 121 139
a 4 18 34 48 50 68 75 85 105 119 139
a 4 18 34 48 50 68 75 85 119 129 139
a 4 18 34 48 50 75 85 104 119 129 139
a 4 18 34 50 72 75 85 104 119 129 139
a 4 18 34 50 72 75 85 104 119 125 139
a 4 18 45 50 72 75 85 104 119 125 139
a 4 22 45 50 72 75 85 104 119 125 139
a 4 22 27 45 50 72 85 104 119 125 139
a 4 22 27 42 50 72 85 104 119 125 139
a 4 22 27 42 50 72 85 104 119 129 139
a 4 22 27 42 50 72 73 104 119 129 139
a 4 22 27 42 50 72 73 101 119 129 139
a 4 22 27 42 50 72 73 91 101 119 129
a 4 22 27 42 50 72 91 101 119 129 133
a 8 22 27 42 50 72 91 101 119 129 133
a 8 22 27 42 50 72 73 91 101 119 129
a 8 22 27 42 50 72 73 91 101 119 136
a 8 22 27 42 50 72 73 91 119 129 136
a 8 22 27 42 50 72 73 91 100 119 129
a 8 22 27 42 50 72 91 100 119 129 137
a 8 22 42 50 72 73 91 100 119 129 137
a 8 22 27 42 50 73 91 100 119 129 137
a 8 22 27 42 72 73 91 100 119 129 137
a 8 22 27 42 72 73 91 100 119 129 134
a 8 17 27 42 72 73 91 100 119 129 134
a 8 17 27 42 70 73 91 100 119 129 134
a 17 27 42 60 70 73 91 100 119 129 134
a 17 27 42 60 70 73 91 100 119 128 134
a 11 17 27 42 60 70 73 91 100 128 134
a 11 17 27 42 60 70 73 91 100 129 134
a 11 17 27 42 60 70 91 100 109 129 134
a 11 17 27 42 60 70 80 100 109 129 134
a 7 17 27 42 60 70 80 100 109 129 134
a 7 17 27 42 60 70 80 88 109 129 134
a 7 23 27 42 60 70 80 88 109 129 134
a 7 23 27 42 70 80 88 108 109 129 134
a 7 23 27 42 70 80 88 108 109 129 137
a 7 23 27 42 70 74 88 108 109 129 137
a 7 23 27 42 58 74 88 108 109 129 137
a 7 23 27 58 68 74 88 108 109 129 137
a 7 23 27 37 58 68 74 88 108 129 137
a 7 23 27 37 58 68 74 88 108 117 137
a 7 23 27 37 58 68 74 88 108 117 125
c Step: 175
#END: [Thu Aug 31 08:36:49 2023]