#BEGIN: [Sun Sep 10 20:54:01 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-ai-planning-longest2 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --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 6 28 36 37 38 40 41 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: [Sun Sep 10 21:23:00 2023]