s 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 t 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 a YES a 1 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 249 255 26 269 29 295 298 301 306 319 323 324 326 331 332 349 359 37 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 493 497 498 52 53 55 59 64 78 81 88 92 99 a 1 105 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 249 255 26 269 29 295 298 301 306 319 324 326 331 332 349 359 37 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 493 497 498 52 53 55 59 64 78 81 88 92 99 a 1 105 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 206 215 22 249 255 26 269 29 295 298 301 306 319 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 493 497 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 493 497 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 106 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 497 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 106 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 481 488 489 492 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 106 114 115 128 132 148 155 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 331 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 488 489 492 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 106 114 115 128 132 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 488 489 492 498 52 53 55 59 62 64 78 81 88 92 99 a 1 105 106 114 115 128 132 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 332 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 59 62 64 78 8 81 88 92 99 a 1 105 106 114 115 128 132 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 57 59 62 64 78 8 81 88 92 99 a 1 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 57 59 62 64 78 8 81 88 92 99 a 1 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 29 295 298 301 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 57 59 62 64 73 78 8 81 88 92 99 a 1 105 106 114 115 128 148 155 160 165 167 169 174 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 270 29 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 57 59 62 64 73 78 8 81 88 92 99 a 1 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 19 193 198 20 202 203 215 22 249 255 26 269 270 29 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 44 443 445 446 453 460 465 47 470 488 489 492 52 53 55 57 62 64 73 78 8 81 88 92 99 Command exited with non-zero status 10 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp --stats --quiet=1,0 --time-limit=7200 ../encoding/isrpTJ_exact1_allhint_inc.lp --heu=domain ../../benchmark/3rd-benchmark/asp/DSJR500.1.lp ../../benchmark/3rd-benchmark/asp/DSJR500.1_02.lp" User time (seconds): 0.75 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.78 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): 50152 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12726 Voluntary context switches: 1 Involuntary context switches: 25 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 10