s 1 19 20 22 26 44 47 52 53 55 59 64 78 81 88 92 99 114 115 132 138 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 223 230 235 249 255 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 481 488 489 492 493 498 
t 1 19 20 22 26 44 47 52 53 55 59 64 71 78 81 88 92 105 114 115 132 138 148 155 165 167 169 174 180 185 186 193 196 198 203 206 215 223 230 235 240 249 255 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 453 460 465 470 476 488 489 492 493 498
a YES
a 1 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 223 230 235 249 255 26 262 269 298 301 306 309 319 323 324 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 481 488 489 492 493 498 52 53 55 59 64 78 81 88 92 99
a 1 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 223 230 235 249 255 26 262 269 298 301 306 309 314 319 323 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 481 488 489 492 493 498 52 53 55 59 64 78 81 88 92 99
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 223 230 235 249 255 26 262 269 298 301 306 309 314 319 326 331 332 343 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 481 488 489 492 493 498 52 53 55 59 64 78 81 88 92 99
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 223 230 235 249 255 26 262 269 298 301 306 309 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 488 489 492 493 498 52 53 55 59 64 78 81 88 92 99
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 223 230 235 240 249 255 26 262 269 298 301 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 488 489 492 493 498 52 53 55 59 64 78 81 88 92 99
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 198 20 203 206 215 22 223 230 235 240 249 255 26 262 269 298 301 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 488 489 492 493 498 52 53 55 59 64 71 78 81 88 92 99
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 196 198 20 203 206 215 22 223 230 235 240 249 255 26 262 269 298 301 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 488 489 492 493 498 52 53 55 59 64 71 78 81 88 92
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 196 198 20 203 206 215 22 223 230 235 240 249 255 26 269 298 301 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 476 488 489 492 493 498 52 53 55 59 64 71 78 81 88 92
a 1 105 114 115 132 138 148 155 165 167 169 174 180 185 186 19 193 196 198 20 203 206 215 22 223 230 235 240 249 255 26 269 270 298 306 314 319 326 331 332 343 349 359 361 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 453 460 465 47 470 476 488 489 492 493 498 52 53 55 59 64 71 78 81 88 92
Command exited with non-zero status 10
	Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp --stats --quiet=1,0 --time-limit=7200 ../encoding/isrpTJ_exact1_allhint_inc.lp --heu=domain ../../benchmark/3rd-benchmark/asp/DSJR500.1.lp ../../benchmark/3rd-benchmark/asp/DSJR500.1_01.lp"
	User time (seconds): 0.60
	System time (seconds): 0.02
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.63
	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): 38396
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 9787
	Voluntary context switches: 3
	Involuntary context switches: 15
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 10