#BEGIN: [Sat Sep 9 23:27:02 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/handcrafted/hc-square-01.col #INSTANCE2: /benchmark/2022benchmark/benchmark/handcrafted/hc-square-01_01.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-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/handcrafted/hc-square-01.col /benchmark/2022benchmark/benchmark/handcrafted/hc-square-01_01.dat s 1 3 7 9 12 14 t 2 4 8 10 11 13 a YES a 1 3 7 9 12 14 a 1 4 7 9 12 14 a 2 4 7 9 12 14 a 2 4 5 9 12 14 a 2 4 5 9 11 14 a 2 4 8 9 11 14 a 1 4 8 9 11 14 a 1 3 8 9 11 14 a 1 3 6 8 11 14 a 1 3 6 8 11 13 a 1 3 8 10 11 13 a 1 4 8 10 11 13 a 2 4 8 10 11 13 #END: [Sat Sep 9 23:28:18 2023]