c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap06a_02/sas_plan results/wap06a_02/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 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 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 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 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 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 139 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 49 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 139 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 49 60 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 139 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 49 50 60 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 139 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 49 50 60 64 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 139 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 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 110 111 121 127 128 131 132 134 135 139 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 110 121 127 128 131 132 134 135 139 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 110 116 127 128 131 132 134 135 139 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 135 139 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 148 157 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 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 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 166 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 33 334 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 166 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 193 194 199 200 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 220 224 225 228 229 237 239 24 242 243 248 254 256 258 276 31 33 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 220 224 228 229 237 239 24 242 243 248 254 256 258 276 31 33 332 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 220 224 227 229 237 239 24 242 243 248 254 256 258 276 31 33 332 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 243 248 254 256 258 276 31 33 332 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 254 256 258 276 31 328 33 332 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 276 31 328 33 332 334 341 364 37 370 49 50 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 334 341 364 37 370 49 50 575 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 575 589 60 64 72 82 83 84 85 86 89 90 914 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 575 589 60 64 72 82 83 84 85 86 89 90 915 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 575 589 60 64 72 82 83 84 85 86 89 90 908 916 918 919 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 575 589 60 64 72 82 83 84 85 86 89 90 908 909 916 918 92 920 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 575 589 60 64 72 82 83 84 85 86 89 90 908 909 916 918 92 922 925 928 929 934 940 942 944 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 57 575 589 60 64 72 82 83 84 85 86 89 90 908 909 916 918 92 922 925 928 934 940 942 944 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 57 575 589 60 64 72 81 82 83 84 85 86 89 90 908 909 916 918 92 922 925 928 934 942 944 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 557 57 575 589 60 64 72 81 82 83 84 85 86 89 90 908 909 916 918 92 922 925 928 934 944 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 557 57 575 589 60 64 72 81 82 83 84 85 86 89 90 908 909 916 917 918 92 922 925 928 934 945 947 99 a 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 24 248 253 256 258 31 328 33 332 341 364 37 370 49 50 557 57 575 589 60 64 72 81 82 83 84 85 86 89 90 908 909 916 917 918 92 922 925 928 934 941 945 99 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap06a.col /BENCHMARKS/benchmark/color04/wap06a_02.dat" User time (seconds): 0.73 System time (seconds): 0.04 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.76 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): 33660 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 17797 Voluntary context switches: 134 Involuntary context switches: 78 Swaps: 0 File system inputs: 0 File system outputs: 1496 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0