s 82 1 97 29 48 60 14 63 35
t 18 76 4 35 97 23 51 82 69
c UNKNOWN
a YES
a 1 14 29 35 48 60 63 82 97
a 14 29 35 48 6 60 63 82 97
a 14 21 35 48 6 60 63 82 97
a 14 21 35 48 6 60 63 89 97
a 14 21 35 48 6 60 73 89 97
a 14 21 35 48 52 6 73 89 97
a 14 21 40 48 52 6 73 89 97
a 14 21 40 52 6 68 73 89 97
a 14 21 40 45 52 6 68 73 97
a 14 21 40 45 52 6 68 83 97
a 19 21 40 45 52 6 68 83 97
a 19 21 40 45 52 6 68 84 97
a 19 40 45 52 6 68 71 84 97
a 19 40 45 52 6 68 71 83 97
a 19 22 40 45 6 68 71 83 97
a 19 22 45 6 60 68 71 83 97
a 19 22 34 6 60 68 71 83 97
a 19 22 34 48 6 60 71 83 97
a 19 22 34 48 6 60 65 71 97
a 19 22 34 48 6 65 71 90 97
a 19 22 34 48 6 63 71 90 97
a 19 22 34 48 5 63 71 90 97
a 19 22 34 48 5 63 76 90 97
a 22 34 48 5 51 63 76 90 97
a 22 34 48 5 51 69 76 90 97
a 19 22 34 48 5 51 76 90 97
a 19 22 34 48 5 51 76 83 97
a 22 34 48 5 51 69 76 83 97
a 18 22 34 5 51 69 76 83 97
a 18 22 34 5 51 69 76 90 97
a 18 22 34 5 50 51 69 76 97
a 18 22 34 5 50 51 69 76 93
a 18 22 37 5 50 51 69 76 93
a 18 22 37 5 50 51 69 76 83
a 18 22 5 50 51 69 76 83 97
a 18 22 35 50 51 69 76 83 97
a 18 35 4 50 51 69 76 83 97
a 18 35 4 50 51 69 76 82 97
a 18 23 35 4 51 69 76 82 97
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/queen010x010.lp ../../benchmark/2nd-benchmark/asp/queen010x010_01_0612.lp -c core_max=56831"
	User time (seconds): 14396.23
	System time (seconds): 4.28
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 4: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): 1589796
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 397771
	Voluntary context switches: 31
	Involuntary context switches: 19221
	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