s 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 t 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 c UNKNOWN a YES a 119 140 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 575 613 641 684 737 756 78 792 8 826 866 900 a 119 140 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 575 613 641 684 737 756 78 792 8 837 866 900 a 119 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 575 613 641 684 710 737 756 78 792 8 837 866 900 a 119 136 157 190 229 268 292 303 332 385 404 424 465 503 51 511 575 613 641 684 710 737 756 78 792 8 837 866 900 a 119 136 157 190 229 268 292 332 385 404 424 465 503 51 511 549 575 613 641 684 710 737 756 78 792 8 837 866 900 a 119 136 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 575 613 684 710 737 756 78 792 8 837 866 900 a 119 136 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 581 613 684 710 737 756 78 792 8 837 866 900 a 119 136 157 190 229 268 292 303 332 385 404 424 465 503 51 511 549 581 613 635 684 710 737 756 78 792 8 837 900 a 119 136 157 190 229 268 292 303 332 385 404 424 465 503 51 511 581 613 635 684 710 737 756 78 792 8 837 849 900 a 119 136 157 190 229 268 292 303 332 386 404 424 465 503 51 511 581 613 635 684 710 737 756 78 792 8 837 849 900 a 119 136 157 190 235 268 292 303 332 386 404 424 465 503 51 511 581 613 635 684 710 737 756 78 792 8 837 849 900 a 119 136 157 190 235 268 292 303 332 386 404 424 465 503 51 511 581 613 635 684 710 737 756 78 792 8 837 859 900 a 119 136 157 190 268 292 303 332 386 404 424 465 503 51 511 549 581 613 635 684 710 737 756 78 792 8 837 859 900 a 119 136 157 190 230 268 292 303 332 386 404 424 465 503 51 511 549 581 613 635 684 737 756 78 792 8 837 859 900 a 119 157 190 230 268 292 303 332 386 404 424 465 503 51 511 549 581 613 635 684 706 737 756 78 792 8 837 859 900 a 119 134 157 190 230 268 292 303 332 386 424 465 503 51 511 549 581 613 635 684 706 737 756 78 792 8 837 859 900 a 119 134 157 190 230 268 292 303 332 386 408 424 465 503 51 511 549 581 613 635 684 706 737 756 792 8 837 859 900 a 119 134 157 190 230 268 292 303 332 386 408 424 465 503 51 511 549 581 613 635 684 706 737 756 792 8 837 859 895 a 119 134 157 190 230 268 292 303 332 386 408 424 465 503 51 511 549 581 613 635 690 706 737 756 792 8 837 859 895 a 119 134 157 190 230 268 292 303 354 386 408 424 465 503 51 511 549 581 613 635 690 706 737 756 792 8 837 859 895 a 134 157 190 230 268 292 303 354 386 408 424 465 503 51 511 549 581 613 635 690 706 737 756 792 8 837 859 89 895 a 134 157 190 230 268 292 303 354 386 408 424 465 503 51 549 581 613 635 690 706 737 756 792 8 837 859 89 895 91 a 134 157 190 230 268 303 354 386 408 424 465 503 51 532 549 581 613 635 690 706 737 756 792 8 837 859 89 895 91 a 134 157 190 230 268 282 303 354 386 408 424 465 503 51 532 549 581 613 635 690 706 737 756 8 837 859 89 895 91 a 134 152 190 230 268 282 303 354 386 408 424 465 503 51 532 549 581 613 635 690 706 737 756 8 837 859 89 895 91 a 134 152 190 230 268 282 303 354 386 408 424 465 503 51 532 549 581 635 690 706 737 756 793 8 837 859 89 895 91 a 134 152 230 268 282 303 354 386 408 424 465 503 51 532 549 581 610 635 690 706 737 756 793 8 837 859 89 895 91 a 134 152 203 230 268 282 303 354 386 408 424 465 51 532 549 581 610 635 690 706 737 756 793 8 837 859 89 895 91 a 134 152 203 230 268 282 303 354 386 408 424 465 487 51 532 549 581 610 635 690 706 737 756 793 8 837 89 895 91 a 134 152 203 230 268 282 303 354 386 408 424 465 487 51 532 559 581 610 635 690 706 737 756 793 8 837 89 895 91 a 134 152 203 230 268 282 303 354 386 408 465 487 51 532 559 581 610 635 690 706 737 756 793 8 837 844 89 895 91 a 134 152 203 230 268 282 303 354 386 408 425 465 487 51 532 559 581 610 690 706 737 756 793 8 837 844 89 895 91 a 134 152 203 230 268 282 303 354 386 408 425 465 487 51 532 559 581 610 657 690 706 737 756 793 8 844 89 895 91 a 134 152 203 230 268 282 354 386 408 425 465 487 51 532 559 581 610 657 690 706 737 756 793 8 819 844 89 895 91 a 134 152 203 230 268 282 354 386 408 425 453 487 51 532 559 581 610 657 690 706 737 756 793 8 819 844 89 895 91 a 134 152 203 230 268 282 306 354 386 408 425 453 487 51 532 559 581 610 657 690 706 737 793 8 819 844 89 895 91 a 134 152 203 230 268 282 306 354 386 408 425 45 453 487 532 559 581 610 657 690 706 737 793 8 819 844 89 895 91 a 134 152 203 230 268 282 306 354 386 408 425 45 453 487 532 559 581 610 657 690 706 741 793 8 819 844 89 895 91 a 134 152 203 230 257 282 306 354 386 408 425 45 453 487 532 559 581 610 657 690 706 741 793 8 819 844 89 895 91 a 134 152 203 230 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 8 819 844 89 895 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 8 819 844 89 895 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 770 793 819 844 89 895 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 819 844 89 895 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 819 844 878 89 91 a 134 152 203 236 25 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 819 844 878 89 91 a 134 152 203 236 25 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 793 819 844 89 890 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 758 793 819 844 89 890 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 844 89 890 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 844 89 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 859 89 91 a 124 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 859 89 91 a 124 14 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 859 89 91 a 14 140 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 859 89 91 a 14 140 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 844 89 91 a 14 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 844 889 89 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 565 581 610 657 690 706 741 758 793 819 844 889 89 91 a 134 152 20 203 236 257 282 306 354 388 408 425 453 487 532 565 581 610 657 690 706 741 758 793 819 844 889 89 91 a 134 152 20 203 236 257 282 306 354 388 408 425 453 487 49 532 565 581 610 657 690 706 741 758 793 819 844 89 91 a 134 152 20 203 236 257 282 306 354 388 408 425 453 487 49 532 581 610 657 690 706 741 758 793 819 844 89 895 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 581 610 657 690 706 741 758 793 819 844 89 895 91 a 134 152 20 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 758 793 819 844 89 91 a 134 152 203 236 25 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 758 793 819 844 89 91 a 134 152 203 236 257 282 306 354 388 408 425 45 453 487 532 559 581 610 657 690 706 741 758 793 819 844 89 895 91 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/qg.order30.lp ../../benchmark/3rd-benchmark/asp/qg.order30_02.lp" User time (seconds): 10794.99 System time (seconds): 14.83 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:10 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): 13667412 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3563381 Voluntary context switches: 33 Involuntary context switches: 12587 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