s 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 t 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 c UNKNOWN a YES a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 250 3 38 4 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 23 241 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 209 21 211 216 218 22 226 228 229 23 233 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 209 21 216 218 22 226 228 229 23 233 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 77 78 93 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 23 241 246 250 3 38 4 47 54 55 60 63 64 67 73 77 78 99 a 11 12 125 13 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 23 241 246 250 38 4 47 54 55 60 63 64 67 73 77 78 99 a 11 12 125 13 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 23 241 246 250 38 4 47 54 60 63 64 67 73 77 78 99 a 11 12 125 13 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 250 38 4 47 54 60 63 64 67 77 78 99 a 11 12 125 131 140 15 152 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 60 63 64 67 77 78 99 a 11 12 125 131 140 15 165 166 167 170 180 185 192 193 194 203 207 209 21 211 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 60 63 64 67 77 78 93 99 a 11 12 125 131 140 15 165 166 167 170 180 185 192 193 194 203 207 209 21 216 218 22 226 228 229 23 241 246 250 3 38 4 47 54 55 60 63 64 67 77 78 93 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/DSJC250.1.lp ../../benchmark/3rd-benchmark/asp/DSJC250.1_02.lp" User time (seconds): 10793.70 System time (seconds): 6.62 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:00 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): 1690480 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 447758 Voluntary context switches: 77 Involuntary context switches: 11060 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