#BEGIN: [Fri Sep 15 08:02:53 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-ai-planning-longest2 #INSTANCE1: /benchmark/random_instance/random_instance014_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph005_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_instance014_graph005.col /benchmark/random_instance/random_instance014_graph005_01.dat s 111 110 75 92 137 69 167 171 53 117 142 22 101 38 72 135 27 123 49 147 79 106 150 7 133 178 52 145 177 25 91 66 2 45 73 154 63 98 136 120 175 124 169 37 121 43 116 181 115 90 20 130 88 89 81 12 113 t 179 158 25 93 86 122 22 49 104 169 147 80 47 112 52 107 21 131 99 32 140 10 105 141 149 76 117 91 74 50 30 90 83 150 73 61 60 159 123 88 11 115 14 125 151 43 48 164 110 98 177 146 57 124 38 154 168 a YES a 2 7 12 20 22 25 27 37 38 43 45 49 52 53 63 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 12 20 22 25 27 37 38 43 45 47 49 52 53 66 69 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 12 20 22 25 27 32 37 38 43 45 47 49 52 53 66 72 73 75 79 81 88 89 90 91 92 98 101 106 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 12 20 22 25 27 32 37 38 43 45 47 49 52 53 66 72 73 79 81 88 89 90 91 92 98 101 106 107 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 11 12 20 22 25 27 32 37 38 43 45 47 49 52 53 66 72 73 81 88 89 90 91 92 98 101 106 107 110 111 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 2 7 10 11 12 20 22 25 27 32 37 38 43 45 47 49 52 53 66 72 73 81 88 89 90 91 92 98 101 106 107 110 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 45 47 49 52 53 60 66 72 73 81 88 89 90 91 92 98 101 106 107 110 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 52 53 60 66 72 73 81 88 89 90 91 92 98 101 105 106 107 110 113 115 116 117 120 121 123 124 130 133 135 136 137 142 145 147 150 154 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 52 53 60 66 72 73 81 88 89 90 91 92 98 101 105 106 107 110 113 115 116 117 120 123 124 130 133 135 136 137 142 145 147 150 154 159 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 52 53 60 66 72 73 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 120 123 124 130 133 135 136 137 142 145 147 150 154 159 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 50 52 53 60 66 72 73 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 120 123 124 130 133 135 137 142 145 147 150 154 159 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 50 52 53 60 66 72 73 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 120 123 124 130 133 135 142 145 147 149 150 154 159 167 169 171 175 177 178 181 a 7 10 11 12 20 22 25 27 32 37 38 43 47 49 50 52 53 60 66 72 73 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 120 123 124 130 133 135 145 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 20 22 25 27 32 37 38 43 47 49 50 52 53 60 66 72 73 80 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 120 123 124 130 133 135 145 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 20 22 25 27 32 37 38 43 47 48 49 50 52 53 60 66 72 73 80 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 123 124 130 133 135 145 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 20 22 25 27 32 37 38 43 47 48 49 50 52 53 60 66 73 80 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 123 124 130 131 133 135 145 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 20 22 25 32 37 38 43 47 48 49 50 52 53 60 66 73 80 81 86 88 89 90 91 92 98 105 106 107 110 113 115 116 117 123 124 125 130 131 133 135 145 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 20 22 25 32 37 38 43 47 48 49 50 52 53 60 66 73 80 81 86 88 90 91 92 98 105 106 107 110 113 115 116 117 123 124 125 130 131 133 135 145 146 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 22 25 32 37 38 43 47 48 49 50 52 53 60 66 73 80 81 86 88 90 91 92 98 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 145 146 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 22 25 32 38 43 47 48 49 50 52 53 60 66 73 80 81 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 145 146 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 22 25 32 38 43 47 48 49 50 52 53 60 73 76 80 81 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 145 146 147 149 150 154 159 167 169 171 175 177 178 179 181 a 10 11 12 22 25 32 38 43 47 48 49 50 52 53 60 73 76 80 81 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 146 147 149 150 154 159 167 168 169 171 175 177 178 179 181 a 10 11 12 14 22 25 32 38 43 47 48 49 50 52 53 60 73 76 80 81 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 146 147 149 150 154 159 168 169 171 175 177 178 179 181 a 10 11 14 22 25 32 38 43 47 48 49 50 52 53 60 73 76 80 81 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 133 135 146 147 149 150 154 158 159 168 169 171 175 177 178 179 181 a 10 11 14 22 25 32 38 43 47 48 49 50 52 53 60 73 76 80 81 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 135 146 147 149 150 154 158 159 168 169 171 175 177 178 179 181 a 10 11 14 22 25 32 38 43 47 48 49 50 52 53 60 73 74 76 80 81 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 135 146 147 149 150 154 158 159 168 169 175 177 178 179 181 a 10 11 14 22 25 32 38 43 47 48 49 50 52 53 60 73 74 76 80 81 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 135 146 147 149 150 151 154 158 159 168 169 177 178 179 181 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 60 73 74 76 80 81 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 135 146 147 149 150 151 154 158 159 168 169 177 178 179 181 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 60 61 73 74 76 80 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 116 117 123 124 125 130 131 135 146 147 149 150 151 154 158 159 168 169 177 178 179 181 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 60 61 73 74 76 80 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 117 122 123 124 125 130 131 135 146 147 149 150 151 154 158 159 168 169 177 178 179 181 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 60 61 73 74 76 80 83 86 88 90 91 92 98 99 105 106 107 110 112 113 115 117 122 123 124 125 130 131 135 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 98 99 105 106 107 110 112 113 115 117 122 123 124 125 130 131 135 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 105 106 107 110 112 113 115 117 122 123 124 125 130 131 141 146 147 149 150 151 154 158 159 168 169 177 178 179 a 10 11 14 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 105 107 110 112 113 115 117 122 123 124 125 130 131 141 146 147 149 150 151 154 158 159 164 168 169 177 178 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 105 107 110 112 115 117 122 123 124 125 130 131 141 146 147 149 150 151 154 158 159 164 168 169 177 178 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 105 107 110 112 115 117 122 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 178 179 a 10 11 14 21 22 25 30 32 38 43 47 48 49 50 52 57 60 61 73 74 76 80 83 86 88 90 91 93 98 99 104 105 107 110 112 115 117 122 123 124 125 131 140 141 146 147 149 150 151 154 158 159 164 168 169 177 179 #END: [Fri Sep 15 08:31:53 2023]