s 9 10 15 25 31 35 59 66 73 77 99 102 107 113 125 129 133 154 160 162 171 175 178 186 194 200 209 214 219 231 254 263 269 271 284 301 302 315 325 345 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497 t 9 10 15 25 31 35 36 59 66 73 77 99 102 107 113 125 133 148 154 160 171 175 178 184 186 194 200 209 214 219 254 263 269 271 284 302 309 315 325 333 345 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 c UNKNOWN a YES a 10 102 107 113 125 129 133 15 154 160 162 171 175 178 186 194 200 209 214 219 231 25 254 263 269 271 284 301 302 31 315 325 345 35 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 284 301 302 31 315 325 345 35 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 284 301 302 31 315 325 345 35 358 363 370 387 396 408 422 426 427 431 458 464 467 474 495 497 59 66 73 77 9 92 99 a 10 102 107 113 125 129 133 148 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 273 284 301 302 31 315 325 345 35 358 363 370 387 396 408 422 426 427 458 464 467 474 495 497 59 66 73 77 9 92 99 a 10 102 107 113 125 129 133 148 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 273 279 284 301 302 31 315 325 345 35 358 363 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 92 99 a 10 102 107 113 125 129 133 148 15 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 273 279 284 301 302 31 315 325 345 35 358 363 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 209 214 219 231 25 254 269 271 273 279 284 301 302 31 315 325 345 35 358 363 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 214 219 231 25 254 269 271 273 279 284 301 302 31 315 325 345 35 358 363 368 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 214 219 231 25 254 269 271 273 279 284 302 31 315 325 333 345 35 358 363 368 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 209 214 219 231 25 254 269 271 273 279 284 302 31 315 325 333 345 35 358 363 370 387 396 408 426 427 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 209 214 219 231 25 254 269 271 273 279 284 302 31 315 325 333 345 35 358 363 370 387 396 408 410 426 427 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 209 214 219 231 25 254 269 271 273 279 284 302 31 315 325 333 345 35 358 363 370 387 396 408 410 426 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 157 160 162 171 178 186 194 200 209 214 219 231 25 254 269 271 273 279 284 301 302 31 315 325 345 35 358 363 370 387 396 408 410 426 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 273 279 284 301 302 31 315 325 345 35 358 363 370 387 396 408 410 426 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 160 162 171 178 186 194 200 209 214 219 231 25 254 263 269 271 273 284 301 302 31 315 325 345 35 358 363 370 387 396 408 410 422 426 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 160 162 171 175 178 186 194 200 209 214 219 231 25 254 263 269 271 284 301 302 31 315 325 345 35 358 363 370 387 396 408 410 422 426 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 160 162 171 175 178 186 194 200 209 214 219 231 25 254 263 269 271 284 301 302 31 315 325 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 129 133 148 15 154 160 162 171 175 178 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497 59 66 73 77 9 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 474 495 497 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 474 497 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 495 497 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 363 370 387 396 408 422 426 431 451 458 464 467 484 495 497 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 484 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 410 422 426 431 451 458 464 467 474 495 59 66 77 9 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 99 a 10 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 458 464 467 474 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 162 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 427 431 458 464 467 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 427 431 458 464 467 474 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 171 175 178 184 186 194 200 209 214 219 231 25 254 263 269 271 284 302 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 99 a 10 102 107 113 125 133 148 15 154 160 171 175 178 184 186 194 200 209 214 219 25 254 263 269 271 284 302 309 31 315 325 333 345 35 358 36 363 370 387 396 408 422 426 431 451 458 464 467 474 495 59 66 73 77 9 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/DSJC500.1.lp ../../benchmark/3rd-benchmark/asp/DSJC500.1_02.lp" User time (seconds): 10794.97 System time (seconds): 6.39 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:02 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): 1968564 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 514877 Voluntary context switches: 7 Involuntary context switches: 13398 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