#BEGIN: [Thu Sep 7 14:42:08 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/ash958GPIA.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/ash958GPIA_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/ash958GPIA.col /benchmark/2022benchmark/benchmark/color04/ash958GPIA_01.dat s 1 3 9 11 13 15 20 22 24 26 28 31 33 37 39 41 43 48 50 54 56 58 60 64 67 71 73 77 79 83 85 92 94 96 98 100 102 104 109 111 113 115 117 119 122 124 126 132 138 140 142 144 146 148 152 154 156 157 159 164 168 169 173 175 177 182 184 187 189 192 196 201 203 207 209 211 213 215 220 222 226 229 233 235 237 239 246 250 254 255 257 259 263 265 270 272 274 278 280 282 285 288 290 292 294 295 302 304 308 310 312 314 315 317 319 324 326 330 332 338 340 342 344 350 352 354 356 358 360 362 365 367 369 373 375 377 379 381 388 390 393 395 399 401 403 408 410 412 414 416 418 420 422 425 429 431 433 437 439 443 445 447 451 453 457 459 461 463 466 468 473 475 477 480 482 486 490 494 499 504 508 514 516 518 519 525 527 529 533 535 539 543 546 547 549 554 556 558 564 566 570 574 576 578 584 588 590 592 594 598 600 602 604 606 609 612 614 616 617 621 623 630 632 633 635 641 643 645 649 651 654 656 659 661 663 668 670 672 675 677 681 683 685 689 694 696 698 700 702 704 706 711 717 719 721 723 729 733 737 739 741 745 747 753 755 757 759 766 768 770 774 776 778 780 784 789 791 793 797 799 804 808 812 814 816 820 821 825 829 836 838 840 842 846 848 851 853 855 857 859 861 863 868 874 876 878 880 882 884 886 892 894 896 900 903 905 907 910 912 913 915 919 921 923 930 932 934 936 938 940 943 948 950 954 958 959 965 969 972 974 976 978 987 989 995 997 1001 1005 1007 1011 1013 1015 1019 1021 1023 1025 1027 1029 1035 1037 1039 1043 1050 1051 1053 1058 1060 1062 1065 1070 1072 1076 1077 1079 1083 1088 1089 1092 1093 1096 1097 1102 1104 1106 1108 1114 1118 1120 1124 1125 1127 1131 1133 1135 1139 1146 1148 1150 1152 1154 1157 1159 1163 1165 1169 1172 1176 1177 1179 1182 1184 1188 1192 1195 1198 1200 1201 1205 1207 1209 1212 1214 1216 1220 1221 1223 1227 1234 1236 1237 1239 1243 1245 1248 1252 1254 1256 1260 1262 1266 1268 1270 1274 1276 1278 1280 1282 1284 1286 1289 1295 1297 1299 1306 1308 1310 1316 1319 1321 1323 1325 1330 1332 1336 1341 1343 1349 1351 1353 1355 1360 1362 1365 1367 1369 1371 1375 1378 1381 1386 1388 1390 1393 1397 1399 1401 1407 1409 1415 1417 1420 1422 1424 1429 1431 1433 1438 1440 1442 1446 1448 1450 1452 1455 1458 1460 1462 1464 1467 1469 1471 1478 1480 1485 1487 1489 1491 1493 1498 1501 1505 1507 1509 1511 1513 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1739 1744 1748 1750 1752 1754 1755 1759 1761 1766 1767 1769 1773 1777 1783 1788 1791 1793 1795 1797 1802 1805 1807 1812 1816 1819 1821 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1898 1899 1905 1907 1911 1913 t 1 3 9 11 13 15 20 22 24 26 28 31 33 37 39 41 43 48 50 54 56 58 60 64 67 71 73 77 79 83 85 92 94 96 98 100 102 104 109 111 113 115 117 119 122 124 126 132 138 140 142 144 146 148 152 154 156 157 159 164 168 169 173 175 177 182 184 187 189 192 196 201 203 207 209 211 213 215 220 222 226 229 233 235 237 239 246 250 254 255 257 259 263 265 270 272 274 278 280 282 285 288 290 292 294 295 302 304 308 310 312 314 315 317 319 324 326 330 332 338 340 342 344 350 352 354 356 358 360 362 365 367 369 373 375 377 379 381 388 390 393 395 399 401 403 408 410 412 414 416 418 420 422 425 429 431 433 437 439 443 445 447 451 453 457 459 461 463 466 468 473 475 477 480 482 486 490 494 499 504 508 514 516 518 519 525 527 529 533 535 539 543 546 547 549 554 556 558 564 566 570 574 576 578 584 588 590 592 594 598 600 602 604 606 609 612 614 616 617 621 623 630 632 633 635 641 643 645 649 651 654 656 659 661 663 668 670 672 675 677 681 683 685 689 694 696 698 700 702 704 706 711 717 719 721 723 729 733 737 739 741 745 747 753 755 757 759 766 768 770 774 776 778 780 784 789 791 793 797 799 804 808 812 814 816 820 821 825 829 836 838 840 842 846 848 851 853 855 857 859 861 863 868 874 876 878 880 882 884 886 892 894 896 900 903 905 907 910 912 913 915 919 921 923 930 932 934 936 938 940 943 948 950 954 958 959 965 969 972 974 976 978 987 989 995 997 1001 1005 1007 1011 1013 1015 1019 1021 1023 1025 1027 1029 1035 1037 1039 1043 1050 1051 1053 1058 1060 1062 1065 1070 1072 1076 1077 1079 1083 1088 1089 1092 1093 1096 1097 1102 1104 1106 1108 1114 1118 1120 1124 1125 1127 1131 1133 1135 1139 1146 1148 1150 1152 1154 1157 1159 1163 1165 1169 1172 1176 1177 1179 1182 1184 1188 1192 1195 1198 1201 1205 1207 1209 1212 1214 1216 1220 1221 1223 1227 1234 1236 1237 1239 1243 1245 1248 1252 1254 1256 1260 1262 1266 1268 1270 1274 1276 1278 1280 1282 1284 1286 1289 1295 1297 1299 1306 1308 1310 1316 1319 1321 1323 1325 1330 1332 1336 1341 1343 1349 1351 1353 1355 1360 1362 1365 1367 1369 1371 1375 1378 1381 1386 1388 1390 1393 1397 1399 1401 1407 1409 1415 1417 1420 1422 1424 1429 1431 1433 1438 1440 1442 1446 1448 1450 1452 1455 1458 1460 1462 1464 1467 1469 1471 1478 1480 1485 1487 1489 1491 1493 1498 1501 1505 1507 1509 1511 1513 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 1744 1748 1750 1752 1754 1755 1759 1761 1766 1767 1769 1773 1777 1783 1788 1791 1793 1795 1797 1802 1805 1807 1812 1816 1819 1821 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1898 1899 1905 1907 1911 1913 a YES a 1 3 9 11 13 15 20 22 24 26 28 31 33 37 39 41 43 48 50 54 56 58 60 64 67 71 73 77 79 83 85 92 94 96 98 100 102 104 109 111 113 115 117 119 122 124 126 132 138 140 142 144 146 148 152 154 156 157 159 164 168 169 173 175 177 182 184 187 189 192 196 201 203 207 209 211 213 215 220 222 226 229 233 235 237 239 246 250 254 255 257 259 263 265 270 272 274 278 280 282 285 288 290 292 294 295 302 304 308 310 312 314 315 317 319 324 326 330 332 338 340 342 344 350 352 354 356 358 360 362 365 367 369 373 375 377 379 381 388 390 393 395 399 401 403 408 410 412 414 416 418 420 422 425 429 431 433 437 439 443 445 447 451 453 457 459 461 463 466 468 473 475 477 480 482 486 490 494 499 504 508 514 516 518 519 525 527 529 533 535 539 543 546 547 549 554 556 558 564 566 570 574 576 578 584 588 590 592 594 598 600 602 604 606 609 612 614 616 617 621 623 630 632 633 635 641 643 645 649 651 654 656 659 661 663 668 670 672 675 677 681 683 685 689 694 696 698 700 702 704 706 711 717 719 721 723 729 733 737 739 741 745 747 753 755 757 759 766 768 770 774 776 778 780 784 789 791 793 797 799 804 808 812 814 816 820 821 825 829 836 838 840 842 846 848 851 853 855 857 859 861 863 868 874 876 878 880 882 884 886 892 894 896 900 903 905 907 910 912 913 915 919 921 923 930 932 934 936 938 940 943 948 950 954 958 959 965 969 972 974 976 978 987 989 995 997 1001 1005 1007 1011 1013 1015 1019 1021 1023 1025 1027 1029 1035 1037 1039 1043 1050 1051 1053 1058 1060 1062 1065 1070 1072 1076 1077 1079 1083 1088 1089 1092 1093 1096 1097 1102 1104 1106 1108 1114 1118 1120 1124 1125 1127 1131 1133 1135 1139 1146 1148 1150 1152 1154 1157 1159 1163 1165 1169 1172 1176 1177 1179 1182 1184 1188 1192 1195 1198 1200 1201 1205 1207 1209 1212 1214 1216 1220 1221 1223 1227 1234 1236 1237 1239 1243 1245 1248 1252 1254 1256 1260 1262 1266 1268 1270 1274 1276 1278 1280 1282 1284 1286 1289 1295 1297 1299 1306 1308 1310 1316 1319 1321 1323 1325 1330 1332 1336 1341 1343 1349 1351 1353 1355 1360 1362 1365 1367 1369 1371 1375 1378 1381 1386 1388 1390 1393 1397 1399 1401 1407 1409 1415 1417 1420 1422 1424 1429 1431 1433 1438 1440 1442 1446 1448 1450 1452 1455 1458 1460 1462 1464 1467 1469 1471 1478 1480 1485 1487 1489 1491 1493 1498 1501 1505 1507 1509 1511 1513 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1739 1744 1748 1750 1752 1754 1755 1759 1761 1766 1767 1769 1773 1777 1783 1788 1791 1793 1795 1797 1802 1805 1807 1812 1816 1819 1821 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1898 1899 1905 1907 1911 1913 a 1 3 9 11 13 15 20 22 24 26 28 31 33 37 39 41 43 48 50 54 56 58 60 64 67 71 73 77 79 83 85 92 94 96 98 100 102 104 109 111 113 115 117 119 122 124 126 132 138 140 142 144 146 148 152 154 156 157 159 164 168 169 173 175 177 182 184 187 189 192 196 201 203 207 209 211 213 215 220 222 226 229 233 235 237 239 246 250 254 255 257 259 263 265 270 272 274 278 280 282 285 288 290 292 294 295 302 304 308 310 312 314 315 317 319 324 326 330 332 338 340 342 344 350 352 354 356 358 360 362 365 367 369 373 375 377 379 381 388 390 393 395 399 401 403 408 410 412 414 416 418 420 422 425 429 431 433 437 439 443 445 447 451 453 457 459 461 463 466 468 473 475 477 480 482 486 490 494 499 504 508 514 516 518 519 525 527 529 533 535 539 543 546 547 549 554 556 558 564 566 570 574 576 578 584 588 590 592 594 598 600 602 604 606 609 612 614 616 617 621 623 630 632 633 635 641 643 645 649 651 654 656 659 661 663 668 670 672 675 677 681 683 685 689 694 696 698 700 702 704 706 711 717 719 721 723 729 733 737 739 741 745 747 753 755 757 759 766 768 770 774 776 778 780 784 789 791 793 797 799 804 808 812 814 816 820 821 825 829 836 838 840 842 846 848 851 853 855 857 859 861 863 868 874 876 878 880 882 884 886 892 894 896 900 903 905 907 910 912 913 915 919 921 923 930 932 934 936 938 940 943 948 950 954 958 959 965 969 972 974 976 978 987 989 995 997 1001 1005 1007 1011 1013 1015 1019 1021 1023 1025 1027 1029 1035 1037 1039 1043 1050 1051 1053 1058 1060 1062 1065 1070 1072 1076 1077 1079 1083 1088 1089 1092 1093 1096 1097 1102 1104 1106 1108 1114 1118 1120 1124 1125 1127 1131 1133 1135 1139 1146 1148 1150 1152 1154 1157 1159 1163 1165 1169 1172 1176 1177 1179 1182 1184 1188 1192 1195 1198 1201 1205 1207 1209 1212 1214 1216 1220 1221 1223 1227 1234 1236 1237 1239 1243 1245 1248 1252 1254 1256 1260 1262 1266 1268 1270 1274 1276 1278 1280 1282 1284 1286 1289 1295 1297 1299 1306 1308 1310 1316 1319 1321 1323 1325 1330 1332 1336 1341 1343 1349 1351 1353 1355 1360 1362 1365 1367 1369 1371 1375 1378 1381 1386 1388 1390 1393 1397 1399 1401 1407 1409 1415 1417 1420 1422 1424 1429 1431 1433 1438 1440 1442 1446 1448 1450 1452 1455 1458 1460 1462 1464 1467 1469 1471 1478 1480 1485 1487 1489 1491 1493 1498 1501 1505 1507 1509 1511 1513 1520 1522 1524 1526 1531 1533 1535 1537 1539 1541 1546 1548 1551 1553 1557 1561 1563 1565 1567 1572 1576 1578 1580 1581 1583 1585 1589 1591 1593 1597 1601 1603 1605 1609 1611 1618 1620 1622 1624 1625 1629 1638 1642 1644 1648 1650 1652 1654 1656 1658 1659 1661 1663 1666 1672 1674 1676 1678 1680 1681 1685 1690 1692 1694 1697 1703 1707 1711 1713 1715 1718 1720 1724 1726 1728 1733 1735 1737 1739 1744 1748 1750 1752 1754 1755 1759 1761 1766 1767 1769 1773 1777 1783 1788 1791 1793 1795 1797 1802 1805 1807 1812 1816 1819 1821 1824 1826 1830 1836 1838 1841 1843 1845 1847 1852 1854 1856 1858 1861 1865 1867 1870 1874 1876 1878 1879 1883 1885 1890 1892 1894 1896 1898 1899 1905 1907 1911 1913 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/ash958GPIA.col /benchmark/2022benchmark/benchmark/color04/ash958GPIA_01.dat" User time (seconds): 0.17 System time (seconds): 0.01 Percent of CPU this job got: 98% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.19 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): 27116 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 15930 Voluntary context switches: 25 Involuntary context switches: 8 Swaps: 0 File system inputs: 0 File system outputs: 1368 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 14:42:08 2023]