#BEGIN: [Fri Sep  1 03:00:48 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen12_12.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen12_12_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/queen12_12.col /benchmark/2022benchmark/benchmark/color04/queen12_12_02.dat
c /benchmark/2022benchmark/benchmark/color04/queen12_12.col
c /benchmark/2022benchmark/benchmark/color04/queen12_12_02.dat
s 11 14 30 39 60 80 89 97 112 129 139 
t 10 16 30 37 60 80 86 101 111 129 143
a YES
a 11 14 30 39 60 80 89 97 112 129 139
a 10 14 30 39 60 80 89 97 112 129 139
a 14 30 39 60 70 80 89 97 112 129 139
a 11 14 30 39 60 70 80 89 97 112 139
a 11 14 30 39 60 70 80 89 97 112 127
a 11 14 30 39 60 70 80 97 112 127 141
a 11 14 30 60 70 80 87 97 112 127 141
a 11 14 29 60 70 80 87 97 112 127 141
a 11 14 29 60 70 78 87 97 112 127 141
a 11 29 38 60 70 78 87 97 112 127 141
a 11 15 29 38 60 70 78 97 112 127 141
a 11 15 29 38 60 78 92 97 112 127 141
a 10 15 29 38 60 78 92 97 112 127 141
a 10 15 29 38 60 61 78 92 112 127 141
a 10 15 38 60 61 78 92 107 112 127 141
a 10 15 33 38 60 61 78 92 107 112 127
a 10 15 33 38 61 78 92 107 112 127 137
a 15 33 38 58 61 78 92 107 112 127 137
a 8 15 33 38 58 61 78 107 112 127 137
a 8 15 33 38 58 61 78 107 112 127 144
a 8 15 33 38 58 61 78 95 112 127 144
a 8 15 33 58 61 78 95 98 112 127 144
a 5 15 33 58 61 78 95 98 112 127 144
a 5 15 33 48 58 61 78 95 98 112 127
a 8 15 33 48 58 61 78 95 98 112 127
a 8 15 29 48 58 61 78 95 98 112 127
a 8 15 29 48 58 61 78 95 98 112 129
a 8 15 29 48 58 61 78 95 98 115 129
a 8 15 29 48 58 61 78 95 115 129 134
a 8 15 29 48 58 61 78 95 105 115 134
a 8 15 29 48 58 61 78 88 105 115 134
a 8 15 29 48 58 61 78 88 115 129 134
a 8 15 29 48 58 61 78 88 115 131 134
a 8 15 29 48 58 61 78 88 98 115 131
a 8 15 29 48 57 61 78 88 98 115 131
a 8 15 29 48 57 61 78 88 98 115 142
a 8 15 29 48 57 61 78 95 98 115 142
a 8 15 29 48 57 61 78 95 98 127 142
a 8 15 29 48 57 61 78 95 98 118 127
a 8 15 29 57 61 78 95 98 118 127 136
a 8 15 29 38 57 61 78 95 118 127 136
a 8 29 38 57 61 78 95 99 118 127 136
a 8 29 38 57 61 78 95 99 118 132 136
a 19 29 38 57 61 78 95 99 118 132 136
a 10 19 29 38 57 61 78 95 99 132 136
a 10 19 29 57 61 78 95 99 116 132 136
a 10 14 29 57 61 78 95 99 116 132 136
a 10 14 29 57 61 78 95 99 115 132 136
a 10 14 29 57 61 78 95 99 115 132 140
a 10 14 29 57 64 78 95 99 115 132 140
a 10 14 29 37 57 64 78 95 99 132 140
a 10 19 29 37 57 64 78 95 99 132 140
a 10 19 37 57 64 78 95 99 113 132 140
a 10 19 27 37 57 64 78 95 113 132 140
a 19 27 37 57 64 78 95 98 113 132 140
a 19 27 37 57 64 78 94 98 113 132 140
a 11 19 37 57 64 78 94 98 113 132 140
a 11 19 27 57 64 78 94 98 113 132 140
a 11 19 27 48 57 64 78 94 98 113 140
a 11 19 27 48 57 64 73 94 98 113 140
a 11 19 27 48 57 64 73 98 113 130 140
a 11 19 27 48 57 64 73 89 98 130 140
a 11 19 27 48 57 64 73 89 98 126 140
a 11 19 27 48 64 73 89 98 117 126 140
a 11 19 27 48 64 73 94 98 117 126 140
a 11 17 27 48 64 73 94 98 117 126 140
a 11 17 27 48 58 64 73 98 117 126 140
a 11 17 27 48 58 67 73 98 117 126 140
a 11 17 27 48 67 73 94 98 117 126 140
a 11 17 27 48 52 67 73 94 98 126 140
a 11 17 27 48 52 67 73 94 98 126 141
a 11 20 27 48 52 67 73 94 98 126 141
a 11 20 27 48 52 67 73 94 98 113 141
a 11 20 27 48 52 67 73 90 98 113 141
a 11 20 27 48 52 73 90 98 113 127 141
a 11 20 27 48 52 73 90 106 113 127 141
a 11 20 27 48 52 73 90 106 113 122 141
a 11 20 27 43 52 73 90 106 113 122 141
a 11 20 27 43 52 73 96 106 113 122 141
a 11 20 27 43 52 73 96 106 114 122 141
a 11 20 27 43 52 73 96 106 114 122 137
a 11 20 27 43 52 61 96 106 114 122 137
a 11 20 27 43 52 61 96 106 114 122 141
a 11 20 29 43 52 61 96 106 114 122 141
a 11 20 29 43 52 61 96 106 114 123 141
a 11 20 29 38 52 61 96 106 114 123 141
a 11 20 29 38 52 61 82 96 114 123 141
a 11 20 29 38 52 67 82 96 114 123 141
a 11 20 29 38 52 67 82 96 109 123 141
a 11 20 29 38 52 67 82 96 105 109 123
a 11 20 29 38 52 82 96 105 109 123 139
a 11 20 29 38 52 82 96 102 109 123 139
a 11 20 29 45 52 82 96 102 109 123 139
a 11 20 45 52 62 82 96 102 109 123 139
a 11 20 45 52 62 82 96 102 109 125 139
a 11 20 28 45 62 82 96 102 109 125 139
a 11 20 28 45 62 82 96 102 109 123 139
a 11 28 45 53 62 82 96 102 109 123 139
a 8 28 45 53 62 82 96 102 109 123 139
a 8 23 28 53 62 82 96 102 109 123 139
a 8 23 28 38 53 82 96 102 109 123 139
a 8 23 33 38 53 82 96 102 109 123 139
a 8 23 33 53 62 82 96 102 109 123 139
a 8 23 33 48 53 62 82 102 109 123 139
a 8 23 33 48 53 62 94 102 109 123 139
a 4 23 33 48 53 62 94 102 109 123 139
a 4 23 33 48 53 62 94 104 109 123 139
a 4 23 33 48 53 62 80 94 109 123 139
a 6 23 33 48 53 62 80 94 109 123 139
a 6 23 33 53 62 80 94 108 109 123 139
a 6 23 33 37 53 62 80 94 108 123 139
a 6 23 33 37 52 62 80 94 108 123 139
a 6 23 33 52 62 80 94 108 109 123 139
a 5 23 33 52 62 80 94 108 109 123 139
a 5 23 33 37 52 62 80 94 108 123 139
a 5 23 33 37 52 80 94 108 114 123 139
a 5 23 33 37 52 80 86 108 114 123 139
a 5 23 33 37 52 80 86 108 118 123 139
a 5 33 37 52 71 80 86 108 118 123 139
a 5 33 37 52 71 80 86 108 114 123 139
a 5 33 37 52 71 80 94 108 114 123 139
a 5 14 33 37 52 71 80 94 108 114 139
a 14 33 37 52 71 80 94 108 114 123 139
a 12 14 33 37 52 71 80 94 114 123 139
a 5 14 33 37 52 71 80 94 114 123 139
a 5 14 33 37 52 71 80 108 114 123 139
a 5 14 33 37 52 71 94 108 114 123 139
a 5 14 33 52 71 73 94 108 114 123 139
a 5 14 33 52 71 80 94 108 114 123 139
a 5 14 33 37 52 71 80 94 108 123 139
a 5 14 33 37 52 80 94 108 114 123 139
a 5 14 37 52 71 80 94 108 114 123 139
a 5 14 37 52 71 80 94 108 114 129 139
a 5 14 35 37 52 80 94 108 114 129 139
a 5 14 35 37 52 80 94 108 111 129 139
a 5 35 37 52 66 80 94 108 111 129 139
a 5 35 37 52 66 80 86 108 111 129 139
a 10 35 37 52 66 80 86 108 111 129 139
a 10 16 35 37 66 80 86 108 111 129 139
a 10 16 35 37 60 66 80 86 111 129 139
a 10 16 37 60 66 80 86 101 111 129 139
a 10 16 30 37 60 80 86 101 111 129 139
a 10 16 30 37 60 80 86 101 111 129 143
c Step: 142
#END: [Fri Sep  1 03:08:51 2023]