s 343 673 832 978 225 604 1595 1450 935 1362 412 104 1246 1176 1510 789 579 71 1283 367 1360 681 1559 908 301 1405 454 1022 146 1133 1209 491 756 558 1048 27 1097 874 180 t 567 1366 1205 225 104 874 558 343 491 369 277 1282 1441 146 27 412 832 1499 180 604 454 71 301 1176 1430 935 1133 1262 756 1595 908 1008 1050 978 1097 1559 683 673 1360 c UNKNOWN a YES a 1022 104 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 301 343 367 412 454 491 558 579 604 673 681 71 756 789 832 874 908 935 978 a 1022 104 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 579 604 673 681 71 756 789 832 874 908 935 978 a 1022 104 1048 1097 1133 1176 1209 1246 1283 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 71 756 789 832 874 908 935 978 a 1022 104 1048 1097 1133 1176 1209 1246 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1048 1097 1133 1176 1238 1246 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1246 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1360 1362 1405 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1362 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1362 1435 1450 146 1510 1559 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1362 1435 1450 146 1510 1559 1583 180 225 27 277 301 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1362 1435 1450 146 1510 1559 1583 180 225 27 277 301 323 367 412 454 491 521 579 604 673 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1366 1435 1450 146 1510 1559 1583 180 225 27 277 301 323 367 412 454 491 521 579 604 673 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1366 1435 1450 146 1510 1559 1583 180 225 27 277 301 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1366 1435 1450 146 1510 1559 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1285 1360 1366 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1282 1360 1366 1450 146 1510 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1282 1360 1366 1430 1450 146 1559 1595 180 225 27 277 301 343 367 412 454 491 521 579 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1282 1360 1366 1430 1450 146 1499 1559 1595 180 225 27 277 301 343 367 412 454 491 521 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1049 1097 1133 1176 1238 1248 1282 1360 1366 1430 1450 146 1499 1559 1595 180 225 27 277 301 343 412 454 491 521 567 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1097 1133 1176 1238 1248 1282 1360 1366 1430 1450 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 521 567 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1097 1133 1176 1205 1248 1282 1360 1366 1430 1450 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 521 567 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1050 1097 1133 1176 1205 1248 1282 1360 1366 1430 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 521 567 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1050 1097 1133 1176 1205 1248 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 567 604 673 683 71 756 789 832 874 908 935 978 a 1022 104 1050 1097 1133 1176 1205 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1176 1205 1262 1282 1333 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1176 1205 1262 1282 1333 1366 1430 1441 146 1499 1559 1595 180 225 27 277 320 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1366 1430 1441 146 1499 1559 1595 180 225 27 277 320 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1597 180 225 27 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 1050 1097 1133 117 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 1050 1097 1133 117 1176 1205 1262 1282 1366 1430 1441 146 1499 1559 1595 180 225 27 280 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1366 1430 1441 146 1499 1559 1595 180 225 27 280 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1309 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1262 1282 1360 1366 1430 1441 146 1499 1559 1595 180 225 27 277 301 343 369 412 454 491 558 567 604 673 683 71 756 832 874 908 935 978 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=14400 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/2nd-benchmark/asp/queen040x040.lp ../../benchmark/2nd-benchmark/asp/queen040x040_04_8369.lp" User time (seconds): 14375.48 System time (seconds): 31.41 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:00:07 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): 8413708 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2809386 Voluntary context switches: 7 Involuntary context switches: 20436 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