s 1 24 28 45 55 62 87 t 9 16 37 58 62 83 90 c UNKNOWN a YES a 1 24 28 45 55 62 87 a 1 24 45 55 62 80 87 a 1 24 45 52 62 80 87 a 1 35 45 52 62 80 87 a 1 17 35 45 52 80 87 a 1 17 35 52 72 80 87 a 17 35 45 52 72 80 87 a 17 2 35 45 52 72 87 a 17 2 35 45 52 73 87 a 17 2 31 45 52 73 87 a 17 2 36 45 52 73 87 a 17 2 36 45 52 73 90 a 17 36 45 52 70 73 90 a 17 36 45 52 7 70 90 a 17 36 45 7 70 76 90 a 17 45 60 7 70 76 90 a 17 26 45 7 70 76 90 a 26 45 53 7 70 76 90 a 26 45 53 7 70 80 90 a 11 26 45 53 70 80 90 a 11 26 45 53 72 80 90 a 11 18 26 45 53 72 80 a 11 18 25 45 53 72 80 a 11 18 25 45 53 80 94 a 11 18 25 45 53 76 94 a 11 18 25 48 53 76 94 a 11 18 25 48 67 76 94 a 11 18 25 48 52 67 94 a 11 18 25 48 52 67 86 a 11 18 48 52 67 82 86 a 11 18 25 48 52 67 82 a 11 18 27 48 52 67 82 a 11 18 27 48 52 61 82 a 11 27 48 52 61 82 89 a 11 21 27 48 52 61 89 a 11 21 27 48 61 80 89 a 11 21 26 48 61 80 89 a 11 21 26 48 49 80 89 a 21 26 48 49 6 80 89 a 21 26 40 49 6 80 89 a 21 26 40 49 6 80 95 a 21 26 40 49 72 80 95 a 19 26 40 49 72 80 95 a 19 26 40 49 72 80 90 a 19 26 40 49 72 80 87 a 19 26 40 5 72 80 87 a 19 35 40 5 72 80 87 a 19 35 40 5 72 80 86 a 19 35 40 5 54 72 86 a 19 35 39 5 54 72 86 a 19 35 39 5 54 72 73 a 19 35 39 54 72 73 89 a 19 35 44 54 72 73 89 a 19 2 35 44 72 73 89 a 19 2 35 44 53 72 73 a 19 2 44 53 72 73 90 a 19 2 27 44 72 73 90 a 19 2 27 44 72 73 89 a 2 27 44 52 72 73 89 a 2 27 43 52 72 73 89 a 2 22 43 52 72 73 89 a 2 35 43 52 72 73 89 a 18 2 35 43 52 72 89 a 18 2 25 43 52 72 89 a 18 2 43 52 72 81 89 a 18 2 27 52 72 81 89 a 18 2 27 46 52 81 89 a 18 2 27 46 52 84 89 a 18 2 27 43 52 84 89 a 18 2 27 43 52 71 89 a 18 2 27 46 52 71 89 a 18 27 46 52 71 89 9 a 18 27 46 52 71 80 89 a 21 27 46 52 71 80 89 a 12 21 27 46 52 71 80 a 12 21 27 46 50 71 80 a 12 21 30 46 50 71 80 a 12 21 30 46 50 71 91 a 12 21 30 50 71 75 91 a 21 30 5 50 71 75 91 a 21 30 5 50 72 75 91 a 21 35 5 50 72 75 91 a 21 35 42 5 50 72 91 a 21 35 42 50 72 77 91 a 1 21 35 50 72 77 91 a 1 21 42 50 72 77 91 a 1 21 28 42 72 77 91 a 1 21 28 42 70 77 91 a 1 21 28 42 70 77 95 a 1 28 42 60 70 77 95 a 13 28 42 60 70 77 95 a 13 28 3 60 70 77 95 a 13 28 3 38 60 70 95 a 13 28 3 38 60 79 95 a 13 3 33 38 60 79 95 a 13 3 33 60 64 79 95 a 13 3 33 41 60 64 79 a 13 3 33 41 56 64 79 a 13 3 33 41 56 79 86 a 13 3 36 41 56 79 86 a 21 3 36 41 56 79 86 a 21 3 36 41 56 62 79 a 21 3 41 56 62 79 96 a 21 3 41 59 62 79 96 a 21 3 30 59 62 79 96 a 21 3 30 59 62 80 96 a 21 3 30 53 62 80 96 a 21 3 37 53 62 80 96 a 19 3 37 53 62 80 96 a 3 34 37 53 62 80 96 a 19 3 34 37 53 80 96 a 19 3 34 37 62 80 96 a 19 3 34 37 53 62 80 a 19 3 34 37 62 80 90 a 19 34 37 62 80 9 90 a 34 37 55 62 80 9 90 a 14 34 37 55 80 9 90 a 14 34 37 55 83 9 90 a 14 34 55 63 83 9 90 a 14 34 55 63 73 9 90 a 14 34 41 55 73 9 90 a 14 34 41 55 83 9 90 a 14 34 4 41 55 83 90 a 14 34 4 55 65 83 90 a 20 34 4 55 65 83 90 a 1 20 34 55 65 83 90 a 1 20 34 48 65 83 90 a 2 20 34 48 65 83 90 a 20 34 48 55 65 83 90 a 1 20 34 48 55 65 83 a 1 20 34 48 65 83 88 a 1 19 34 48 65 83 88 a 1 19 34 38 65 83 88 a 1 19 34 38 65 80 88 a 1 19 34 51 65 80 88 a 19 34 51 65 80 88 9 a 19 34 50 65 80 88 9 a 19 46 50 65 80 88 9 a 19 46 50 65 80 9 96 a 30 46 50 65 80 9 96 a 30 46 50 65 80 88 9 a 16 30 46 50 65 80 9 a 16 30 46 51 65 80 9 a 16 30 37 51 65 80 9 a 24 30 37 51 65 80 9 a 24 34 37 51 65 80 9 a 24 34 37 51 6 65 80 a 24 34 37 51 6 65 74 a 24 34 37 55 6 65 74 a 24 34 37 55 6 65 92 a 24 34 37 6 65 83 92 a 24 34 49 6 65 83 92 a 24 34 4 49 65 83 92 a 24 34 4 42 49 83 92 a 24 34 4 42 49 83 91 a 24 34 4 42 49 71 91 a 24 34 4 49 71 77 91 a 24 4 42 49 71 77 91 a 24 4 42 50 71 77 91 a 24 27 4 42 50 77 91 a 24 27 4 50 70 77 91 a 24 27 4 45 50 70 91 a 24 25 4 45 50 70 91 a 24 25 45 50 70 8 91 a 24 25 45 53 70 8 91 a 24 25 45 54 70 8 91 a 17 25 45 54 70 8 91 a 17 25 45 70 75 8 91 a 17 25 45 70 76 8 91 a 17 25 45 55 70 76 8 a 25 45 55 70 76 8 86 a 23 25 55 70 76 8 86 a 23 25 48 55 76 8 86 a 23 25 48 5 55 76 86 a 23 48 5 55 69 76 86 a 23 48 5 55 69 76 90 a 23 26 48 5 55 76 90 a 23 48 5 55 62 76 90 a 15 48 5 55 62 76 90 a 15 34 5 55 62 76 90 a 15 34 48 55 62 76 90 a 15 34 48 55 69 76 90 a 15 34 48 53 69 76 90 a 15 34 48 53 69 74 90 a 15 34 48 53 6 69 74 a 15 48 53 6 69 74 94 a 23 48 53 6 69 74 94 a 23 31 48 6 69 74 94 a 23 31 48 49 6 74 94 a 23 31 48 49 6 65 74 a 23 3 31 48 49 65 74 a 23 3 31 48 49 65 80 a 23 3 31 40 49 65 80 a 23 3 31 40 49 72 80 a 3 31 40 49 72 80 95 a 3 31 40 49 72 78 95 a 3 31 41 49 72 78 95 a 21 3 31 41 49 72 78 a 21 3 35 41 49 72 78 a 21 3 35 41 49 70 78 a 3 35 41 49 70 78 86 a 3 35 41 49 70 76 86 a 12 35 41 49 70 76 86 a 12 35 41 49 66 76 86 a 12 35 41 51 66 76 86 a 12 13 41 51 66 76 86 a 12 13 33 41 51 76 86 a 13 33 41 51 70 76 86 a 12 13 33 41 70 76 86 a 12 13 33 41 51 70 76 a 12 13 41 51 70 76 95 a 12 13 27 41 70 76 95 a 12 13 27 41 50 70 95 a 12 13 27 41 50 64 95 a 12 13 41 50 64 79 95 a 10 13 41 50 64 79 95 a 10 13 33 41 50 64 79 a 10 13 41 50 64 79 96 a 10 13 41 50 69 79 96 a 10 13 29 50 69 79 96 a 10 13 29 47 50 79 96 a 10 13 29 47 50 72 79 a 10 15 29 47 50 72 79 a 10 15 29 47 50 72 88 a 10 15 29 47 57 72 88 a 10 15 29 47 56 72 88 a 10 15 29 47 56 84 88 a 10 15 29 47 56 84 90 a 10 14 29 47 56 84 90 a 10 14 29 47 56 84 93 a 10 14 29 56 61 84 93 a 14 29 46 56 61 84 93 a 11 14 46 56 61 84 93 a 11 26 46 56 61 84 93 a 11 26 46 56 63 84 93 a 11 26 46 49 63 84 93 a 11 17 26 46 49 63 93 a 11 17 46 49 63 84 93 a 11 17 36 46 49 63 93 a 11 17 36 49 63 79 93 a 11 17 36 42 49 63 93 a 11 17 36 42 49 79 93 a 11 36 42 49 63 79 93 a 11 36 42 49 70 79 93 a 11 15 36 42 49 70 79 a 11 15 36 45 49 70 79 a 11 15 36 45 49 79 94 a 11 15 30 45 49 79 94 a 11 15 30 49 64 79 94 a 11 15 30 49 64 79 89 a 11 15 32 49 64 79 89 a 11 15 32 60 64 79 89 a 11 15 32 60 62 79 89 a 15 32 60 62 79 89 9 a 16 32 60 62 79 89 9 a 16 32 60 62 83 89 9 a 16 32 37 60 62 83 9 a 16 32 37 62 83 9 90 a 16 37 58 62 83 9 90 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/queen8_12.lp ../../benchmark/3rd-benchmark/asp/queen8_12_02.lp -c core_max=1083735" User time (seconds): 10782.18 System time (seconds): 37.90 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3: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): 26763136 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 20487218 Voluntary context switches: 3 Involuntary context switches: 10742 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