s 4 9 14 19 24 29 34 39 44 49 54 59 64 69 74 79 84 89 94 99 104 109 114 119 124 129 134 139 144 149 154 159 164 169 174 179 184 189 194 199 204 209 219 224 229 234 239 244 249 254 259 264 269 274 279 284 289 294 299 304 309 314 319 324 329 334 339 344 349 354 359 364 369 374 379 384 389 394 399 404 409 414 419 424 429 434 439 444 449 t 4 9 14 19 24 29 34 39 44 49 54 59 64 69 74 79 84 89 94 99 104 109 114 119 124 129 134 139 144 149 154 159 164 169 174 179 184 189 194 199 204 209 214 219 224 229 234 244 249 254 259 264 269 274 279 284 289 294 299 304 309 314 319 324 329 334 339 344 349 354 359 364 369 374 379 384 389 394 399 404 409 414 419 424 429 434 439 444 449 c UNKNOWN a YES a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 99 a 104 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 239 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 a 104 109 114 119 124 129 134 139 14 144 149 154 159 164 169 174 179 184 189 19 194 199 204 209 214 219 224 229 234 24 244 249 254 259 264 269 274 279 284 289 29 294 299 304 309 314 319 324 329 334 339 34 344 349 354 359 364 369 374 379 384 389 39 394 399 4 404 409 414 419 424 429 434 439 44 444 449 49 54 59 64 69 74 79 84 89 9 94 99 Command exited with non-zero status 65 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp -c core_stop="UNKNOWN" --stats --quiet=1,0 --time-limit=10800 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/3rd-benchmark/asp/le450_5c.lp ../../benchmark/3rd-benchmark/asp/le450_5c_02.lp" User time (seconds): 10795.05 System time (seconds): 5.71 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:01 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): 1140276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 328900 Voluntary context switches: 36 Involuntary context switches: 12166 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 1 Page size (bytes): 4096 Exit status: 65