c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/wap01a_01/sas_plan results/wap01a_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 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 t 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a YES a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 1983 202 208 209 210 213 214 24 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 57 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 632 633 64 643 644 658 659 66 663 67 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 140 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 a 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 142 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 835 861 862 a 100 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 144 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 171 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 1983 202 208 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 315 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 322 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 58 59 609 610 611 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 632 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 64 643 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 717 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 743 747 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1103 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1307 1308 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 a 100 1023 1052 1102 114 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 141 143 146 149 150 151 152 155 156 1581 160 161 162 165 167 173 176 177 1835 186 187 188 19 197 1983 202 209 210 213 214 244 25 254 285 286 287 288 289 300 302 310 313 314 317 318 34 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 43 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 56 572 58 59 609 610 612 613 627 628 629 63 633 639 64 644 658 659 66 663 671 675 68 685 705 709 711 715 716 72 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap01a.col /BENCHMARKS/benchmark/color04/wap01a_01.dat" User time (seconds): 1.48 System time (seconds): 0.06 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.54 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): 59856 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 30344 Voluntary context switches: 108 Involuntary context switches: 153 Swaps: 0 File system inputs: 0 File system outputs: 4032 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0