#BEGIN: [Mon Sep 4 14:27:30 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance022_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance022_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance022_graph004.col /benchmark/random_instance/random_instance022_graph004_01.dat c /benchmark/random_instance/random_instance022_graph004.col c /benchmark/random_instance/random_instance022_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 27 85 106 202 179 16 20 220 73 228 233 137 221 69 273 10 160 72 197 262 256 75 35 162 9 271 186 6 42 140 235 133 136 253 100 124 244 109 99 56 252 156 201 223 58 217 267 277 48 138 243 46 139 211 225 49 1 125 95 285 157 50 29 57 74 126 190 112 147 234 19 208 236 51 2 185 191 172 113 33 177 214 34 122 79 76 259 107 265 200 77 115 89 60 119 t 155 273 10 210 36 199 125 173 158 22 160 242 37 259 184 277 198 43 139 238 240 231 97 285 232 271 94 256 152 239 132 119 264 112 12 190 54 237 200 118 33 268 51 24 176 60 156 204 141 241 69 282 99 255 223 222 85 249 58 208 100 137 193 225 113 202 95 142 79 15 6 71 74 128 76 73 27 244 147 115 1 245 2 20 227 50 124 201 182 257 16 47 247 234 196 a YES a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 273 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 55 56 57 58 60 69 70 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 56 57 58 60 69 70 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 273 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 46 48 49 50 51 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 273 277 285 a 1 2 6 9 10 16 20 27 29 33 34 35 42 46 48 49 50 51 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 204 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 273 277 285 a 1 2 6 9 10 16 20 27 29 33 34 35 42 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 147 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 204 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 204 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 126 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 19 20 29 33 34 35 38 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 201 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 271 277 285 a 1 2 6 9 10 16 19 20 29 33 34 35 38 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 200 202 208 211 214 217 220 221 223 225 228 233 234 235 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 133 136 137 138 139 140 156 157 160 162 172 177 179 185 186 190 191 197 198 200 202 208 211 214 217 220 221 223 225 233 234 235 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 136 137 138 139 140 156 157 160 162 172 177 185 186 190 191 197 198 200 202 208 211 214 217 220 221 223 225 233 234 235 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 140 156 157 160 162 172 177 185 186 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 235 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 140 141 156 157 160 162 172 177 185 186 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 262 265 267 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 141 156 157 160 162 172 177 185 186 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 262 265 267 268 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 72 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 141 156 157 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 262 265 267 268 269 271 277 285 a 1 2 6 9 10 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 71 72 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 141 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 262 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 55 56 57 58 60 69 71 72 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 133 137 138 139 141 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 42 44 46 48 49 50 51 54 55 56 57 58 60 69 71 72 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 42 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 220 221 222 223 225 233 234 236 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 177 185 190 191 197 198 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 9 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 177 185 190 197 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 106 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 177 185 190 197 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 177 185 190 197 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 264 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 35 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 107 109 112 113 115 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 177 185 190 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 264 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 99 100 105 107 109 112 113 115 118 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 177 185 190 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 264 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 264 265 267 268 269 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 233 234 236 237 243 244 245 252 253 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 75 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 233 234 236 237 240 243 244 245 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 130 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 233 234 236 237 240 242 243 244 245 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 49 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 227 233 234 236 237 240 242 243 244 245 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 122 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 227 233 234 236 237 240 242 243 244 245 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 227 233 234 236 237 240 242 243 244 245 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 211 214 217 221 222 223 225 227 233 234 237 240 242 243 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 19 20 27 29 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 240 242 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 29 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 107 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 185 190 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 240 242 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 29 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 176 185 190 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 240 242 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 77 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 176 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 240 242 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 33 34 36 44 46 47 48 50 51 54 55 56 57 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 176 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 33 34 36 44 46 47 50 51 54 55 56 57 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 176 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 33 34 36 44 46 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 162 172 173 176 182 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 267 268 271 277 285 a 1 2 6 10 12 16 20 22 27 33 34 36 44 46 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 267 268 271 277 282 285 a 1 2 6 10 12 16 20 22 24 27 33 34 36 44 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 208 210 211 214 217 221 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 267 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 44 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 208 210 211 214 217 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 267 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 44 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 105 109 112 113 115 118 119 124 125 132 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 208 210 211 214 217 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 44 47 50 51 54 55 56 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 132 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 217 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 44 47 50 51 54 55 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 217 222 223 225 227 233 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 55 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 217 222 223 225 227 234 237 239 240 242 244 245 247 249 252 256 257 259 264 265 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 55 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 217 222 223 225 227 234 237 239 240 242 244 245 247 249 252 256 257 259 264 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 55 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 222 223 225 227 234 237 239 240 242 244 245 247 249 252 256 257 259 264 268 271 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 214 222 223 225 227 234 237 239 240 242 244 245 247 249 252 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 222 223 225 227 234 237 239 240 241 242 244 245 247 249 252 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 44 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 138 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 139 141 152 155 156 158 160 172 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 139 141 142 152 155 156 158 160 173 176 182 185 190 193 198 199 200 201 202 204 208 210 211 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 109 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 185 190 193 198 199 200 201 202 204 208 210 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 184 185 190 193 198 199 200 201 202 204 208 210 222 223 225 227 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 34 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 184 190 193 198 199 200 201 202 204 208 210 222 223 225 227 232 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 89 94 95 97 99 100 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 184 190 193 196 198 199 200 201 202 204 208 210 222 223 225 227 232 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 a 1 2 6 10 12 15 16 20 22 24 27 33 36 37 43 47 50 51 54 58 60 69 71 73 74 76 79 85 94 95 97 99 100 112 113 115 118 119 124 125 128 132 137 139 141 142 147 152 155 156 158 160 173 176 182 184 190 193 196 198 199 200 201 202 204 208 210 222 223 225 227 231 232 234 237 238 239 240 241 242 244 245 247 249 255 256 257 259 264 268 271 273 277 282 285 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance022_graph004.col /benchmark/random_instance/random_instance022_graph004_01.dat" User time (seconds): 533.47 System time (seconds): 8.66 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.36 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): 28539016 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10003195 Voluntary context switches: 123627 Involuntary context switches: 2486 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:33:31 2023]