s 2402 2301 1672 1842 374 606 1625 434 764 1710 1954 1348 1462 233 2205 1888 553 1243 1579 847 2281 186 1918 1515 716 1773 1257 670 1196 40 1389 1044 2011 977 950 2495 2117 2376 321 2063 528 85 1091 1149 132 1437 280 469 2159 t 706 186 40 1515 1389 434 1970 321 2301 847 1257 612 2063 2003 1469 1091 280 1579 1773 2159 233 1658 528 2376 572 854 2111 466 2402 667 1196 374 1149 1044 977 1625 950 132 764 1918 2281 1437 2205 1888 2495 1348 1710 1842 1243 c UNKNOWN a YES a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 469 528 553 606 670 716 764 847 85 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2063 2117 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 950 977 a 1044 1091 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2063 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2402 280 321 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2402 2471 280 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 374 40 434 469 528 553 606 670 716 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 469 528 553 606 716 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 469 528 553 606 691 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 528 553 606 691 719 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2471 280 320 374 40 434 466 528 553 606 691 719 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 466 528 553 606 691 719 764 847 85 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2008 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 466 528 606 691 719 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 466 528 558 606 691 719 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2095 2111 2159 2205 2281 2301 233 2376 2432 2471 280 320 374 40 434 466 528 558 606 653 719 764 847 85 867 950 977 a 1044 1052 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2095 2111 2159 2205 2281 2301 233 2376 2471 280 320 374 40 434 466 528 558 606 653 719 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1954 2032 2095 2111 2159 2205 2281 2301 233 2376 2471 280 320 374 40 434 466 528 558 606 653 719 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2032 2095 2111 2159 2205 2281 2301 233 2376 2402 2471 280 320 374 40 434 466 528 558 606 653 719 764 847 85 867 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 2032 2095 2111 2159 2205 2281 2301 233 2376 2402 2471 280 320 374 40 434 466 528 558 606 653 719 764 847 85 854 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2032 2095 2111 2159 2205 2281 2301 233 2376 2402 2471 280 374 40 434 466 528 558 606 653 719 764 847 85 854 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2032 2095 2111 2159 2205 2281 2301 233 2376 2402 280 321 374 40 434 466 528 558 606 653 719 764 847 85 854 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2032 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 558 606 653 719 764 847 85 854 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2032 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 558 606 667 719 764 847 85 854 950 977 a 1044 1091 113 1149 1196 1243 1257 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2003 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 558 606 667 719 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 1515 1579 1625 1672 1710 1773 1842 186 1888 1918 1970 2003 2111 2159 2205 2281 2301 233 2376 2402 2495 280 321 374 40 434 466 528 558 606 667 719 764 847 85 854 950 977 a 1044 1091 1149 1196 1243 1257 132 1348 1389 1437 1462 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 558 606 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 558 606 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 558 667 706 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 612 667 706 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 612 667 706 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 706 764 847 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_04_9047.lp" User time (seconds): 14385.34 System time (seconds): 23.80 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): 8213416 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2486892 Voluntary context switches: 12 Involuntary context switches: 19624 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