s 17 27 326 329 464 495 
t 106 164 222 273 447 464
c UNKNOWN
a YES
a 17 27 326 329 464 495
a 17 27 326 329 495 79
a 112 17 326 329 495 79
a 102 112 17 329 495 79
a 102 112 17 283 329 79
a 100 102 112 283 329 79
a 100 102 105 112 329 79
a 100 102 105 112 128 79
a 100 102 105 112 128 454
a 102 105 112 128 203 454
a 102 105 128 203 244 454
a 102 105 203 239 244 454
a 102 105 112 203 239 454
a 102 105 112 193 203 454
a 102 105 193 203 391 454
a 100 102 105 193 391 454
a 100 105 193 344 391 454
a 100 105 193 344 454 497
a 100 105 239 344 454 497
a 105 203 239 344 454 497
a 105 204 239 344 454 497
a 105 204 239 344 391 454
a 105 204 239 391 454 57
a 105 221 239 391 454 57
a 100 105 239 391 454 57
a 100 105 330 391 454 57
a 100 105 330 332 454 57
a 100 105 329 332 454 57
a 100 105 238 329 332 57
a 100 105 329 332 482 57
a 100 105 329 482 485 57
a 100 105 329 482 497 57
a 100 105 224 482 497 57
a 100 105 224 454 497 57
a 105 203 224 454 497 57
a 105 203 324 454 497 57
a 105 203 30 454 497 57
a 105 164 203 30 497 57
a 105 164 203 30 359 497
a 105 164 203 359 473 497
a 105 164 203 274 359 497
a 105 126 164 203 274 497
a 105 126 164 203 473 497
a 105 126 203 47 473 497
a 100 105 126 47 473 497
a 100 105 126 135 47 497
a 100 105 135 33 47 497
a 105 135 204 33 47 497
a 105 204 224 33 47 497
a 105 204 224 33 454 497
a 105 204 215 224 454 497
a 105 204 224 344 454 497
a 204 224 283 344 454 497
a 204 224 283 344 497 79
a 204 283 324 344 497 79
a 204 283 324 344 485 79
a 204 283 324 344 435 79
a 100 283 324 344 435 79
a 100 283 324 326 435 79
a 204 283 324 326 435 79
a 128 204 283 326 435 79
a 128 187 204 326 435 79
a 102 128 187 204 435 79
a 102 128 204 283 435 79
a 102 128 204 283 296 79
a 102 204 239 283 296 79
a 102 204 239 244 283 79
a 102 204 224 244 283 79
a 102 224 244 283 79 8
a 102 224 244 283 47 8
a 102 204 224 244 283 47
a 102 204 224 238 244 283
a 204 224 238 244 283 326
a 204 224 238 283 326 56
a 204 224 238 326 410 56
a 102 204 224 238 410 56
a 102 204 224 410 454 56
a 102 204 224 283 454 56
a 100 102 224 283 454 56
a 100 102 2 224 454 56
a 102 2 224 454 56 8
a 102 2 224 56 79 8
a 2 224 266 56 79 8
a 2 224 266 454 56 8
a 2 224 266 41 56 8
a 2 224 266 298 41 8
a 2 224 266 298 454 8
a 106 2 224 266 454 8
a 106 2 224 266 79 8
a 106 224 266 464 79 8
a 106 224 266 447 464 79
a 106 222 224 447 464 79
a 106 222 224 38 447 464
a 106 164 222 224 447 464
a 106 164 222 273 447 464
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/DSJR500.5.lp ../../benchmark/3rd-benchmark/asp/DSJR500.5_02.lp"
	User time (seconds): 10795.76
	System time (seconds): 17.82
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:14
	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): 21425276
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 6700187
	Voluntary context switches: 7
	Involuntary context switches: 11159
	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