s 1 22 27 35 48 70 77 84 85 99 101 104 106 112 117 119 121 t 1 3 14 32 34 35 49 61 77 85 88 106 111 112 119 122 125 c UNKNOWN a YES a 1 101 104 106 112 117 119 121 22 27 35 48 70 77 84 85 99 a 1 104 106 112 117 119 121 22 27 35 37 48 70 77 84 85 99 a 1 104 106 112 117 119 121 22 35 37 48 70 73 77 84 85 99 a 1 104 106 112 117 119 121 22 35 37 5 70 73 77 84 85 99 a 1 104 106 112 115 117 119 121 22 35 37 5 70 73 77 84 85 a 1 104 106 112 115 117 119 121 15 22 35 37 5 70 73 84 85 a 1 101 104 106 112 115 117 119 121 15 22 35 37 5 70 84 85 a 1 101 104 106 112 117 119 121 15 22 35 37 5 70 84 85 92 a 1 101 104 106 112 117 119 121 15 17 22 35 37 5 70 84 92 a 101 104 106 109 112 117 119 121 15 17 22 35 37 5 70 84 92 a 101 104 106 109 112 117 119 121 15 17 22 35 37 5 67 84 92 a 104 106 109 112 117 119 121 15 17 19 22 35 37 5 67 84 92 a 104 106 109 112 117 119 121 15 17 19 22 35 37 48 67 84 92 a 104 106 109 11 112 117 119 121 15 19 22 35 37 48 67 84 92 a 104 106 109 112 117 119 121 15 19 22 35 37 42 48 67 84 92 a 104 106 109 112 115 117 119 121 15 19 22 35 37 42 48 67 84 a 104 106 109 112 115 117 119 121 15 19 22 35 37 42 5 67 84 a 104 106 109 112 115 117 119 121 15 19 22 3 35 37 42 67 84 a 104 106 109 112 117 119 121 15 19 22 3 35 37 42 45 67 84 a 104 106 109 112 117 119 121 15 19 22 35 37 42 45 5 67 84 a 104 106 109 112 117 119 121 15 19 35 37 42 45 5 67 84 86 a 104 106 109 112 115 117 119 121 15 19 35 37 42 5 67 84 86 a 104 106 109 112 115 117 119 121 15 17 19 35 37 5 67 84 86 a 104 106 109 112 115 117 119 121 15 17 19 35 37 48 67 84 86 a 104 106 109 112 115 117 119 121 15 17 19 3 35 37 67 84 86 a 104 106 109 111 112 115 117 119 121 15 17 19 3 35 37 67 86 a 104 106 109 111 112 115 117 119 121 15 19 3 35 37 67 85 86 a 104 106 109 111 112 115 117 119 121 15 19 35 37 48 67 85 86 a 104 106 109 111 112 115 117 119 121 15 19 35 37 5 67 85 86 a 106 109 111 112 115 117 119 121 15 19 35 37 5 67 85 86 9 a 106 109 111 112 115 117 119 121 15 19 35 37 5 70 85 86 9 a 106 109 111 112 115 117 119 121 15 19 22 35 37 5 70 85 9 a 106 109 111 112 115 117 119 121 15 17 19 22 35 37 5 70 9 a 106 109 111 112 115 117 120 121 15 17 19 22 35 37 5 70 9 a 106 109 111 112 115 117 120 121 15 17 19 22 35 37 5 64 9 a 106 109 111 112 115 117 12 120 121 15 17 19 22 35 5 64 9 a 106 109 111 112 115 117 12 120 121 14 15 17 22 35 5 64 9 a 106 109 111 112 115 117 12 120 121 15 17 22 35 5 64 73 9 a 106 109 111 112 115 117 119 12 121 15 17 22 35 5 64 73 9 a 101 106 109 111 112 115 117 119 12 121 15 17 22 35 5 64 9 a 101 109 111 112 115 117 119 12 121 15 17 22 35 5 64 9 95 a 101 109 111 112 117 119 12 121 15 17 22 35 5 64 9 92 95 a 101 109 111 112 117 119 12 121 15 17 22 35 48 64 9 92 95 a 101 109 111 112 115 117 119 12 121 15 17 22 35 48 64 9 95 a 101 109 111 112 115 117 119 121 15 17 22 35 37 48 64 9 95 a 101 109 111 112 115 117 119 121 15 17 22 35 37 48 67 9 95 a 101 104 109 111 112 115 117 119 121 15 17 22 35 37 48 67 95 a 101 104 109 111 112 115 117 119 121 15 17 35 37 48 67 86 95 a 104 109 111 112 115 117 119 121 15 17 19 35 37 48 67 86 95 a 104 109 112 115 117 119 121 15 17 19 35 37 48 67 86 95 96 a 104 109 112 115 117 119 121 15 17 19 35 37 5 67 86 95 96 a 104 109 112 115 117 119 121 15 17 19 35 37 5 61 67 95 96 a 104 109 112 115 117 120 121 15 17 19 35 37 5 61 67 95 96 a 104 109 112 117 120 121 15 17 19 35 37 5 61 67 76 95 96 a 104 109 112 117 120 121 15 17 19 35 37 5 61 67 75 76 95 a 104 109 112 117 119 121 15 17 19 35 37 5 61 67 75 76 95 a 104 109 112 117 119 121 15 17 19 25 35 37 5 67 75 76 95 a 104 109 112 117 119 15 17 19 25 35 37 5 51 67 75 76 95 a 109 112 117 119 15 17 19 25 35 37 5 51 67 75 76 9 95 a 109 112 117 119 15 19 25 35 37 5 51 63 67 75 76 9 95 a 109 112 117 119 15 19 25 35 37 5 51 56 63 67 75 76 9 a 109 111 112 117 119 15 19 25 35 37 5 51 56 63 67 76 9 a 109 111 112 117 119 15 19 22 35 37 5 51 56 63 67 76 9 a 109 111 112 117 119 15 19 22 35 37 5 51 56 63 70 76 9 a 109 111 112 117 119 15 19 25 35 37 5 51 56 63 70 76 9 a 109 111 112 117 119 15 19 25 35 37 5 51 56 63 68 70 9 a 109 111 112 117 119 121 15 19 25 35 37 5 56 63 68 70 9 a 109 111 112 117 119 121 15 19 35 37 46 5 56 63 68 70 9 a 109 111 112 117 119 12 121 15 19 35 46 5 56 63 68 70 9 a 1 111 112 117 119 12 121 15 19 35 46 5 56 63 68 70 9 a 1 111 112 117 119 12 121 15 19 35 46 5 56 63 70 9 92 a 109 111 112 117 119 12 121 15 19 35 46 5 56 63 70 9 92 a 109 111 112 117 118 119 12 121 15 19 35 5 56 63 70 9 92 a 109 111 112 117 119 12 121 15 19 35 5 56 63 70 86 9 92 a 109 111 112 117 119 12 121 15 17 19 35 5 56 70 86 9 92 a 109 111 112 117 119 12 121 14 15 17 35 5 56 70 86 9 92 a 109 111 112 117 119 12 121 14 15 17 35 5 56 66 70 86 9 a 104 109 111 112 117 119 12 121 14 15 17 35 5 56 66 70 86 a 104 109 111 112 117 118 119 12 121 14 15 17 35 5 56 66 70 a 101 104 109 111 112 117 118 119 12 121 15 17 35 5 56 66 70 a 101 104 109 111 112 117 118 119 12 121 15 17 3 35 56 66 70 a 101 104 109 111 112 117 118 119 12 121 15 17 3 35 66 70 95 a 101 104 109 112 117 118 119 12 121 127 15 17 3 35 66 70 95 a 1 101 104 112 117 118 119 12 121 127 15 17 3 35 66 70 95 a 1 101 104 112 117 118 119 12 121 127 15 17 35 48 66 70 95 a 1 101 104 112 117 118 119 12 121 127 15 17 27 35 48 70 95 a 1 101 112 117 118 119 12 121 127 15 17 27 35 48 49 70 95 a 1 101 112 117 118 119 12 121 127 15 17 27 35 48 66 70 95 a 1 101 104 112 117 118 119 12 127 15 17 27 35 48 66 70 95 a 1 101 104 112 117 118 119 12 127 15 17 27 35 48 70 95 99 a 1 101 104 112 117 119 12 127 15 17 27 35 46 48 70 95 99 a 1 101 104 112 117 119 12 127 15 27 35 46 48 63 70 95 99 a 1 101 104 112 117 119 127 15 27 35 37 46 48 63 70 95 99 a 1 101 104 112 117 119 127 15 35 37 46 48 51 63 70 95 99 a 1 101 104 111 112 117 119 15 35 37 46 48 51 63 70 95 99 a 1 101 104 111 112 117 119 15 28 35 37 46 48 51 63 70 95 a 1 101 104 111 112 117 119 15 35 37 46 48 51 63 70 76 95 a 1 101 104 111 112 117 119 15 22 35 37 48 51 63 70 76 95 a 1 101 104 111 112 117 119 15 22 35 37 48 51 63 68 70 95 a 1 101 104 111 112 117 119 15 35 37 48 51 63 68 70 86 95 a 1 101 104 111 112 117 119 15 35 37 46 48 51 63 68 70 95 a 101 104 108 111 112 117 119 15 35 37 46 48 51 63 68 70 95 a 101 104 108 111 112 117 119 15 3 35 37 46 51 63 68 70 95 a 1 101 104 111 112 117 119 15 3 35 37 46 51 63 68 70 95 a 1 101 104 111 112 117 119 121 15 3 35 37 46 63 68 70 95 a 1 101 104 111 112 117 119 121 15 3 35 37 46 63 64 68 95 a 1 101 104 111 112 117 119 121 15 22 3 35 37 63 64 68 95 a 1 101 104 111 112 117 119 121 15 22 3 35 37 63 64 69 95 a 1 101 104 111 112 117 119 121 15 22 3 35 37 63 69 70 95 a 1 101 104 111 112 117 121 15 22 3 35 37 63 69 70 88 95 a 1 101 104 111 112 117 121 15 22 3 35 37 69 70 85 88 95 a 101 104 111 112 117 120 121 15 22 3 35 37 69 70 85 88 95 a 104 109 111 112 117 120 121 15 22 3 35 37 69 70 85 88 95 a 104 109 111 112 117 120 121 14 22 3 35 37 69 70 85 88 95 a 104 109 111 112 117 120 121 14 22 3 35 37 69 70 77 85 88 a 104 109 111 112 120 121 14 22 3 35 37 56 69 70 77 85 88 a 104 109 111 112 120 121 14 22 3 35 37 56 69 70 76 77 85 a 104 109 111 112 117 120 121 14 3 35 37 56 69 70 76 77 85 a 104 105 109 111 112 120 121 14 3 35 37 56 69 70 76 77 85 a 104 105 109 111 112 120 121 14 35 37 5 56 69 70 76 77 85 a 104 105 109 111 112 120 121 14 22 35 37 5 56 70 76 77 85 a 104 105 109 111 112 119 121 14 22 35 37 5 56 70 76 77 85 a 105 109 111 112 119 121 14 22 35 37 5 56 70 76 77 85 9 a 105 109 111 112 119 121 14 16 22 37 5 56 70 76 77 85 9 a 105 109 111 112 119 121 128 14 16 22 37 5 56 70 77 85 9 a 1 105 111 112 119 121 128 14 16 22 37 5 56 70 77 85 9 a 1 105 111 112 119 121 128 14 16 22 5 56 66 70 77 85 9 a 1 105 112 119 121 128 14 16 22 5 56 66 70 77 84 85 9 a 1 112 119 121 128 14 16 22 37 5 56 66 70 77 84 85 9 a 1 112 121 128 14 16 22 37 5 56 66 70 77 84 85 9 97 a 1 112 121 128 14 16 36 37 5 56 66 70 77 84 85 9 97 a 1 112 119 121 128 14 16 37 5 56 66 70 77 84 85 9 97 a 1 112 119 121 128 14 16 36 37 5 66 70 77 84 85 9 97 a 1 112 119 121 128 16 36 37 5 66 70 77 84 85 9 95 97 a 1 112 119 121 14 16 36 37 5 66 70 77 84 85 9 95 97 a 1 112 119 128 14 16 36 37 5 66 70 77 84 85 9 95 97 a 1 112 119 128 14 16 36 37 45 5 70 77 84 85 9 95 97 a 1 112 119 121 128 14 16 37 45 5 70 77 84 85 9 95 97 a 1 112 118 119 121 128 14 16 37 45 5 70 77 84 85 9 97 a 1 112 118 119 121 126 128 14 16 37 5 70 77 84 85 9 97 a 1 106 112 118 119 121 126 128 14 16 37 5 70 77 84 85 9 a 106 112 118 119 121 126 128 14 16 37 5 70 77 80 84 85 9 a 106 112 118 119 121 126 128 14 16 37 5 67 77 80 84 85 9 a 106 112 118 120 121 126 128 14 16 37 5 67 77 80 84 85 9 a 106 112 118 120 121 126 128 14 35 37 5 67 77 80 84 85 9 a 106 112 117 118 120 121 126 128 14 35 37 5 67 77 84 85 9 a 106 112 117 118 120 121 128 14 35 37 45 5 67 77 84 85 9 a 106 112 117 118 120 121 128 14 15 35 37 45 5 67 84 85 9 a 106 109 112 117 118 120 121 14 15 35 37 45 5 67 84 85 9 a 106 109 112 117 118 120 121 14 15 35 37 45 48 67 84 85 9 a 106 109 112 117 118 120 121 128 14 15 37 45 48 67 84 85 9 a 106 109 112 117 118 120 121 128 14 15 37 45 48 70 84 85 9 a 106 109 112 117 118 120 121 128 14 15 37 45 48 49 70 84 85 a 106 109 112 117 118 120 121 128 15 35 37 45 48 49 70 84 85 a 106 109 112 117 118 120 121 128 14 15 35 37 48 49 70 84 85 a 106 109 112 117 120 121 126 128 14 15 35 37 48 49 70 84 85 a 109 112 117 120 121 126 128 14 15 35 37 48 49 70 84 85 86 a 109 112 117 12 120 121 126 128 14 15 35 48 49 70 84 85 86 a 109 112 117 12 120 121 126 128 14 15 3 35 49 70 84 85 86 a 109 117 12 120 121 126 128 14 15 3 35 49 56 70 84 85 86 a 109 112 117 12 121 126 128 14 15 3 35 49 56 70 84 85 86 a 109 112 117 12 121 126 128 14 15 3 49 56 70 72 84 85 86 a 109 112 117 12 121 128 14 15 3 35 49 56 70 72 84 85 86 a 109 112 117 12 121 128 14 15 3 35 45 56 70 72 84 85 86 a 109 112 117 12 121 122 128 14 15 3 35 45 56 72 84 85 86 a 106 109 112 117 12 121 122 128 14 15 3 35 45 72 84 85 86 a 106 109 112 117 12 121 122 128 14 3 35 45 49 72 84 85 86 a 106 109 112 12 121 122 128 14 15 3 35 45 49 72 84 85 86 a 106 109 112 119 12 121 122 128 14 15 3 35 45 49 84 85 86 a 106 112 119 12 121 122 125 128 14 15 3 35 45 49 84 85 86 a 106 112 119 121 122 125 128 14 15 3 35 37 45 49 84 85 86 a 106 112 119 121 122 125 128 14 3 35 37 45 49 77 84 85 86 a 1 106 112 119 121 122 125 128 14 3 35 37 45 49 77 84 85 a 1 106 112 118 119 122 125 128 14 3 35 37 45 49 77 84 85 a 1 106 112 119 122 125 128 14 3 34 35 37 45 49 77 84 85 a 1 106 112 119 122 125 128 14 3 34 35 37 49 61 77 84 85 a 1 106 112 119 122 125 14 3 34 35 37 49 61 77 84 85 88 a 1 106 111 112 119 122 125 14 3 34 35 37 49 61 77 85 88 a 1 106 111 112 119 122 125 14 3 32 34 35 49 61 77 85 88 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/miles500.lp ../../benchmark/3rd-benchmark/asp/miles500_02.lp" User time (seconds): 10787.04 System time (seconds): 26.43 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:14 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): 25964264 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 11692991 Voluntary context switches: 8 Involuntary context switches: 12433 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