s 508 814 699 671 753 781 615 226 82 576 414 287 725 247 842 447 368 643 329 109 190 21 480 48 162 533 355 560 896 t 507 895 416 814 530 109 287 563 725 576 480 699 753 448 134 615 21 671 82 359 226 643 188 48 247 384 781 310 162 c UNKNOWN a YES a 109 162 190 21 226 247 287 329 355 368 414 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 842 896 a 109 134 162 190 21 226 247 287 329 355 414 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 842 896 a 134 162 190 21 226 247 287 329 355 414 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 842 896 98 a 134 162 21 226 247 287 329 355 370 414 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 842 896 98 a 134 162 21 226 247 287 329 355 370 414 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 859 896 98 a 134 162 182 21 226 247 287 329 355 370 447 48 480 508 533 560 576 615 643 671 699 725 753 781 814 82 859 896 98 a 134 162 182 21 226 247 287 329 355 370 393 447 48 480 508 533 560 576 615 643 671 699 725 781 814 82 859 896 98 a 134 162 182 21 226 247 287 329 355 370 393 447 48 480 508 533 560 576 615 643 671 699 725 776 781 814 82 859 98 a 134 162 182 21 226 247 287 329 355 370 393 447 48 480 508 560 576 615 643 671 699 725 776 781 814 82 859 893 98 a 134 162 182 21 226 247 287 329 355 370 393 447 48 480 508 564 576 615 643 671 699 725 776 781 814 82 859 893 98 a 134 162 182 21 226 247 287 329 355 370 393 447 48 480 508 530 564 576 615 643 671 699 725 776 781 814 82 859 893 a 117 134 162 182 21 226 247 287 329 355 370 393 48 480 508 530 564 576 615 643 671 699 725 776 781 814 82 859 893 a 117 134 162 188 21 226 247 287 329 355 370 393 48 480 508 530 564 576 615 643 671 699 725 776 781 814 82 859 893 a 117 134 162 188 21 226 247 287 329 355 370 422 48 480 508 530 564 576 615 643 671 699 725 776 781 814 82 859 893 a 117 134 162 188 21 226 247 287 329 355 370 422 48 480 508 530 564 576 615 643 671 699 725 753 781 814 82 859 893 a 117 134 162 188 21 226 247 287 355 370 416 422 48 480 508 530 564 576 615 643 671 699 725 753 781 814 82 859 893 a 117 134 162 188 21 226 247 287 359 370 416 422 48 480 508 530 564 576 615 643 671 699 725 753 781 814 82 859 893 a 117 134 162 188 21 226 247 287 359 370 416 422 48 480 508 530 564 576 615 643 671 699 725 753 781 814 82 859 895 a 117 134 162 188 21 226 247 287 359 370 416 422 48 480 508 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 117 134 162 188 21 226 247 287 310 359 416 422 48 480 508 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 117 134 162 188 21 226 247 287 310 359 384 416 422 48 480 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 117 134 162 188 21 226 247 287 310 359 384 416 448 48 480 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 117 134 152 188 21 226 247 287 310 359 384 416 448 48 480 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 134 152 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 781 814 82 859 895 a 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 814 82 859 895 91 a 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 814 82 842 895 91 a 109 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 814 82 842 895 a 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 781 814 82 842 895 a 109 134 162 188 21 226 247 287 310 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 781 814 82 895 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=14400 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/2nd-benchmark/asp/queen030x030.lp ../../benchmark/2nd-benchmark/asp/queen030x030_01_3761.lp" User time (seconds): 14383.86 System time (seconds): 18.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4: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): 3688012 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1088667 Voluntary context switches: 33 Involuntary context switches: 19983 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