s 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a YES a 1017 1069 1113 114 1158 1175 1218 1319 1347 1372 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 710 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 1347 1372 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 1347 1369 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1218 1270 1319 1347 1369 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 695 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 695 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 263 305 323 379 410 42 464 516 525 573 614 671 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 260 305 323 379 410 42 464 516 525 573 614 671 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 671 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 240 260 305 323 410 42 464 516 525 573 614 671 695 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1566 171 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1075 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1566 171 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1075 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1075 1113 114 1158 1168 1218 1270 1291 132 1347 1369 1401 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1075 1113 114 1158 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 986 a 1017 1075 1113 114 1158 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 614 671 695 7 739 764 822 861 917 936 961 a 1017 1075 1113 114 1158 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 936 961 a 1017 1075 1113 114 1158 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 305 323 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 1113 114 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 305 323 398 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 1113 114 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1548 1566 189 240 260 296 323 398 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 1113 114 1145 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1566 189 240 260 296 323 398 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 114 1145 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 1114 1145 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 410 42 464 516 525 573 626 671 695 7 739 764 822 861 917 934 961 a 1017 1075 1114 1145 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 410 42 464 516 525 573 626 671 695 7 739 822 84 861 917 934 961 a 1017 1075 1114 1145 1168 1218 1270 1291 132 1347 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 42 464 516 525 573 626 671 695 7 739 770 822 84 861 917 934 961 a 1017 1075 1114 1145 1168 1270 1291 132 1347 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 516 525 573 626 671 695 7 739 770 822 84 861 917 934 961 a 1017 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 516 525 573 626 671 695 7 739 770 822 84 861 917 934 961 a 1017 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 516 525 573 626 671 695 7 739 770 822 84 861 908 934 961 a 1017 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 516 525 573 626 671 695 7 739 770 837 84 861 908 934 961 a 1017 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 502 525 573 626 671 695 7 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 464 502 525 573 626 671 695 7 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 240 260 296 323 398 418 42 457 502 525 573 626 671 695 7 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 24 240 260 296 323 398 418 42 457 502 525 573 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 24 240 260 296 323 398 418 42 457 502 525 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 24 240 260 296 323 398 418 457 502 525 53 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1472 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 525 53 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1369 1439 1443 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 525 53 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 53 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 53 552 567 626 671 739 770 837 84 861 908 934 961 Command exited with non-zero status 10 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp --stats --quiet=1,0 --time-limit=7200 ../encoding/isrpTJ_exact1_allhint_inc.lp --heu=domain ../../benchmark/3rd-benchmark/asp/qg.order40.lp ../../benchmark/3rd-benchmark/asp/qg.order40_01.lp" User time (seconds): 41.10 System time (seconds): 0.48 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:41.60 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): 802600 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 200846 Voluntary context switches: 3 Involuntary context switches: 48 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: 10