s 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 
t 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686
c UNKNOWN
a YES
a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 310 343 349 37 38 39 40 41 42 43 44 445 464 47 48 49 5 553 57 58 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95
a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 310 343 349 37 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 107 108 110 119 120 121 125 126 127 128 130 131 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 107 108 110 117 120 121 125 126 127 128 130 131 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 108 110 117 120 121 125 126 127 128 130 131 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 108 110 117 120 121 125 126 127 128 130 131 132 134 143 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 108 110 117 120 121 125 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 86 87 90 91 94 95
a 104 107 108 109 117 120 121 125 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 343 349 38 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 86 87 90 91 94 95
a 104 107 108 109 117 120 121 125 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 220 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 60 69 7 70 80 81 85 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 105 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 143 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 44 445 464 47 48 49 52 553 57 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 553 57 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 15 150 152 153 154 155 159 16 160 167 171 180 184 189 19 193 201 203 206 207 213 216 222 224 24 247 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 15 150 152 153 154 155 159 16 160 167 171 180 184 189 19 193 201 203 206 207 213 216 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 171 180 184 189 19 193 201 203 206 207 213 216 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 171 180 181 189 19 193 201 203 206 207 213 216 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 171 180 181 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 464 47 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 106 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 171 180 181 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 171 180 181 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 107 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 52 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 144 148 149 150 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 28 291 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 28 310 34 343 349 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 28 34 343 349 357 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 34 343 349 357 37 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 343 349 357 37 38 39 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 6 60 66 69 70 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 343 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 60 66 69 70 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 343 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 553 58 59 60 66 68 69 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 201 203 206 207 213 220 222 224 247 343 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 59 60 66 68 686 69 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 201 203 206 207 213 220 222 224 247 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 59 60 66 68 686 69 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 131 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 313 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 94 95
a 104 107 108 109 117 120 121 123 126 127 128 130 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 313 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 93 95
a 104 107 108 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 313 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 93 95
a 104 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 93 95
a 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 189 19 193 197 203 206 207 213 220 222 224 247 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 85 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 16 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 132 134 136 14 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 13 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 9 90 91 93 95 99
a 10 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 11 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 117 12 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 80 81 86 87 90 91 93 95 99
a 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 19 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 37 38 39 4 40 41 42 43 435 44 445 46 464 48 49 53 58 588 59 60 66 68 686 69 71 8 80 81 86 87 90 91 93 95 99
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/wap05a.lp ../../benchmark/3rd-benchmark/asp/wap05a_02.lp"
	User time (seconds): 10770.36
	System time (seconds): 31.43
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:08
	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): 8189588
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 3705670
	Voluntary context switches: 4753
	Involuntary context switches: 105328
	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