#BEGIN: [Thu Sep 14 12:10:20 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest1
#INSTANCE1: /benchmark/random_instance/random_instance005_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph004_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_instance005_graph004.col /benchmark/random_instance/random_instance005_graph004_01.dat
s 30 51 12 40 23 18 6 54 13 36 28 63 33 58 37 49 46 38
t 49 57 19 12 7 30 65 38 13 63 4 9 50 18 21 40 25 34
a YES
a 6 12 13 18 23 28 30 33 36 37 38 40 46 49 51 54 58 63
a 6 12 13 18 23 28 30 33 36 37 38 40 46 49 54 58 63 65
a 6 13 14 18 23 28 30 33 36 37 38 40 46 49 54 58 63 65
a 6 13 14 23 28 30 33 36 37 38 40 42 46 49 54 58 63 65
a 6 14 23 28 30 33 36 37 38 40 42 46 49 54 58 62 63 65
a 6 14 23 28 30 33 36 37 38 40 42 46 49 54 56 62 63 65
a 6 14 28 30 33 36 37 38 40 42 46 49 54 56 57 62 63 65
a 4 6 14 28 30 33 36 37 38 40 42 49 54 56 57 62 63 65
a 4 6 14 28 30 36 37 38 40 42 49 50 54 56 57 62 63 65
a 4 6 14 28 36 37 38 40 42 44 49 50 54 56 57 62 63 65
a 4 14 28 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 28 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 14 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 29 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 29 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 14 29 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 14 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 28 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 28 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 14 28 32 36 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 28 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 14 28 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 14 28 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 9 14 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 9 14 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 9 32 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 9 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 9 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 9 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 14 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 14 28 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 9 14 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 9 14 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 6 14 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 29 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 14 29 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 9 29 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 29 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 29 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 14 29 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 14 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 14 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 9 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 9 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 9 28 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 28 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 4 28 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 14 28 32 34 37 38 40 41 42 44 49 50 54 56 57 62 63 65
a 6 14 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 14 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 9 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 25 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 25 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 25 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 14 25 28 32 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 14 25 28 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 14 25 28 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 25 28 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 9 14 25 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 14 25 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 6 9 25 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 6 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 9 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 6 9 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 6 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 14 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 14 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 9 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 25 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 25 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 25 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 14 25 28 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 14 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 14 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 25 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 9 14 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 14 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 4 6 14 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 14 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 9 25 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 25 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 14 25 29 30 34 37 38 40 41 42 49 50 54 56 57 62 63 65
a 6 14 25 29 30 34 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 25 29 30 34 38 40 41 42 49 50 54 56 57 62 63 65
a 6 9 25 29 30 34 38 40 41 42 49 50 54 56 57 62 63 65
a 9 21 25 29 30 34 38 40 41 42 49 50 54 56 57 62 63 65
a 14 21 25 29 30 34 38 40 41 42 49 50 54 56 57 62 63 65
a 9 14 21 25 29 30 34 38 40 41 42 49 50 56 57 62 63 65
a 9 19 21 25 29 30 34 38 40 41 42 49 50 56 57 62 63 65
a 14 19 21 25 29 30 34 38 40 41 42 49 50 56 57 62 63 65
a 9 14 19 21 25 29 30 34 38 40 41 42 49 50 56 57 63 65
a 9 13 14 19 21 25 29 30 34 38 40 41 42 49 50 57 63 65
a 7 9 13 14 19 21 25 29 30 34 38 40 41 49 50 57 63 65
a 7 9 13 14 18 19 21 25 29 30 34 38 40 49 50 57 63 65
a 7 9 12 13 18 19 21 25 29 30 34 38 40 49 50 57 63 65
a 4 7 9 12 13 18 19 21 25 30 34 38 40 49 50 57 63 65
#END: [Thu Sep 14 12:39:21 2023]