s 6 10 25 32 34 37 40 44 51 54 61 64 79 87 90 91 94 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 252 267 273 276 277 279 280 289 295 309 312 313 316 326 327 331 335 345 350 357 360 366 372 373 375 392 393 394 398 401 411 412 422 429 436 444 445 
t 6 10 32 34 37 44 51 54 61 64 79 87 90 91 94 100 107 122 124 127 128 130 132 141 149 160 171 177 181 183 184 187 199 207 210 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 326 327 331 335 345 350 357 360 366 372 373 375 392 393 394 398 401 411 412 422 429 436 444 445
c UNKNOWN
a YES
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 25 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 373 375 392 394 398 40 401 411 412 422 429 436 44 444 445 51 52 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 373 375 392 394 398 40 401 410 411 412 422 429 44 444 445 51 52 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 40 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 210 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 210 214 230 238 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 210 214 230 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 214 230 239 252 267 269 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 214 230 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 210 214 230 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 210 214 230 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 174 177 181 183 184 187 199 207 214 230 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 214 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 40 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 160 171 177 181 183 184 187 199 207 210 214 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 149 160 171 177 181 183 184 187 199 207 210 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 410 411 412 422 429 44 444 445 51 54 6 61 64 79 87 90 91 94
a 10 100 107 122 124 127 128 130 132 141 149 160 171 177 181 183 184 187 199 207 210 230 238 239 252 267 273 276 277 279 280 289 295 309 312 313 316 32 326 327 331 335 34 345 350 357 360 366 37 372 373 375 392 393 394 398 401 411 412 422 429 436 44 444 445 51 54 6 61 64 79 87 90 91 94
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_15a.lp ../../benchmark/3rd-benchmark/asp/le450_15a_01.lp"
	User time (seconds): 10793.76
	System time (seconds): 6.46
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:00
	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): 1012464
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 295843
	Voluntary context switches: 66
	Involuntary context switches: 12240
	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