#BEGIN: [Mon Sep 4 15:09:20 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance021_graph004.col /benchmark/random_instance/random_instance021_graph004_01.dat c /benchmark/random_instance/random_instance021_graph004.col c /benchmark/random_instance/random_instance021_graph004_01.dat s 141 153 122 259 60 199 201 149 84 3 267 243 271 103 242 244 210 78 156 93 225 17 76 114 62 39 163 209 26 70 219 184 229 249 32 36 165 7 44 220 262 112 131 137 167 252 147 250 179 169 94 25 30 260 81 150 54 246 91 207 126 79 175 86 67 52 130 257 101 120 22 158 261 266 9 238 269 95 31 162 105 273 239 33 185 152 t 128 161 170 25 172 218 131 244 250 228 216 155 220 266 129 214 146 62 26 243 206 18 159 271 36 203 191 67 166 45 46 97 179 92 32 241 143 104 208 158 272 136 63 156 247 12 268 212 235 265 189 101 171 209 43 150 233 175 261 57 59 103 142 90 81 185 10 253 89 239 190 95 7 273 82 257 39 132 93 255 184 210 238 180 83 162 a YES a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 70 76 78 79 81 84 86 91 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 70 76 78 79 81 84 91 92 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 76 78 79 81 84 91 92 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 169 175 179 184 185 199 201 207 209 210 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 76 78 79 81 84 91 92 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 199 201 207 209 210 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 259 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 31 32 33 36 39 44 52 54 60 62 67 76 78 79 81 84 91 92 93 94 95 101 103 105 112 114 120 122 126 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 199 201 207 209 210 214 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 32 33 36 39 44 52 54 60 62 67 76 78 79 81 84 91 92 93 94 95 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 199 201 207 209 210 214 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 273 a 3 7 9 17 22 25 26 30 32 33 36 39 44 52 54 60 62 67 76 78 79 81 82 84 91 92 93 94 95 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 201 207 209 210 214 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 273 a 3 7 9 22 25 26 30 32 33 36 39 44 52 54 60 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 105 112 114 120 122 126 128 130 131 137 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 201 207 209 210 214 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 273 a 3 7 9 22 25 26 30 32 33 36 39 44 52 54 60 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 105 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 201 207 209 210 214 218 219 220 225 229 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 272 273 a 3 7 9 22 25 26 30 32 33 36 39 44 52 54 60 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 201 207 209 210 214 218 219 220 225 229 235 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 272 273 a 3 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 162 163 165 167 175 179 184 185 191 201 207 209 210 212 214 218 219 220 225 229 235 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 272 273 a 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 175 179 184 185 191 201 207 209 210 212 214 218 219 220 225 229 235 238 239 242 243 244 246 249 250 252 257 260 261 262 266 267 269 271 272 273 a 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 175 179 184 185 189 191 201 207 209 210 212 214 218 219 220 225 229 235 238 239 242 243 244 246 249 250 257 260 261 262 266 267 269 271 272 273 a 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 165 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 249 250 257 260 261 262 266 267 269 271 272 273 a 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 78 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 247 249 250 257 260 261 262 266 267 269 271 272 273 a 7 9 22 25 26 30 32 33 36 39 44 52 54 62 67 76 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 247 249 250 257 260 261 262 266 267 269 271 272 273 a 7 9 10 22 25 26 30 32 33 36 39 44 52 54 62 67 76 79 81 82 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 247 249 250 257 260 261 262 266 267 271 272 273 a 7 9 10 22 25 26 30 32 33 36 39 44 52 54 62 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 242 243 244 246 247 249 250 257 261 262 266 267 271 272 273 a 7 9 10 22 25 26 30 32 33 36 39 44 52 54 59 62 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 257 261 262 266 267 271 272 273 a 7 10 22 25 26 30 32 33 36 39 44 52 54 59 62 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 114 120 122 126 128 129 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 257 261 262 266 267 271 272 273 a 7 10 22 25 26 30 32 33 36 39 44 52 54 59 62 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 114 120 126 128 129 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 267 271 272 273 a 7 10 22 25 26 30 32 33 36 39 44 52 54 59 62 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 126 128 129 130 131 141 147 149 150 152 153 156 158 159 161 162 163 167 171 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 267 271 272 273 a 7 10 22 25 26 30 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 126 128 129 130 131 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 267 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 126 128 129 130 131 132 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 267 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 126 128 129 130 131 132 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 180 184 185 189 191 201 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 229 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 84 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 266 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 141 149 150 152 153 156 158 159 161 162 163 167 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 265 266 271 272 273 a 7 10 22 25 26 32 33 36 39 44 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 149 150 152 153 156 158 159 161 162 163 167 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 265 266 271 272 273 a 7 10 22 25 26 32 33 36 39 44 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 265 266 271 272 273 a 7 10 22 25 26 32 33 36 39 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 142 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 225 228 233 235 238 239 243 244 246 247 249 250 255 257 261 262 265 266 271 272 273 a 7 10 22 25 26 32 33 36 39 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 142 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 228 233 235 238 239 243 244 246 247 249 250 253 255 257 261 262 265 266 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 112 120 128 129 130 131 132 142 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 228 233 235 238 239 243 244 246 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 112 120 128 129 131 132 142 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 218 220 228 233 235 238 239 243 244 246 247 249 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 54 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 112 120 128 129 131 132 142 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 216 218 220 228 233 235 238 239 243 244 246 247 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 112 120 128 129 131 132 142 146 149 150 152 153 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 216 218 220 228 233 235 238 239 243 244 246 247 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 120 128 129 131 132 142 146 149 150 152 153 155 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 216 218 220 228 233 235 238 239 243 244 246 247 250 253 255 257 261 262 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 57 59 62 63 67 76 79 81 82 83 91 92 93 94 95 97 101 103 104 120 128 129 131 132 142 146 149 150 152 153 155 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 57 59 62 63 67 76 81 82 83 89 91 92 93 94 95 97 101 103 104 120 128 129 131 132 142 146 149 150 152 153 155 156 158 159 161 162 163 171 175 179 180 184 185 189 191 201 206 207 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 52 57 59 62 63 67 76 81 82 83 89 91 92 93 94 95 97 101 103 104 120 128 129 131 132 142 146 149 150 152 153 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 22 25 26 32 36 39 45 57 59 62 63 67 76 81 82 83 89 91 92 93 94 95 97 101 103 104 120 128 129 131 132 142 143 146 149 150 152 153 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 45 57 59 62 63 67 76 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 142 143 146 149 150 152 153 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 191 201 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 45 57 59 62 63 67 76 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 149 150 152 153 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 191 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 45 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 149 150 152 153 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 45 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 149 150 152 155 156 158 159 161 162 163 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 246 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 45 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 149 150 152 155 156 158 159 161 162 163 166 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 43 45 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 150 152 155 156 158 159 161 162 163 166 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 22 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 120 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 163 166 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 18 22 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 91 92 93 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 163 166 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 18 22 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 92 93 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 163 166 170 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 18 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 90 92 93 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 163 166 170 171 172 175 179 180 184 185 189 190 191 203 206 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 a 7 10 12 18 25 26 32 36 39 43 45 46 57 59 62 63 67 81 82 83 89 90 92 93 95 97 101 103 104 128 129 131 132 136 142 143 146 150 155 156 158 159 161 162 166 170 171 172 175 179 180 184 185 189 190 191 203 206 208 209 210 212 214 216 218 220 228 233 235 238 239 241 243 244 247 250 253 255 257 261 265 266 268 271 272 273 c Step: 51 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance021_graph004.col /benchmark/random_instance/random_instance021_graph004_01.dat" User time (seconds): 1.86 System time (seconds): 0.08 Percent of CPU this job got: 184% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.05 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 114580 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 69221 Voluntary context switches: 3625 Involuntary context switches: 27 Swaps: 0 File system inputs: 0 File system outputs: 256 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:09:21 2023]