#BEGIN: [Fri Sep 15 07:22:42 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance010_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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat
s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41
t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21
a YES
a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 9 14 21 24 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 9 14 21 24 25 31 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 14 21 24 25 31 35 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 31 35 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 31 35 41 43 56 57 60 61 62 64 65 67 71 76 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 129 130
a 2 4 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 102 103 105 110 112 113 114 119 121 123 125 126 127 128 129 130
a 4 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 102 103 105 110 111 112 113 114 119 121 123 125 126 127 128 129 130
a 4 8 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 80 82 89 103 105 110 111 112 113 114 119 121 123 125 126 127 128 129 130
a 4 8 9 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 82 89 103 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 31 35 41 43 56 57 58 60 61 62 64 65 67 71 82 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 41 43 45 56 57 58 60 61 62 64 65 67 71 82 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 43 45 56 57 58 60 61 62 64 65 67 71 82 83 89 105 110 111 112 113 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 21 24 25 35 43 45 56 57 58 60 61 62 64 65 67 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 15 21 24 25 35 43 45 56 57 58 60 61 62 64 67 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 4 8 9 10 12 14 15 21 24 25 35 45 56 57 58 60 61 62 64 67 70 71 82 83 89 98 105 110 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 45 56 57 58 60 61 62 64 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 45 57 58 60 61 62 64 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 45 57 58 59 60 61 62 67 70 71 82 83 89 98 105 111 112 114 116 119 121 123 125 126 127 128 129 130
a 1 4 8 9 10 12 14 15 21 24 25 35 37 44 45 57 58 59 60 61 62 67 70 71 82 83 89 98 105 111 114 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 57 58 59 60 62 67 70 71 82 83 89 98 105 111 114 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 82 83 89 98 105 111 116 119 121 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 89 98 105 111 116 119 123 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 89 98 105 111 116 123 124 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 111 116 124 125 126 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129 130
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
#END: [Fri Sep 15 07:51:41 2023]