s 1470 434 528 2301 1918 2003 1658 2063 186 85 1389 1257 1625 1437 1091 950 655 1196 2217 711 2281 572 2495 1243 1348 1842 233 1579 469 977 2402 1966 1773 764 2159 1044 1515 854 1149 1710 847 2106 132 321 40 2376 374 612 1888 t 2402 321 612 1981 1389 858 847 2159 2215 280 2301 1888 1044 764 1842 2111 954 233 1918 2063 1672 2003 1710 1348 670 85 2376 434 132 1469 528 2256 374 40 1257 1437 1243 727 1091 1625 1196 467 950 1773 2495 186 1516 1579 555 c UNKNOWN a YES a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 321 374 40 434 469 528 572 612 655 711 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 469 528 572 612 655 711 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 469 528 572 612 655 711 764 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 469 528 572 612 655 711 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1710 1773 1842 186 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 469 528 572 612 655 727 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 469 528 572 612 655 727 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1470 1515 1579 1625 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 655 727 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1710 1773 1842 186 1888 1918 1966 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 655 727 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 186 1888 1918 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 655 727 764 8 847 85 854 950 990 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 434 456 528 572 612 655 727 764 8 847 85 854 950 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1666 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 727 764 847 85 854 950 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1666 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 727 764 847 85 858 950 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1666 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 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1666 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 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1666 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 555 612 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1672 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 555 612 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2003 2063 2111 2159 2217 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2217 2301 233 2376 2402 2495 280 321 374 40 434 456 528 555 612 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 233 2376 2402 2495 280 321 374 40 434 528 555 612 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 233 2376 2402 2495 280 321 374 40 434 462 528 555 665 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 233 2376 2402 2495 280 321 374 40 434 462 528 555 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 462 528 555 670 727 764 847 85 858 950 954 a 1044 1091 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 462 528 555 649 670 727 764 847 85 858 950 954 a 1044 1091 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 649 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 612 670 727 764 847 85 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 858 950 954 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 a 1044 1091 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 612 670 727 764 847 85 858 950 954 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_02_6166.lp" User time (seconds): 14386.18 System time (seconds): 23.27 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 4:00:10 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): 8589744 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2473938 Voluntary context switches: 1 Involuntary context switches: 20056 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