#BEGIN: [Wed Aug 30 22:59:43 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/grid/grid040x040.col #INSTANCE2: /benchmark/2022benchmark/benchmark/grid/grid040x040_01_6703.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/grid/grid040x040.col /benchmark/2022benchmark/benchmark/grid/grid040x040_01_6703.dat c /benchmark/2022benchmark/benchmark/grid/grid040x040.col c /benchmark/2022benchmark/benchmark/grid/grid040x040_01_6703.dat s 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 81 83 85 87 89 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 152 154 156 158 160 161 163 165 167 169 171 173 175 177 179 181 183 185 187 189 191 193 195 197 199 202 204 206 208 210 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 271 273 275 277 279 282 284 286 288 290 292 294 296 298 300 302 304 306 308 310 312 314 316 318 320 321 323 325 327 329 331 333 335 337 339 341 343 345 347 349 351 353 355 357 359 362 364 366 368 370 372 374 376 378 380 382 384 386 388 390 392 394 396 398 400 401 403 405 407 409 411 413 415 417 419 421 423 425 427 429 431 433 435 437 439 442 444 446 448 450 452 454 456 458 460 462 464 466 468 470 472 474 476 478 480 481 483 485 487 489 491 493 495 497 499 501 503 505 507 509 511 513 515 517 519 522 524 526 528 530 532 534 536 538 540 542 544 546 548 550 552 554 556 558 560 561 563 565 567 569 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 632 634 636 638 640 641 643 645 647 649 651 653 655 657 659 661 663 665 667 669 671 673 675 677 679 682 684 686 688 690 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 751 753 755 757 759 762 764 766 768 770 772 774 776 778 780 782 784 786 788 790 792 794 798 800 801 803 805 807 809 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 872 874 876 878 880 881 883 885 887 889 891 893 895 897 899 901 903 905 907 909 911 913 915 917 919 922 924 926 928 930 932 934 936 938 940 942 944 946 948 950 952 954 956 958 960 961 963 965 967 969 971 973 975 977 979 981 983 985 987 989 991 993 995 997 999 1002 1004 1006 1008 1010 1012 1014 1016 1018 1020 1022 1024 1026 1028 1030 1032 1034 1036 1038 1040 1041 1043 1045 1047 1049 1051 1053 1055 1057 1059 1061 1063 1065 1067 1069 1071 1073 1075 1077 1079 1082 1084 1086 1088 1090 1092 1094 1096 1098 1100 1102 1104 1106 1108 1110 1112 1114 1116 1118 1120 1121 1123 1125 1127 1129 1131 1133 1135 1137 1139 1141 1143 1145 1147 1149 1151 1153 1155 1157 1159 1162 1164 1166 1168 1170 1172 1174 1176 1178 1180 1182 1184 1186 1188 1190 1192 1194 1196 1198 1200 1201 1203 1205 1207 1209 1211 1213 1215 1217 1219 1221 1223 1225 1227 1229 1231 1233 1235 1237 1239 1242 1244 1246 1248 1250 1252 1254 1256 1258 1260 1262 1264 1266 1268 1270 1272 1274 1276 1278 1280 1281 1283 1285 1287 1289 1291 1293 1295 1297 1299 1301 1303 1305 1307 1309 1311 1313 1315 1317 1319 1322 1324 1326 1328 1330 1332 1334 1336 1338 1340 1342 1344 1346 1348 1350 1352 1354 1356 1358 1360 1361 1363 1365 1367 1369 1371 1373 1375 1377 1379 1381 1383 1385 1387 1389 1391 1393 1395 1397 1399 1402 1404 1406 1408 1410 1412 1414 1416 1418 1420 1422 1424 1426 1428 1430 1432 1434 1436 1438 1440 1441 1443 1445 1447 1449 1451 1453 1455 1457 1459 1461 1463 1465 1467 1469 1471 1473 1475 1477 1479 1482 1484 1486 1488 1490 1492 1494 1496 1498 1500 1502 1504 1506 1508 1510 1512 1514 1516 1518 1520 1521 1523 1525 1527 1529 1531 1533 1535 1537 1539 1541 1543 1545 1547 1549 1551 1553 1555 1557 1559 1562 1564 1566 1568 1570 1572 1574 1576 1578 1580 1582 1584 1586 1588 1590 1592 1594 1596 1598 1600 t 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 82 84 86 88 90 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 151 153 155 157 159 162 164 166 168 170 172 174 176 178 180 182 184 186 188 190 192 194 196 198 200 201 203 205 207 209 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 272 274 276 278 280 281 283 285 287 289 291 293 295 297 299 301 303 305 307 309 311 313 315 317 319 322 324 326 328 330 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 391 393 395 397 399 402 404 406 408 410 412 414 416 418 420 422 424 426 428 430 432 434 436 438 440 441 443 445 447 449 451 453 455 457 459 461 463 465 467 469 471 473 475 477 479 482 484 486 488 490 492 494 496 498 500 502 504 506 508 510 512 514 516 518 520 521 523 525 527 529 531 533 535 537 539 541 543 545 547 549 551 553 555 557 559 562 564 566 568 570 572 574 576 578 580 582 584 586 588 590 592 594 596 598 600 601 603 605 607 609 611 613 615 617 619 621 623 625 627 629 631 633 635 637 639 642 644 646 648 650 652 654 656 658 660 662 664 666 668 670 672 674 676 678 680 681 683 685 687 689 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 752 754 756 758 760 761 763 765 767 769 771 773 775 777 779 781 783 785 787 789 791 793 795 797 799 802 804 806 808 810 812 814 816 818 820 822 824 826 828 830 832 834 836 838 840 841 843 845 847 849 851 853 857 859 861 863 865 867 869 871 873 875 877 879 882 884 886 888 890 892 894 896 898 900 902 904 906 908 910 912 914 916 918 920 921 923 925 927 929 931 933 935 937 939 941 943 945 947 949 951 953 955 957 959 962 964 966 968 970 972 974 976 978 980 982 984 986 988 990 992 994 996 998 1000 1001 1003 1005 1007 1009 1011 1013 1015 1017 1019 1021 1023 1025 1027 1029 1031 1033 1035 1037 1039 1042 1044 1046 1048 1050 1052 1054 1056 1058 1060 1062 1064 1066 1068 1070 1072 1074 1076 1078 1080 1081 1083 1085 1087 1089 1091 1093 1095 1097 1099 1101 1103 1105 1107 1109 1111 1113 1115 1117 1119 1122 1124 1126 1128 1130 1132 1134 1136 1138 1140 1142 1144 1146 1148 1150 1152 1154 1156 1158 1160 1161 1163 1165 1167 1169 1171 1173 1175 1177 1179 1181 1183 1185 1187 1189 1191 1193 1195 1197 1199 1202 1204 1206 1208 1210 1212 1214 1216 1218 1220 1222 1224 1226 1228 1230 1232 1234 1236 1238 1240 1241 1243 1245 1247 1249 1251 1253 1255 1257 1259 1261 1263 1265 1267 1269 1271 1273 1275 1277 1279 1282 1284 1286 1288 1290 1292 1294 1296 1298 1300 1302 1304 1306 1308 1310 1312 1314 1316 1318 1320 1321 1323 1325 1327 1329 1331 1333 1335 1337 1339 1341 1343 1345 1347 1349 1351 1353 1355 1357 1359 1362 1364 1366 1368 1370 1372 1374 1376 1378 1380 1382 1384 1386 1388 1390 1392 1394 1396 1398 1400 1401 1403 1405 1407 1409 1411 1413 1415 1417 1419 1421 1423 1425 1427 1429 1431 1433 1435 1437 1439 1442 1444 1446 1448 1450 1452 1454 1456 1458 1460 1462 1464 1466 1468 1470 1472 1474 1476 1478 1480 1481 1483 1485 1487 1489 1491 1493 1495 1497 1499 1501 1503 1505 1507 1509 1511 1513 1515 1517 1519 1522 1524 1526 1528 1530 1532 1534 1536 1538 1540 1542 1544 1546 1548 1550 1552 1554 1556 1558 1560 1561 1563 1565 1567 1569 1571 1573 1575 1577 1579 1581 1583 1585 1587 1589 1591 1593 1595 1597 1599 c UNKNOWN c REACHABILITY UNKNOWN #END: [Wed Aug 30 23:27:49 2023]