#BEGIN: [Tue Sep 26 02:49:41 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance024_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance024_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_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat c /benchmark/random_instance/random_instance024_graph001.col c /benchmark/random_instance/random_instance024_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 221 135 103 23 238 289 164 110 49 155 130 276 133 44 113 71 294 96 32 42 284 60 173 35 241 84 111 299 223 271 69 265 170 200 269 275 232 41 109 118 106 158 28 245 309 10 31 291 25 67 114 194 151 153 38 169 198 214 138 83 93 312 212 157 279 120 308 116 219 91 280 141 175 126 285 37 121 17 77 249 11 252 86 107 9 206 20 233 64 207 136 152 304 150 190 182 177 t 28 120 298 262 252 107 39 100 7 249 146 58 228 32 101 140 27 277 299 159 191 8 87 218 81 138 261 4 149 257 2 110 104 281 26 156 304 154 17 40 62 177 293 59 41 260 229 200 11 221 90 16 143 116 121 78 69 129 238 128 239 113 264 187 74 173 283 202 286 153 251 144 20 194 235 219 179 93 114 139 44 151 259 73 178 38 63 267 310 22 253 240 174 64 24 263 241 a YES a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 126 130 133 135 136 138 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 150 151 152 153 155 157 158 164 169 170 173 175 177 182 190 194 198 200 206 207 212 214 219 221 223 229 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 182 190 194 198 200 206 207 212 214 219 221 223 229 232 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 207 212 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 78 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 207 212 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 a 7 9 10 11 17 20 23 25 28 31 32 35 37 38 41 42 44 49 60 64 67 69 71 77 78 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 a 7 9 10 11 17 20 23 25 28 31 32 35 37 38 40 41 42 44 49 60 64 67 69 71 77 78 83 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 a 7 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 60 64 67 69 71 77 78 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 309 a 7 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 60 64 67 69 71 74 77 78 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 a 7 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 206 214 219 221 223 229 233 238 241 245 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 a 7 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 233 238 241 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 308 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 170 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 233 238 241 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 233 238 241 249 252 265 269 271 275 276 279 280 284 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 233 238 241 249 252 257 265 269 271 275 279 280 284 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 91 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 265 269 271 275 279 280 284 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 262 265 269 271 275 279 280 284 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 96 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 31 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 141 143 144 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 32 35 37 38 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 106 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 139 141 143 144 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 28 32 35 37 38 39 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 139 141 143 144 150 151 152 153 155 157 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 139 141 143 144 150 151 152 153 155 158 164 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 139 141 143 144 150 151 152 153 155 158 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 265 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 130 133 135 136 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 269 271 275 279 280 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 136 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 269 271 275 279 280 283 285 289 291 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 136 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 269 271 275 279 280 283 285 289 294 299 304 a 7 8 9 10 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 269 271 275 279 280 283 285 289 294 299 304 a 7 8 9 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 269 271 275 279 280 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 179 182 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 279 280 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 73 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 118 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 158 169 173 177 178 179 182 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 279 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 73 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 279 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 73 74 77 78 81 83 84 86 93 107 109 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 24 25 27 28 32 35 37 38 39 40 41 42 44 49 58 63 64 67 69 71 73 74 77 78 81 83 84 86 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 283 285 289 294 298 299 304 a 7 8 9 11 17 20 22 23 24 25 27 28 32 35 37 38 39 40 41 42 44 49 58 62 63 64 67 69 71 73 74 77 78 81 83 84 86 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 267 269 271 275 283 285 294 298 299 304 a 7 8 9 11 17 20 22 23 24 25 27 28 32 35 37 38 39 40 41 42 44 49 58 62 63 64 67 69 71 73 74 77 78 81 83 84 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 269 271 275 283 285 294 298 299 304 a 7 8 9 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 67 69 71 73 74 77 78 81 83 84 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 269 271 275 283 285 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 67 69 71 73 74 77 78 81 83 84 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 150 151 152 153 154 155 156 158 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 269 271 275 283 285 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 83 84 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 269 271 275 283 285 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 83 84 90 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 269 271 275 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 83 84 90 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 271 275 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 83 84 90 93 107 110 111 113 114 116 120 121 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 107 110 111 113 114 116 120 121 128 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 219 221 223 229 238 239 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 107 110 111 113 114 116 120 121 128 133 135 138 139 141 143 144 149 150 151 152 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 218 219 221 229 238 239 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 42 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 107 110 111 113 114 116 120 121 128 133 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 218 219 221 229 238 239 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 101 107 110 111 113 114 116 120 121 128 133 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 218 219 221 229 238 239 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 218 219 221 229 238 239 240 241 249 251 252 257 261 262 263 267 271 281 283 294 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 206 214 218 219 221 229 238 239 240 241 249 251 252 257 259 261 262 263 267 271 281 283 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 84 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 238 239 240 241 249 251 252 257 259 261 262 263 267 271 281 283 293 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 238 239 240 241 249 251 252 257 259 261 262 263 267 271 281 283 293 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 267 281 283 293 298 299 304 a 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 150 151 153 154 155 156 158 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 267 281 283 293 298 299 304 310 a 4 7 8 11 17 20 22 23 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 150 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 267 281 283 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 150 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 214 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 267 281 283 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 37 38 39 40 41 44 58 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 150 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 150 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 77 78 81 87 90 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 77 78 81 87 90 93 100 101 107 110 111 113 114 116 120 121 128 138 139 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 107 110 111 113 114 116 120 121 128 138 139 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 25 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 4 7 8 11 16 17 20 22 24 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 198 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 35 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 182 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 169 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 138 139 140 143 144 146 149 151 153 154 155 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 277 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 71 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 277 281 283 286 293 298 299 304 310 a 2 4 7 8 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 69 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 140 143 144 146 149 151 153 154 156 159 173 174 177 178 179 187 191 194 200 202 218 219 221 228 229 235 238 239 240 241 249 251 252 253 257 259 260 261 262 263 264 267 277 281 283 286 293 298 299 304 310 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat" User time (seconds): 534.97 System time (seconds): 8.45 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.72 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): 30033280 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9966633 Voluntary context switches: 41835 Involuntary context switches: 2652 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: [Tue Sep 26 02:55:43 2023]