#BEGIN: [Mon Sep 4 12:04:29 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-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 --ulimit cpu=1800 -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.006 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 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 116 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 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 102 105 106 107 110 114 116 118 123 126 128 130 135 137 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 271 272 275 277 283 285 289 290 291 294 296 299 a 7 9 10 11 12 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 116 118 123 126 128 130 135 137 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 262 266 269 271 272 275 277 283 285 289 290 291 294 296 299 a 7 9 10 11 12 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 116 118 123 126 128 130 135 137 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 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 10 11 12 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 116 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 236 239 247 248 252 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 10 11 12 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 83 86 89 90 91 96 101 102 105 106 107 110 114 116 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 10 11 12 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 114 116 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 253 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 114 116 118 123 126 128 130 135 137 144 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 253 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 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 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 253 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 13 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 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 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 255 256 262 266 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 13 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 255 256 262 269 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 13 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 253 255 256 262 272 273 275 277 283 285 289 290 291 294 296 299 a 7 9 11 12 13 15 17 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 236 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 7 9 11 12 13 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 216 217 221 225 228 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 77 86 89 90 91 96 101 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 217 221 225 228 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 181 187 190 194 196 199 204 205 207 208 209 211 215 217 221 225 228 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 187 190 196 199 204 205 207 208 209 211 215 217 221 225 228 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 262 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 14 15 17 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 148 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 39 42 45 48 49 52 53 54 60 61 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 61 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 149 151 153 155 156 161 166 167 168 171 174 175 176 177 178 181 184 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 61 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 123 126 128 130 135 144 147 149 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 61 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 126 128 130 135 144 147 149 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 217 221 225 228 239 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 126 128 130 135 144 147 149 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 217 221 225 228 239 244 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 119 126 128 130 135 144 147 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 217 221 225 228 239 244 247 248 252 253 255 256 272 273 275 277 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 96 102 105 106 107 110 113 114 116 118 119 126 128 130 135 144 147 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 217 221 225 228 244 247 248 252 253 255 256 272 273 275 277 280 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 95 96 102 105 106 107 110 113 114 116 118 119 126 128 130 135 144 147 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 277 280 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 33 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 95 96 102 105 106 110 113 114 116 118 119 126 128 130 135 144 147 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 276 277 280 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 95 96 102 105 106 110 113 114 116 118 119 126 128 130 135 144 147 151 153 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 197 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 276 277 280 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 95 96 102 105 106 110 113 114 116 118 119 126 128 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 276 277 280 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 36 42 45 48 49 52 53 54 60 63 66 71 77 86 89 90 91 95 96 102 105 106 110 113 114 116 119 126 128 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 276 277 280 282 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 36 42 45 48 49 52 53 54 60 63 66 71 76 77 86 89 90 91 95 96 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 275 276 277 280 282 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 24 29 30 36 42 45 48 49 52 53 54 60 63 66 71 76 77 86 89 90 91 95 96 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 276 277 280 282 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 29 30 36 42 45 48 49 52 53 54 60 63 66 70 71 76 77 86 89 90 91 95 96 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 276 277 280 282 285 289 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 29 30 36 42 45 48 49 52 53 54 60 63 66 70 71 76 77 86 89 90 91 95 96 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 29 30 31 36 42 45 48 49 52 53 54 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 211 215 221 225 228 237 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 21 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 190 192 196 197 198 199 202 204 205 207 209 215 221 225 228 237 242 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 215 221 225 228 237 242 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 221 225 228 237 240 242 244 247 248 252 253 255 256 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 7 9 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 221 225 228 237 240 242 244 248 252 253 255 256 261 272 273 276 277 280 282 284 285 290 291 294 296 299 a 1 5 9 11 12 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 221 225 228 237 240 242 244 248 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 291 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 144 147 151 155 156 166 167 168 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 221 225 228 237 240 242 244 248 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 291 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 86 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 221 225 228 237 240 242 244 248 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 291 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 225 228 237 240 242 244 248 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 291 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 89 90 91 95 102 105 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 89 90 91 95 102 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 294 296 299 a 1 5 9 11 13 14 15 18 22 23 29 30 31 36 42 45 48 49 52 53 60 63 66 70 71 76 77 89 90 91 95 102 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 22 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 90 91 95 102 106 110 113 114 116 119 126 130 135 138 144 147 151 155 156 166 167 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 22 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 90 91 95 102 106 110 113 114 116 119 126 130 135 138 144 147 151 155 166 167 170 171 174 175 176 177 178 181 184 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 22 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 90 91 95 102 106 110 113 114 116 119 126 135 138 144 147 151 155 166 167 170 171 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 22 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 91 95 102 106 110 113 114 116 119 126 135 138 141 144 147 151 155 166 167 170 171 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 22 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 166 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 166 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 9 11 13 14 15 18 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 76 77 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 222 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 290 293 294 296 a 1 5 11 13 14 15 18 23 30 31 36 42 45 48 49 50 52 53 60 63 66 70 71 75 76 77 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 222 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 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 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 222 224 225 228 237 240 242 244 248 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 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 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 159 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 222 224 225 228 237 240 242 244 249 252 253 255 256 261 272 273 276 277 280 281 282 284 285 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 89 91 95 102 106 110 113 114 119 126 135 138 141 144 147 151 155 159 167 170 171 172 174 175 176 177 178 181 184 185 186 187 189 190 192 196 197 198 199 202 204 205 207 209 210 212 213 221 222 224 225 228 237 240 242 244 249 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 89 91 95 102 106 110 113 114 119 126 135 138 141 144 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 207 209 210 212 213 221 222 224 225 228 237 240 242 244 249 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 89 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 207 210 212 213 221 222 224 225 228 237 240 242 244 249 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 207 210 212 213 221 222 224 225 228 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): 529.42 System time (seconds): 14.57 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.36 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): 28284332 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 9671801 Voluntary context switches: 2729386 Involuntary context switches: 2286 Swaps: 0 File system inputs: 0 File system outputs: 384 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:10:32 2023]