s 11 14 15 18 25 44 73 77 85 92 100 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 
t 11 15 18 25 44 73 77 92 109 115 119 133 140 148 153 163 188 191 194 196 201 215 230 236 237 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 448
c UNKNOWN
a YES
a 100 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 73 77 85 92
a 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 73 77 85 92
a 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 296 299 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 258 268 270 285 296 299 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 73 77 85 92
a 109 11 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 73 77 85 92
a 109 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 73 77 85 92
a 109 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 312 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 251 258 268 270 285 304 312 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 100 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 251 258 268 270 285 304 312 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 100 11 115 119 133 14 140 148 153 163 18 188 191 196 201 215 230 237 25 251 258 268 270 285 304 312 324 336 352 355 365 371 376 393 407 412 413 415 429 436 44 448 73 77 85 92
a 100 11 119 133 14 140 148 153 163 18 188 191 196 201 215 230 237 25 251 258 268 270 285 292 304 312 324 336 352 355 365 371 376 393 407 412 413 415 429 436 44 448 73 77 85 92
a 100 11 119 133 14 140 148 153 163 18 191 196 201 215 230 237 245 25 251 258 268 270 285 292 304 312 324 336 352 355 365 371 376 393 407 412 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 153 163 18 191 196 201 215 230 237 245 25 251 258 268 270 285 292 304 312 324 336 352 355 365 371 376 393 407 412 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 153 163 18 188 191 196 201 215 230 237 25 251 258 268 270 285 292 304 312 324 336 352 355 365 371 376 393 407 412 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 251 258 268 270 285 292 304 312 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 251 258 268 270 285 292 296 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 292 296 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 296 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 285 296 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 352 355 365 371 376 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 429 436 44 448 73 77 85 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 448 73 77 92
a 109 11 115 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 44 448 73 77 92
a 109 11 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 44 448 73 77 92
a 109 11 119 133 14 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 448 73 77 92
a 109 11 119 133 140 148 15 153 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 140 148 15 153 155 163 18 188 191 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 407 413 415 429 436 44 448 73 77 85 92
a 109 11 119 133 140 148 15 153 155 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 407 413 415 429 436 44 448 73 77 92
a 109 11 119 133 140 148 15 153 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 44 448 73 77 92
a 109 11 119 133 140 148 15 153 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 44 448 73 77 92
a 109 11 119 133 140 148 15 153 155 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 355 365 371 376 390 407 413 415 426 429 436 44 448 73 77 92
a 100 11 119 133 140 148 15 153 155 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 292 304 324 336 355 365 371 376 390 407 413 415 426 429 436 44 448 73 77 92
a 100 11 115 119 133 140 148 15 153 155 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 355 365 371 376 390 407 413 415 426 429 436 44 448 73 77 92
a 109 11 115 119 133 140 148 15 153 155 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 355 365 371 376 390 407 413 415 426 429 436 44 448 73 77 92
a 109 11 115 119 133 140 148 15 153 163 18 188 191 194 196 201 215 230 236 237 25 253 258 268 270 285 304 324 336 355 365 371 376 390 393 407 413 415 426 429 436 44 448 73 77 92
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_25c.lp ../../benchmark/3rd-benchmark/asp/le450_25c_02.lp"
	User time (seconds): 10794.31
	System time (seconds): 7.13
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:02
	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): 1931164
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 537248
	Voluntary context switches: 2
	Involuntary context switches: 11149
	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