s 6 17 50 73 83 93 116 135 136 154 174 187 207 224 
t 6 29 33 50 73 83 116 135 136 154 174 187 207 212
c UNKNOWN
a YES
a 116 135 136 154 17 174 187 207 224 50 6 73 83 93
a 116 135 136 154 17 174 187 207 44 50 6 73 83 93
a 116 135 136 154 17 174 187 207 220 44 50 6 73 83
a 116 135 136 154 17 174 187 207 220 44 50 73 83 96
a 116 135 136 154 17 174 187 207 220 44 50 73 83 93
a 116 135 136 154 17 174 187 207 220 44 6 73 83 93
a 116 136 154 17 174 187 207 220 44 50 6 73 83 93
a 116 135 136 154 17 174 187 207 220 50 6 73 83 93
a 116 135 136 154 174 187 207 220 32 50 6 73 83 93
a 116 135 136 154 174 187 220 29 32 50 6 73 83 93
a 116 135 136 174 187 207 220 29 32 50 6 73 83 93
a 116 135 136 154 174 187 207 220 29 32 50 73 83 93
a 116 135 154 174 187 207 220 29 32 50 6 73 83 93
a 116 135 151 174 187 207 220 29 32 50 6 73 83 93
a 116 135 151 174 184 207 220 29 32 50 6 73 83 93
a 116 135 138 151 174 184 207 220 29 32 50 6 73 83
a 116 135 138 151 174 184 207 220 29 37 50 6 73 83
a 116 135 138 174 184 207 220 29 37 50 6 73 83 91
a 116 135 138 174 182 207 220 29 37 50 6 73 83 91
a 135 138 161 174 182 207 220 29 37 50 6 73 83 91
a 135 138 161 174 184 207 220 29 37 50 6 73 83 91
a 135 138 161 174 184 207 220 29 32 50 6 73 83 91
a 112 135 138 161 174 184 207 220 29 50 6 73 83 91
a 112 135 137 161 174 184 207 220 29 50 6 73 83 91
a 112 135 137 174 184 207 220 29 33 50 6 73 83 91
a 116 135 137 174 184 207 220 29 33 50 6 73 83 91
a 116 135 137 154 174 207 220 29 33 50 6 73 83 91
a 116 135 137 154 174 187 207 220 29 33 50 6 73 83
a 116 135 137 154 174 187 207 220 29 50 6 73 83 93
a 116 135 136 154 174 187 207 220 29 50 6 73 83 93
a 116 135 136 154 174 187 207 29 40 50 6 73 83 93
a 135 136 154 174 187 207 212 29 40 50 6 73 83 93
a 116 135 136 154 174 187 207 212 29 40 50 73 83 93
a 116 135 136 154 174 187 212 29 40 50 6 73 83 93
a 116 135 136 154 174 187 207 212 29 50 6 73 83 93
a 116 135 136 154 174 187 207 212 29 40 50 6 73 83
a 116 135 136 154 174 187 207 212 29 33 50 6 73 83
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/queen15_15.lp ../../benchmark/3rd-benchmark/asp/queen15_15_02.lp"
	User time (seconds): 10791.33
	System time (seconds): 9.33
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3: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): 2538044
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 885534
	Voluntary context switches: 2
	Involuntary context switches: 11958
	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