#BEGIN: [Thu Sep 7 20:38:55 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph002_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-planning2 --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat s 70 117 7 64 120 144 53 12 75 60 80 173 184 213 179 125 203 111 259 266 232 89 129 138 94 247 183 43 42 170 23 106 231 134 194 243 118 210 254 41 33 37 65 264 141 175 28 272 57 257 216 30 242 122 99 149 147 148 161 56 191 171 20 58 189 116 79 207 187 9 50 198 151 192 140 103 220 115 155 265 62 218 14 t 263 152 199 54 232 226 2 237 239 38 140 257 175 93 220 178 118 85 186 136 250 242 185 128 74 87 204 35 207 130 55 60 49 158 273 30 171 173 45 41 84 165 109 122 81 12 6 127 206 117 40 208 169 88 198 243 221 102 52 137 216 65 194 255 188 230 233 139 163 62 18 115 5 23 251 116 151 244 156 59 123 44 138 a YES a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 23 28 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 41 42 43 50 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 41 42 43 50 56 57 60 62 64 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 127 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 50 56 57 60 62 65 70 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 127 129 134 138 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 50 56 57 60 62 65 75 79 80 89 94 99 103 106 109 111 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 50 56 57 60 62 65 75 79 80 89 94 99 106 109 111 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 50 56 57 60 62 65 75 79 80 89 94 99 109 111 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 244 247 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 56 57 60 62 65 75 79 80 89 94 99 109 111 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 7 9 12 14 23 30 33 40 41 42 43 56 57 60 62 65 75 79 80 89 94 99 109 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 9 12 14 23 30 33 40 41 42 43 56 57 60 62 65 75 79 80 89 94 99 109 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 23 30 33 35 40 41 42 43 56 57 60 62 65 75 79 80 89 94 99 109 115 116 117 118 120 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 23 30 33 35 40 41 42 43 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 23 30 33 35 40 41 43 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 125 127 129 134 138 139 140 141 144 147 148 149 151 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 23 30 33 35 40 41 43 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 141 144 147 148 149 151 152 155 161 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 23 30 33 35 40 41 43 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 144 147 148 149 151 152 155 161 163 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 18 23 30 33 35 40 41 43 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 170 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 18 23 30 33 35 40 41 43 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 179 183 184 187 189 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 14 18 23 30 33 35 40 41 43 44 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 183 184 187 189 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 257 259 264 265 266 272 273 a 12 18 23 30 33 35 40 41 43 44 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 183 184 187 189 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 12 18 23 30 33 35 40 41 43 44 45 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 184 187 189 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 12 18 23 30 33 35 40 41 43 44 45 49 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 184 187 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 12 18 23 30 35 40 41 43 44 45 49 56 57 60 62 65 75 79 80 89 93 94 99 109 115 116 117 118 122 127 129 134 137 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 184 187 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 12 18 23 30 35 40 41 43 44 45 49 56 57 60 62 65 79 80 89 93 94 99 102 109 115 116 117 118 122 127 129 134 137 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 184 187 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 43 44 45 49 56 57 60 62 65 79 80 89 93 94 99 102 109 115 116 117 118 122 127 129 134 137 138 139 140 147 148 149 151 152 155 161 163 165 169 171 173 175 187 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 43 44 45 49 56 57 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 129 134 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 187 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 43 44 45 49 56 57 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 129 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 44 45 49 54 56 57 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 129 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 191 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 44 45 49 54 56 57 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 129 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 40 41 44 45 49 54 57 59 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 129 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 57 59 60 62 65 79 80 81 89 93 94 99 102 109 115 116 117 118 122 127 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 192 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 57 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 134 136 137 138 139 140 147 148 149 151 152 161 163 165 169 171 173 175 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 57 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 134 136 137 138 139 140 148 149 151 152 161 163 165 169 171 173 175 194 198 203 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 57 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 194 198 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 128 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 194 198 204 206 207 208 210 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 128 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 204 206 207 208 213 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 79 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 128 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 199 204 206 207 208 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 80 81 88 89 93 94 99 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 199 204 206 207 208 216 218 220 221 231 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 80 81 85 88 89 93 94 99 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 199 204 206 207 208 216 218 220 221 232 237 242 243 244 247 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 80 81 85 88 89 93 94 99 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 199 204 206 207 208 216 218 220 221 232 233 237 242 243 244 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 81 85 88 89 93 94 99 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 188 194 198 199 204 206 207 208 216 218 220 221 232 233 237 239 242 243 244 251 254 255 257 259 263 264 265 266 272 273 a 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 81 85 88 89 93 94 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 232 233 237 239 242 243 244 251 254 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 81 85 88 89 93 94 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 74 81 85 88 93 94 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 74 81 85 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 148 149 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 226 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 54 59 60 62 65 74 81 84 85 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 149 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 226 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 54 55 59 60 62 65 74 81 84 85 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 158 161 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 226 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 218 220 221 226 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 220 221 226 232 233 237 239 242 243 244 251 255 257 259 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 251 255 257 263 264 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 251 255 257 263 265 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 127 128 130 134 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 266 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 134 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 272 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat" User time (seconds): 0.52 System time (seconds): 0.09 Percent of CPU this job got: 127% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.48 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): 39872 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 26858 Voluntary context switches: 2482 Involuntary context switches: 14 Swaps: 0 File system inputs: 0 File system outputs: 576 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 20:38:56 2023]