s 30 90 125 
t 20 85 109
c UNKNOWN
a YES
a 125 30 90
a 125 43 90
a 125 43 84
a 125 72 84
a 117 72 84
a 117 71 72
a 71 72 77
a 5 72 77
a 5 64 77
a 33 5 64
a 103 33 5
a 103 33 54
a 103 54 62
a 103 60 62
a 13 60 62
a 116 13 60
a 116 4 60
a 116 4 41
a 22 4 41
a 15 4 41
a 117 15 4
a 117 4 63
a 117 62 63
a 103 62 63
a 103 33 63
a 33 5 63
a 5 63 75
a 106 5 75
a 106 5 94
a 27 5 94
a 27 45 5
a 44 45 5
a 45 5 91
a 45 48 91
a 48 52 91
a 17 52 91
a 17 45 91
a 124 17 45
a 124 45 86
a 25 45 86
a 25 45 91
a 24 25 45
a 25 45 55
a 25 31 55
a 24 25 31
a 24 25 60
a 24 25 81
a 16 25 81
a 13 25 81
a 13 25 60
a 25 47 60
a 25 47 91
a 46 47 91
a 46 47 50
a 47 50 7
a 50 7 8
a 22 50 8
a 22 62 8
a 22 67 8
a 53 67 8
a 53 8 97
a 26 8 97
a 26 60 97
a 26 28 97
a 114 28 97
a 114 115 97
a 114 115 80
a 115 118 80
a 115 7 80
a 6 7 80
a 47 7 80
a 118 47 80
a 104 118 80
a 104 75 80
a 104 80 97
a 114 80 97
a 80 87 97
a 115 80 97
a 115 19 80
a 115 12 19
a 12 19 42
a 19 42 63
a 109 42 63
a 109 42 85
a 109 20 85
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/DSJC125.9.lp ../../benchmark/3rd-benchmark/asp/DSJC125.9_02.lp -c core_max=325"
	User time (seconds): 10795.80
	System time (seconds): 6.84
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:03
	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): 4580560
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 1145335
	Voluntary context switches: 11
	Involuntary context switches: 10727
	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