#BEGIN: [Tue Sep 26 08:05:31 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance018_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance018_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance018_graph001.col /benchmark/random_instance/random_instance018_graph001_01.dat
c /benchmark/random_instance/random_instance018_graph001.col
c /benchmark/random_instance/random_instance018_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 7b47ed7ad2ddcaf3678b144eb54d2de6f7b1e1f09500684f04df4ac82a965fb9
s 187 204 51 137 163 90 32 196 189 153 73 140 157 31 26 224 207 119 213 84 126 106 93 158 56 142 6 102 82 171 5 228 201 70 133 88 226 37 191 198 95 227 87 29 132 160 131 64 7 215 59 156 66 28 122 47 135 42 206 211 67 104 128 194 192 150 105 75 69 81 164 216 4 220 130
t 88 89 14 190 220 195 23 82 150 18 13 4 136 6 44 139 53 85 222 126 204 146 8 35 159 167 211 73 172 32 123 224 227 163 198 116 40 26 95 39 112 96 98 173 114 1 219 233 105 138 122 194 38 218 160 179 59 164 192 193 230 191 36 125 52 2 75 225 106 144 140 153 128 130 212
a YES
a 4 5 6 7 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228
a 4 5 6 7 14 26 28 29 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 224 226 227 228
a 4 5 6 7 14 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 226 227 228
a 4 5 6 7 14 26 28 29 30 31 32 34 37 42 47 51 56 59 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 106 119 122 126 128 130 131 132 133 135 137 140 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 226 227 228
a 4 5 6 7 14 26 28 29 30 31 32 34 37 42 47 51 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 106 119 120 122 126 128 130 131 132 133 135 137 140 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 226 227 228
a 4 5 6 7 14 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 106 119 120 122 126 128 130 131 132 133 135 137 140 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 106 119 120 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 207 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 106 119 120 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 163 164 171 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 106 119 120 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 164 171 175 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 93 95 102 104 105 119 120 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 34 37 42 47 51 55 56 59 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 32 34 37 42 47 51 56 59 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 31 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 32 37 42 47 51 56 59 64 66 67 69 70 73 75 81 82 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 212 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 32 37 42 47 51 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 158 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 212 213 215 216 220 226 227 228
a 4 5 6 7 26 28 29 30 32 37 42 47 51 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 162 164 171 175 187 189 191 192 194 196 198 201 204 206 211 212 213 215 216 219 220 226 227 228
a 4 5 6 7 26 28 29 30 32 37 42 47 51 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 162 164 171 173 175 189 191 192 194 196 198 201 204 206 211 212 213 215 216 219 220 226 227 228
a 4 5 6 7 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 162 164 171 173 175 189 191 192 194 196 198 201 204 206 211 212 213 215 216 219 220 226 227 228
a 1 4 5 6 7 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 162 164 171 173 175 189 191 192 194 196 198 201 204 206 211 212 213 215 219 220 226 227 228
a 1 4 5 6 7 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 142 150 152 153 156 157 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 226 227 228
a 1 4 5 6 7 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 142 150 153 156 157 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 150 153 156 157 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 133 135 137 140 150 153 156 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 56 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 126 128 130 131 132 135 137 140 150 153 156 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 125 126 128 130 131 132 135 137 140 150 153 156 160 162 164 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 125 126 128 130 131 135 137 140 150 153 156 160 162 164 167 171 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 119 122 125 126 128 130 131 135 137 140 150 153 156 160 162 164 167 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 84 87 88 90 93 95 102 104 105 112 122 125 126 128 130 131 135 137 140 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 84 87 88 93 95 102 104 105 112 122 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 206 211 212 213 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 84 87 88 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 206 211 212 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 30 32 36 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 87 88 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 206 211 212 215 219 220 222 226 227 228
a 1 4 5 6 7 14 18 26 28 29 32 36 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 87 88 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 206 211 212 215 218 219 220 222 226 227 228
a 1 2 4 5 6 7 14 18 26 28 29 32 36 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 87 88 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 189 191 192 194 196 198 204 211 212 215 218 219 220 222 226 227 228
a 1 2 4 5 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 69 70 73 75 77 81 87 88 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 191 192 194 196 198 204 211 212 215 218 219 220 222 226 227 228
a 1 2 4 5 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 162 164 167 172 173 175 179 191 192 194 196 198 204 211 212 215 218 219 220 222 226 227 228
a 1 2 4 5 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 164 167 172 173 175 179 191 192 194 196 198 204 211 212 215 218 219 220 222 226 227 228
a 1 2 4 5 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227 228
a 1 2 4 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 135 137 140 144 150 153 156 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227 228
a 1 2 4 6 7 14 18 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 135 137 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227 228
a 1 2 4 6 7 14 18 23 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 137 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227 228
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 137 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 47 52 59 64 66 67 70 73 75 77 81 85 87 88 89 93 95 102 104 105 106 112 122 123 125 126 128 130 131 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 44 47 52 59 64 66 67 70 73 75 77 81 85 87 88 89 95 102 104 105 106 112 122 123 125 126 128 130 131 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 196 198 204 211 212 215 218 219 220 222 224 226 227
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 44 47 52 59 64 66 67 70 73 75 77 81 85 87 88 89 95 102 104 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 198 204 211 212 215 218 219 220 222 224 226 227
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 44 47 52 59 64 66 67 70 73 75 81 85 87 88 89 95 102 104 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 198 204 211 212 215 218 219 220 222 224 226 227 230
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 40 42 44 47 52 59 64 66 67 73 75 81 85 87 88 89 95 102 104 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 226 227 230
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 38 40 42 44 47 52 59 64 66 67 73 75 81 85 87 88 89 95 102 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 226 227 230
a 1 2 4 6 7 8 14 18 23 26 28 29 32 35 36 37 38 40 42 44 47 52 59 64 66 67 73 75 81 85 88 89 95 102 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 29 32 35 36 37 38 40 44 47 52 59 64 66 67 73 75 81 85 88 89 95 102 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 29 32 35 36 37 38 40 44 47 52 59 66 67 73 75 81 85 88 89 95 102 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 29 32 35 36 37 38 40 44 47 52 59 67 73 75 81 85 88 89 95 96 102 105 106 112 122 123 125 126 128 130 131 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 29 32 35 36 37 38 40 44 47 52 59 67 73 75 81 82 85 88 89 95 96 102 105 106 112 122 123 125 126 128 130 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 47 52 59 67 73 75 81 82 85 88 89 95 96 102 105 106 112 122 123 125 126 128 130 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 47 52 59 67 73 75 82 85 88 89 95 96 102 105 106 112 122 123 125 126 128 130 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 52 59 67 73 75 82 85 88 89 95 96 102 105 106 112 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 52 59 73 75 82 85 88 89 95 96 98 102 105 106 112 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 7 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 52 59 73 75 82 85 88 89 95 96 98 105 106 112 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 215 218 219 220 222 224 225 226 227 230
a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 37 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 226 227 230
a 1 2 4 6 8 13 14 18 23 26 28 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 226 227 230
a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 226 227 230 233
a 1 2 4 6 8 13 14 18 23 26 32 35 36 38 39 40 44 52 53 59 73 75 82 85 88 89 95 96 98 105 106 112 114 116 122 123 125 126 128 130 136 138 139 140 144 146 150 153 159 160 163 164 167 172 173 179 190 191 192 193 194 195 198 204 211 212 218 219 220 222 224 225 227 230 233
c Step: 61
#END: [Tue Sep 26 08:35:32 2023]