#BEGIN: [Mon Sep 4 14:32:05 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance024_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph005_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_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat c /benchmark/random_instance/random_instance024_graph005.col c /benchmark/random_instance/random_instance024_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 26 250 309 206 307 136 226 246 213 242 127 50 273 203 120 312 12 151 278 244 87 224 140 275 123 58 116 183 88 264 93 232 145 168 249 10 274 306 268 281 269 175 61 7 294 238 166 301 96 172 298 72 299 24 97 181 3 62 308 1 71 51 310 286 110 41 257 13 225 143 57 101 303 157 33 222 204 125 216 169 202 253 30 230 66 73 108 239 261 5 118 47 211 236 277 272 217 201 106 163 289 197 122 293 t 103 87 9 148 116 14 225 137 20 170 247 106 271 267 248 230 7 181 171 223 169 39 55 122 104 253 206 272 160 229 278 120 51 124 232 159 52 177 67 165 301 36 21 68 289 191 140 107 61 96 46 284 145 216 237 93 201 274 205 180 234 54 76 100 178 199 94 306 214 192 77 143 196 304 121 288 58 38 219 63 269 163 233 136 246 59 139 108 242 130 211 293 88 47 33 34 26 146 283 252 310 5 308 303 a YES a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 187 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 264 268 269 272 273 274 275 277 278 281 286 289 293 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 187 197 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 294 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 289 293 298 299 301 303 306 307 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 66 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 288 289 293 298 299 301 303 306 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 229 230 232 236 238 239 242 244 246 249 250 253 257 261 264 268 269 272 273 274 275 277 278 281 286 288 289 293 298 299 301 303 306 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 216 217 218 222 224 225 226 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 286 288 289 293 298 299 301 303 306 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 286 288 289 293 298 299 301 303 306 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 309 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 52 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 172 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 10 12 13 24 26 30 33 41 47 50 51 52 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 125 127 136 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 41 47 50 51 52 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 41 47 51 52 57 58 61 62 71 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 87 88 93 96 97 101 106 108 110 116 118 120 122 123 124 125 127 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 87 88 93 96 97 101 106 107 108 110 116 118 120 122 123 124 127 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 238 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 106 107 108 110 116 118 120 122 123 124 127 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 281 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 106 107 108 110 116 118 120 122 123 124 127 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 196 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 192 196 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 312 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 192 196 197 201 202 203 204 206 211 213 214 216 217 218 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 151 157 163 166 168 169 171 175 181 183 192 196 197 201 202 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 181 183 191 192 196 197 201 202 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 236 239 242 244 246 249 250 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 181 183 191 192 196 197 201 202 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 236 239 242 244 246 250 252 253 257 261 267 268 269 272 273 274 275 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 57 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 181 183 191 192 196 197 201 202 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 236 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 181 183 191 192 196 197 201 202 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 236 237 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 181 183 191 192 196 197 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 157 163 166 168 169 171 175 180 181 183 191 192 196 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 299 301 303 306 308 310 a 1 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 146 157 163 166 168 169 171 175 180 181 183 191 192 196 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 146 157 163 166 168 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 268 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 146 148 157 163 166 168 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 146 148 157 163 168 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 257 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 118 120 122 123 124 136 139 140 143 145 146 148 157 163 168 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 217 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 72 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 118 120 121 122 123 124 136 139 140 143 145 146 148 157 163 168 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 63 72 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 118 120 121 122 123 124 136 139 140 143 145 146 148 157 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 236 237 239 242 244 246 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 63 72 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 118 120 121 122 123 124 136 139 140 143 145 146 148 157 160 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 239 242 244 246 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 118 120 121 122 123 124 136 139 140 143 145 146 148 157 160 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 239 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 239 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 38 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 110 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 21 24 26 30 33 36 38 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 175 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 14 21 24 26 30 33 36 38 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 180 181 183 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 14 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 180 181 191 192 196 199 201 203 204 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 157 160 163 169 171 180 181 191 192 196 199 201 203 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 160 163 169 171 180 181 191 192 196 199 201 203 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 298 301 303 306 308 310 a 3 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 67 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 160 163 169 171 180 181 191 192 196 199 201 203 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 67 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 160 163 169 171 180 181 191 192 196 199 201 203 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 248 250 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 67 73 76 87 88 93 94 96 97 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 160 163 169 171 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 248 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 67 73 76 87 88 93 94 96 101 104 106 107 108 116 120 121 122 123 124 130 136 139 140 143 145 146 148 160 163 169 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 248 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 62 63 67 73 76 87 88 93 94 96 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 169 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 248 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 63 67 73 76 87 88 93 94 96 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 222 224 225 229 230 232 233 237 242 244 246 247 248 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 63 67 73 76 87 88 93 94 96 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 224 225 229 230 232 233 237 242 244 246 247 248 252 253 261 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 61 63 67 73 76 77 87 88 93 94 96 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 273 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 30 33 36 38 39 41 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 33 36 38 39 41 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 277 278 283 288 289 293 301 303 306 308 310 a 5 7 9 12 13 14 20 21 24 26 33 36 38 39 41 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 278 283 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 24 26 33 34 36 38 39 41 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 278 283 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 24 26 33 34 36 38 39 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 203 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 278 283 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 24 26 33 34 36 38 39 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 26 33 34 36 38 39 47 51 52 55 58 59 61 63 67 73 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 244 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 26 33 34 36 38 39 47 51 52 55 58 59 61 63 67 68 73 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 123 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 13 14 20 21 26 33 34 36 38 39 47 51 52 54 55 58 59 61 63 67 68 73 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 14 20 21 26 33 34 36 38 39 47 51 52 54 55 58 59 61 63 67 68 73 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 52 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 224 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 306 308 310 a 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 52 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 180 181 191 192 196 199 201 205 206 211 214 216 218 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 304 306 308 310 a 5 7 9 14 20 21 26 33 34 36 38 39 46 47 51 52 54 55 58 59 61 63 67 68 76 77 87 88 93 94 96 100 103 104 106 107 108 116 120 121 122 124 130 136 137 139 140 143 145 146 148 159 160 163 165 169 170 171 177 178 180 181 191 192 196 199 201 205 206 211 214 216 219 223 225 229 230 232 233 234 237 242 246 247 248 252 253 267 269 271 272 274 278 283 284 288 289 293 301 303 304 306 308 310 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance024_graph005.col /benchmark/random_instance/random_instance024_graph005_01.dat" User time (seconds): 537.20 System time (seconds): 9.04 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.77 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): 20553716 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 7205239 Voluntary context switches: 145831 Involuntary context switches: 827 Swaps: 0 File system inputs: 0 File system outputs: 392 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:38:08 2023]