#BEGIN: [Mon Sep 4 14:28:51 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance023_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph001_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_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat c /benchmark/random_instance/random_instance023_graph001.col c /benchmark/random_instance/random_instance023_graph001_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 243 295 206 270 51 137 253 177 292 7 12 48 157 18 207 150 219 27 245 43 162 249 120 73 244 263 265 108 278 78 294 33 256 251 11 68 60 130 83 235 257 239 30 180 210 90 195 25 208 44 1 164 211 107 13 127 55 218 144 224 259 151 53 91 173 296 230 66 248 254 264 4 132 160 116 227 228 37 2 163 76 274 201 152 22 181 187 203 183 297 271 153 159 288 21 186 247 t 88 296 252 96 137 213 233 102 15 209 18 100 68 294 90 41 224 71 272 237 92 8 153 217 251 220 130 45 17 250 285 168 299 172 254 81 156 280 72 43 247 3 26 211 259 287 198 33 50 270 180 200 103 86 176 125 46 94 82 275 47 274 98 271 114 230 187 28 22 1 36 104 235 154 42 291 228 159 91 13 19 186 135 256 61 52 196 140 51 248 215 35 4 40 160 80 232 a YES a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 83 91 107 108 116 120 127 129 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 278 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 82 83 91 107 108 116 120 127 129 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 82 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 257 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 82 83 90 91 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 213 218 219 224 227 228 230 235 239 243 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 82 83 90 91 98 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 210 211 213 218 219 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 81 82 83 90 91 98 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 211 213 218 219 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 76 78 81 82 83 90 91 96 98 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 120 127 130 132 137 144 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 21 22 25 27 30 33 37 43 44 48 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 120 127 130 132 137 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 21 22 25 27 30 33 37 43 44 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 120 127 130 132 137 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 19 21 22 25 27 30 33 37 43 44 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 127 130 132 137 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 19 21 22 25 26 27 30 33 37 43 44 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 130 132 137 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 203 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 19 21 22 25 26 27 30 33 37 43 44 51 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 211 213 218 224 227 228 230 235 239 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 7 8 11 12 13 18 19 21 22 25 26 27 30 33 37 43 44 51 52 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 8 11 12 13 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 73 78 81 82 83 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 292 294 295 296 297 a 1 2 4 8 11 12 13 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 73 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 294 295 296 297 a 1 2 4 8 11 13 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 73 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 209 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 288 294 295 296 297 a 1 2 4 8 11 13 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 152 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 209 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 280 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 201 206 207 208 209 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 280 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 30 33 37 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 201 206 208 209 211 213 218 224 227 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 280 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 201 206 208 209 211 213 218 224 228 230 235 244 245 247 248 249 251 253 254 256 259 263 264 265 270 271 274 275 280 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 107 108 116 130 132 137 140 150 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 201 206 208 209 211 213 218 224 228 230 235 244 245 247 248 249 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 102 107 108 116 130 132 137 140 150 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 201 206 209 211 213 218 224 228 230 235 244 245 247 248 249 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 201 206 209 211 213 218 224 228 230 235 244 245 247 248 249 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 81 82 83 86 90 91 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 206 209 211 213 218 224 228 230 233 235 244 245 247 248 249 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 78 80 81 82 83 86 90 91 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 162 163 164 173 177 180 181 183 186 187 195 198 200 206 209 211 213 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 71 78 80 81 82 83 86 90 91 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 162 163 173 177 180 181 183 186 187 195 198 200 206 209 211 213 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 71 78 80 81 82 83 86 90 91 92 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 162 163 173 177 180 183 186 187 195 198 200 206 209 211 213 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 71 78 80 81 82 83 86 90 91 92 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 163 173 177 180 183 186 187 195 198 200 206 209 211 213 215 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 297 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 83 86 90 91 92 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 163 173 177 180 183 186 187 195 198 200 206 209 211 213 215 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 83 86 90 91 92 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 163 173 177 180 183 186 187 195 198 200 209 211 213 215 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 96 98 102 107 108 116 130 132 137 140 151 153 157 159 160 163 173 177 180 183 186 187 195 196 198 200 209 211 213 215 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 30 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 96 98 102 107 108 116 130 137 140 151 153 157 159 160 163 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 218 224 228 230 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 96 98 102 107 108 116 130 137 140 151 153 157 159 160 163 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 218 224 228 230 232 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 25 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 96 98 102 107 108 116 125 130 137 140 151 153 157 159 160 163 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 224 228 230 232 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 96 98 102 107 108 116 125 130 137 140 151 153 157 159 160 163 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 107 108 116 125 130 137 140 151 153 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 245 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 107 108 116 125 130 137 140 151 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 37 41 42 43 44 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 107 108 116 125 130 137 140 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 37 41 42 43 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 107 108 114 116 125 130 137 140 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 41 42 43 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 107 108 114 116 125 130 137 140 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 41 42 43 46 51 52 53 55 60 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 41 42 43 46 51 52 53 55 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 177 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 35 41 42 43 46 51 52 53 55 66 68 71 72 78 80 81 82 86 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 244 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 2 4 8 11 13 15 18 19 21 22 26 27 28 33 35 41 42 43 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 4 8 11 13 15 18 19 21 22 26 27 28 33 35 40 41 42 43 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 264 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 4 8 11 13 15 18 19 21 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 287 288 291 294 295 296 a 1 3 4 8 11 13 15 18 19 21 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 287 288 291 294 296 a 1 3 4 8 11 13 15 18 19 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 103 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 287 288 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 78 80 81 82 86 88 90 91 92 94 96 98 100 102 103 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 288 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 288 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 40 41 42 43 45 46 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 108 114 116 125 130 135 137 140 153 156 157 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 40 41 42 43 45 46 50 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 108 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 50 51 52 53 55 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 183 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 66 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 265 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 154 156 159 160 172 173 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 17 18 19 22 26 27 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 154 156 159 160 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 251 252 254 256 259 263 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 116 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 53 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 299 a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 104 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 195 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 299 a 1 3 4 8 13 15 17 18 19 22 26 28 33 35 36 40 41 42 43 45 46 47 50 51 52 61 68 71 72 80 81 82 86 88 90 91 92 94 96 98 100 102 103 104 114 125 130 135 137 140 153 154 156 159 160 168 172 176 180 186 187 196 198 200 209 211 213 215 217 220 224 228 230 232 233 235 237 247 248 250 251 252 254 256 259 270 271 272 274 275 280 285 287 291 294 296 299 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance023_graph001.col /benchmark/random_instance/random_instance023_graph001_01.dat" User time (seconds): 524.91 System time (seconds): 15.47 Percent of CPU this job got: 149% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.61 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): 26211812 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8786377 Voluntary context switches: 2902091 Involuntary context switches: 2407 Swaps: 0 File system inputs: 0 File system outputs: 368 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:34:53 2023]