#BEGIN: [Tue Sep 26 02:08:19 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #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 /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! 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 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 128 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 84 86 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 128 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 40 41 42 44 49 60 64 67 69 71 77 84 91 93 96 103 106 107 109 110 111 113 114 116 118 120 121 128 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 40 41 42 44 49 60 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 118 120 121 128 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 263 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 40 41 42 44 49 60 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 155 156 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 263 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 40 41 42 44 49 60 62 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 155 156 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 263 265 269 271 275 276 279 280 284 285 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 40 41 42 44 49 62 63 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 155 156 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 263 265 269 271 275 276 279 280 284 285 291 294 299 304 308 309 312 a 9 10 11 17 20 23 25 28 31 32 35 37 38 40 41 42 44 49 62 63 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 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 263 269 271 275 276 279 280 284 285 291 294 299 304 308 309 312 a 7 9 10 11 17 20 23 25 28 31 32 35 37 38 40 41 42 44 49 62 63 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 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 263 269 271 275 276 279 280 284 285 291 294 299 304 308 309 312 a 7 9 10 11 17 20 23 25 28 31 32 35 37 38 39 40 41 42 44 49 62 63 64 67 69 71 77 84 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 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 263 269 271 275 279 280 284 285 291 294 299 304 308 309 312 a 7 9 10 11 17 20 23 25 28 31 32 35 37 38 39 40 41 42 44 49 62 63 64 67 69 71 77 87 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 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 263 269 271 275 279 280 284 285 291 294 299 304 308 309 312 a 4 7 9 10 11 17 20 23 25 28 31 32 35 37 38 39 40 41 42 44 49 62 63 64 67 69 71 77 87 91 93 96 103 107 109 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 263 269 271 275 279 280 284 285 291 294 299 304 308 309 312 a 4 7 9 10 11 17 20 23 24 25 28 31 32 35 37 38 39 40 41 42 44 49 62 63 64 67 69 71 77 87 91 93 96 103 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 263 269 271 275 279 280 284 285 291 294 299 304 308 309 312 a 4 7 9 11 17 20 23 24 25 28 31 32 35 37 38 39 40 41 42 44 49 62 63 64 67 69 71 77 87 91 93 96 103 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 263 269 271 275 279 280 284 285 291 294 298 299 304 308 309 312 a 4 7 9 11 17 20 23 24 25 28 31 32 35 37 38 39 40 41 42 44 62 63 64 67 69 71 77 87 91 93 96 103 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 263 269 271 275 279 280 284 285 291 294 298 299 304 308 309 312 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 42 44 62 63 64 67 69 71 77 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 238 241 245 249 252 263 269 271 275 279 280 284 285 291 294 298 299 304 308 309 312 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 42 44 62 63 64 67 69 71 77 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 235 238 241 245 249 252 263 269 275 279 280 284 285 291 294 298 299 304 308 309 312 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 42 44 62 63 64 67 69 71 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 235 238 241 245 249 252 263 269 275 279 280 284 285 291 294 298 299 304 308 309 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 42 44 58 62 63 64 67 69 71 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 235 238 241 245 249 252 263 269 275 279 280 284 285 294 298 299 304 308 309 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 206 207 214 219 221 223 229 233 235 238 241 245 249 252 263 269 275 279 280 284 285 294 298 299 304 308 309 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 233 235 238 241 245 249 252 263 269 275 279 280 284 285 294 298 299 304 309 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 233 235 238 241 245 249 252 257 263 269 275 279 280 284 285 294 298 299 304 a 4 7 9 11 17 20 22 23 24 25 28 31 32 35 37 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 233 235 238 241 245 249 252 257 263 269 279 280 284 285 286 294 298 299 304 a 4 7 8 9 11 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 233 235 238 241 245 249 252 257 263 269 279 280 284 285 286 294 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 233 235 238 241 245 249 252 257 263 269 279 280 284 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 207 214 219 221 223 229 235 238 241 245 249 252 257 259 263 269 279 280 284 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 164 169 170 173 174 177 178 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 252 257 259 263 269 279 280 284 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 169 170 173 174 177 178 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 251 252 257 259 263 269 279 280 284 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 91 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 169 170 173 174 177 178 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 251 252 257 259 261 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 93 96 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 169 170 173 174 177 178 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 87 93 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 169 170 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 107 110 111 113 114 116 120 121 128 130 133 135 136 138 141 143 150 151 152 153 154 155 156 157 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 107 110 111 113 114 116 120 121 128 130 135 136 138 141 143 150 151 152 153 154 155 156 157 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 31 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 107 110 111 113 114 116 120 121 128 130 135 136 138 141 143 150 151 152 153 154 155 156 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 150 151 152 153 154 155 156 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 269 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 150 151 152 153 154 155 156 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 146 150 151 153 154 155 156 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 279 280 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 146 150 151 153 154 155 156 169 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 280 281 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 35 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 280 281 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 190 194 198 200 202 206 214 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 130 135 136 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 190 194 198 200 202 206 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 136 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 190 194 198 200 202 206 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 283 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 187 190 194 198 200 202 206 219 221 223 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 283 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 141 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 187 190 194 198 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 283 285 286 298 299 304 a 4 7 8 9 11 16 17 20 22 23 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 187 190 194 198 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 277 280 281 283 285 286 298 299 304 310 a 4 7 8 9 11 16 17 20 22 24 25 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 187 190 194 198 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 264 277 280 281 283 285 286 298 299 304 310 a 4 7 8 9 11 16 17 20 22 24 25 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 182 187 194 198 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 264 277 280 281 283 285 286 298 299 304 310 a 4 7 8 9 11 16 17 20 22 24 25 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 194 198 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 257 259 261 262 263 264 267 277 280 281 283 285 286 298 299 304 310 a 4 7 8 9 11 16 17 20 22 24 25 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 194 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 253 257 259 261 262 263 264 267 277 280 281 283 285 286 298 299 304 310 a 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 191 194 200 202 206 218 219 221 229 235 238 239 240 241 245 249 251 252 253 257 259 261 262 263 264 267 277 280 281 283 285 286 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 191 194 200 202 206 218 219 221 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 277 280 281 283 285 286 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 101 107 110 111 113 114 116 120 121 128 135 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 191 194 200 202 218 219 221 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 277 280 281 283 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 77 78 81 87 93 100 101 107 110 111 113 114 116 120 121 128 138 139 143 144 146 150 151 153 154 155 156 173 174 177 178 179 187 191 194 200 202 218 219 221 229 235 238 239 240 241 249 251 252 253 257 259 261 262 263 264 267 277 280 281 283 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 74 78 81 87 93 100 101 107 110 111 113 114 116 120 121 128 138 139 143 144 146 150 151 153 154 155 156 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 280 281 283 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 73 74 78 81 87 93 100 101 107 110 111 113 114 116 120 121 128 138 139 143 144 146 150 151 153 154 155 156 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 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 71 73 74 78 81 87 93 100 101 107 110 111 113 114 116 120 121 128 129 138 139 143 144 146 150 151 153 154 156 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 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 73 74 78 81 87 93 100 101 107 110 111 113 114 116 120 121 128 129 138 139 143 144 146 150 151 153 154 156 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 285 286 293 298 299 304 310 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 73 74 78 81 87 90 93 100 101 107 110 111 113 114 116 120 121 128 129 138 139 143 144 146 150 151 153 154 156 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 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 69 73 74 78 81 87 90 93 100 101 104 107 110 113 114 116 120 121 128 129 138 139 143 144 146 150 151 153 154 156 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 a 2 4 7 8 9 11 16 17 20 22 24 26 27 28 32 38 39 40 41 44 58 59 62 63 64 67 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 151 153 154 156 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 a 2 4 7 8 9 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 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 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 /benchmark/random_instance/random_instance024_graph001.col /benchmark/random_instance/random_instance024_graph001_01.dat" User time (seconds): 61.39 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.46 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): 103120 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 51191 Voluntary context switches: 21 Involuntary context switches: 278 Swaps: 0 File system inputs: 0 File system outputs: 352 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:09:21 2023]