s 19 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 160 167 189 215 230 240 251 260 280 286 289 296 301 308 320 325 341 352 364 379 385 401 405 425 t 23 27 31 42 55 75 82 93 95 97 100 115 116 121 149 167 168 176 189 230 240 241 251 260 286 289 296 301 308 320 336 341 364 379 385 398 401 405 425 438 c UNKNOWN a YES a 100 115 116 121 149 160 167 189 19 215 23 230 240 251 260 27 280 286 289 296 301 308 31 320 325 341 352 364 379 385 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 160 167 189 19 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 352 364 379 385 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 160 167 189 19 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 160 167 189 19 215 23 230 240 241 251 260 27 286 289 301 308 31 320 325 341 35 352 379 385 401 405 410 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 189 19 215 23 230 240 241 251 260 27 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 410 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 189 19 23 230 240 241 251 260 27 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 410 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 176 189 23 230 240 241 251 260 27 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 410 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 176 189 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 121 149 162 167 176 189 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 420 425 55 75 82 93 95 97 a 100 115 121 149 162 167 176 180 189 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 420 425 55 75 82 93 95 97 a 100 115 121 149 167 176 180 189 215 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 420 425 55 75 82 93 95 97 a 100 115 121 149 167 176 189 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 420 425 55 75 82 93 95 97 a 100 115 121 149 167 189 19 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 420 425 55 75 82 93 95 97 a 100 115 116 121 149 167 189 19 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 189 19 215 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 189 19 215 23 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 168 176 189 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 168 176 180 189 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 176 180 189 230 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 176 180 189 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 180 189 215 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 230 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 240 241 251 260 27 280 286 289 301 308 31 320 325 341 35 352 376 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 240 241 251 260 27 280 286 289 296 301 308 31 320 325 341 352 376 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 240 241 251 260 27 280 286 289 296 301 308 31 320 341 352 364 376 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 364 376 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 176 189 215 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 215 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 162 167 168 176 189 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 215 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 364 379 385 398 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 215 23 230 240 241 251 260 27 280 286 289 296 301 308 31 320 336 341 364 379 385 398 401 405 42 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 215 23 230 240 241 251 260 27 286 289 296 301 308 31 320 336 341 364 379 385 398 401 405 42 425 55 75 82 93 95 97 a 100 115 116 121 149 167 168 176 189 23 230 240 241 251 260 27 286 289 296 301 308 31 320 336 341 364 379 385 398 401 405 42 425 438 55 75 82 93 95 97 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/le450_15d.lp ../../benchmark/3rd-benchmark/asp/le450_15d_02.lp" User time (seconds): 10794.56 System time (seconds): 7.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:02 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): 2051668 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 665010 Voluntary context switches: 4 Involuntary context switches: 13347 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