s 280 186 1888 40 434 132 1257 655 1710 2301 2217 1469 854 1044 1658 1918 716 2281 1437 612 1773 764 2063 1970 2003 1348 1149 2402 1515 374 977 528 1196 1625 1842 456 2159 572 2495 321 1579 1091 1243 847 1389 950 2111 2376 233 t 2281 1149 528 977 1625 1918 1348 1515 374 950 2301 186 2111 1196 2402 1389 612 1888 1257 556 85 2495 280 132 1710 466 321 233 2159 667 764 1773 1437 2063 1044 1672 854 2376 434 1579 1970 1243 1091 1842 2205 40 847 2003 1469 c UNKNOWN a YES a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2159 2211 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 716 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 655 709 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2217 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 655 709 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 655 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1918 1966 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1921 1966 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1868 1921 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 186 1868 1921 1992 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1658 1710 1773 1825 186 1868 1921 1992 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1658 1710 1773 1825 186 1868 1921 1992 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1658 1710 1773 1825 186 1868 1921 1990 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 186 1868 1921 1990 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 1842 186 1921 1990 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 1842 186 1918 1990 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 320 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 1842 186 1918 1990 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 1842 186 1918 1970 2003 2063 2111 2159 2238 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 16 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 667 705 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 456 528 572 612 667 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 572 612 667 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 556 612 667 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 556 612 667 764 847 85 854 950 977 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/queen050x050.lp ../../benchmark/2nd-benchmark/asp/queen050x050_03_0562.lp" User time (seconds): 14387.82 System time (seconds): 20.95 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:00:09 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): 7617784 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2296907 Voluntary context switches: 1 Involuntary context switches: 19091 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