#BEGIN: [Mon Sep 4 14:30:12 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance023_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph004_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_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat c /benchmark/random_instance/random_instance023_graph004.col c /benchmark/random_instance/random_instance023_graph004_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 139 289 209 45 194 167 30 211 239 135 217 171 48 215 283 123 91 196 114 83 294 21 128 137 166 7 77 22 42 256 54 148 9 295 156 247 39 205 216 14 155 182 153 271 161 144 24 291 221 53 96 61 255 248 23 130 10 252 33 290 299 52 174 207 181 106 236 36 199 272 149 107 266 285 118 86 204 12 208 175 225 187 168 275 89 17 90 105 101 269 29 176 110 40 49 190 126 11 296 151 277 t 159 71 273 30 106 286 253 240 52 138 77 198 42 212 255 277 242 141 184 225 256 174 178 280 70 281 233 172 228 14 276 249 60 251 205 185 294 45 173 11 296 252 197 147 31 222 50 119 213 5 190 146 196 202 187 177 199 91 186 48 18 237 76 221 113 261 102 75 1 79 53 290 36 135 170 126 63 155 244 293 282 181 176 49 114 144 284 189 192 13 110 167 210 66 224 95 171 204 272 175 15 a YES a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299 a 2 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 a 2 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 41 42 45 48 49 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299 a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 271 272 275 277 283 285 289 290 291 294 295 296 299 a 7 9 10 11 12 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 137 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 283 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 105 106 107 110 114 118 123 126 128 130 135 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 182 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 283 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 102 105 106 107 110 114 118 123 126 128 130 135 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 283 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 66 77 83 86 89 90 91 96 101 102 105 106 107 110 114 118 123 126 128 130 135 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 114 118 123 126 128 130 135 139 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 181 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 114 118 123 126 128 130 135 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 21 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 148 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 266 269 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 148 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 266 269 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 17 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 148 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 266 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 148 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 266 272 273 275 277 285 289 290 291 294 295 296 299 a 7 9 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 147 148 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 277 285 289 290 291 294 295 296 299 a 1 7 9 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 107 110 113 114 118 123 126 128 130 135 144 147 148 151 153 155 156 166 167 168 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 277 285 289 290 291 294 295 296 299 a 1 7 9 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 110 113 114 118 123 126 128 130 135 144 147 148 151 153 155 156 166 167 168 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 285 289 290 291 294 295 296 299 a 1 7 9 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 77 83 86 89 90 91 96 101 102 105 106 110 113 114 118 123 126 128 130 135 138 144 147 148 151 153 155 156 166 167 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 285 289 290 291 294 295 296 299 a 1 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 118 123 126 128 130 135 138 144 147 148 151 153 155 156 166 167 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 285 289 290 291 294 295 296 299 a 1 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 118 123 126 128 130 135 138 144 147 148 151 153 155 156 166 167 170 171 174 175 176 177 181 187 189 190 196 199 204 205 207 208 209 211 216 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 285 289 290 291 294 295 296 299 a 1 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 118 123 126 128 130 135 138 144 147 148 151 153 155 156 166 167 170 171 174 175 176 177 178 181 187 189 190 196 199 204 205 207 208 209 211 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 285 289 290 291 294 295 296 299 a 1 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 148 151 153 155 156 166 167 170 171 174 175 176 177 178 181 187 189 190 196 199 204 205 207 208 209 211 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 151 153 155 156 166 167 170 171 172 174 175 176 177 178 181 187 189 190 196 199 204 205 207 208 209 211 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 151 153 155 156 166 167 170 171 172 174 175 176 177 178 181 187 189 190 196 199 204 205 208 209 211 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 22 23 24 29 30 33 36 39 40 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 204 205 208 209 211 217 221 225 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 204 205 208 209 211 217 221 225 228 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 202 204 205 209 211 217 221 225 228 236 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 83 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 202 204 205 209 211 217 221 225 228 239 247 248 249 252 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 202 204 205 209 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 199 202 204 205 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 24 29 30 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 29 30 36 39 42 45 48 49 52 53 54 60 61 63 66 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 299 a 1 5 7 10 11 12 13 14 18 22 23 29 30 36 39 42 45 48 49 52 53 54 60 63 66 70 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 299 a 1 5 7 11 12 13 14 15 18 22 23 29 30 36 39 42 45 48 49 52 53 54 60 63 66 70 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 239 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 299 a 1 5 7 11 12 13 14 15 18 22 23 29 30 36 39 42 45 48 49 52 53 54 60 63 66 70 75 77 86 89 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 36 39 42 45 48 49 52 53 54 60 63 66 70 75 77 86 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 233 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 36 39 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 96 101 102 105 106 110 113 114 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 233 237 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 96 101 102 105 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 233 237 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 105 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 233 237 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 289 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 105 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 217 221 225 228 233 237 239 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 105 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 221 225 228 233 237 239 240 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 290 291 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 105 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 221 225 228 233 237 240 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 290 291 293 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 221 224 225 228 233 237 240 244 247 248 249 252 253 255 256 272 273 275 276 277 281 282 285 290 291 293 294 295 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 106 110 113 114 119 123 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 196 197 199 202 204 205 211 221 224 225 228 233 237 240 244 247 248 249 252 253 255 256 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 199 202 204 205 211 221 224 225 228 233 237 240 244 247 248 249 252 253 255 256 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 75 77 86 90 91 101 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 247 249 252 253 255 256 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 77 86 90 91 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 247 249 252 253 255 256 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 77 86 90 91 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 77 86 90 91 95 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 275 276 277 280 281 282 285 290 291 293 294 296 a 1 5 7 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 77 90 91 95 102 106 110 113 114 119 126 128 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 275 276 277 280 281 282 284 285 290 291 293 294 296 a 1 5 7 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 275 276 277 280 281 282 284 285 290 291 293 294 296 a 1 5 7 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 291 293 294 296 a 1 5 7 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 211 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 211 212 221 224 225 228 233 237 240 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 153 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 221 224 225 228 233 237 240 242 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 155 156 166 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 79 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 291 293 294 296 a 1 5 11 13 14 15 18 22 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 75 76 77 79 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 a 1 5 11 13 14 15 18 22 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 90 91 95 102 106 110 113 114 119 126 130 135 138 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 a 1 5 11 13 14 15 18 22 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 130 135 138 141 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 a 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 130 135 138 141 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 a 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 155 156 159 167 170 171 172 173 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 a 1 5 11 13 14 15 18 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 79 91 95 102 106 110 113 114 119 126 135 138 141 144 146 147 155 159 167 170 171 172 173 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 210 212 213 221 222 224 225 228 233 237 240 242 244 249 251 252 253 255 256 261 272 273 276 277 280 281 282 284 286 290 293 294 296 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance023_graph004.col /benchmark/random_instance/random_instance023_graph004_01.dat" User time (seconds): 527.65 System time (seconds): 13.93 Percent of CPU this job got: 149% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.75 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): 25575240 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8868869 Voluntary context switches: 2341793 Involuntary context switches: 2314 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 14:36:14 2023]