c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/wap03a.col /BENCHMARKS/benchmark/color04/wap03a_01.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap03a_01/sas_plan results/wap03a_01/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)" s 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 191 192 202 203 204 205 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 776 777 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1245 1246 1247 1248 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2463 2464 2465 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426 t 15 22 23 24 25 77 78 79 80 81 82 83 84 124 125 126 127 153 191 192 202 203 204 206 207 208 209 210 211 212 289 290 294 295 296 301 302 307 308 315 316 317 318 329 332 333 343 344 347 348 349 350 362 363 364 365 380 381 391 395 396 417 418 421 422 428 434 435 436 437 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 770 774 775 776 791 792 793 801 804 807 838 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 1245 1246 1247 1249 1250 1251 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 1500 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 1930 1944 2011 2025 2031 2032 2093 2163 2230 2233 2240 2276 2291 2364 2367 2368 2441 2442 2460 2461 2462 2463 2464 2465 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 3005 3152 3269 3282 3352 3374 3375 3579 3708 4098 4330 4426 a YES a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 205 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 776 777 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 542 543 544 545 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 776 777 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 630 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 776 777 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 643 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 776 777 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 776 777 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 914 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 919 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1064 1065 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 124 1245 1246 1247 1248 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 124 1245 1246 1247 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1531 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 a 1002 1003 1004 1005 1019 1020 1035 1036 1039 1040 1045 1046 1047 1048 1059 1063 1064 1077 1078 1081 1082 1085 1086 1097 1099 1105 1128 1161 1168 1233 124 1245 1246 1247 1249 125 1250 1251 126 127 1321 1322 1326 1327 1334 1335 1347 1348 1367 1368 1369 1370 1381 1385 1386 1387 1413 1414 1416 1423 1424 1448 1455 1456 1459 1460 1478 1479 1480 1499 15 1500 153 1532 1533 1534 1559 1560 1567 1577 1578 1607 1608 1609 1610 1611 1612 1618 1652 1663 1664 1732 1736 1781 1792 1793 1810 1858 1859 1863 1864 1900 1906 1907 191 192 1930 1944 2011 202 2025 203 2031 2032 204 206 207 208 209 2093 210 211 212 2163 22 2230 2233 2240 2276 2291 23 2364 2367 2368 24 2441 2442 2460 2461 2462 2463 2464 2465 25 2502 2520 2640 2678 2687 2695 2738 2791 2792 2806 2817 2818 289 290 294 295 296 3005 301 302 307 308 315 3152 316 317 318 3269 3282 329 332 333 3352 3374 3375 343 344 347 348 349 350 3579 362 363 364 365 3708 380 381 391 395 396 4098 417 418 421 422 428 4330 434 435 436 437 4426 445 446 447 450 451 452 469 530 542 543 544 546 547 583 584 608 615 616 620 621 626 629 631 641 642 666 677 678 713 719 720 727 730 733 745 746 747 751 752 753 754 755 765 766 77 770 774 775 776 78 79 791 792 793 80 801 804 807 81 82 83 838 84 841 842 846 857 860 861 862 878 881 882 885 886 887 896 897 899 900 912 937 938 978 985 986 987 988 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap03a.col /BENCHMARKS/benchmark/color04/wap03a_01.dat" User time (seconds): 17.12 System time (seconds): 0.31 Percent of CPU this job got: 19% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:30.30 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): 123232 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 106952 Voluntary context switches: 177 Involuntary context switches: 3063 Swaps: 0 File system inputs: 0 File system outputs: 9864 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0