#BEGIN: [Sun Sep 10 16:16:29 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/grid/grid030x030.col #INSTANCE2: /benchmark/2022benchmark/benchmark/grid/grid030x030_02_7112.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/grid/grid030x030.col /benchmark/2022benchmark/benchmark/grid/grid030x030_02_7112.dat s 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 92 94 96 98 100 102 104 106 108 110 112 114 116 118 120 121 123 125 127 129 131 133 135 137 139 141 143 145 147 149 152 154 156 158 160 162 164 166 168 170 172 174 176 178 180 181 183 185 187 189 191 193 195 197 199 201 203 205 207 209 212 214 216 218 220 222 224 226 228 230 232 234 236 238 240 241 243 245 247 249 251 253 255 257 259 261 263 265 267 269 272 274 276 278 280 282 284 286 288 290 292 294 296 298 300 301 303 305 307 309 311 313 315 317 319 321 323 325 327 329 332 334 336 338 340 342 344 346 348 350 352 354 356 358 360 361 363 365 367 369 371 373 375 377 379 381 383 385 387 389 392 394 396 398 400 402 404 406 408 410 412 414 416 418 420 421 423 425 427 429 431 433 435 437 439 441 443 445 447 449 452 454 456 458 460 462 466 468 470 472 474 476 478 480 481 483 485 487 489 491 493 495 497 499 501 503 505 507 509 512 514 516 518 520 522 524 526 528 530 532 534 536 538 540 541 543 545 547 549 551 553 555 557 559 561 563 565 567 569 572 574 576 578 580 582 584 586 588 590 592 594 596 598 600 601 603 607 609 611 613 615 617 619 621 623 625 627 629 632 634 636 638 640 642 644 646 648 650 652 654 656 658 660 661 663 665 667 669 671 673 675 677 679 681 683 685 687 689 692 694 696 698 700 702 704 706 708 710 712 714 716 718 720 721 723 725 727 729 731 733 735 737 739 741 743 745 747 749 752 754 756 758 760 762 764 766 768 770 772 774 776 778 780 781 783 785 787 789 791 793 795 797 799 801 803 805 807 809 812 814 816 818 820 822 824 826 828 830 832 834 836 838 840 841 843 845 847 849 851 853 855 857 859 861 863 865 867 869 872 874 876 878 880 882 884 886 888 890 892 894 896 898 900 t 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 91 93 95 97 99 101 103 105 107 109 111 113 115 117 119 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 151 153 155 157 159 161 163 165 167 169 171 173 175 177 179 182 184 186 188 190 192 194 196 198 200 202 204 206 208 210 211 213 215 217 219 221 223 225 227 229 231 233 235 237 239 242 244 246 248 250 252 254 256 258 260 262 264 266 268 270 271 273 275 277 279 281 283 285 287 289 291 293 295 297 299 302 304 306 308 310 312 314 316 318 320 322 324 326 328 330 331 333 335 337 339 341 343 345 347 349 351 353 355 357 359 362 364 366 368 370 372 376 378 380 382 384 386 388 390 391 393 395 397 399 401 403 405 407 409 411 413 415 417 419 422 424 426 428 430 432 434 436 438 440 442 444 446 448 450 451 453 455 457 459 461 463 465 467 469 471 475 477 479 482 484 486 488 490 492 494 496 498 500 502 504 506 508 510 511 513 515 517 519 521 523 525 527 529 531 533 535 537 539 542 544 546 548 550 552 554 556 558 560 562 564 566 568 570 571 573 575 577 579 581 583 585 587 589 591 593 595 597 599 602 604 606 608 610 612 614 616 618 620 622 624 626 628 630 631 633 635 637 639 641 643 645 647 649 651 653 655 657 659 662 664 666 668 670 672 674 676 678 680 682 684 686 688 690 691 693 695 697 699 701 703 705 707 709 711 713 715 717 719 722 724 726 728 730 732 734 736 738 740 742 744 746 748 750 751 753 755 757 759 761 763 765 767 769 771 773 775 777 779 782 784 786 788 790 792 794 796 798 800 802 804 806 808 810 811 813 815 817 819 821 823 825 827 829 831 833 835 837 839 842 844 846 848 850 852 854 856 858 860 862 864 866 868 870 871 873 875 877 879 881 883 885 887 889 891 893 895 897 899 a NO #END: [Sun Sep 10 16:29:00 2023]