#BEGIN: [Thu Sep 14 11:31:41 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest1 #INSTANCE1: /benchmark/random_instance/random_instance002_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance002_graph001_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-planning --config=longest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance002_graph001.col /benchmark/random_instance/random_instance002_graph001_01.dat s 12 13 10 1 24 14 20 16 t 4 23 12 21 15 5 16 1 a YES a 1 10 12 13 14 16 20 24 a 1 5 12 13 14 16 20 24 a 1 5 12 13 15 16 20 24 a 1 5 12 13 15 20 21 24 a 1 5 7 12 13 15 21 24 a 1 5 7 12 13 14 15 24 a 1 5 7 12 13 14 15 26 a 1 5 6 7 12 13 15 26 a 1 5 6 12 13 15 20 26 a 1 5 6 8 12 13 15 26 a 1 5 6 8 12 13 15 23 a 5 6 8 11 12 13 15 23 a 5 6 8 11 12 13 15 16 a 1 5 6 8 12 13 15 16 a 1 5 6 12 13 15 16 20 a 5 6 11 12 13 15 16 20 a 5 11 12 13 14 15 16 20 a 1 5 12 13 14 15 16 20 a 1 5 13 14 15 16 17 20 a 5 11 13 14 15 16 17 20 a 5 11 14 15 16 17 20 22 a 1 5 14 15 16 17 20 22 a 1 5 14 15 16 19 20 22 a 5 14 15 16 18 19 20 22 a 4 5 14 15 16 18 19 22 a 1 4 5 14 15 16 19 22 a 1 4 5 14 15 16 17 22 a 1 4 5 14 15 16 22 26 a 1 4 5 12 14 15 16 26 a 1 4 5 8 12 15 16 26 a 1 4 5 8 12 15 16 23 a 1 5 6 8 12 15 16 23 a 5 6 8 11 12 15 16 23 a 5 6 8 11 13 15 16 23 a 1 5 6 8 13 15 16 23 a 1 5 8 12 13 15 16 23 a 1 6 8 12 13 15 16 23 a 5 6 8 12 13 15 16 23 a 1 5 6 12 13 15 16 23 a 5 6 11 12 13 15 16 23 a 5 8 11 12 13 15 16 23 a 6 8 11 12 13 15 16 23 a 5 6 8 11 12 13 16 23 a 1 5 6 8 12 13 16 23 a 5 6 8 9 12 13 16 23 a 6 8 9 10 12 13 16 23 a 1 6 8 10 12 13 16 23 a 1 6 10 12 13 16 20 23 a 1 5 6 12 13 16 20 23 a 1 5 6 12 15 16 20 23 a 5 6 11 12 15 16 20 23 a 5 6 11 12 13 15 20 23 a 1 5 6 12 13 15 20 23 a 1 5 12 13 15 20 21 23 a 5 11 12 13 15 20 21 23 a 5 11 12 15 16 20 21 23 a 1 5 12 15 16 20 21 23 a 1 5 12 13 15 16 20 21 a 5 11 12 13 15 16 20 21 a 5 11 13 15 16 20 21 25 a 1 5 13 15 16 20 21 25 a 1 5 13 15 16 19 20 25 a 1 5 8 13 15 16 19 25 a 1 4 5 8 15 16 19 25 a 1 4 5 8 15 19 23 25 a 1 4 5 8 15 17 23 25 a 1 4 5 8 15 16 17 23 a 1 5 8 13 15 16 17 23 a 5 8 11 13 15 16 17 23 a 2 5 8 11 13 16 17 23 a 2 5 11 13 16 17 20 23 a 1 2 5 13 16 17 20 23 a 1 5 13 15 16 17 20 23 a 5 11 13 15 16 17 20 23 a 5 6 11 13 15 16 20 23 a 1 5 6 13 15 16 20 23 a 1 6 12 13 15 16 20 23 a 5 6 12 13 15 16 20 23 a 1 5 12 13 15 16 20 23 a 5 11 12 13 15 16 20 23 a 6 11 12 13 15 16 20 23 a 5 6 11 12 13 16 20 23 a 2 5 6 11 13 16 20 23 a 1 2 5 6 13 16 20 23 a 1 2 5 13 16 20 21 23 a 2 5 11 13 16 20 21 23 a 5 11 12 13 16 20 21 23 a 1 5 12 13 16 20 21 23 a 1 10 12 13 16 20 21 23 a 1 10 12 13 16 20 21 24 a 1 5 12 13 16 20 21 24 a 1 5 12 15 16 20 21 24 a 1 5 13 15 16 20 21 24 a 1 12 13 15 16 20 21 24 a 5 12 13 15 16 20 21 24 a 1 5 12 13 15 16 21 24 a 1 4 5 12 15 16 21 24 a 1 4 5 8 12 15 16 24 a 1 4 5 12 14 15 16 24 a 4 5 12 14 15 16 18 24 a 4 5 9 12 14 16 18 24 a 4 5 9 14 16 18 19 24 a 4 5 14 15 16 18 19 24 a 1 4 5 14 15 16 19 24 a 1 5 13 14 15 16 19 24 a 1 5 12 13 14 15 16 24 a 1 5 8 12 13 15 16 24 a 1 5 8 13 15 16 17 24 a 1 4 5 8 15 16 17 24 a 1 4 5 14 15 16 17 24 a 1 5 13 14 15 16 17 24 a 1 5 7 13 14 15 17 24 a 1 5 13 14 15 17 20 24 a 1 5 12 13 14 15 20 24 a 1 5 13 14 15 19 20 24 a 1 5 13 15 16 19 20 24 a 1 5 13 14 16 19 20 24 a 1 10 13 14 16 19 20 24 a 1 10 13 14 16 17 20 24 a 1 5 13 14 16 17 20 24 a 1 5 13 15 16 17 20 24 a 1 5 14 15 16 17 20 24 a 1 13 14 15 16 17 20 24 a 5 13 14 15 16 17 20 24 a 1 5 13 14 15 16 20 24 a 1 12 13 14 15 16 20 24 a 5 12 13 14 15 16 20 24 a 1 5 12 14 15 16 20 24 a 5 12 14 15 16 18 20 24 a 5 14 15 16 18 19 20 24 a 1 5 14 15 16 19 20 24 a 1 13 14 15 16 19 20 24 a 5 13 14 15 16 19 20 24 a 1 5 13 14 15 16 19 20 a 1 5 13 14 15 19 20 26 a 1 5 12 13 14 15 20 26 a 5 11 12 13 14 15 20 26 a 5 6 11 12 13 15 20 26 a 5 6 8 11 12 13 15 26 a 5 6 8 11 12 15 16 26 a 1 5 6 8 12 15 16 26 a 1 5 6 12 13 15 16 26 a 1 5 8 12 13 15 16 26 a 1 6 8 12 13 15 16 26 a 5 6 8 12 13 15 16 26 a 1 5 6 8 13 15 16 26 a 5 6 8 11 13 15 16 26 a 2 5 6 8 11 13 16 26 a 2 5 8 11 13 16 25 26 a 5 8 11 13 15 16 25 26 a 1 5 8 13 15 16 25 26 a 1 4 5 8 15 16 25 26 a 1 4 5 8 15 19 25 26 a 1 5 8 13 15 19 25 26 a 1 2 5 8 13 19 25 26 a 2 5 8 9 13 19 25 26 a 2 5 8 9 13 16 19 26 a 1 2 5 8 13 16 19 26 a 1 5 8 13 15 16 19 26 a 1 4 5 8 15 16 19 26 a 1 4 5 14 15 16 19 26 a 1 5 13 14 15 16 19 26 a 1 5 12 13 14 15 16 26 a 5 11 12 13 14 15 16 26 a 5 6 11 12 13 15 16 26 a 5 8 11 12 13 15 16 26 a 6 8 11 12 13 15 16 26 a 5 6 8 11 12 13 16 26 a 1 5 6 8 12 13 16 26 a 5 6 8 9 12 13 16 26 a 6 8 9 10 12 13 16 26 a 1 6 8 10 12 13 16 26 a 1 6 10 12 13 16 20 26 a 1 5 6 12 13 16 20 26 a 5 6 11 12 13 16 20 26 a 2 5 6 11 13 16 20 26 a 5 6 11 13 15 16 20 26 a 1 5 6 13 15 16 20 26 a 1 6 12 13 15 16 20 26 a 5 6 12 13 15 16 20 26 a 1 5 12 13 15 16 20 26 a 1 5 12 14 15 16 20 26 a 5 11 12 14 15 16 20 26 a 5 11 12 13 14 16 20 26 a 1 5 12 13 14 16 20 26 a 1 10 12 13 14 16 20 26 a 1 10 13 14 16 19 20 26 a 1 5 13 14 16 19 20 26 a 1 2 5 13 16 19 20 26 a 1 5 13 15 16 19 20 26 a 1 5 14 15 16 19 20 26 a 1 13 14 15 16 19 20 26 a 5 13 14 15 16 19 20 26 a 5 11 13 14 15 16 20 26 a 1 5 13 14 15 16 20 26 a 5 12 13 14 15 16 20 26 a 1 12 13 14 15 16 20 26 a 11 12 13 14 15 16 20 26 a 5 11 12 13 15 16 20 26 a 6 11 12 13 15 16 20 26 a 5 6 11 12 15 16 20 26 a 1 5 6 12 15 16 20 26 a 5 6 12 15 16 18 20 26 a 5 12 14 15 16 18 20 26 a 4 5 12 14 15 16 18 26 a 4 5 9 12 14 16 18 26 a 4 5 9 14 16 18 22 26 a 4 5 9 14 16 19 22 26 a 1 4 5 14 16 19 22 26 a 1 4 5 15 16 19 22 26 a 1 4 14 15 16 19 22 26 a 1 5 14 15 16 19 22 26 a 4 5 14 15 16 19 22 26 a 1 4 5 14 15 19 22 26 a 4 5 14 15 18 19 22 26 a 4 5 9 14 18 19 22 26 a 4 5 14 16 18 19 22 26 a 4 9 14 16 18 19 22 26 a 5 9 14 16 18 19 22 26 a 4 5 9 16 18 19 22 26 a 4 5 15 16 18 19 22 26 a 4 14 15 16 18 19 22 26 a 5 14 15 16 18 19 22 26 a 4 5 14 15 16 18 22 26 a 5 14 15 16 18 20 22 26 a 5 11 14 15 16 20 22 26 a 1 5 14 15 16 20 22 26 a 1 5 14 16 19 20 22 26 a 1 5 15 16 19 20 22 26 a 1 14 15 16 19 20 22 26 a 5 14 15 16 19 20 22 26 a 1 5 14 15 19 20 22 26 a 5 14 15 18 19 20 22 26 a 5 14 16 18 19 20 22 26 a 5 15 16 18 19 20 22 26 a 14 15 16 18 19 20 22 26 a 5 14 15 16 18 19 20 26 a 4 5 14 15 16 18 19 26 a 4 5 15 16 18 19 25 26 a 4 5 9 16 18 19 25 26 a 2 5 9 16 18 19 25 26 a 2 5 8 9 16 19 25 26 a 4 5 8 9 16 19 25 26 a 1 4 5 8 16 19 25 26 a 1 4 8 15 16 19 25 26 a 1 5 8 15 16 19 25 26 a 4 5 8 15 16 19 25 26 a 1 4 5 15 16 19 25 26 a 1 5 13 15 16 19 25 26 a 1 8 13 15 16 19 25 26 a 5 8 13 15 16 19 25 26 a 1 5 8 13 16 19 25 26 a 2 5 8 13 16 19 25 26 a 1 2 5 13 16 19 25 26 a 2 5 9 13 16 19 25 26 a 2 8 9 13 16 19 25 26 a 5 8 9 13 16 19 25 26 a 2 5 8 9 13 16 25 26 a 1 2 5 8 13 16 25 26 a 1 2 5 13 16 20 25 26 a 2 5 11 13 16 20 25 26 a 5 11 13 15 16 20 25 26 a 1 5 13 15 16 20 25 26 a 1 5 13 15 19 20 25 26 a 1 2 5 13 19 20 25 26 a 1 2 13 16 19 20 25 26 a 1 2 5 16 19 20 25 26 a 2 5 16 18 19 20 25 26 a 5 15 16 18 19 20 25 26 a 1 5 15 16 19 20 25 26 a 1 13 15 16 19 20 25 26 a 5 13 15 16 19 20 25 26 a 1 5 13 16 19 20 25 26 a 2 5 13 16 19 20 25 26 a 1 2 5 13 16 19 20 25 a 1 2 5 13 16 17 20 25 a 1 5 13 15 16 17 20 25 a 5 11 13 15 16 17 20 25 a 2 5 11 13 16 17 20 25 a 2 5 11 13 16 20 23 25 a 1 2 5 13 16 20 23 25 a 1 2 5 8 13 16 23 25 a 1 2 8 13 16 17 23 25 a 1 2 5 8 16 17 23 25 a 2 5 8 9 16 17 23 25 a 4 5 8 9 16 17 23 25 a 1 4 5 8 16 17 23 25 a 1 4 8 15 16 17 23 25 a 1 4 5 8 15 16 23 25 a 1 5 8 13 15 16 23 25 a 5 8 11 13 15 16 23 25 a 2 5 8 11 13 16 23 25 a 2 5 11 13 16 17 23 25 a 2 5 8 11 16 17 23 25 a 5 8 11 15 16 17 23 25 a 1 5 8 15 16 17 23 25 a 4 5 8 15 16 17 23 25 a 1 4 5 15 16 17 23 25 a 1 5 13 15 16 17 23 25 a 1 8 13 15 16 17 23 25 a 5 8 13 15 16 17 23 25 a 1 5 8 13 15 17 23 25 a 5 8 11 13 15 17 23 25 a 2 5 8 11 13 17 23 25 a 1 2 5 8 13 17 23 25 a 2 5 8 9 13 17 23 25 a 2 5 8 9 13 19 23 25 a 1 2 5 8 13 19 23 25 a 1 2 5 8 16 19 23 25 a 1 2 8 13 16 19 23 25 a 1 5 8 13 16 19 23 25 a 2 5 8 13 16 19 23 25 a 1 2 5 13 16 19 23 25 a 2 5 9 13 16 19 23 25 a 2 8 9 13 16 19 23 25 a 5 8 9 13 16 19 23 25 a 2 5 8 9 16 19 23 25 a 4 5 8 9 16 19 23 25 a 1 4 5 8 16 19 23 25 a 1 4 8 15 16 19 23 25 a 1 5 8 15 16 19 23 25 a 4 5 8 15 16 19 23 25 a 1 4 5 15 16 19 23 25 a 1 5 13 15 16 19 23 25 a 1 8 13 15 16 19 23 25 a 5 8 13 15 16 19 23 25 a 1 5 8 13 15 19 23 25 a 1 5 13 15 19 20 23 25 a 1 2 5 13 19 20 23 25 a 1 2 13 16 19 20 23 25 a 1 5 13 16 19 20 23 25 a 2 5 13 16 19 20 23 25 a 1 2 5 16 19 20 23 25 a 2 5 16 18 19 20 23 25 a 5 15 16 18 19 20 23 25 a 1 5 15 16 19 20 23 25 a 1 13 15 16 19 20 23 25 a 5 13 15 16 19 20 23 25 a 5 11 13 15 16 20 23 25 a 1 5 13 15 16 20 23 25 a 1 5 13 15 17 20 23 25 a 5 11 13 15 17 20 23 25 a 2 5 11 13 17 20 23 25 a 1 2 5 13 17 20 23 25 a 1 2 5 16 17 20 23 25 a 1 5 13 16 17 20 23 25 a 2 5 13 16 17 20 23 25 a 1 2 13 16 17 20 23 25 a 2 11 13 16 17 20 23 25 a 5 11 13 16 17 20 23 25 a 2 5 11 16 17 20 23 25 a 5 11 15 16 17 20 23 25 a 1 5 15 16 17 20 23 25 a 5 13 15 16 17 20 23 25 a 1 13 15 16 17 20 23 25 a 11 13 15 16 17 20 23 25 a 5 11 13 15 16 17 23 25 a 8 11 13 15 16 17 23 25 a 2 8 11 13 16 17 23 25 a 5 8 11 13 16 17 23 25 a 1 5 8 13 16 17 23 25 a 2 5 8 13 16 17 23 25 a 1 2 5 13 16 17 23 25 a 2 5 9 13 16 17 23 25 a 2 8 9 13 16 17 23 25 a 5 8 9 13 16 17 23 25 a 2 5 8 9 13 16 23 25 a 2 5 9 13 16 21 23 25 a 1 2 5 13 16 21 23 25 a 2 5 11 13 16 21 23 25 a 5 11 13 15 16 21 23 25 a 1 5 13 15 16 21 23 25 a 1 5 13 15 20 21 23 25 a 5 11 13 15 20 21 23 25 a 2 5 11 13 20 21 23 25 a 1 2 5 13 20 21 23 25 a 1 2 5 16 20 21 23 25 a 1 5 13 16 20 21 23 25 a 2 5 13 16 20 21 23 25 a 1 2 13 16 20 21 23 25 a 2 11 13 16 20 21 23 25 a 5 11 13 16 20 21 23 25 a 2 5 11 16 20 21 23 25 a 5 11 15 16 20 21 23 25 a 1 5 15 16 20 21 23 25 a 5 13 15 16 20 21 23 25 a 1 13 15 16 20 21 23 25 a 11 13 15 16 20 21 23 25 a 5 11 13 15 16 20 21 23 a 1 5 13 15 16 20 21 23 a 5 12 13 15 16 20 21 23 a 1 12 13 15 16 20 21 23 a 11 12 13 15 16 20 21 23 a 5 11 12 13 15 16 21 23 a 1 5 12 13 15 16 21 23 a 1 4 5 12 15 16 21 23 #END: [Thu Sep 14 12:00:42 2023]