s 935 1499 408 1412 604 874 454 673 180 1285 1206 27 371 301 1270 1176 558 104 1450 483 277 1361 756 71 343 789 1097 978 832 1595 562 225 1009 1133 908 1047 146 1360 702 t 1411 673 1008 454 225 104 277 146 180 604 1282 1441 558 832 908 1270 412 756 301 1176 702 343 1595 935 483 569 1499 1050 1366 978 1097 874 1360 789 367 1133 1559 71 1205 c UNKNOWN a YES a 1009 104 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 146 1499 1595 180 225 27 277 301 343 371 408 454 483 558 562 604 673 702 71 756 789 832 874 908 935 978 a 1009 104 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 483 558 562 604 673 702 71 756 789 874 908 935 978 a 1009 104 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 558 562 604 673 702 71 756 789 803 874 908 935 978 a 104 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 874 908 935 978 a 1034 104 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 908 935 978 a 1034 104 1047 1097 1133 1176 1206 1270 1285 1360 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1176 1206 1270 1285 1360 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1176 1206 1270 1285 1360 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1176 1270 1285 1360 1366 1412 1450 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1176 1270 1285 1360 1366 1412 146 1471 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1216 1270 1285 1360 1366 1412 146 1471 1499 1559 1595 180 225 27 277 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1047 1097 1152 1197 1216 1270 1285 1360 1366 1412 146 1471 1499 1559 1595 180 225 27 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1050 1097 1152 1197 1216 1270 1285 1360 1366 1412 146 1471 1499 1559 1595 180 225 27 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1050 1097 1152 1197 1216 1270 1285 1360 1366 1412 146 1471 1499 1559 180 225 27 275 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1050 1097 1152 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 180 225 27 275 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1050 1097 1152 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 489 53 558 562 604 673 702 756 789 803 841 908 935 978 a 1034 104 1050 1097 1152 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 841 908 935 978 a 1034 104 1050 1097 1133 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 489 558 562 604 673 702 71 756 789 803 841 908 935 978 a 1034 104 1050 1097 1133 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 489 558 562 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 483 558 562 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1197 1216 1270 1285 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1197 1216 1270 1282 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1197 1205 1270 1282 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1447 146 1499 1559 1595 180 225 27 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 841 908 935 978 a 1034 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 908 935 978 a 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 146 1499 1559 1595 180 225 27 277 301 343 371 408 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 146 1499 1559 1595 180 225 27 277 301 343 371 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 146 1499 1559 1595 180 225 27 277 301 343 367 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1441 146 1499 1559 1595 180 225 27 277 301 343 367 412 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 1595 180 225 27 277 301 343 367 412 454 483 558 569 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 1595 180 225 277 301 343 367 4 412 454 483 558 569 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 1587 180 225 277 301 343 367 4 412 454 483 558 569 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 1587 180 225 277 301 343 367 412 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 180 225 27 277 301 343 367 412 454 483 558 569 604 673 702 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 146 1499 1559 1595 180 225 277 301 343 367 412 454 483 558 569 604 673 702 71 756 789 832 874 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_03_7037.lp" User time (seconds): 14388.58 System time (seconds): 17.31 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): 6772284 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1769971 Voluntary context switches: 20 Involuntary context switches: 20093 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