s 1044 186 132 2063 2495 1091 1625 321 1196 2003 1981 954 467 233 1348 670 2159 85 2402 1579 1773 1710 1257 2256 374 1149 1888 858 727 1437 1469 1389 2111 612 2301 40 280 1672 764 434 555 1243 528 950 2215 847 2376 1516 1918 t 2117 1710 2063 1918 1773 2281 1257 1672 950 1842 233 1515 1149 556 764 1437 977 1579 612 434 186 1469 1888 453 1625 670 2495 1196 2402 858 280 1044 1348 2301 2376 1389 132 1954 2011 321 2205 40 374 2159 847 716 85 1091 528 c UNKNOWN a YES a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 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 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 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 953 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 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 953 a 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 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 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 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 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2215 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 616 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2256 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 616 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 616 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 616 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2247 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 616 670 727 764 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2247 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 609 670 727 764 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2281 2301 233 2376 2402 2495 280 321 374 40 434 467 528 555 609 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 528 555 609 670 727 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 528 555 609 670 716 764 847 85 858 950 953 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 528 555 609 670 716 764 847 85 858 950 977 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2156 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 609 670 716 764 847 85 858 950 977 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 609 670 716 764 847 85 858 950 977 a 1044 1091 112 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 670 716 764 847 85 858 950 977 a 1044 105 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2111 2159 2217 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2043 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2043 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1351 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1257 132 1348 1351 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 233 2343 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 233 2343 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 950 977 a 1044 1091 1149 1196 1257 132 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 453 528 556 612 670 716 764 847 85 858 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_01_6006.lp" User time (seconds): 14388.45 System time (seconds): 20.34 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): 8015640 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2434189 Voluntary context switches: 3 Involuntary context switches: 19080 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