s 7 12 14 27 31 42 63 75 84 95 100 134 152 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 308 320 331 347 352 360 379 389 398 401 409 420 
t 7 12 27 31 42 63 75 84 95 100 134 149 167 180 187 189 201 207 218 219 230 240 251 268 278 280 289 304 308 320 331 347 352 360 379 389 398 401 409 420
c UNKNOWN
a YES
a 100 12 134 14 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 186 187 189 201 207 218 219 230 240 251 268 27 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 152 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84
a 100 12 134 14 149 152 167 180 187 189 201 207 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 14 149 167 176 180 187 189 201 207 219 230 240 251 268 27 278 280 289 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 149 167 176 180 187 189 201 207 219 230 240 251 268 27 278 280 289 304 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
a 100 12 134 149 167 180 187 189 201 207 218 219 230 240 251 268 27 278 280 289 304 308 31 320 331 347 352 360 379 389 398 401 409 42 420 63 7 75 84 95
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/le450_15d.lp ../../benchmark/3rd-benchmark/asp/le450_15d_01.lp"
	User time (seconds): 10793.58
	System time (seconds): 6.95
	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): 955172
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 386147
	Voluntary context switches: 7
	Involuntary context switches: 15846
	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