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
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 368 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 368 447 48 480 508 533 560 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 329 355 368 391 447 48 480 508 560 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 329 355 368 391 447 48 480 508 530 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 329 355 368 391 48 480 508 530 563 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 329 355 368 391 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 329 368 391 448 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 359 368 391 448 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 301 359 368 448 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842 896
a 109 134 162 190 21 226 247 287 301 359 368 416 448 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842
a 109 134 162 190 21 226 247 287 301 359 416 448 48 480 507 530 563 576 615 643 671 699 725 753 804 814 82 842 895
a 109 134 162 190 21 226 247 287 301 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 814 82 842 895
a 109 134 162 188 21 226 247 287 301 359 384 416 448 48 480 507 530 563 576 615 643 671 699 725 753 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 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 10
	Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp --stats --quiet=1,0 --time-limit=7200 ../encoding/isrpTJ_exact1_allhint_inc.lp --heu=domain ../../benchmark/2nd-benchmark/asp/queen030x030.lp ../../benchmark/2nd-benchmark/asp/queen030x030_01_3761.lp"
	User time (seconds): 12.76
	System time (seconds): 0.25
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:13.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): 241616
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 60599
	Voluntary context switches: 3
	Involuntary context switches: 30
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 10