s 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448 
t 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
c UNKNOWN
a YES
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 168 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 331 335 34 350 357 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 168 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 331 335 34 350 357 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 168 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 331 335 34 350 357 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 410 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 231 239 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 210 217 22 230 231 239 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 267 269 276 277 279 289 291 312 313 316 318 32 322 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 210 217 22 230 239 252 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 127 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 210 217 22 230 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 199 20 207 21 210 217 22 230 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 239 248 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 94
a 100 104 107 122 124 126 128 130 132 138 14 141 142 149 167 171 174 177 181 184 195 20 207 21 210 217 22 230 231 239 267 269 276 277 279 289 291 312 313 316 318 32 326 327 331 335 34 350 357 359 360 366 37 373 375 392 394 401 411 422 436 44 444 448 48 54 61 63 64 74 79 87 90 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_02.lp"
	User time (seconds): 10795.06
	System time (seconds): 5.76
	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): 1397124
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 389277
	Voluntary context switches: 27
	Involuntary context switches: 12617
	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