c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap06a_01/sas_plan results/wap06a_01/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" s 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 t 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a YES a 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 31 334 364 370 47 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 31 334 364 370 45 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 31 334 364 370 45 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 31 334 364 370 45 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 234 237 239 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 234 237 239 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 234 237 239 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 234 237 239 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 234 237 242 243 248 254 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 234 237 242 243 248 253 256 258 276 31 334 364 370 45 482 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 234 237 242 243 248 253 256 258 31 334 364 370 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 233 234 237 242 243 248 253 256 258 31 334 370 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 31 334 370 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 31 334 370 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 91 914 915 916 918 920 922 925 928 929 934 94 940 942 944 945 947 99 a 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 31 334 370 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 907 91 914 915 916 918 920 922 925 928 934 94 940 942 944 945 947 99 a 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 31 334 370 41 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 907 91 914 915 916 918 920 922 925 928 934 94 942 944 945 947 99 a 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 19 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 31 334 370 41 45 482 485 49 58 61 79 80 82 83 84 85 86 89 90 907 91 914 915 916 918 920 922 925 928 934 935 94 944 945 947 99 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap06a.col /BENCHMARKS/benchmark/color04/wap06a_01.dat" User time (seconds): 0.61 System time (seconds): 0.05 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.66 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): 33608 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 17698 Voluntary context switches: 98 Involuntary context switches: 65 Swaps: 0 File system inputs: 0 File system outputs: 1464 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0