s 3021 3461 2489 224 108 156 1793 2650 690 2352 2294 3303 1440 50 1916 3073 1551 725 3595 3223 1337 1497 1614 975 496 649 1262 2255 2547 1199 2839 1972 2420 804 3361 1847 2888 3131 2767 866 933 2026 2722 398 2139 1098 282 1714 2946 1024 2071 3285 3508 429 2197 565 340 1223 2612 t 1551 398 156 2420 2352 3461 1614 1497 796 866 3073 1678 3223 1793 564 2255 3303 1337 2888 429 2071 1714 3021 2489 1847 340 2294 2767 224 2946 3595 1916 282 2139 2839 498 975 1972 50 2026 1045 933 2612 2197 3508 108 3131 2547 2650 3361 649 2722 1440 1199 1085 3285 690 1264 743 c UNKNOWN a YES a 1024 108 1098 1199 1223 1262 1337 1440 1497 1551 156 1614 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 1024 108 1098 1199 1223 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 108 1098 1199 1223 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 804 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 204 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 204 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 496 50 565 649 690 725 802 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 204 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 649 690 725 802 866 933 975 a 1064 108 1098 1199 1202 1264 1337 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 204 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 802 866 933 975 a 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 204 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 802 866 933 975 a 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 496 50 565 649 690 725 802 866 933 975 a 1029 108 1098 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 496 50 565 649 690 725 802 866 933 975 a 1029 108 1098 1199 1202 1264 1337 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 496 50 565 649 690 725 802 866 933 975 a 108 1098 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 496 50 565 649 690 725 802 866 933 975 a 108 1098 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 496 50 564 649 690 725 802 866 933 975 a 1045 108 1098 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 50 564 649 690 725 802 866 933 975 a 1045 108 1098 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 50 564 649 690 725 796 866 933 975 a 1045 108 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 498 50 564 649 690 725 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2723 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 498 50 564 649 690 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 480 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1389 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1425 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 743 796 866 933 975 a 1045 108 1085 1199 1202 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 664 743 796 866 933 975 a 1045 108 1085 1199 1202 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1199 1202 1264 1337 1440 1497 1551 156 1614 1625 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 50 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 796 866 933 975 a 1045 108 1085 1199 1202 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 564 649 690 743 796 866 933 975 a 1045 108 1085 1199 1264 1337 1440 1497 1551 156 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 224 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 282 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 340 3461 3508 3595 398 429 498 50 564 649 690 743 796 866 933 975 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=14400 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/2nd-benchmark/asp/queen060x060.lp ../../benchmark/2nd-benchmark/asp/queen060x060_02_6710.lp" User time (seconds): 14396.69 System time (seconds): 23.16 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:00:20 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): 12855664 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4522128 Voluntary context switches: 10 Involuntary context switches: 19480 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