#BEGIN: [Fri Sep 8 00:31:37 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance020_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph001_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-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat s 66 21 50 92 123 159 25 142 243 143 138 196 189 227 93 3 41 55 12 83 54 15 107 33 180 48 184 133 65 63 17 168 118 232 104 126 163 99 238 260 42 59 255 191 198 244 96 154 78 10 112 150 75 74 97 162 20 5 46 76 61 11 120 32 28 215 172 22 100 210 181 239 199 254 114 235 241 130 58 146 152 t 107 186 160 165 154 143 65 184 240 81 119 28 212 75 169 179 226 117 64 244 220 95 171 158 193 108 80 87 49 140 37 205 58 146 123 19 163 92 215 22 144 115 162 187 225 223 39 133 114 245 217 85 40 35 161 260 72 82 202 177 15 214 59 97 242 21 20 241 110 175 96 124 106 1 232 102 237 206 191 56 70 a YES a 3 5 10 11 12 15 17 20 21 22 25 28 32 33 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 5 10 11 12 15 17 20 21 22 25 28 32 33 40 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 5 10 12 15 17 20 21 22 25 28 32 33 40 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 112 114 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 10 12 15 17 20 21 22 25 28 32 33 40 41 42 46 48 50 54 55 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 110 112 114 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 10 12 15 17 20 21 22 28 32 33 40 41 42 46 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 104 107 110 112 114 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 32 33 40 41 42 46 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 33 40 41 42 46 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 40 41 42 46 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 40 41 42 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 237 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 40 41 48 50 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 227 232 235 237 238 239 241 243 244 254 255 260 a 12 15 17 20 21 22 28 40 41 48 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 172 180 181 184 189 191 196 198 199 210 215 217 227 232 235 237 238 239 241 243 244 254 255 260 a 15 17 20 21 22 28 40 41 48 54 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 227 232 235 237 238 239 241 243 244 254 255 260 a 15 17 20 21 22 28 40 41 48 55 56 58 59 61 63 65 66 74 75 76 78 83 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 17 20 21 22 28 40 41 48 56 58 59 61 63 65 66 74 75 76 78 83 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 17 20 21 22 28 40 41 48 56 58 59 61 63 65 66 75 76 78 83 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 17 20 21 22 28 35 40 41 48 56 58 59 61 63 65 66 75 76 83 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 41 48 56 58 59 61 63 65 66 75 76 83 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 48 56 58 59 61 63 65 66 75 76 82 83 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 48 56 58 59 61 63 64 65 66 75 76 82 87 92 93 96 97 99 100 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 48 56 58 59 61 63 64 65 66 75 76 82 87 92 93 96 97 99 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 165 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 87 92 93 96 97 99 102 104 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 146 150 152 154 159 160 162 163 165 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 87 92 93 96 97 99 102 107 110 112 114 115 117 118 120 123 126 130 133 138 140 142 143 144 146 150 152 154 159 160 162 163 165 168 171 172 180 181 184 189 191 196 198 199 210 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 87 92 93 96 97 99 102 107 110 112 114 115 117 120 123 126 130 133 138 140 142 143 144 146 150 152 154 159 160 162 163 165 168 171 172 180 181 184 189 191 196 198 199 210 212 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 120 123 126 130 133 140 142 143 144 146 150 152 154 159 160 162 163 165 168 171 172 180 181 184 189 191 196 198 199 210 212 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 142 143 144 146 150 152 154 159 160 162 163 165 168 171 172 179 180 181 184 189 191 196 198 199 210 212 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 143 144 146 150 152 154 159 160 162 163 165 168 171 172 179 180 181 184 189 191 196 198 199 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 61 63 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 143 144 146 150 152 154 160 162 163 165 168 171 172 175 179 180 181 184 189 191 196 198 199 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 63 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 143 144 146 150 152 154 160 162 163 165 168 171 172 175 179 180 181 184 189 191 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 64 65 66 75 76 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 180 181 184 189 191 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 64 65 66 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 180 181 184 189 191 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 15 20 21 22 28 35 39 40 56 58 59 64 65 66 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 124 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 181 184 189 191 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 1 15 20 21 22 28 35 39 40 56 58 59 64 65 66 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 124 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 184 189 191 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 1 15 20 21 22 28 35 39 40 56 58 59 64 65 66 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 123 124 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 184 191 193 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 1 15 20 21 22 28 35 39 40 56 58 59 64 65 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 152 154 158 160 162 163 165 168 171 172 175 179 184 191 193 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 154 158 160 162 163 165 168 171 172 175 179 184 191 193 196 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 154 158 160 162 163 165 168 171 172 175 179 184 191 193 198 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 179 184 191 193 199 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 70 75 81 82 85 87 92 93 96 97 99 102 107 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 70 75 81 82 85 87 92 96 97 99 102 107 108 110 112 114 115 117 119 123 124 126 130 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 39 40 56 58 59 64 65 70 75 81 82 85 87 92 96 97 99 102 107 108 110 112 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 179 184 191 193 205 210 212 214 215 217 220 223 226 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 56 58 59 64 65 70 75 81 82 85 87 92 96 97 99 102 107 108 110 112 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 179 184 191 193 205 212 214 215 217 220 223 226 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 56 58 59 64 65 70 75 81 82 85 87 92 96 97 102 107 108 110 112 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 172 175 177 179 184 191 193 205 212 214 215 217 220 223 226 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 56 58 59 64 65 70 75 81 82 85 87 92 96 97 102 107 108 110 112 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 226 227 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 81 82 85 87 92 96 97 102 107 108 110 112 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 226 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 81 82 85 87 92 96 97 102 107 108 110 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 168 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 225 226 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 81 82 85 87 92 96 97 102 106 107 108 110 114 115 117 119 123 124 126 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 225 226 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 225 226 232 235 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 225 226 232 237 238 239 240 241 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 187 191 193 205 212 214 215 217 220 223 225 226 232 237 239 240 241 242 243 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 187 191 193 205 206 212 214 215 217 220 223 225 226 232 237 239 240 241 242 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 254 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 150 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 255 260 a 1 15 19 20 21 22 28 35 37 39 40 49 56 58 59 64 65 70 72 75 80 81 82 85 87 92 95 96 97 102 106 107 108 110 114 115 117 119 123 124 133 140 143 144 146 154 158 160 161 162 163 165 169 171 175 177 179 184 186 187 191 193 202 205 206 212 214 215 217 220 223 225 226 232 237 240 241 242 244 245 260 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance020_graph001.col /benchmark/random_instance/random_instance020_graph001_01.dat" User time (seconds): 0.12 System time (seconds): 0.01 Percent of CPU this job got: 98% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.14 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 20560 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12214 Voluntary context switches: 21 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 376 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:31:37 2023]