#BEGIN: [Mon Sep 4 12:40:40 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance019_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat c /benchmark/random_instance/random_instance019_graph003.col c /benchmark/random_instance/random_instance019_graph003_01.dat s 219 164 104 31 207 107 228 28 91 192 231 67 134 37 59 213 19 50 172 149 179 32 112 106 16 205 150 81 218 180 43 187 5 168 233 142 153 58 120 119 240 111 229 133 23 113 78 193 74 118 68 71 97 230 162 212 173 175 116 165 14 200 30 26 9 183 190 123 234 167 152 166 99 217 185 210 238 15 76 t 160 79 71 32 211 14 1 65 77 212 27 244 118 9 189 28 178 243 25 119 51 207 196 195 114 10 182 214 93 95 36 80 174 217 154 64 218 156 41 88 62 239 247 235 203 157 53 229 23 21 20 48 127 134 124 26 164 150 147 99 86 171 105 121 104 199 208 240 12 221 42 202 37 112 216 38 200 89 57 a YES a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 48 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 48 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 48 50 58 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 48 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 42 43 48 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 123 133 134 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 42 43 48 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 123 133 134 142 149 150 152 153 154 157 160 162 164 165 166 167 168 172 173 174 175 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 26 28 30 31 32 37 41 42 43 48 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 113 116 118 119 123 133 134 142 149 150 152 153 154 157 160 162 164 165 166 167 168 172 173 174 175 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 26 28 30 31 32 37 41 42 43 48 50 59 67 68 71 74 76 78 81 91 95 97 99 104 107 111 112 113 116 118 119 133 134 142 149 150 152 153 154 157 160 162 164 165 166 167 168 172 173 174 175 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 67 68 71 74 76 78 81 91 95 97 99 104 107 111 112 113 116 118 119 133 134 142 149 150 153 154 157 160 162 164 165 166 167 168 172 173 174 175 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 67 68 71 74 76 78 81 91 95 97 99 104 107 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 180 183 185 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 107 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 180 183 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 16 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 180 183 187 190 192 193 200 205 207 212 213 217 218 229 230 231 233 234 235 238 240 247 a 5 9 14 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 180 183 187 190 192 193 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 247 a 5 9 14 19 23 25 26 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 183 187 190 192 193 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 133 134 142 147 149 150 153 154 157 160 162 164 165 166 167 172 173 174 175 183 187 190 192 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 31 32 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 124 133 134 142 147 150 153 154 157 160 162 164 165 166 167 172 173 174 175 183 187 190 192 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 32 36 37 41 42 43 48 50 59 65 67 68 71 74 76 78 81 91 95 97 99 104 111 112 113 116 118 119 124 133 134 142 147 150 153 154 157 160 162 164 165 166 167 172 173 174 175 183 187 190 192 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 32 36 37 41 42 43 48 50 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 133 134 142 147 150 153 154 157 160 162 164 165 166 167 172 173 174 175 183 187 190 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 32 36 37 41 42 43 48 50 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 133 134 142 147 150 153 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 30 32 36 37 41 42 43 48 50 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 153 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 32 36 37 41 42 43 48 50 53 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 153 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 205 207 212 213 217 218 221 229 230 231 233 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 32 36 37 41 42 43 48 50 53 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 153 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 205 207 208 212 213 217 218 221 229 230 231 234 235 238 240 244 247 a 5 9 14 19 23 25 26 27 28 32 36 37 41 42 43 48 50 53 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 153 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 230 231 234 235 240 244 247 a 5 9 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 67 68 71 74 76 78 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 230 231 234 235 240 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 67 68 71 74 76 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 230 231 234 235 240 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 67 68 71 74 76 77 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 157 160 162 164 165 166 167 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 240 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 67 68 71 74 76 77 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 157 160 162 164 165 166 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 67 68 71 74 76 77 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 156 157 160 162 164 166 172 173 174 183 187 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 68 71 74 76 77 79 81 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 156 157 160 162 164 166 172 173 174 183 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 68 71 74 76 77 79 81 88 91 95 97 99 104 111 112 113 116 118 119 124 127 133 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 50 53 59 65 68 71 74 76 77 79 81 88 91 95 97 99 104 111 112 113 116 118 119 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 53 59 65 68 71 74 76 77 79 81 88 91 93 95 97 99 104 111 112 113 116 118 119 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 53 59 65 68 71 74 76 77 79 86 88 91 93 95 97 99 104 111 112 113 116 118 119 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 53 59 65 68 71 76 77 79 86 88 91 93 95 97 99 104 111 112 113 116 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 53 59 65 68 71 76 77 79 86 88 91 93 95 97 99 104 111 112 113 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 187 189 190 195 200 202 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 43 48 53 59 65 68 71 76 77 79 86 88 91 93 95 97 99 104 112 113 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 178 187 189 190 195 200 202 203 205 207 208 212 213 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 91 93 95 97 99 104 112 113 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 178 187 189 190 195 200 202 203 205 207 208 212 213 216 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 91 93 95 97 99 104 112 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 172 173 174 178 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 93 95 97 99 104 112 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 172 173 174 178 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 93 95 97 99 104 105 112 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 172 174 178 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 234 235 239 240 243 244 247 a 5 9 10 14 19 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 93 95 97 99 104 105 112 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 172 174 178 182 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 93 95 97 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 172 174 178 182 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 21 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 76 77 79 86 88 93 95 97 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 174 178 182 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 59 65 68 71 77 79 86 88 93 95 97 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 174 178 182 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 59 65 68 71 77 79 86 88 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 162 164 166 171 174 178 182 187 189 190 195 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 59 65 68 71 77 79 86 88 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 213 214 216 217 218 221 229 231 235 239 240 243 244 247 a 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 59 65 68 71 77 79 86 88 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 213 214 216 217 218 221 229 235 239 240 243 244 247 a 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 59 64 65 68 71 77 79 86 88 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 59 64 65 71 77 79 86 88 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 205 207 208 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 207 208 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 187 189 190 195 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 187 189 190 195 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 187 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 c Step: 56 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat" User time (seconds): 1.46 System time (seconds): 0.09 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.56 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): 64748 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 58954 Voluntary context switches: 18 Involuntary context switches: 13 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 12:40:42 2023]