s 2 5 9 15 21 27 29 50 64 73 79 81 87 89 94 98 102 103 109 110 115 t 4 5 6 9 16 20 22 29 43 46 54 59 64 68 73 75 78 93 98 110 115 c UNKNOWN a YES a 102 103 109 110 115 15 2 21 27 29 5 50 64 73 79 81 87 89 9 94 98 a 102 103 109 110 115 15 2 21 27 5 50 64 73 79 81 87 89 9 93 94 98 a 102 109 110 115 15 2 21 27 5 50 64 67 73 79 81 87 89 9 93 94 98 a 102 109 110 115 15 2 21 27 29 5 50 64 67 73 79 81 87 89 93 94 98 a 102 109 110 115 15 2 21 27 29 5 64 67 73 79 81 87 89 93 94 98 99 a 102 109 110 115 15 2 21 27 29 5 64 67 73 79 81 87 9 93 94 98 99 a 102 109 110 115 15 2 21 27 29 5 64 67 73 81 87 89 9 93 94 98 99 a 102 110 115 15 2 21 27 29 5 64 67 68 73 81 87 89 9 93 94 98 99 a 102 110 115 15 2 21 27 29 5 64 67 68 73 79 81 87 89 9 93 94 98 a 102 110 115 14 15 2 21 27 29 5 64 67 68 73 79 81 89 9 93 94 98 a 102 110 115 14 15 2 21 27 29 5 64 67 68 73 79 81 89 9 93 98 99 a 102 110 115 14 15 2 21 27 29 5 57 64 67 68 73 79 81 9 93 98 99 a 102 110 115 14 15 2 21 27 29 5 57 64 68 73 79 80 81 9 93 98 99 a 102 103 110 115 14 15 2 21 27 29 5 57 64 68 73 79 80 81 9 93 99 a 102 103 110 115 118 14 15 2 27 29 5 57 64 68 73 79 80 81 9 93 99 a 102 103 110 115 118 14 15 2 27 29 49 5 57 64 68 73 79 80 81 9 93 a 102 103 110 115 118 14 15 2 27 29 49 5 57 64 68 73 79 80 81 93 98 a 102 103 110 115 118 14 15 27 29 49 5 57 64 68 73 79 80 81 92 93 98 a 103 110 115 118 14 15 27 29 49 5 57 64 68 73 79 80 81 9 92 93 98 a 103 110 115 118 14 15 27 29 43 49 5 57 64 68 73 79 80 9 92 93 98 a 110 115 118 14 15 27 29 43 49 5 57 64 67 68 73 79 80 9 92 93 98 a 110 115 14 15 27 29 43 49 5 57 64 67 68 73 79 80 83 9 92 93 98 a 110 115 14 15 27 29 46 49 5 57 64 67 68 73 79 80 83 9 92 93 98 a 110 115 14 15 27 29 43 46 49 5 57 64 68 73 79 80 83 9 92 93 98 a 103 110 115 14 15 27 29 43 46 49 5 57 64 68 73 79 80 83 92 93 98 a 103 110 115 14 15 27 29 43 46 49 5 57 64 68 73 80 83 9 92 93 98 a 103 110 115 14 15 27 29 43 46 49 5 57 64 68 73 78 80 83 9 93 98 a 103 110 115 14 15 2 27 29 43 46 49 5 57 64 68 73 78 80 83 93 98 a 103 110 115 14 15 2 27 28 29 43 46 49 5 57 64 73 78 80 83 93 98 a 103 110 115 14 15 2 27 28 29 43 49 5 57 64 73 78 80 81 83 93 98 a 103 115 14 15 2 27 28 29 43 49 5 57 64 73 78 80 81 83 9 93 98 a 103 110 14 15 2 27 28 29 43 49 5 57 64 73 78 80 81 83 9 93 98 a 103 110 115 14 15 2 27 28 29 43 49 5 57 64 73 78 80 83 9 93 98 a 103 110 115 14 2 27 28 29 43 49 5 57 59 64 73 78 80 83 9 93 98 a 110 115 14 2 27 28 29 43 49 5 57 59 64 73 78 80 83 9 90 93 98 a 11 110 115 2 27 28 29 43 49 5 57 59 64 73 78 80 83 9 90 93 98 a 11 110 115 2 27 28 29 43 49 5 57 59 64 73 78 80 82 83 90 93 98 a 11 115 116 2 27 28 29 43 49 5 57 59 64 73 78 80 82 83 90 93 98 a 102 11 115 116 2 27 28 29 49 5 57 59 64 73 78 80 82 83 90 93 98 a 102 11 115 116 27 28 29 49 5 57 59 64 73 78 80 82 83 90 92 93 98 a 102 11 115 116 27 28 29 49 5 57 59 64 73 78 80 81 83 90 92 93 98 a 102 11 115 116 27 28 29 49 5 51 57 64 73 78 80 81 83 90 92 93 98 a 102 11 116 15 27 28 29 49 5 51 57 64 73 78 80 81 83 90 92 93 98 a 102 11 116 15 27 28 29 49 5 51 57 64 69 73 78 80 83 90 92 93 98 a 102 11 116 15 27 28 29 49 5 51 57 64 69 73 78 80 82 83 90 92 93 a 11 116 117 15 27 28 29 49 5 51 57 64 69 73 78 80 82 83 90 92 93 a 11 116 117 15 27 28 29 5 51 57 64 69 73 78 80 82 83 90 92 93 98 a 11 116 117 15 27 28 29 4 5 51 57 69 73 78 80 82 83 90 92 93 98 a 11 116 117 15 27 29 4 5 51 57 64 69 73 78 80 82 83 90 92 93 98 a 11 116 117 15 27 29 4 5 51 57 64 69 73 78 80 81 83 90 92 93 98 a 11 116 117 15 27 29 4 42 5 51 57 64 69 73 78 80 81 83 92 93 98 a 11 116 117 15 27 29 42 49 5 51 57 64 69 73 78 80 81 83 92 93 98 a 11 116 117 15 27 29 42 49 5 51 57 64 69 73 75 78 80 81 92 93 98 a 11 116 117 15 27 29 31 42 49 5 57 64 69 73 75 78 80 81 92 93 98 a 116 117 15 27 29 31 41 42 49 5 57 64 69 73 75 78 80 81 92 93 98 a 116 117 15 27 29 31 41 42 49 5 54 57 64 69 73 75 78 80 81 93 98 a 116 117 15 27 29 31 42 49 5 54 55 57 64 69 73 75 78 80 81 93 98 a 102 116 15 27 29 31 42 49 5 54 55 57 64 69 73 75 78 80 81 93 98 a 102 116 15 27 29 31 49 5 54 55 57 64 67 69 73 75 78 80 81 93 98 a 102 116 15 27 29 31 49 5 54 55 57 64 67 69 73 75 78 80 82 93 98 a 102 116 15 27 28 29 31 49 5 54 55 57 64 67 69 73 78 80 82 93 98 a 116 117 15 27 28 29 31 49 5 54 55 57 64 67 69 73 78 80 82 93 98 a 116 117 15 27 28 29 31 49 5 54 55 57 64 67 69 73 78 80 83 93 98 a 116 117 15 27 28 29 31 4 5 54 55 57 64 67 69 73 78 80 83 93 98 a 116 117 15 27 28 29 31 4 5 54 57 64 67 69 73 78 80 83 87 93 98 a 116 117 15 27 28 29 31 4 5 54 57 64 69 73 78 80 83 87 90 93 98 a 115 116 117 15 27 28 29 31 4 5 54 57 64 73 78 80 83 87 90 93 98 a 115 116 15 27 28 29 31 4 45 5 54 57 64 73 78 80 83 87 90 93 98 a 115 116 15 27 28 29 4 43 45 5 54 57 64 73 78 80 83 87 90 93 98 a 115 116 15 27 28 29 4 43 5 51 54 57 64 73 78 80 83 87 90 93 98 a 115 116 15 27 28 29 4 43 5 54 57 64 73 78 80 82 83 87 90 93 98 a 115 15 27 28 29 4 43 5 54 57 64 73 78 80 82 83 87 9 90 93 98 a 103 115 15 27 28 29 4 43 5 54 57 64 73 78 80 82 83 87 9 93 98 a 115 15 22 27 28 29 4 43 5 54 57 64 73 78 80 82 83 87 9 93 98 a 115 15 22 27 28 29 4 43 5 54 57 6 64 73 78 80 82 83 9 93 98 a 115 22 27 28 29 4 43 5 54 57 59 6 64 73 78 80 82 83 9 93 98 a 115 21 22 27 28 29 4 43 5 54 57 59 6 64 73 78 80 82 9 93 98 a 110 115 21 27 28 29 4 43 5 54 57 59 6 64 73 78 80 82 9 93 98 a 110 115 21 27 29 4 43 5 54 57 59 6 64 68 73 78 80 82 9 93 98 a 110 115 21 27 29 4 43 5 54 59 6 64 68 73 78 80 82 9 90 93 98 a 110 115 21 27 29 4 5 54 59 6 64 68 73 78 80 82 9 90 93 97 98 a 110 115 21 27 29 4 5 54 59 6 64 68 73 78 80 81 9 90 93 97 98 a 110 115 15 21 27 29 4 5 54 6 64 68 73 78 80 81 9 90 93 97 98 a 110 115 15 21 27 29 4 5 54 6 64 68 73 78 81 9 90 93 94 97 98 a 110 115 15 21 27 29 4 5 54 6 64 68 73 78 81 89 9 90 93 97 98 a 110 115 15 21 27 29 4 45 5 54 6 64 68 73 78 89 9 90 93 97 98 a 110 115 15 20 21 27 29 4 45 5 54 6 64 68 73 78 9 90 93 97 98 a 110 115 15 20 21 22 27 29 4 45 5 54 6 64 68 73 78 9 93 97 98 a 110 115 20 21 22 27 29 4 45 5 54 59 6 64 68 73 78 9 93 97 98 a 110 115 20 22 25 27 29 4 45 5 54 59 6 64 68 73 78 9 93 97 98 a 110 115 20 22 25 27 29 4 46 5 54 59 6 64 68 73 78 9 93 97 98 a 110 115 16 20 22 25 29 4 46 5 54 59 6 64 68 73 78 9 93 97 98 a 110 115 117 16 20 22 25 29 4 46 5 54 59 6 64 68 73 78 9 93 98 a 110 115 16 20 22 25 29 35 4 46 5 54 59 6 64 68 73 78 9 93 98 a 110 115 16 20 22 25 29 4 43 46 5 54 59 6 64 68 73 78 9 93 98 a 110 115 16 20 21 22 29 4 43 46 5 54 59 6 64 68 73 78 9 93 98 a 110 115 16 20 21 22 29 4 43 46 5 54 59 6 64 68 73 79 9 93 98 a 110 115 16 20 21 22 29 43 46 5 50 54 59 6 64 68 73 79 9 93 98 a 110 115 16 20 22 29 43 46 48 5 50 54 59 6 64 68 73 79 9 93 98 a 110 115 16 20 22 29 43 46 5 50 54 59 6 64 68 73 79 83 9 93 98 a 110 115 16 20 22 29 4 43 46 5 54 59 6 64 68 73 79 83 9 93 98 a 110 115 16 20 22 29 4 43 46 5 54 59 6 64 68 73 78 83 9 93 98 a 110 115 16 20 22 29 4 43 46 5 54 59 6 64 68 73 75 78 9 93 98 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/games120.lp ../../benchmark/3rd-benchmark/asp/games120_02.lp" User time (seconds): 10793.03 System time (seconds): 10.83 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:04 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): 10749632 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3091400 Voluntary context switches: 43 Involuntary context switches: 10827 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