s 4 9 19 20 24 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 203 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449 t 4 9 19 20 24 29 31 34 39 44 45 49 54 59 64 69 74 83 88 93 99 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 200 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 290 294 299 304 308 313 315 318 324 329 334 339 344 354 359 364 369 379 380 384 389 394 399 404 405 409 414 419 423 428 434 444 449 c UNKNOWN a YES a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 274 279 289 29 290 294 299 304 308 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 203 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 a 109 110 114 119 124 129 134 135 139 144 149 154 159 164 174 179 184 189 19 198 20 200 209 214 219 224 225 229 234 239 24 244 249 254 264 269 279 289 29 290 294 299 304 308 31 313 315 318 324 329 334 339 34 344 354 359 364 369 379 380 384 389 39 394 399 4 404 405 409 414 419 423 428 434 44 444 449 45 49 54 59 64 69 74 83 88 9 93 99 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_5a.lp ../../benchmark/3rd-benchmark/asp/le450_5a_02.lp" User time (seconds): 10794.94 System time (seconds): 6.14 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): 1490196 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 568742 Voluntary context switches: 2 Involuntary context switches: 12666 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