#BEGIN: [Mon Sep 4 12:10:26 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance026_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph003_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_instance026_graph003.col /benchmark/random_instance/random_instance026_graph003_01.dat c /benchmark/random_instance/random_instance026_graph003.col c /benchmark/random_instance/random_instance026_graph003_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 131 319 126 182 53 120 257 245 192 123 22 136 157 101 78 154 66 153 49 20 173 194 307 77 48 141 56 16 174 139 118 183 80 211 292 248 90 36 92 98 309 177 14 156 283 74 112 46 45 39 152 132 109 272 313 59 163 175 147 164 327 99 127 178 331 288 226 215 69 94 52 130 271 5 255 19 233 145 47 37 335 113 67 310 168 281 318 63 278 26 221 32 187 12 82 304 150 70 329 165 95 301 244 314 302 179 193 181 129 227 t 39 3 268 167 316 280 180 69 147 101 152 192 210 335 177 221 311 5 139 184 151 75 123 55 143 22 53 77 33 54 271 324 102 158 252 197 285 109 24 105 332 23 138 263 46 214 183 266 60 300 20 90 309 128 48 243 233 267 166 326 244 304 10 56 238 26 135 82 61 34 288 196 43 36 227 207 330 86 296 28 136 98 70 312 245 108 153 297 18 299 130 12 111 179 262 226 181 178 239 222 329 157 172 129 93 175 206 32 301 127 a YES a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 199 211 215 221 226 227 233 244 245 248 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 199 211 215 221 226 227 233 244 245 248 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 55 56 59 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 199 211 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 55 56 59 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 183 187 192 193 194 199 211 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 59 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 183 187 192 193 194 199 211 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 211 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 112 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 211 214 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 156 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 211 214 215 221 226 227 233 244 245 255 257 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 67 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 211 214 215 221 226 227 233 244 245 255 257 262 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 69 70 74 77 78 80 82 90 92 94 95 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 211 214 215 221 226 227 233 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 63 69 70 74 77 78 80 82 90 92 95 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 199 207 211 214 215 221 226 227 233 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 92 95 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 211 214 215 221 226 227 233 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 92 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 211 214 215 221 226 227 233 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 211 214 215 221 226 227 233 238 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 244 245 255 257 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 173 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 239 244 245 255 262 266 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 272 278 281 283 288 292 297 301 302 304 307 309 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 118 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 281 283 288 292 296 297 301 302 304 307 309 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 281 283 288 292 296 297 299 301 302 304 307 309 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 197 199 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 150 152 153 163 164 165 174 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 63 69 70 74 77 78 80 82 90 98 99 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 152 153 163 164 165 174 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 36 39 45 46 47 48 49 53 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 152 153 163 164 165 174 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 49 53 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 141 145 147 152 153 163 164 165 174 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 49 53 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 145 147 152 153 163 164 165 174 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 49 53 54 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 120 123 126 127 128 129 130 131 132 136 139 145 147 152 153 163 164 165 175 177 178 179 181 183 184 187 192 193 194 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 49 53 54 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 136 139 145 147 152 153 163 164 165 175 177 178 179 181 183 184 187 192 193 194 196 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 165 175 177 178 179 181 183 184 187 192 193 194 196 197 199 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 80 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 165 175 177 178 179 181 183 184 187 192 193 194 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 16 18 19 20 22 26 32 33 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 165 175 177 178 179 181 183 184 187 192 193 194 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 16 18 19 20 22 26 32 33 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 172 175 177 178 179 181 183 184 187 192 193 194 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 109 113 123 126 127 128 129 130 131 132 135 136 139 145 147 152 153 163 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 109 113 123 126 127 128 129 130 131 135 136 139 145 147 152 153 163 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 312 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 109 113 123 126 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 312 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 102 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 292 296 297 299 301 302 304 307 309 312 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 301 302 304 307 309 312 313 314 316 318 324 326 327 329 331 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 63 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 301 302 304 307 309 312 313 314 316 318 324 326 327 329 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 187 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 300 301 302 304 307 309 312 313 314 316 318 324 326 327 329 332 335 a 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 300 301 302 304 307 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 164 172 175 177 178 179 181 183 184 192 193 196 197 199 206 207 210 214 221 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 172 175 177 178 179 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 283 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 281 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 113 123 127 128 129 130 131 135 136 139 145 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 268 269 271 278 280 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 74 77 78 82 90 93 98 100 101 102 105 109 123 127 128 129 130 131 135 136 139 145 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 19 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 77 78 82 90 93 98 100 101 102 105 109 123 127 128 129 130 131 135 136 139 143 145 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 302 304 309 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 77 78 82 90 93 98 100 101 102 105 109 123 127 128 129 130 131 135 136 139 143 145 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 302 304 309 311 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 77 78 82 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 302 304 309 311 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 77 78 82 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 172 175 177 178 179 180 181 183 184 192 193 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 172 175 177 178 179 180 181 183 184 192 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 269 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 172 175 177 178 179 180 181 183 184 192 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 318 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 172 175 177 178 179 180 181 183 184 192 196 197 199 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 100 101 102 105 109 111 123 127 128 129 130 131 135 136 139 143 147 151 152 153 158 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 100 101 102 105 109 111 123 127 128 129 130 135 136 139 143 147 151 152 153 158 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 314 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 100 101 102 105 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 158 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 100 101 102 105 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 101 102 105 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 313 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 278 280 288 296 297 299 300 301 304 309 311 312 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 69 70 75 77 78 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 26 28 32 33 34 36 39 43 45 46 48 53 54 55 56 60 61 69 70 75 77 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 60 61 69 70 75 77 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 327 329 332 335 a 3 5 10 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 60 61 69 70 75 77 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 329 330 332 335 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance026_graph003.col /benchmark/random_instance/random_instance026_graph003_01.dat" User time (seconds): 535.28 System time (seconds): 8.18 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.84 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): 27348112 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 9669593 Voluntary context switches: 4747 Involuntary context switches: 2374 Swaps: 0 File system inputs: 0 File system outputs: 408 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:16:28 2023]