s 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 242 257 262 267 281 282 286 287 291 292 296 301 302 306 307 317 327 332 342 347 352 357 367 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 t 7 12 17 22 32 37 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 102 107 112 122 127 137 147 152 162 167 171 172 176 177 181 186 187 191 192 196 197 202 212 217 227 229 237 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 327 342 347 352 357 367 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 c UNKNOWN a YES a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 219 22 227 229 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 332 342 347 352 357 367 37 372 377 382 392 396 397 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 242 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 a 102 107 112 12 122 127 137 147 152 162 167 17 171 172 176 177 181 186 187 191 192 196 197 202 212 217 22 227 229 237 257 262 267 277 281 282 286 287 291 292 296 301 302 306 307 317 32 327 342 347 352 357 367 37 372 374 377 382 392 396 397 401 406 407 411 416 417 421 422 432 437 442 447 47 56 57 61 62 66 7 71 72 76 77 81 82 85 87 97 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_5b.lp ../../benchmark/3rd-benchmark/asp/le450_5b_02.lp" User time (seconds): 10795.06 System time (seconds): 5.64 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): 1186952 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 335070 Voluntary context switches: 13 Involuntary context switches: 10572 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