#BEGIN: [Thu Aug 31 19:01:10 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 /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
TIMEOUT 1800
c send SIGTERM to CID 1fa0dabc3e412d9efaa45915c5ef5fcf2691d5fa3463414ab14ac2228b7daf70
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 10 14 30 39 59 80 89 97 112 129 139
a 10 14 30 39 59 80 89 97 120 129 139
a 10 30 39 59 62 80 89 97 120 129 139
a 10 24 30 39 59 62 80 89 97 129 139
a 10 30 39 59 62 80 89 97 112 129 139
a 10 16 30 39 59 62 80 89 97 129 139
a 10 16 30 39 59 62 80 89 97 129 144
a 10 30 39 59 62 80 89 97 112 129 144
a 10 30 39 55 62 80 89 97 112 129 144
a 10 30 39 55 71 80 89 97 112 129 144
a 10 14 30 39 55 71 80 89 97 112 129
a 10 14 30 39 71 80 89 97 112 129 139
a 10 14 30 39 72 80 89 97 112 129 139
a 10 14 30 39 55 72 80 89 97 112 129
a 10 14 30 55 72 80 89 97 112 129 143
a 10 14 30 48 55 80 89 97 112 129 143
a 10 30 48 55 62 80 89 97 112 129 143
a 10 27 48 55 62 80 89 97 112 129 143
a 10 27 48 55 62 80 89 97 112 126 143
a 10 19 27 48 62 80 89 97 112 126 143
a 10 19 27 48 62 80 89 97 112 129 143
a 10 19 27 60 62 80 89 97 112 129 143
a 10 19 27 42 60 62 80 89 112 129 143
a 10 19 27 42 60 61 80 89 112 129 143
a 10 19 27 42 61 80 89 108 112 129 143
a 10 19 27 42 59 61 80 89 108 112 129
a 10 19 27 42 59 62 80 89 108 112 129
a 10 19 27 42 59 62 80 108 112 129 137
a 10 19 27 42 59 61 80 108 112 129 137
a 10 19 26 42 59 61 80 108 112 129 137
a 10 19 26 42 59 61 80 89 108 112 129
a 10 19 26 42 59 61 89 108 112 129 135
a 10 19 26 42 61 83 89 108 112 129 135
a 10 19 26 42 60 61 83 89 112 129 135
a 10 19 26 42 60 61 83 92 112 129 135
a 10 19 26 42 60 61 83 92 101 129 135
a 10 19 26 42 60 61 83 92 101 111 129
a 10 19 26 42 60 61 83 92 101 111 141
a 10 19 26 42 60 61 83 92 101 124 141
a 10 19 26 42 51 61 83 92 101 124 141
a 10 19 26 42 51 61 83 92 101 132 141
a 10 19 26 42 51 61 83 92 112 132 141
a 10 19 26 42 51 61 83 92 112 132 137
a 10 19 26 42 51 61 83 92 108 112 137
a 10 19 42 51 61 83 92 108 112 122 137
a 10 19 33 42 51 61 83 92 108 112 137
a 10 19 33 51 61 83 92 108 112 122 137
a 10 33 42 51 61 83 92 108 112 122 137
a 10 15 33 42 61 83 92 108 112 122 137
a 10 15 33 42 52 61 83 92 108 122 137
a 10 15 33 42 52 61 83 92 108 115 122
a 15 33 42 52 61 83 92 108 115 122 142
a 15 33 42 52 61 83 92 101 115 122 142
a 15 33 42 52 61 84 92 101 115 122 142
a 10 15 33 42 52 61 84 92 101 115 122
a 10 15 33 42 61 84 92 101 115 122 143
a 10 33 42 51 61 84 92 101 115 122 143
a 10 16 33 51 61 84 92 101 115 122 143
a 10 16 30 51 61 84 92 101 115 122 143
a 10 16 30 47 51 61 84 92 101 115 122
a 9 16 30 47 51 61 84 92 101 115 122
a 9 16 30 51 61 84 92 101 115 122 143
a 9 16 30 44 51 61 84 101 115 122 143
a 10 16 30 44 51 61 84 101 115 122 143
a 10 16 30 44 51 61 84 93 101 122 143
a 16 30 44 51 61 84 93 101 118 122 143
a 9 16 30 44 51 61 84 101 118 122 143
a 9 16 30 44 51 61 84 91 101 118 122
a 9 16 30 44 51 61 84 91 118 122 137
a 9 16 30 44 51 61 84 91 119 122 137
a 16 30 44 51 61 84 91 105 119 122 137
a 10 16 30 44 51 84 91 105 119 122 137
a 10 16 44 51 61 84 91 105 119 122 137
a 10 16 30 44 51 61 84 91 105 122 137
a 10 16 35 44 51 61 84 91 105 122 137
a 10 16 35 44 51 84 91 105 114 122 137
a 10 35 44 51 61 84 91 105 114 122 137
a 10 15 35 44 61 84 91 105 114 122 137
a 10 15 35 44 64 84 91 105 114 122 137
a 10 15 35 44 49 64 84 91 105 122 137
a 10 15 35 44 49 64 91 105 120 122 137
a 6 15 35 44 49 64 91 105 120 122 137
a 6 15 35 44 64 73 91 105 120 122 137
a 10 15 35 44 64 73 91 105 120 122 137
a 10 15 35 44 64 73 91 105 114 122 137
a 10 15 35 44 64 73 91 108 114 122 137
a 10 15 35 44 50 64 73 91 108 114 137
a 10 15 35 45 50 64 73 91 108 114 137
a 10 15 45 50 64 73 91 108 114 131 137
a 8 15 45 50 64 73 91 108 114 131 137
a 8 22 45 50 64 73 91 108 114 131 137
a 8 22 45 50 64 73 91 108 114 123 137
a 8 22 45 50 64 83 91 108 114 123 137
a 1 22 45 50 64 83 91 108 114 123 137
a 1 22 29 45 50 64 83 91 108 114 123
a 1 22 29 45 50 64 83 108 114 123 139
a 8 22 29 45 50 64 83 108 114 123 139
a 8 22 29 45 50 64 83 91 108 114 123
a 8 22 29 50 64 83 91 108 114 123 133
a 8 22 29 50 64 83 93 108 114 123 133
a 8 22 29 50 64 83 93 108 114 123 139
a 8 22 29 37 64 83 93 108 114 123 139
a 8 14 29 37 64 83 93 108 114 123 139
a 8 14 29 37 58 64 83 93 108 114 139
a 8 14 29 37 58 64 83 93 99 114 139
a 12 14 29 37 58 64 83 93 99 114 139
a 12 14 29 37 58 64 83 93 114 123 139
a 14 29 37 58 64 83 93 108 114 123 139
a 8 14 29 37 58 83 93 108 114 123 139
a 8 14 29 37 58 64 83 93 108 114 123
a 8 14 29 58 64 83 93 108 114 123 133
a 8 14 29 58 64 83 93 108 114 123 139
a 8 13 29 58 64 83 93 108 114 123 139
a 8 13 29 58 64 83 93 98 114 123 139
a 8 13 29 58 64 83 93 98 114 123 144
a 8 29 37 58 64 83 93 98 114 123 144
a 8 29 37 58 64 83 93 98 114 123 139
a 8 17 37 58 64 83 93 98 114 123 139
a 8 17 27 37 58 64 83 93 98 114 139
a 8 17 27 37 58 64 83 98 114 132 139
a 8 17 33 37 58 64 83 98 114 132 139
a 8 17 33 37 58 64 83 98 114 123 139
a 8 17 33 37 58 64 83 98 120 123 139
a 17 33 37 58 64 83 92 98 120 123 139
a 17 33 37 58 64 78 92 98 120 123 139
a 8 17 33 37 58 64 78 98 120 123 139
a 8 17 33 37 58 64 78 98 119 123 139
a 8 17 33 48 58 64 78 98 119 123 139
a 8 17 33 48 49 64 78 98 119 123 139
a 8 17 48 49 64 78 94 98 119 123 139
a 8 17 33 48 49 64 78 94 119 123 139
a 8 14 33 48 49 64 78 94 119 123 139
a 8 33 48 49 64 78 94 98 119 123 139
a 8 17 33 48 49 64 78 94 98 119 139
a 8 17 33 48 49 64 78 94 98 131 139
a 8 17 33 48 49 64 78 94 98 123 139
a 8 17 33 48 49 71 78 94 98 123 139
a 8 17 33 48 49 71 78 98 118 123 139
a 8 17 33 48 49 64 78 98 118 123 139
a 8 17 48 49 64 78 93 98 118 123 139
a 8 17 48 49 64 83 93 98 118 123 139
a 8 17 48 49 64 83 93 102 118 123 139
a 8 17 33 48 49 64 83 102 118 123 139
a 8 17 33 48 49 64 83 98 118 123 139
a 8 33 48 49 64 83 89 98 118 123 139
a 8 18 33 48 49 64 89 98 118 123 139
a 8 18 33 48 49 64 82 89 98 123 139
a 8 18 48 49 64 82 89 98 119 123 139
a 8 18 33 48 49 64 89 98 119 123 139
a 8 18 33 48 49 64 82 89 98 119 139
a 8 18 33 48 49 64 82 89 98 131 139
a 8 18 33 48 49 64 82 89 98 131 135
a 8 18 48 49 64 82 89 98 117 131 135
a 8 18 48 55 64 82 89 98 117 131 135
a 8 18 28 48 55 82 89 98 117 131 135
a 8 18 28 55 72 82 89 98 117 131 135
a 8 18 28 49 72 82 89 98 117 131 135
a 8 18 28 49 72 82 89 103 117 131 135
a 8 18 28 49 72 82 86 103 117 131 135
a 8 18 28 37 72 82 86 103 117 131 135
a 8 18 28 37 72 82 86 101 117 131 135
a 8 18 28 37 55 72 82 101 117 131 135
a 8 18 28 37 55 72 82 86 101 117 131
a 8 18 28 37 55 72 82 86 101 111 131
a 8 18 28 37 55 72 82 86 101 111 129
a 18 28 37 55 72 82 86 101 111 129 143
a 10 18 28 37 55 72 86 101 111 129 143
a 10 18 37 55 72 80 86 101 111 129 143
a 10 30 37 55 72 80 86 101 111 129 143
a 10 16 30 37 72 80 86 101 111 129 143
a 10 16 30 37 60 80 86 101 111 129 143
c Step: 172
#END: [Thu Aug 31 19:31:10 2023]