s 52 13 62 3 18 47 32
t 39 1 50 44 24 14 61
c UNKNOWN
a YES
a 13 18 3 32 47 52 62
a 13 18 3 32 33 52 62
a 13 18 3 33 47 52 62
a 13 18 28 3 33 47 62
a 13 18 28 33 47 62 8
a 13 18 28 33 47 59 8
a 18 28 33 47 53 59 8
a 18 28 33 47 53 59 6
a 18 28 33 48 53 59 6
a 23 28 33 48 53 59 6
a 23 28 48 53 59 6 9
a 23 28 40 53 59 6 9
a 23 40 42 53 59 6 9
a 23 25 40 42 53 59 6
a 23 25 36 42 53 59 6
a 23 25 36 42 56 59 6
a 13 23 25 36 42 56 59
a 13 23 25 3 36 42 56
a 13 23 25 3 36 42 62
a 13 25 3 36 42 56 62
a 13 24 25 3 36 42 62
a 13 24 25 3 36 47 62
a 13 24 3 36 47 49 62
a 13 3 32 36 47 49 62
a 13 18 3 32 47 49 62
a 13 18 3 32 33 47 62
a 18 3 32 33 47 52 62
a 16 18 3 33 47 52 62
a 16 18 29 3 33 52 62
a 16 18 29 3 41 52 62
a 18 29 3 40 41 52 62
a 14 18 29 3 40 41 52
a 14 18 29 3 40 41 60
a 14 18 29 40 41 55 60
a 14 18 29 3 40 41 55
a 14 29 3 40 41 55 58
a 14 29 3 40 41 55 60
a 14 26 3 40 41 55 60
a 14 18 3 40 41 55 60
a 18 29 3 40 41 55 60
a 14 18 29 3 40 55 60
a 14 18 29 3 40 44 55
a 14 18 29 40 44 55 59
a 1 14 18 29 40 44 59
a 1 14 18 29 39 44 59
a 1 14 18 39 44 56 59
a 1 14 18 39 44 56 61
a 1 14 27 39 44 56 61
a 1 14 27 39 44 50 61
a 1 14 24 39 44 50 61
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/queen008x008.lp ../../benchmark/2nd-benchmark/asp/queen008x008_03_8723.lp -c core_max=3191"
	User time (seconds): 14395.26
	System time (seconds): 5.35
	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): 1358008
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 339702
	Voluntary context switches: 1
	Involuntary context switches: 16456
	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