s 10 11 38 47 48 61 74 76 80 90 113 122 138 162 167 189 191 198 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445 t 10 38 47 48 61 74 76 80 90 113 122 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445 c UNKNOWN a YES a 10 11 113 122 138 162 167 189 191 198 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 11 113 122 138 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 358 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 334 342 358 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 358 362 365 368 369 38 390 412 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 358 362 365 368 369 38 390 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 130 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 390 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 130 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 408 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 130 138 152 162 167 189 191 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 408 418 419 420 445 47 48 61 74 76 80 88 90 a 10 113 122 138 152 162 167 189 191 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 408 412 418 419 420 445 47 48 61 74 76 80 88 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 408 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 a 10 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 243 250 262 279 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 90 a 10 113 138 152 162 167 189 191 198 200 203 205 220 222 230 231 243 250 262 279 324 334 338 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 90 a 10 113 138 152 162 167 189 198 200 203 205 220 222 230 231 243 250 262 279 324 334 338 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 7 74 76 90 a 10 113 138 152 162 167 189 198 200 203 205 220 222 230 231 243 250 262 275 279 324 334 338 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 90 a 10 113 138 152 162 167 189 198 200 203 205 220 222 230 231 250 262 275 279 298 324 334 338 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 90 a 10 113 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 338 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 90 a 10 113 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 48 61 74 76 80 90 a 10 113 122 138 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 61 74 76 80 90 a 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 138 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 358 362 365 368 369 38 390 412 419 420 47 48 61 74 76 80 90 a 10 113 122 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 32 324 334 342 358 362 365 368 369 38 390 412 419 420 445 47 48 61 74 76 80 90 a 10 113 122 152 162 167 189 191 198 200 203 205 220 222 230 231 250 262 279 298 324 334 342 358 362 365 368 369 38 390 412 418 419 420 445 47 48 61 74 76 80 90 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_25d.lp ../../benchmark/3rd-benchmark/asp/le450_25d_02.lp" User time (seconds): 10793.61 System time (seconds): 9.02 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:03 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): 3862364 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 995683 Voluntary context switches: 2 Involuntary context switches: 10804 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