s 1 5 10 12 14 16 19 21 23 25 27 32 34 38 40 42 44 47 49 53 55 57 59 61 66 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 143 145 147 151 153 155 157 162 164 166 170 172 174 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 230 234 236 238 240 245 249 253 256 258 260 264 266 269 271 273 277 279 281 286 287 289 291 297 301 303 307 309 311 313 316 318 320 323 325 329 331 337 339 341 343 349 351 353 355 357 359 361 363 366 368 370 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 426 430 432 434 438 440 444 446 448 452 454 458 460 462 464 465 467 474 478 479 481 485 487 489 493 500 506 510 513 515 517 520 526 528 530 532 534 537 541 545 548 550 552 555 557 563 565 569 573 575 577 583 587 589 591 593 597 599 601 603 605 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 720 722 724 730 734 738 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 832 834 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 885 891 893 897 900 902 904 906 907 912 914 916 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1012 1014 1016 1020 1025 1028 1030 1033 1037 1043 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1155 1157 1160 1162 1164 1166 1168 1170 1173 1175 1179 1186 1188 1194 1196 1198 1200 1203 1205 1210 1211 1215 
t 1 4 10 12 14 16 19 21 23 25 27 32 34 38 40 42 44 47 49 53 55 57 59 61 66 72 74 78 80 84 86 91 93 95 97 99 101 103 110 112 114 116 118 120 121 123 125 131 137 139 141 143 145 147 151 153 155 157 162 164 166 170 172 174 176 178 181 183 188 190 191 195 202 204 208 210 212 214 216 219 221 225 230 234 236 238 240 245 249 253 256 258 260 264 266 269 271 273 277 279 281 286 287 289 291 297 301 303 307 309 311 313 316 318 320 323 325 329 331 337 339 341 343 349 351 353 355 357 359 361 363 366 368 370 376 378 380 382 387 389 394 396 400 402 404 407 409 411 413 415 417 419 421 426 430 432 434 438 440 444 446 448 452 454 458 460 462 464 465 467 474 478 479 481 485 487 489 493 500 506 510 513 515 517 520 526 528 530 532 534 537 541 545 548 550 552 555 557 563 565 569 573 575 577 583 587 589 591 593 597 599 601 603 605 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 720 722 724 730 734 738 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 783 790 792 794 798 800 803 807 811 813 815 819 822 826 832 834 837 839 841 845 847 852 854 856 858 860 862 864 867 873 875 877 879 881 883 885 891 893 897 900 902 904 906 907 912 914 916 918 920 922 927 929 931 933 935 937 942 945 947 951 955 958 964 968 969 971 973 975 986 988 994 996 1000 1002 1004 1006 1008 1012 1014 1016 1020 1025 1028 1030 1033 1037 1043 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 1101 1104 1106 1107 1109 1113 1117 1122 1123 1125 1128 1132 1134 1136 1137 1139 1141 1145 1148 1150 1155 1157 1160 1162 1164 1166 1168 1170 1173 1175 1179 1186 1188 1194 1196 1198 1200 1203 1205 1210 1211 1215
c UNKNOWN
a YES
a 1 10 1000 1002 1004 1006 1008 101 1012 1014 1016 1020 1025 1028 103 1030 1033 1037 1043 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 110 1101 1104 1106 1107 1109 1113 1117 112 1122 1123 1125 1128 1132 1134 1136 1137 1139 114 1141 1145 1148 1150 1155 1157 116 1160 1162 1164 1166 1168 1170 1173 1175 1179 118 1186 1188 1194 1196 1198 12 120 1200 1203 1205 121 1210 1211 1215 123 125 131 137 139 14 141 143 145 147 151 153 155 157 16 162 164 166 170 172 174 176 178 181 183 188 19 190 191 195 202 204 208 21 210 212 214 216 219 221 225 23 230 234 236 238 240 245 249 25 253 256 258 260 264 266 269 27 271 273 277 279 281 286 287 289 291 297 301 303 307 309 311 313 316 318 32 320 323 325 329 331 337 339 34 341 343 349 351 353 355 357 359 361 363 366 368 370 376 378 38 380 382 387 389 394 396 40 400 402 404 407 409 411 413 415 417 419 42 421 426 430 432 434 438 44 440 444 446 448 452 454 458 460 462 464 465 467 47 474 478 479 481 485 487 489 49 493 5 500 506 510 513 515 517 520 526 528 53 530 532 534 537 541 545 548 55 550 552 555 557 563 565 569 57 573 575 577 583 587 589 59 591 593 597 599 601 603 605 61 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 66 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 72 720 722 724 730 734 738 74 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 78 783 790 792 794 798 80 800 803 807 811 813 815 819 822 826 832 834 837 839 84 841 845 847 852 854 856 858 86 860 862 864 867 873 875 877 879 881 883 885 891 893 897 900 902 904 906 907 91 912 914 916 918 920 922 927 929 93 931 933 935 937 942 945 947 95 951 955 958 964 968 969 97 971 973 975 986 988 99 994 996
a 1 10 1000 1002 1004 1006 1008 101 1012 1014 1016 1020 1025 1028 103 1030 1033 1037 1043 1045 1047 1051 1054 1056 1060 1063 1066 1067 1070 1071 1074 1077 1079 1083 1087 1090 1092 1096 1097 110 1101 1104 1106 1107 1109 1113 1117 112 1122 1123 1125 1128 1132 1134 1136 1137 1139 114 1141 1145 1148 1150 1155 1157 116 1160 1162 1164 1166 1168 1170 1173 1175 1179 118 1186 1188 1194 1196 1198 12 120 1200 1203 1205 121 1210 1211 1215 123 125 131 137 139 14 141 143 145 147 151 153 155 157 16 162 164 166 170 172 174 176 178 181 183 188 19 190 191 195 202 204 208 21 210 212 214 216 219 221 225 23 230 234 236 238 240 245 249 25 253 256 258 260 264 266 269 27 271 273 277 279 281 286 287 289 291 297 301 303 307 309 311 313 316 318 32 320 323 325 329 331 337 339 34 341 343 349 351 353 355 357 359 361 363 366 368 370 376 378 38 380 382 387 389 394 396 4 40 400 402 404 407 409 411 413 415 417 419 42 421 426 430 432 434 438 44 440 444 446 448 452 454 458 460 462 464 465 467 47 474 478 479 481 485 487 489 49 493 500 506 510 513 515 517 520 526 528 53 530 532 534 537 541 545 548 55 550 552 555 557 563 565 569 57 573 575 577 583 587 589 59 591 593 597 599 601 603 605 61 610 611 613 615 618 622 624 629 631 634 636 642 644 646 650 652 653 655 66 660 662 664 669 671 673 675 679 682 684 686 690 693 695 697 699 701 703 705 712 718 72 720 722 724 730 734 738 74 740 742 746 748 754 756 758 760 765 767 769 773 775 777 779 78 783 790 792 794 798 80 800 803 807 811 813 815 819 822 826 832 834 837 839 84 841 845 847 852 854 856 858 86 860 862 864 867 873 875 877 879 881 883 885 891 893 897 900 902 904 906 907 91 912 914 916 918 920 922 927 929 93 931 933 935 937 942 945 947 95 951 955 958 964 968 969 97 971 973 975 986 988 99 994 996
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/ash608GPIA.lp ../../benchmark/3rd-benchmark/asp/ash608GPIA_01.lp"
	User time (seconds): 6076.07
	System time (seconds): 572.73
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:50:55
	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): 77531016
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 390595965
	Voluntary context switches: 43
	Involuntary context switches: 36566
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 65