s 1360 1246 1008 371 604 1361 407 908 27 874 1462 1559 935 277 1595 301 1050 1282 1499 789 832 756 483 71 343 558 673 978 225 104 1176 1230 1133 180 146 454 1412 1097 685 t 454 104 405 1133 301 567 1412 1559 673 71 343 490 1595 1176 935 1230 180 908 558 146 789 1282 27 681 1499 756 368 1443 1049 1366 604 277 1360 225 832 978 1097 1262 1011 c UNKNOWN a YES a 1008 104 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 454 483 558 604 673 685 71 756 789 832 874 908 935 978 a 1008 104 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 454 483 558 569 604 673 685 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 301 343 371 407 454 483 558 569 604 673 685 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 245 27 301 343 371 407 454 483 558 569 604 673 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 245 27 301 343 371 407 454 490 558 569 604 673 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 403 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 180 225 245 27 301 343 371 403 454 490 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1361 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1246 1282 1360 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1412 1447 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 403 454 490 558 569 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1366 1412 146 1499 1559 1595 180 225 245 27 301 343 371 403 454 490 558 569 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 245 27 301 343 371 454 490 558 569 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 245 27 301 343 371 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1077 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 301 343 371 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1008 104 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 371 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 371 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1242 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1242 1314 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1314 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1314 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 880 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 880 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 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_02_9487.lp" User time (seconds): 14377.59 System time (seconds): 27.65 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:00:06 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): 6206300 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1780065 Voluntary context switches: 28 Involuntary context switches: 19345 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