#BEGIN: [Mon Sep 4 12:06:14 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance024_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat c /benchmark/random_instance/random_instance024_graph002.col c /benchmark/random_instance/random_instance024_graph002_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 209 25 253 259 102 144 282 182 23 159 298 61 73 33 136 184 8 83 290 283 84 292 134 148 35 174 120 175 164 214 261 195 264 30 21 242 167 211 122 170 90 247 135 77 248 132 43 225 177 116 117 178 273 110 158 266 262 97 29 311 305 64 65 70 40 297 254 128 154 12 304 138 198 150 62 14 95 24 82 34 137 245 233 293 17 201 237 194 39 227 146 232 190 277 287 105 104 308 296 206 57 50 t 239 279 62 117 135 256 137 164 245 274 31 77 39 142 97 9 58 60 183 251 159 110 294 67 12 207 147 66 304 52 25 276 148 150 3 265 37 43 310 269 94 199 119 22 120 78 2 157 73 278 297 258 85 59 64 190 189 277 54 114 8 89 257 172 50 306 282 82 261 123 160 11 175 28 168 101 206 34 296 196 57 124 260 111 215 230 174 201 237 287 115 7 227 178 133 32 165 214 253 13 98 49 a YES a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 158 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 132 134 135 136 137 138 144 146 148 150 154 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 148 150 154 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 131 134 135 136 137 138 144 146 148 150 154 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 278 282 283 287 289 290 292 293 296 297 298 304 305 308 311 a 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 278 282 283 287 289 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 182 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 257 259 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 209 211 214 225 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 211 214 225 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 308 311 a 8 12 14 17 21 23 24 25 29 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 211 214 225 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 311 a 8 12 14 17 21 23 24 25 28 29 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 290 292 293 296 297 298 304 305 311 a 8 12 14 17 21 23 24 25 28 29 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 305 311 a 8 12 14 17 21 23 24 25 28 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 190 194 195 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 305 310 311 a 8 12 14 17 21 23 24 25 28 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 138 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 189 190 194 195 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 95 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 144 146 148 150 154 157 159 164 167 170 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 33 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 144 146 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 128 134 135 136 137 144 146 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 256 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 256 257 261 262 264 266 273 277 278 282 283 287 292 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 248 253 254 256 257 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 8 12 14 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 8 12 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 58 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 105 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 3 8 12 17 21 23 24 25 28 30 34 35 37 39 40 43 50 57 58 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 57 58 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 184 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 54 57 58 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 116 117 120 122 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 247 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 54 57 58 61 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 116 117 120 122 124 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 116 117 120 122 124 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 122 124 134 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 211 214 227 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 40 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 122 124 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 207 211 214 227 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 122 124 135 136 137 144 146 147 148 150 154 157 159 164 167 170 172 174 175 177 178 189 190 194 195 196 198 201 206 207 211 214 227 230 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 293 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 122 124 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 172 174 175 177 178 189 190 194 195 196 198 201 206 207 211 214 227 230 232 233 237 242 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 122 124 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 172 174 175 177 178 189 190 194 195 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 277 278 282 283 287 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 35 37 39 43 50 52 54 57 58 62 64 65 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 172 174 175 177 178 189 190 194 195 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 167 168 170 172 174 175 177 178 189 190 194 195 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 298 304 310 311 a 2 3 8 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 298 304 310 311 a 2 3 8 9 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 70 73 77 82 83 84 85 89 90 97 98 102 104 110 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 298 304 310 a 2 3 8 9 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 70 73 77 82 83 84 85 89 90 97 98 102 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 70 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 154 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 254 256 257 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 157 159 164 165 167 168 170 172 174 175 177 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 62 64 65 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 157 159 164 165 167 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 251 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 157 159 164 165 167 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 251 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 144 146 147 148 150 157 159 164 165 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 245 251 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 136 137 146 147 148 150 157 159 164 165 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 137 146 147 148 150 157 159 164 165 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 211 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 262 264 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 137 146 147 148 150 157 159 164 165 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 262 264 265 266 269 273 274 277 278 282 283 287 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 120 124 135 137 146 147 148 150 157 159 164 165 168 170 172 174 175 178 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 262 264 265 266 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 135 137 146 147 148 150 157 159 164 165 168 172 174 175 178 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 262 264 265 266 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 83 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 135 137 146 147 148 150 157 159 164 165 168 172 174 175 178 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 264 265 266 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 133 135 137 146 147 148 150 157 159 164 165 168 172 174 175 178 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 264 265 266 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 133 135 137 146 147 148 150 157 159 164 165 168 172 174 175 178 183 189 190 194 196 198 199 201 206 207 214 227 230 232 233 237 239 245 251 253 256 257 258 260 261 264 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 133 135 137 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 194 196 198 199 201 206 207 214 227 230 232 237 239 245 251 253 256 257 258 260 261 264 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 84 85 89 90 94 97 98 104 110 114 115 117 119 120 124 133 135 137 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 194 196 198 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 84 85 89 90 94 97 98 104 110 114 115 117 119 120 123 124 133 135 137 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 30 34 37 39 43 49 50 52 54 57 58 59 62 64 66 67 73 77 82 85 89 90 94 97 98 104 110 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 90 94 97 98 104 110 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 90 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 198 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 31 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 90 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 232 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 310 a 2 3 7 8 9 11 12 13 17 23 24 25 28 31 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 90 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 17 22 23 24 25 28 31 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 283 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 17 22 23 24 25 28 31 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 17 22 24 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 24 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 146 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 282 287 294 296 297 304 306 310 a 2 3 7 8 9 11 12 13 22 25 28 31 32 34 37 39 43 49 50 52 54 57 58 59 60 62 64 66 67 73 77 78 82 85 89 94 97 98 101 110 111 114 115 117 119 120 123 124 133 135 137 142 147 148 150 157 159 160 164 165 168 172 174 175 178 183 189 190 196 199 201 206 207 214 215 227 230 237 239 245 251 253 256 257 258 260 261 265 269 274 276 277 278 279 282 287 294 296 297 304 306 310 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance024_graph002.col /benchmark/random_instance/random_instance024_graph002_01.dat" User time (seconds): 530.41 System time (seconds): 12.72 Percent of CPU this job got: 149% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.12 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): 24775972 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8501668 Voluntary context switches: 1882115 Involuntary context switches: 1127 Swaps: 0 File system inputs: 0 File system outputs: 384 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:12:16 2023]