#BEGIN: [Mon Sep 4 12:53:39 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance023_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance023_graph002.col /benchmark/random_instance/random_instance023_graph002_01.dat c /benchmark/random_instance/random_instance023_graph002.col c /benchmark/random_instance/random_instance023_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 248 71 216 105 249 8 50 292 254 45 39 297 204 110 53 46 2 161 157 232 124 107 44 171 256 196 210 198 67 180 188 258 255 228 29 87 197 214 144 172 251 156 229 49 9 209 153 51 265 193 64 85 298 79 75 162 36 225 217 37 211 182 252 231 121 3 30 275 106 142 122 4 203 150 283 77 299 21 158 63 19 244 174 155 1 290 118 241 245 293 185 243 274 t 52 212 176 231 75 88 79 22 83 202 114 194 41 246 221 141 175 123 108 275 160 33 12 39 19 128 223 1 266 9 137 139 205 159 121 60 56 118 259 213 136 101 6 220 145 103 69 55 36 171 240 198 199 253 282 216 260 124 152 87 20 105 131 209 28 77 100 144 235 185 151 268 299 15 109 50 197 162 161 146 251 129 150 179 147 119 155 274 270 189 35 148 245 a YES a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 271 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 142 144 150 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 199 203 204 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 271 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 141 142 144 150 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 199 203 204 210 211 214 216 217 225 228 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 271 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 141 142 144 150 155 156 157 158 161 162 171 172 174 180 185 188 193 196 197 198 199 203 204 210 211 214 216 217 225 228 231 232 240 241 243 244 245 248 249 251 252 254 255 256 258 265 271 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 141 142 144 150 155 156 157 158 161 162 171 172 174 180 185 188 193 196 197 198 199 203 204 210 211 214 216 217 225 228 231 232 240 241 243 244 245 248 249 251 252 254 255 256 258 265 271 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 141 142 144 150 155 156 157 158 161 162 171 172 174 180 185 188 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 248 249 251 252 254 255 256 258 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 188 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 248 251 252 254 255 256 258 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 188 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 87 100 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 87 100 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 217 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 36 37 39 45 46 49 50 51 53 56 63 64 67 71 75 77 79 87 100 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 36 37 39 46 49 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 106 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 36 37 39 46 49 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 107 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 214 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 36 37 39 46 49 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 107 108 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 258 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 33 36 37 39 46 49 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 107 108 110 118 121 122 124 139 141 142 144 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 33 36 37 39 46 49 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 107 108 110 118 121 122 124 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 29 30 33 36 37 39 46 49 50 51 52 53 56 63 67 71 75 77 79 87 100 105 107 108 109 110 118 121 122 124 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 30 33 36 37 39 46 49 50 51 52 53 56 63 67 71 75 77 79 87 100 105 107 108 109 110 118 121 122 124 128 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 228 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 30 33 36 37 39 46 49 50 51 52 53 56 63 67 71 75 77 79 87 100 105 107 108 109 110 118 121 122 124 128 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 179 180 185 193 196 197 198 199 203 204 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 30 33 36 37 39 46 49 50 51 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 179 180 185 193 196 197 198 199 203 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 2 3 4 8 9 15 19 30 33 36 37 39 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 129 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 179 180 185 193 196 197 198 199 203 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 123 124 128 129 139 141 144 146 147 150 155 156 157 158 161 162 171 172 174 179 180 185 193 196 197 198 199 203 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 172 174 179 185 193 196 197 198 199 203 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 244 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 254 255 256 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 254 255 256 259 260 265 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 49 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 255 256 259 260 265 270 274 275 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 255 256 259 260 265 270 274 275 282 283 290 292 293 297 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 155 156 157 158 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 156 157 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 30 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 157 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 240 241 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 157 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 235 240 241 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 28 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 157 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 225 231 232 235 240 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 28 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 193 196 197 198 199 203 205 209 210 211 216 220 221 225 231 232 235 240 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 28 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 196 197 198 199 203 205 209 210 211 216 220 221 225 231 232 235 240 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 37 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 196 197 198 199 203 205 209 210 211 216 220 221 225 231 235 240 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 196 197 198 199 203 205 209 210 211 216 220 221 225 231 235 240 243 245 246 248 251 252 253 255 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 101 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 196 197 198 199 203 205 209 210 211 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 101 103 105 107 108 109 118 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 265 268 270 274 275 282 283 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 53 56 63 67 71 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 265 268 270 274 275 282 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 71 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 265 268 270 274 275 282 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 71 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 161 162 171 174 179 185 189 194 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 290 292 293 299 a 1 3 4 8 9 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 131 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 290 292 299 a 1 3 8 9 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 203 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 290 292 299 a 1 3 8 9 12 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 290 292 299 a 1 3 8 9 12 15 19 20 22 28 33 36 39 41 46 50 52 56 63 67 69 75 77 79 87 100 101 103 105 107 108 109 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 36 39 41 46 50 52 56 67 69 75 77 79 87 100 101 103 105 107 108 109 114 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 225 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 36 39 41 46 50 52 56 67 69 75 77 79 87 100 101 103 105 107 108 109 114 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 175 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 35 36 39 41 46 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 148 150 152 155 159 161 162 171 174 175 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 256 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 35 36 39 41 46 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 152 155 159 161 162 171 174 175 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 152 155 159 161 162 171 174 175 176 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 3 8 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 161 162 171 174 175 176 179 185 189 194 196 197 198 199 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 161 162 171 174 175 176 179 185 189 194 196 197 198 199 202 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 210 213 216 220 221 223 231 235 240 243 245 246 248 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 67 69 75 77 79 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 210 213 216 220 221 223 231 235 240 243 245 246 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 67 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 210 213 216 220 221 223 231 235 240 245 246 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 210 212 213 216 220 221 223 231 235 240 245 246 251 252 253 259 260 268 270 274 275 282 299 a 1 3 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 252 253 259 260 266 268 270 274 275 282 299 a 1 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 137 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 252 253 259 260 266 268 270 274 275 282 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 56 60 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 137 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 252 253 259 260 266 268 270 274 275 282 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 69 75 77 79 83 87 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 137 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 196 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 137 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 299 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance023_graph002.col /benchmark/random_instance/random_instance023_graph002_01.dat" User time (seconds): 60.73 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.80 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): 99708 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 49418 Voluntary context switches: 23 Involuntary context switches: 342 Swaps: 0 File system inputs: 0 File system outputs: 344 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:54:40 2023]