c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/will199GPIA.col /BENCHMARKS/benchmark/color04/will199GPIA_02.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/will199GPIA_02/sas_plan results/will199GPIA_02/output.sas --landmarks "lmg=lm_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)"
s 1 10 13 17 21 23 26 30 33 37 40 44 47 51 54 58 61 65 68 72 75 79 82 86 89 93 96 100 103 106 109 113 122 126 127 130 134 137 141 144 148 151 155 158 162 165 169 172 176 179 183 186 190 193 197 200 204 207 211 215 224 233 238 242 243 247 251 255 259 263 267 271 275 279 283 287 291 295 299 303 307 311 315 319 323 327 333 337 341 349 354 359 364 369 374 379 384 389 394 399 404 408 411 414 417 420 423 426 429 432 435 438 441 444 447 450 453 456 459 462 465 468 471 473 476 479 482 484 487 491 494 497 500 503 506 509 512 515 518 521 524 527 530 533 536 539 542 545 548 551 554 557 560 564 569 571 576 580 583 588 591 596 599 604 607 612 615 620 623 628 631 635 638 641 644 647 650 653 656 657 658 661 663 669 674 679 688 693 695 
t 1 6 10 13 17 21 23 26 30 33 37 40 44 47 51 54 58 61 65 68 72 75 79 82 86 89 93 96 100 103 106 109 113 122 126 127 130 134 137 141 144 148 151 155 158 162 165 169 172 176 179 183 186 190 193 197 200 204 207 211 215 229 233 238 242 243 247 251 255 259 263 267 271 275 279 283 287 291 295 299 303 307 311 315 319 323 327 333 337 341 349 354 359 364 369 374 379 384 389 394 399 404 408 411 414 417 420 423 426 429 432 435 438 441 447 450 453 456 459 462 465 468 471 473 476 479 482 484 487 491 494 497 500 503 506 509 512 515 518 521 524 527 530 533 536 539 542 545 548 551 554 557 560 564 567 569 571 576 580 583 588 591 596 599 604 607 612 615 620 623 628 631 635 638 641 644 647 650 653 656 658 661 663 669 674 679 688 693 695
a YES
a 1 10 100 103 106 109 113 122 126 127 13 130 134 137 141 144 148 151 155 158 162 165 169 17 172 176 179 183 186 190 193 197 200 204 207 21 211 215 224 23 233 238 242 243 247 251 255 259 26 263 267 271 275 279 283 287 291 295 299 30 303 307 311 315 319 323 327 33 333 337 341 349 354 359 364 369 37 374 379 384 389 394 399 40 404 408 411 414 417 420 423 426 429 432 435 438 44 441 444 447 450 453 456 459 462 465 468 47 471 473 476 479 482 484 487 491 494 497 500 503 506 509 51 512 515 518 521 524 527 530 533 536 539 54 542 545 548 551 554 557 560 564 569 571 576 58 580 583 588 591 596 599 604 607 61 612 615 620 623 628 631 635 638 641 644 647 65 650 653 656 657 658 661 663 669 674 679 68 688 693 695 72 75 79 82 86 89 93 96
a 1 10 100 103 106 109 113 122 126 127 13 130 134 137 141 144 148 151 155 158 162 165 169 17 172 176 179 183 186 190 193 197 200 204 207 21 211 215 229 23 233 238 242 243 247 251 255 259 26 263 267 271 275 279 283 287 291 295 299 30 303 307 311 315 319 323 327 33 333 337 341 349 354 359 364 369 37 374 379 384 389 394 399 40 404 408 411 414 417 420 423 426 429 432 435 438 44 441 444 447 450 453 456 459 462 465 468 47 471 473 476 479 482 484 487 491 494 497 500 503 506 509 51 512 515 518 521 524 527 530 533 536 539 54 542 545 548 551 554 557 560 564 569 571 576 58 580 583 588 591 596 599 604 607 61 612 615 620 623 628 631 635 638 641 644 647 65 650 653 656 657 658 661 663 669 674 679 68 688 693 695 72 75 79 82 86 89 93 96
a 1 10 100 103 106 109 113 122 126 127 13 130 134 137 141 144 148 151 155 158 162 165 169 17 172 176 179 183 186 190 193 197 200 204 207 21 211 215 229 23 233 238 242 243 247 251 255 259 26 263 267 271 275 279 283 287 291 295 299 30 303 307 311 315 319 323 327 33 333 337 341 349 354 359 364 369 37 374 379 384 389 394 399 40 404 408 411 414 417 420 423 426 429 432 435 438 44 441 444 447 450 453 456 459 462 465 468 47 471 473 476 479 482 484 487 491 494 497 500 503 506 509 51 512 515 518 521 524 527 530 533 536 539 54 542 545 548 551 554 557 560 564 569 571 576 58 580 583 588 591 596 599 6 604 607 61 612 615 620 623 628 631 635 638 641 644 647 65 650 653 656 658 661 663 669 674 679 68 688 693 695 72 75 79 82 86 89 93 96
a 1 10 100 103 106 109 113 122 126 127 13 130 134 137 141 144 148 151 155 158 162 165 169 17 172 176 179 183 186 190 193 197 200 204 207 21 211 215 229 23 233 238 242 243 247 251 255 259 26 263 267 271 275 279 283 287 291 295 299 30 303 307 311 315 319 323 327 33 333 337 341 349 354 359 364 369 37 374 379 384 389 394 399 40 404 408 411 414 417 420 423 426 429 432 435 438 44 441 447 450 453 456 459 462 465 468 47 471 473 476 479 482 484 487 491 494 497 500 503 506 509 51 512 515 518 521 524 527 530 533 536 539 54 542 545 548 551 554 557 560 564 567 569 571 576 58 580 583 588 591 596 599 6 604 607 61 612 615 620 623 628 631 635 638 641 644 647 65 650 653 656 658 661 663 669 674 679 68 688 693 695 72 75 79 82 86 89 93 96
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/will199GPIA.col /BENCHMARKS/benchmark/color04/will199GPIA_02.dat"
	User time (seconds): 151.22
	System time (seconds): 0.32
	Percent of CPU this job got: 1453%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.42
	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): 105980
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 66069
	Voluntary context switches: 12946
	Involuntary context switches: 17421
	Swaps: 0
	File system inputs: 0
	File system outputs: 496
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0