#BEGIN: [Mon Sep 4 11:11:08 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance026_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph005_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 /benchmark/random_instance/random_instance026_graph005.col /benchmark/random_instance/random_instance026_graph005_01.dat c /benchmark/random_instance/random_instance026_graph005.col c /benchmark/random_instance/random_instance026_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 324 126 177 44 87 226 103 333 231 243 268 50 246 216 140 65 153 321 334 271 294 151 85 55 159 281 48 71 63 335 82 133 123 180 300 40 141 258 69 34 256 299 64 173 15 170 86 238 198 9 304 26 315 314 137 3 167 155 57 207 164 291 212 253 174 248 52 247 244 80 279 202 295 78 313 88 144 97 269 330 106 265 318 240 171 230 221 326 338 142 285 233 241 276 234 125 205 146 25 158 290 211 193 89 319 138 68 336 154 182 127 289 104 t 88 46 300 68 302 193 216 186 43 246 173 166 311 80 115 93 70 338 172 331 90 123 103 234 161 99 214 84 20 282 3 287 50 169 130 19 194 265 22 198 124 308 23 61 292 305 215 116 2 15 9 86 326 323 76 299 152 10 322 60 280 199 267 154 298 324 32 30 180 158 160 231 147 78 89 64 290 153 274 195 55 217 240 266 142 248 125 170 69 98 183 285 244 293 164 187 71 312 121 259 24 140 334 83 52 203 218 313 87 146 108 182 314 a YES a 3 9 15 25 26 34 40 44 48 50 52 55 57 63 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 141 142 144 146 151 153 154 155 158 159 164 167 170 171 173 174 177 180 182 193 198 202 205 207 211 212 216 221 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 269 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 324 326 330 333 334 335 336 338 a 3 9 15 21 25 26 34 40 44 48 50 52 55 57 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 141 142 144 146 151 153 154 155 158 159 164 167 170 171 173 174 177 180 182 193 198 202 205 207 211 212 216 221 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 269 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 324 326 330 333 334 335 336 338 a 3 9 15 21 25 26 34 40 44 48 50 52 55 57 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 141 142 144 146 151 153 154 155 158 159 164 167 170 171 173 174 177 180 182 193 198 202 205 207 211 212 216 221 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 333 334 335 336 338 a 3 9 15 21 25 26 34 40 44 46 48 50 52 55 57 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 164 167 170 171 173 174 177 180 182 193 198 202 205 207 211 212 216 221 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 333 334 335 336 338 a 3 9 15 21 25 26 34 40 44 46 48 50 52 55 57 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 333 334 335 336 338 a 3 9 15 21 25 26 34 40 44 46 48 50 52 55 57 64 65 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 25 26 34 40 44 46 48 50 52 55 57 64 68 69 71 78 80 82 85 86 87 88 89 97 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 183 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 34 40 44 46 48 50 52 55 57 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 183 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 279 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 183 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 243 244 246 247 248 253 256 258 265 268 271 276 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 183 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 241 244 246 247 248 253 256 258 265 268 271 276 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 174 177 180 182 183 187 193 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 268 271 274 276 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 268 271 274 276 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 268 274 276 281 285 289 290 291 294 295 299 300 304 313 314 315 318 319 321 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 137 138 140 142 144 146 151 153 154 155 158 159 161 164 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 268 274 276 281 285 289 290 291 294 295 299 300 304 305 313 314 315 318 319 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 116 123 125 126 127 133 138 140 142 144 146 151 153 154 155 158 159 161 164 166 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 268 274 276 281 285 289 290 291 294 295 299 300 304 305 313 314 315 318 319 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 125 126 127 133 138 140 142 144 146 151 153 154 155 158 159 161 164 166 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 313 314 315 318 319 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 247 248 253 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 312 313 314 315 318 319 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 170 171 173 177 180 182 183 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 248 253 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 312 313 314 315 318 319 323 324 326 330 334 335 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 211 212 216 226 230 231 233 234 238 240 244 246 248 253 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 312 313 314 315 318 319 323 324 326 330 334 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 211 212 216 218 226 230 231 233 234 238 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 312 313 314 315 318 319 323 324 326 330 334 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 226 230 231 233 234 238 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 295 299 300 304 305 312 313 314 315 318 319 323 324 326 330 334 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 226 230 231 233 234 238 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 318 319 322 323 324 326 330 334 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 133 138 140 142 144 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 230 231 233 234 238 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 318 319 322 323 324 326 330 334 336 338 a 3 9 15 21 22 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 144 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 318 319 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 144 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 318 319 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 144 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 319 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 34 40 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 203 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 294 299 300 304 305 312 313 314 315 319 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 34 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 203 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 294 299 300 304 305 311 312 313 314 315 319 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 34 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 203 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 294 299 300 304 305 311 312 313 314 315 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 177 180 182 183 186 187 193 195 198 202 203 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 293 294 299 300 304 305 311 312 313 314 315 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 127 130 133 138 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 293 294 299 300 304 305 311 312 313 314 315 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 127 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 289 290 291 293 294 299 300 304 305 311 312 313 314 315 322 323 324 326 330 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 127 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 287 289 290 291 293 294 299 300 304 305 311 312 313 314 315 322 323 324 326 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 287 289 290 291 293 294 299 300 304 305 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 126 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 274 276 281 285 287 290 291 293 294 299 300 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 85 86 87 88 89 90 103 104 106 108 116 123 124 125 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 266 274 276 281 285 287 290 291 293 294 299 300 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 82 86 87 88 89 90 103 104 106 108 116 123 124 125 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 266 274 276 281 282 285 287 290 291 293 294 299 300 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 123 124 125 130 133 140 142 146 147 151 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 266 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 121 123 124 125 130 133 140 142 146 147 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 207 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 266 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 161 164 166 167 169 170 171 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 230 231 233 234 240 244 246 248 256 258 259 265 266 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 230 231 233 234 240 244 246 248 258 259 265 266 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 15 22 23 25 26 32 44 46 48 50 52 55 57 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 10 15 22 23 25 26 32 44 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 103 104 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 10 15 22 23 25 26 30 32 44 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 10 15 22 23 25 30 32 44 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 291 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 10 15 22 23 25 30 32 44 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 3 9 10 15 22 23 25 30 32 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 98 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 315 322 323 324 326 331 334 336 338 a 2 3 9 10 15 22 23 25 30 32 46 48 50 52 55 60 61 64 68 69 71 78 80 86 87 88 89 90 98 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 22 23 30 32 46 48 50 52 55 60 61 64 68 69 71 78 80 83 86 87 88 89 90 98 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 22 23 30 32 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 281 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 22 23 30 32 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 103 106 108 116 121 123 124 125 130 133 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 280 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 22 23 30 32 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 233 234 240 244 246 248 258 259 265 266 267 274 276 280 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 22 23 30 32 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 218 231 234 240 244 246 248 258 259 265 266 267 274 276 280 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 22 23 30 32 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 205 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 276 280 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 22 23 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 276 280 282 285 287 290 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 22 23 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 304 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 20 22 23 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 336 338 a 2 3 9 10 15 19 20 22 23 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 202 203 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 203 212 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 78 80 83 86 87 88 89 90 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 171 172 173 180 182 183 186 187 193 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 76 78 80 83 86 87 88 89 90 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 167 169 170 172 173 180 182 183 186 187 193 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 76 78 80 83 86 87 88 89 90 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 155 158 160 161 164 166 169 170 172 173 180 182 183 186 187 193 194 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 76 78 80 83 86 87 88 89 90 93 98 99 103 106 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 158 160 161 164 166 169 170 172 173 180 182 183 186 187 193 194 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 76 78 80 83 84 86 87 88 89 90 93 98 99 103 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 158 160 161 164 166 169 170 172 173 180 182 183 186 187 193 194 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 294 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 a 2 3 9 10 15 19 20 22 23 24 30 32 43 46 50 52 55 60 61 64 68 69 70 71 76 78 80 83 84 86 87 88 89 90 93 98 99 103 108 115 116 121 123 124 125 130 140 142 146 147 152 153 154 158 160 161 164 166 169 170 172 173 180 182 183 186 187 193 194 195 198 199 203 214 215 216 217 218 231 234 240 244 246 248 259 265 266 267 274 280 282 285 287 290 292 293 298 299 300 302 305 308 311 312 313 314 322 323 324 326 331 334 338 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance026_graph005.col /benchmark/random_instance/random_instance026_graph005_01.dat" User time (seconds): 355.14 System time (seconds): 6.18 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.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): 21097176 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7539646 Voluntary context switches: 27 Involuntary context switches: 2159 Swaps: 0 File system inputs: 0 File system outputs: 416 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:17:10 2023]