nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #73
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 main::scheduler::done: Set(),7 main::scheduler::errored: Set(),8 main::scheduler::estimate: 512,9 main::scheduler::externalKills: 0,10 main::scheduler::mode: Parallel,11 main::scheduler::solo: [],12 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),13 main::scheduler::workers:14 Map(15 0 ->16 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },17 1 ->18 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },19 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }20 )21}2223[State 1]24{25 main::scheduler::done: Set(),26 main::scheduler::errored: Set(),27 main::scheduler::estimate: 512,28 main::scheduler::externalKills: 0,29 main::scheduler::mode: Parallel,30 main::scheduler::solo: [],31 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),32 main::scheduler::workers:33 Map(34 0 ->35 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },36 1 ->37 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },38 2 ->39 {40 alive: true,41 heap: 300,42 job: "",43 phase: Starting,44 rss: 300,45 startRss: 046 }47 )48}4950[State 2]51{52 main::scheduler::done: Set(),53 main::scheduler::errored: Set(),54 main::scheduler::estimate: 512,55 main::scheduler::externalKills: 0,56 main::scheduler::mode: Parallel,57 main::scheduler::solo: [],58 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),59 main::scheduler::workers:60 Map(61 0 ->62 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },63 1 ->64 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },65 2 ->66 {67 alive: true,68 heap: 300,69 job: "",70 phase: Starting,71 rss: 300,72 startRss: 073 }74 )75}7677[State 3]78{79 main::scheduler::done: Set(),80 main::scheduler::errored: Set(),81 main::scheduler::estimate: 512,82 main::scheduler::externalKills: 0,83 main::scheduler::mode: Parallel,84 main::scheduler::solo: [],85 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),86 main::scheduler::workers:87 Map(88 0 ->89 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },90 1 ->91 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },92 2 ->93 {94 alive: true,95 heap: 300,96 job: "",97 phase: Starting,98 rss: 300,99 startRss: 0100 }101 )102}103104[State 4]105{106 main::scheduler::done: Set(),107 main::scheduler::errored: Set(),108 main::scheduler::estimate: 512,109 main::scheduler::externalKills: 0,110 main::scheduler::mode: Parallel,111 main::scheduler::solo: [],112 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),113 main::scheduler::workers:114 Map(115 0 ->116 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },117 1 ->118 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },119 2 ->120 {121 alive: true,122 heap: 300,123 job: "",124 phase: Starting,125 rss: 300,126 startRss: 0127 }128 )129}130131[State 5]132{133 main::scheduler::done: Set(),134 main::scheduler::errored: Set(),135 main::scheduler::estimate: 512,136 main::scheduler::externalKills: 1,137 main::scheduler::mode: Parallel,138 main::scheduler::solo: [],139 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),140 main::scheduler::workers:141 Map(142 0 ->143 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },144 1 ->145 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },146 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }147 )148}149150[State 6]151{152 main::scheduler::done: Set(),153 main::scheduler::errored: Set(),154 main::scheduler::estimate: 512,155 main::scheduler::externalKills: 1,156 main::scheduler::mode: Parallel,157 main::scheduler::solo: [],158 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),159 main::scheduler::workers:160 Map(161 0 ->162 {163 alive: true,164 heap: 300,165 job: "",166 phase: Starting,167 rss: 300,168 startRss: 0169 },170 1 ->171 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },172 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }173 )174}175176[State 7]177{178 main::scheduler::done: Set(),179 main::scheduler::errored: Set(),180 main::scheduler::estimate: 512,181 main::scheduler::externalKills: 1,182 main::scheduler::mode: Parallel,183 main::scheduler::solo: [],184 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),185 main::scheduler::workers:186 Map(187 0 ->188 {189 alive: true,190 heap: 300,191 job: "",192 phase: Starting,193 rss: 300,194 startRss: 0195 },196 1 ->197 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },198 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }199 )200}201202[State 8]203{204 main::scheduler::done: Set(),205 main::scheduler::errored: Set(),206 main::scheduler::estimate: 512,207 main::scheduler::externalKills: 1,208 main::scheduler::mode: Parallel,209 main::scheduler::solo: [],210 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),211 main::scheduler::workers:212 Map(213 0 ->214 {215 alive: true,216 heap: 300,217 job: "",218 phase: Starting,219 rss: 300,220 startRss: 0221 },222 1 ->223 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },224 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }225 )226}227228[State 9]229{230 main::scheduler::done: Set(),231 main::scheduler::errored: Set(),232 main::scheduler::estimate: 512,233 main::scheduler::externalKills: 1,234 main::scheduler::mode: Parallel,235 main::scheduler::solo: [],236 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),237 main::scheduler::workers:238 Map(239 0 ->240 {241 alive: true,242 heap: 300,243 job: "",244 phase: Starting,245 rss: 300,246 startRss: 0247 },248 1 ->249 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },250 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }251 )252}253254[State 10]255{256 main::scheduler::done: Set(),257 main::scheduler::errored: Set(),258 main::scheduler::estimate: 512,259 main::scheduler::externalKills: 2,260 main::scheduler::mode: Parallel,261 main::scheduler::solo: [],262 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),263 main::scheduler::workers:264 Map(265 0 ->266 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },267 1 ->268 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },269 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }270 )271}272273[State 11]274{275 main::scheduler::done: Set(),276 main::scheduler::errored: Set(),277 main::scheduler::estimate: 512,278 main::scheduler::externalKills: 2,279 main::scheduler::mode: Parallel,280 main::scheduler::solo: [],281 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),282 main::scheduler::workers:283 Map(284 0 ->285 {286 alive: true,287 heap: 300,288 job: "",289 phase: Starting,290 rss: 300,291 startRss: 0292 },293 1 ->294 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },295 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }296 )297}298299[State 12]300{301 main::scheduler::done: Set(),302 main::scheduler::errored: Set(),303 main::scheduler::estimate: 512,304 main::scheduler::externalKills: 2,305 main::scheduler::mode: Parallel,306 main::scheduler::solo: [],307 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),308 main::scheduler::workers:309 Map(310 0 ->311 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },312 1 ->313 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },314 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }315 )316}317318[State 13]319{320 main::scheduler::done: Set(),321 main::scheduler::errored: Set(),322 main::scheduler::estimate: 512,323 main::scheduler::externalKills: 2,324 main::scheduler::mode: Parallel,325 main::scheduler::solo: [],326 main::scheduler::todo: Set("a", "b", "c", "huge"),327 main::scheduler::workers:328 Map(329 0 ->330 {331 alive: true,332 heap: 300,333 job: "fat",334 phase: Busy,335 rss: 300,336 startRss: 300337 },338 1 ->339 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },340 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }341 )342}343344[State 14]345{346 main::scheduler::done: Set(),347 main::scheduler::errored: Set(),348 main::scheduler::estimate: 512,349 main::scheduler::externalKills: 2,350 main::scheduler::mode: Parallel,351 main::scheduler::solo: [],352 main::scheduler::todo: Set("a", "b", "c", "huge"),353 main::scheduler::workers:354 Map(355 0 ->356 {357 alive: true,358 heap: 300,359 job: "fat",360 phase: Busy,361 rss: 300,362 startRss: 300363 },364 1 ->365 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },366 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }367 )368}369370[State 15]371{372 main::scheduler::done: Set(),373 main::scheduler::errored: Set(),374 main::scheduler::estimate: 512,375 main::scheduler::externalKills: 2,376 main::scheduler::mode: Parallel,377 main::scheduler::solo: [],378 main::scheduler::todo: Set("a", "b", "c", "huge"),379 main::scheduler::workers:380 Map(381 0 ->382 {383 alive: true,384 heap: 300,385 job: "fat",386 phase: Busy,387 rss: 300,388 startRss: 300389 },390 1 ->391 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },392 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }393 )394}395396[State 16]397{398 main::scheduler::done: Set(),399 main::scheduler::errored: Set(),400 main::scheduler::estimate: 512,401 main::scheduler::externalKills: 2,402 main::scheduler::mode: Parallel,403 main::scheduler::solo: [],404 main::scheduler::todo: Set("a", "b", "c", "huge"),405 main::scheduler::workers:406 Map(407 0 ->408 {409 alive: true,410 heap: 300,411 job: "fat",412 phase: Busy,413 rss: 2300,414 startRss: 300415 },416 1 ->417 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },418 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }419 )420}421422[State 17]423{424 main::scheduler::done: Set(),425 main::scheduler::errored: Set(),426 main::scheduler::estimate: 2000,427 main::scheduler::externalKills: 2,428 main::scheduler::mode: Parallel,429 main::scheduler::solo: [],430 main::scheduler::todo: Set("a", "b", "c", "huge"),431 main::scheduler::workers:432 Map(433 0 ->434 {435 alive: true,436 heap: 300,437 job: "fat",438 phase: Busy,439 rss: 2300,440 startRss: 300441 },442 1 ->443 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },444 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }445 )446}447448[State 18]449{450 main::scheduler::done: Set(),451 main::scheduler::errored: Set(),452 main::scheduler::estimate: 2000,453 main::scheduler::externalKills: 2,454 main::scheduler::mode: Parallel,455 main::scheduler::solo: [],456 main::scheduler::todo: Set("a", "b", "c", "huge"),457 main::scheduler::workers:458 Map(459 0 ->460 {461 alive: true,462 heap: 300,463 job: "fat",464 phase: Busy,465 rss: 2300,466 startRss: 300467 },468 1 ->469 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },470 2 ->471 {472 alive: true,473 heap: 300,474 job: "",475 phase: Starting,476 rss: 300,477 startRss: 0478 }479 )480}481482[State 19]483{484 main::scheduler::done: Set(),485 main::scheduler::errored: Set(),486 main::scheduler::estimate: 2000,487 main::scheduler::externalKills: 2,488 main::scheduler::mode: Parallel,489 main::scheduler::solo: [],490 main::scheduler::todo: Set("a", "b", "c", "huge"),491 main::scheduler::workers:492 Map(493 0 ->494 {495 alive: true,496 heap: 300,497 job: "fat",498 phase: Busy,499 rss: 2300,500 startRss: 300501 },502 1 ->503 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },504 2 ->505 {506 alive: true,507 heap: 300,508 job: "",509 phase: Starting,510 rss: 300,511 startRss: 0512 }513 )514}515516[State 20]517{518 main::scheduler::done: Set(),519 main::scheduler::errored: Set(),520 main::scheduler::estimate: 2000,521 main::scheduler::externalKills: 2,522 main::scheduler::mode: Parallel,523 main::scheduler::solo: [],524 main::scheduler::todo: Set("a", "b", "c", "huge"),525 main::scheduler::workers:526 Map(527 0 ->528 {529 alive: true,530 heap: 300,531 job: "fat",532 phase: Busy,533 rss: 2300,534 startRss: 300535 },536 1 ->537 {538 alive: true,539 heap: 300,540 job: "",541 phase: Starting,542 rss: 300,543 startRss: 0544 },545 2 ->546 {547 alive: true,548 heap: 300,549 job: "",550 phase: Starting,551 rss: 300,552 startRss: 0553 }554 )555}556557[State 21]558{559 main::scheduler::done: Set(),560 main::scheduler::errored: Set(),561 main::scheduler::estimate: 2000,562 main::scheduler::externalKills: 2,563 main::scheduler::mode: Parallel,564 main::scheduler::solo: [],565 main::scheduler::todo: Set("a", "b", "c", "huge"),566 main::scheduler::workers:567 Map(568 0 ->569 {570 alive: true,571 heap: 300,572 job: "fat",573 phase: Busy,574 rss: 2300,575 startRss: 300576 },577 1 ->578 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },579 2 ->580 {581 alive: true,582 heap: 300,583 job: "",584 phase: Starting,585 rss: 300,586 startRss: 0587 }588 )589}590591[State 22]592{593 main::scheduler::done: Set(),594 main::scheduler::errored: Set(),595 main::scheduler::estimate: 2000,596 main::scheduler::externalKills: 2,597 main::scheduler::mode: Parallel,598 main::scheduler::solo: [],599 main::scheduler::todo: Set("a", "b", "c", "huge"),600 main::scheduler::workers:601 Map(602 0 ->603 {604 alive: true,605 heap: 300,606 job: "fat",607 phase: Busy,608 rss: 2300,609 startRss: 300610 },611 1 ->612 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },613 2 ->614 {615 alive: true,616 heap: 300,617 job: "",618 phase: Starting,619 rss: 300,620 startRss: 0621 }622 )623}624625[State 23]626{627 main::scheduler::done: Set(),628 main::scheduler::errored: Set(),629 main::scheduler::estimate: 2000,630 main::scheduler::externalKills: 2,631 main::scheduler::mode: Parallel,632 main::scheduler::solo: [],633 main::scheduler::todo: Set("a", "b", "c", "huge"),634 main::scheduler::workers:635 Map(636 0 ->637 {638 alive: true,639 heap: 300,640 job: "fat",641 phase: Busy,642 rss: 2300,643 startRss: 300644 },645 1 ->646 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },647 2 ->648 {649 alive: true,650 heap: 300,651 job: "",652 phase: Starting,653 rss: 300,654 startRss: 0655 }656 )657}658659[State 24]660{661 main::scheduler::done: Set(),662 main::scheduler::errored: Set(),663 main::scheduler::estimate: 2000,664 main::scheduler::externalKills: 2,665 main::scheduler::mode: Parallel,666 main::scheduler::solo: [],667 main::scheduler::todo: Set("a", "b", "c", "huge"),668 main::scheduler::workers:669 Map(670 0 ->671 {672 alive: true,673 heap: 300,674 job: "fat",675 phase: Busy,676 rss: 2300,677 startRss: 300678 },679 1 ->680 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },681 2 ->682 {683 alive: true,684 heap: 300,685 job: "",686 phase: Starting,687 rss: 300,688 startRss: 0689 }690 )691}692693[State 25]694{695 main::scheduler::done: Set("fat"),696 main::scheduler::errored: Set(),697 main::scheduler::estimate: 1960,698 main::scheduler::externalKills: 2,699 main::scheduler::mode: Parallel,700 main::scheduler::solo: [],701 main::scheduler::todo: Set("a", "b", "c", "huge"),702 main::scheduler::workers:703 Map(704 0 ->705 {706 alive: true,707 heap: 1300,708 job: "",709 phase: Starting,710 rss: 1300,711 startRss: 300712 },713 1 ->714 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },715 2 ->716 {717 alive: true,718 heap: 300,719 job: "",720 phase: Starting,721 rss: 300,722 startRss: 0723 }724 )725}726727[State 26]728{729 main::scheduler::done: Set("fat"),730 main::scheduler::errored: Set(),731 main::scheduler::estimate: 1960,732 main::scheduler::externalKills: 2,733 main::scheduler::mode: Parallel,734 main::scheduler::solo: [],735 main::scheduler::todo: Set("a", "b", "c", "huge"),736 main::scheduler::workers:737 Map(738 0 ->739 {740 alive: true,741 heap: 1300,742 job: "",743 phase: Starting,744 rss: 1300,745 startRss: 300746 },747 1 ->748 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },749 2 ->750 {751 alive: true,752 heap: 300,753 job: "",754 phase: Starting,755 rss: 300,756 startRss: 0757 }758 )759}760761[State 27]762{763 main::scheduler::done: Set("fat"),764 main::scheduler::errored: Set(),765 main::scheduler::estimate: 1960,766 main::scheduler::externalKills: 2,767 main::scheduler::mode: Parallel,768 main::scheduler::solo: [],769 main::scheduler::todo: Set("a", "b", "c", "huge"),770 main::scheduler::workers:771 Map(772 0 ->773 {774 alive: true,775 heap: 1300,776 job: "",777 phase: Starting,778 rss: 1300,779 startRss: 300780 },781 1 ->782 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },783 2 ->784 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }785 )786}787788[State 28]789{790 main::scheduler::done: Set("fat"),791 main::scheduler::errored: Set(),792 main::scheduler::estimate: 1960,793 main::scheduler::externalKills: 2,794 main::scheduler::mode: Parallel,795 main::scheduler::solo: [],796 main::scheduler::todo: Set("a", "b", "c", "huge"),797 main::scheduler::workers:798 Map(799 0 ->800 {801 alive: true,802 heap: 1300,803 job: "",804 phase: Starting,805 rss: 1300,806 startRss: 300807 },808 1 ->809 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },810 2 ->811 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }812 )813}814815[State 29]816{817 main::scheduler::done: Set("fat"),818 main::scheduler::errored: Set(),819 main::scheduler::estimate: 1960,820 main::scheduler::externalKills: 2,821 main::scheduler::mode: Parallel,822 main::scheduler::solo: [],823 main::scheduler::todo: Set("a", "b", "huge"),824 main::scheduler::workers:825 Map(826 0 ->827 {828 alive: true,829 heap: 1300,830 job: "",831 phase: Starting,832 rss: 1300,833 startRss: 300834 },835 1 ->836 {837 alive: true,838 heap: 300,839 job: "c",840 phase: Busy,841 rss: 300,842 startRss: 300843 },844 2 ->845 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }846 )847}848849[State 30]850{851 main::scheduler::done: Set("fat"),852 main::scheduler::errored: Set(),853 main::scheduler::estimate: 1960,854 main::scheduler::externalKills: 2,855 main::scheduler::mode: Parallel,856 main::scheduler::solo: [],857 main::scheduler::todo: Set("a", "b", "huge"),858 main::scheduler::workers:859 Map(860 0 ->861 {862 alive: true,863 heap: 1300,864 job: "",865 phase: Starting,866 rss: 1300,867 startRss: 300868 },869 1 ->870 {871 alive: true,872 heap: 300,873 job: "c",874 phase: Busy,875 rss: 300,876 startRss: 300877 },878 2 ->879 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }880 )881}882883[State 31]884{885 main::scheduler::done: Set("fat"),886 main::scheduler::errored: Set(),887 main::scheduler::estimate: 1960,888 main::scheduler::externalKills: 2,889 main::scheduler::mode: Parallel,890 main::scheduler::solo: [],891 main::scheduler::todo: Set("a", "b", "huge"),892 main::scheduler::workers:893 Map(894 0 ->895 {896 alive: true,897 heap: 1300,898 job: "",899 phase: Starting,900 rss: 1300,901 startRss: 300902 },903 1 ->904 {905 alive: true,906 heap: 300,907 job: "c",908 phase: Busy,909 rss: 300,910 startRss: 300911 },912 2 ->913 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }914 )915}916917[State 32]918{919 main::scheduler::done: Set("fat"),920 main::scheduler::errored: Set(),921 main::scheduler::estimate: 1960,922 main::scheduler::externalKills: 2,923 main::scheduler::mode: Parallel,924 main::scheduler::solo: [],925 main::scheduler::todo: Set("a", "b", "huge"),926 main::scheduler::workers:927 Map(928 0 ->929 {930 alive: true,931 heap: 1300,932 job: "",933 phase: Starting,934 rss: 1300,935 startRss: 300936 },937 1 ->938 {939 alive: true,940 heap: 300,941 job: "c",942 phase: Busy,943 rss: 300,944 startRss: 300945 },946 2 ->947 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }948 )949}950951[State 33]952{953 main::scheduler::done: Set("fat"),954 main::scheduler::errored: Set(),955 main::scheduler::estimate: 1960,956 main::scheduler::externalKills: 2,957 main::scheduler::mode: Parallel,958 main::scheduler::solo: [],959 main::scheduler::todo: Set("a", "b", "huge"),960 main::scheduler::workers:961 Map(962 0 ->963 {964 alive: true,965 heap: 1300,966 job: "",967 phase: Starting,968 rss: 1300,969 startRss: 300970 },971 1 ->972 {973 alive: true,974 heap: 300,975 job: "c",976 phase: Busy,977 rss: 300,978 startRss: 300979 },980 2 ->981 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }982 )983}984985[State 34]986{987 main::scheduler::done: Set("fat"),988 main::scheduler::errored: Set(),989 main::scheduler::estimate: 1960,990 main::scheduler::externalKills: 2,991 main::scheduler::mode: Parallel,992 main::scheduler::solo: [],993 main::scheduler::todo: Set("a", "b", "huge"),994 main::scheduler::workers:995 Map(996 0 ->997 {998 alive: true,999 heap: 1300,1000 job: "",1001 phase: Starting,1002 rss: 1300,1003 startRss: 3001004 },1005 1 ->1006 {1007 alive: true,1008 heap: 300,1009 job: "c",1010 phase: Busy,1011 rss: 300,1012 startRss: 3001013 },1014 2 ->1015 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1016 )1017}10181019[State 35]1020{1021 main::scheduler::done: Set("fat"),1022 main::scheduler::errored: Set(),1023 main::scheduler::estimate: 1960,1024 main::scheduler::externalKills: 2,1025 main::scheduler::mode: Parallel,1026 main::scheduler::solo: [],1027 main::scheduler::todo: Set("a", "b", "huge"),1028 main::scheduler::workers:1029 Map(1030 0 ->1031 {1032 alive: true,1033 heap: 1300,1034 job: "",1035 phase: Starting,1036 rss: 1300,1037 startRss: 3001038 },1039 1 ->1040 {1041 alive: true,1042 heap: 300,1043 job: "c",1044 phase: Busy,1045 rss: 300,1046 startRss: 3001047 },1048 2 ->1049 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1050 )1051}10521053[State 36]1054{1055 main::scheduler::done: Set("fat"),1056 main::scheduler::errored: Set(),1057 main::scheduler::estimate: 1960,1058 main::scheduler::externalKills: 2,1059 main::scheduler::mode: Parallel,1060 main::scheduler::solo: [],1061 main::scheduler::todo: Set("a", "b", "huge"),1062 main::scheduler::workers:1063 Map(1064 0 ->1065 {1066 alive: true,1067 heap: 1300,1068 job: "",1069 phase: Starting,1070 rss: 1300,1071 startRss: 3001072 },1073 1 ->1074 {1075 alive: true,1076 heap: 300,1077 job: "c",1078 phase: Busy,1079 rss: 300,1080 startRss: 3001081 },1082 2 ->1083 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1084 )1085}10861087[State 37]1088{1089 main::scheduler::done: Set("fat"),1090 main::scheduler::errored: Set(),1091 main::scheduler::estimate: 1960,1092 main::scheduler::externalKills: 2,1093 main::scheduler::mode: Parallel,1094 main::scheduler::solo: [],1095 main::scheduler::todo: Set("a", "b", "huge"),1096 main::scheduler::workers:1097 Map(1098 0 ->1099 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1100 1 ->1101 {1102 alive: true,1103 heap: 300,1104 job: "c",1105 phase: Busy,1106 rss: 300,1107 startRss: 3001108 },1109 2 ->1110 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1111 )1112}11131114[State 38]1115{1116 main::scheduler::done: Set("fat"),1117 main::scheduler::errored: Set(),1118 main::scheduler::estimate: 1960,1119 main::scheduler::externalKills: 2,1120 main::scheduler::mode: Parallel,1121 main::scheduler::solo: [],1122 main::scheduler::todo: Set("a", "b", "huge"),1123 main::scheduler::workers:1124 Map(1125 0 ->1126 {1127 alive: true,1128 heap: 300,1129 job: "",1130 phase: Starting,1131 rss: 300,1132 startRss: 01133 },1134 1 ->1135 {1136 alive: true,1137 heap: 300,1138 job: "c",1139 phase: Busy,1140 rss: 300,1141 startRss: 3001142 },1143 2 ->1144 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1145 )1146}11471148[State 39]1149{1150 main::scheduler::done: Set("fat"),1151 main::scheduler::errored: Set(),1152 main::scheduler::estimate: 1960,1153 main::scheduler::externalKills: 2,1154 main::scheduler::mode: Parallel,1155 main::scheduler::solo: [],1156 main::scheduler::todo: Set("a", "b", "huge"),1157 main::scheduler::workers:1158 Map(1159 0 ->1160 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1161 1 ->1162 {1163 alive: true,1164 heap: 300,1165 job: "c",1166 phase: Busy,1167 rss: 300,1168 startRss: 3001169 },1170 2 ->1171 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1172 )1173}11741175[State 40]1176{1177 main::scheduler::done: Set("fat"),1178 main::scheduler::errored: Set(),1179 main::scheduler::estimate: 1960,1180 main::scheduler::externalKills: 2,1181 main::scheduler::mode: Parallel,1182 main::scheduler::solo: [],1183 main::scheduler::todo: Set("a", "b", "huge"),1184 main::scheduler::workers:1185 Map(1186 0 ->1187 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1188 1 ->1189 {1190 alive: true,1191 heap: 300,1192 job: "c",1193 phase: Busy,1194 rss: 300,1195 startRss: 3001196 },1197 2 ->1198 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1199 )1200}12011202[State 41]1203{1204 main::scheduler::done: Set("fat"),1205 main::scheduler::errored: Set(),1206 main::scheduler::estimate: 1960,1207 main::scheduler::externalKills: 2,1208 main::scheduler::mode: Parallel,1209 main::scheduler::solo: [],1210 main::scheduler::todo: Set("a", "b", "huge"),1211 main::scheduler::workers:1212 Map(1213 0 ->1214 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1215 1 ->1216 {1217 alive: true,1218 heap: 300,1219 job: "c",1220 phase: Busy,1221 rss: 300,1222 startRss: 3001223 },1224 2 ->1225 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1226 )1227}12281229[State 42]1230{1231 main::scheduler::done: Set("fat"),1232 main::scheduler::errored: Set(),1233 main::scheduler::estimate: 1960,1234 main::scheduler::externalKills: 2,1235 main::scheduler::mode: Parallel,1236 main::scheduler::solo: [],1237 main::scheduler::todo: Set("a", "b", "huge"),1238 main::scheduler::workers:1239 Map(1240 0 ->1241 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1242 1 ->1243 {1244 alive: true,1245 heap: 300,1246 job: "c",1247 phase: Busy,1248 rss: 300,1249 startRss: 3001250 },1251 2 ->1252 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1253 )1254}12551256[State 43]1257{1258 main::scheduler::done: Set("fat"),1259 main::scheduler::errored: Set(),1260 main::scheduler::estimate: 1960,1261 main::scheduler::externalKills: 2,1262 main::scheduler::mode: Parallel,1263 main::scheduler::solo: [],1264 main::scheduler::todo: Set("a", "b", "huge"),1265 main::scheduler::workers:1266 Map(1267 0 ->1268 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1269 1 ->1270 {1271 alive: true,1272 heap: 300,1273 job: "c",1274 phase: Busy,1275 rss: 300,1276 startRss: 3001277 },1278 2 ->1279 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1280 )1281}12821283[State 44]1284{1285 main::scheduler::done: Set("fat"),1286 main::scheduler::errored: Set(),1287 main::scheduler::estimate: 1960,1288 main::scheduler::externalKills: 2,1289 main::scheduler::mode: Parallel,1290 main::scheduler::solo: [],1291 main::scheduler::todo: Set("a", "b", "huge"),1292 main::scheduler::workers:1293 Map(1294 0 ->1295 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1296 1 ->1297 {1298 alive: true,1299 heap: 300,1300 job: "c",1301 phase: Busy,1302 rss: 300,1303 startRss: 3001304 },1305 2 ->1306 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1307 )1308}13091310[State 45]1311{1312 main::scheduler::done: Set("fat"),1313 main::scheduler::errored: Set(),1314 main::scheduler::estimate: 1960,1315 main::scheduler::externalKills: 2,1316 main::scheduler::mode: Parallel,1317 main::scheduler::solo: [],1318 main::scheduler::todo: Set("a", "b", "huge"),1319 main::scheduler::workers:1320 Map(1321 0 ->1322 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1323 1 ->1324 {1325 alive: true,1326 heap: 300,1327 job: "c",1328 phase: Busy,1329 rss: 300,1330 startRss: 3001331 },1332 2 ->1333 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1334 )1335}13361337[State 46]1338{1339 main::scheduler::done: Set("fat"),1340 main::scheduler::errored: Set(),1341 main::scheduler::estimate: 1960,1342 main::scheduler::externalKills: 2,1343 main::scheduler::mode: Parallel,1344 main::scheduler::solo: [],1345 main::scheduler::todo: Set("a", "b", "huge"),1346 main::scheduler::workers:1347 Map(1348 0 ->1349 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1350 1 ->1351 {1352 alive: true,1353 heap: 300,1354 job: "c",1355 phase: Busy,1356 rss: 300,1357 startRss: 3001358 },1359 2 ->1360 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1361 )1362}13631364[State 47]1365{1366 main::scheduler::done: Set("fat"),1367 main::scheduler::errored: Set(),1368 main::scheduler::estimate: 1960,1369 main::scheduler::externalKills: 2,1370 main::scheduler::mode: Parallel,1371 main::scheduler::solo: [],1372 main::scheduler::todo: Set("a", "b", "huge"),1373 main::scheduler::workers:1374 Map(1375 0 ->1376 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1377 1 ->1378 {1379 alive: true,1380 heap: 300,1381 job: "c",1382 phase: Busy,1383 rss: 300,1384 startRss: 3001385 },1386 2 ->1387 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1388 )1389}13901391[State 48]1392{1393 main::scheduler::done: Set("fat"),1394 main::scheduler::errored: Set(),1395 main::scheduler::estimate: 1960,1396 main::scheduler::externalKills: 2,1397 main::scheduler::mode: Parallel,1398 main::scheduler::solo: [],1399 main::scheduler::todo: Set("a", "b", "huge"),1400 main::scheduler::workers:1401 Map(1402 0 ->1403 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1404 1 ->1405 {1406 alive: true,1407 heap: 300,1408 job: "c",1409 phase: Busy,1410 rss: 1100,1411 startRss: 3001412 },1413 2 ->1414 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1415 )1416}14171418[State 49]1419{1420 main::scheduler::done: Set("fat"),1421 main::scheduler::errored: Set(),1422 main::scheduler::estimate: 1960,1423 main::scheduler::externalKills: 2,1424 main::scheduler::mode: Parallel,1425 main::scheduler::solo: [],1426 main::scheduler::todo: Set("a", "b", "huge"),1427 main::scheduler::workers:1428 Map(1429 0 ->1430 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1431 1 ->1432 {1433 alive: true,1434 heap: 300,1435 job: "c",1436 phase: Busy,1437 rss: 1100,1438 startRss: 3001439 },1440 2 ->1441 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1442 )1443}14441445[State 50]1446{1447 main::scheduler::done: Set("fat"),1448 main::scheduler::errored: Set(),1449 main::scheduler::estimate: 1960,1450 main::scheduler::externalKills: 2,1451 main::scheduler::mode: Parallel,1452 main::scheduler::solo: [],1453 main::scheduler::todo: Set("a", "b", "huge"),1454 main::scheduler::workers:1455 Map(1456 0 ->1457 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1458 1 ->1459 {1460 alive: true,1461 heap: 300,1462 job: "c",1463 phase: Busy,1464 rss: 1100,1465 startRss: 3001466 },1467 2 ->1468 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1469 )1470}14711472[State 51]1473{1474 main::scheduler::done: Set("fat"),1475 main::scheduler::errored: Set(),1476 main::scheduler::estimate: 1960,1477 main::scheduler::externalKills: 2,1478 main::scheduler::mode: Parallel,1479 main::scheduler::solo: [],1480 main::scheduler::todo: Set("a", "b", "huge"),1481 main::scheduler::workers:1482 Map(1483 0 ->1484 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1485 1 ->1486 {1487 alive: true,1488 heap: 300,1489 job: "c",1490 phase: Busy,1491 rss: 1100,1492 startRss: 3001493 },1494 2 ->1495 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1496 )1497}14981499[State 52]1500{1501 main::scheduler::done: Set("c", "fat"),1502 main::scheduler::errored: Set(),1503 main::scheduler::estimate: 1920,1504 main::scheduler::externalKills: 2,1505 main::scheduler::mode: Parallel,1506 main::scheduler::solo: [],1507 main::scheduler::todo: Set("a", "b", "huge"),1508 main::scheduler::workers:1509 Map(1510 0 ->1511 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1512 1 ->1513 {1514 alive: true,1515 heap: 700,1516 job: "",1517 phase: Starting,1518 rss: 700,1519 startRss: 3001520 },1521 2 ->1522 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1523 )1524}15251526[State 53]1527{1528 main::scheduler::done: Set("c", "fat"),1529 main::scheduler::errored: Set(),1530 main::scheduler::estimate: 1920,1531 main::scheduler::externalKills: 2,1532 main::scheduler::mode: Parallel,1533 main::scheduler::solo: [],1534 main::scheduler::todo: Set("a", "b"),1535 main::scheduler::workers:1536 Map(1537 0 ->1538 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1539 1 ->1540 {1541 alive: true,1542 heap: 700,1543 job: "",1544 phase: Starting,1545 rss: 700,1546 startRss: 3001547 },1548 2 ->1549 {1550 alive: true,1551 heap: 300,1552 job: "huge",1553 phase: Busy,1554 rss: 300,1555 startRss: 3001556 }1557 )1558}15591560[State 54]1561{1562 main::scheduler::done: Set("c", "fat"),1563 main::scheduler::errored: Set(),1564 main::scheduler::estimate: 1920,1565 main::scheduler::externalKills: 2,1566 main::scheduler::mode: Parallel,1567 main::scheduler::solo: [],1568 main::scheduler::todo: Set("a", "b"),1569 main::scheduler::workers:1570 Map(1571 0 ->1572 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1573 1 ->1574 {1575 alive: true,1576 heap: 700,1577 job: "",1578 phase: Starting,1579 rss: 700,1580 startRss: 3001581 },1582 2 ->1583 {1584 alive: true,1585 heap: 300,1586 job: "huge",1587 phase: Busy,1588 rss: 300,1589 startRss: 3001590 }1591 )1592}15931594[State 55]1595{1596 main::scheduler::done: Set("c", "fat"),1597 main::scheduler::errored: Set(),1598 main::scheduler::estimate: 1920,1599 main::scheduler::externalKills: 2,1600 main::scheduler::mode: Parallel,1601 main::scheduler::solo: [],1602 main::scheduler::todo: Set("a", "b"),1603 main::scheduler::workers:1604 Map(1605 0 ->1606 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1607 1 ->1608 {1609 alive: true,1610 heap: 700,1611 job: "",1612 phase: Starting,1613 rss: 700,1614 startRss: 3001615 },1616 2 ->1617 {1618 alive: true,1619 heap: 300,1620 job: "huge",1621 phase: Busy,1622 rss: 300,1623 startRss: 3001624 }1625 )1626}16271628[State 56]1629{1630 main::scheduler::done: Set("c", "fat"),1631 main::scheduler::errored: Set(),1632 main::scheduler::estimate: 1920,1633 main::scheduler::externalKills: 2,1634 main::scheduler::mode: Parallel,1635 main::scheduler::solo: [],1636 main::scheduler::todo: Set("a", "b"),1637 main::scheduler::workers:1638 Map(1639 0 ->1640 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1641 1 ->1642 {1643 alive: true,1644 heap: 700,1645 job: "",1646 phase: Starting,1647 rss: 700,1648 startRss: 3001649 },1650 2 ->1651 {1652 alive: true,1653 heap: 300,1654 job: "huge",1655 phase: Busy,1656 rss: 300,1657 startRss: 3001658 }1659 )1660}16611662[State 57]1663{1664 main::scheduler::done: Set("c", "fat"),1665 main::scheduler::errored: Set(),1666 main::scheduler::estimate: 1920,1667 main::scheduler::externalKills: 2,1668 main::scheduler::mode: Parallel,1669 main::scheduler::solo: [],1670 main::scheduler::todo: Set("a", "b"),1671 main::scheduler::workers:1672 Map(1673 0 ->1674 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1675 1 ->1676 {1677 alive: true,1678 heap: 700,1679 job: "",1680 phase: Starting,1681 rss: 700,1682 startRss: 3001683 },1684 2 ->1685 {1686 alive: true,1687 heap: 300,1688 job: "huge",1689 phase: Busy,1690 rss: 300,1691 startRss: 3001692 }1693 )1694}16951696[State 58]1697{1698 main::scheduler::done: Set("c", "fat"),1699 main::scheduler::errored: Set(),1700 main::scheduler::estimate: 1920,1701 main::scheduler::externalKills: 2,1702 main::scheduler::mode: Parallel,1703 main::scheduler::solo: [],1704 main::scheduler::todo: Set("a", "b"),1705 main::scheduler::workers:1706 Map(1707 0 ->1708 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1709 1 ->1710 {1711 alive: true,1712 heap: 700,1713 job: "",1714 phase: Starting,1715 rss: 700,1716 startRss: 3001717 },1718 2 ->1719 {1720 alive: true,1721 heap: 300,1722 job: "huge",1723 phase: Busy,1724 rss: 5300,1725 startRss: 3001726 }1727 )1728}17291730[State 59]1731{1732 main::scheduler::done: Set("c", "fat"),1733 main::scheduler::errored: Set(),1734 main::scheduler::estimate: 5000,1735 main::scheduler::externalKills: 2,1736 main::scheduler::mode: Parallel,1737 main::scheduler::solo: [],1738 main::scheduler::todo: Set("a", "b"),1739 main::scheduler::workers:1740 Map(1741 0 ->1742 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1743 1 ->1744 {1745 alive: true,1746 heap: 700,1747 job: "",1748 phase: Starting,1749 rss: 700,1750 startRss: 3001751 },1752 2 ->1753 {1754 alive: true,1755 heap: 300,1756 job: "huge",1757 phase: Killed,1758 rss: 5300,1759 startRss: 3001760 }1761 )1762}17631764[State 60]1765{1766 main::scheduler::done: Set("c", "fat"),1767 main::scheduler::errored: Set(),1768 main::scheduler::estimate: 5000,1769 main::scheduler::externalKills: 2,1770 main::scheduler::mode: Parallel,1771 main::scheduler::solo: [],1772 main::scheduler::todo: Set("a", "b"),1773 main::scheduler::workers:1774 Map(1775 0 ->1776 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1777 1 ->1778 {1779 alive: true,1780 heap: 700,1781 job: "",1782 phase: Starting,1783 rss: 700,1784 startRss: 3001785 },1786 2 ->1787 {1788 alive: true,1789 heap: 300,1790 job: "huge",1791 phase: Killed,1792 rss: 5300,1793 startRss: 3001794 }1795 )1796}17971798[State 61]1799{1800 main::scheduler::done: Set("c", "fat"),1801 main::scheduler::errored: Set(),1802 main::scheduler::estimate: 5000,1803 main::scheduler::externalKills: 2,1804 main::scheduler::mode: Parallel,1805 main::scheduler::solo: ["huge"],1806 main::scheduler::todo: Set("a", "b"),1807 main::scheduler::workers:1808 Map(1809 0 ->1810 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1811 1 ->1812 {1813 alive: true,1814 heap: 700,1815 job: "",1816 phase: Starting,1817 rss: 700,1818 startRss: 3001819 },1820 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1821 )1822}18231824[State 62]1825{1826 main::scheduler::done: Set("c", "fat"),1827 main::scheduler::errored: Set(),1828 main::scheduler::estimate: 5000,1829 main::scheduler::externalKills: 2,1830 main::scheduler::mode: Parallel,1831 main::scheduler::solo: ["huge"],1832 main::scheduler::todo: Set("a", "b"),1833 main::scheduler::workers:1834 Map(1835 0 ->1836 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1837 1 ->1838 {1839 alive: true,1840 heap: 700,1841 job: "",1842 phase: Starting,1843 rss: 700,1844 startRss: 3001845 },1846 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1847 )1848}18491850[State 63]1851{1852 main::scheduler::done: Set("c", "fat"),1853 main::scheduler::errored: Set(),1854 main::scheduler::estimate: 5000,1855 main::scheduler::externalKills: 2,1856 main::scheduler::mode: Parallel,1857 main::scheduler::solo: ["huge"],1858 main::scheduler::todo: Set("a", "b"),1859 main::scheduler::workers:1860 Map(1861 0 ->1862 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1863 1 ->1864 {1865 alive: true,1866 heap: 700,1867 job: "",1868 phase: Starting,1869 rss: 700,1870 startRss: 3001871 },1872 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1873 )1874}18751876[State 64]1877{1878 main::scheduler::done: Set("c", "fat"),1879 main::scheduler::errored: Set(),1880 main::scheduler::estimate: 5000,1881 main::scheduler::externalKills: 2,1882 main::scheduler::mode: Parallel,1883 main::scheduler::solo: ["huge"],1884 main::scheduler::todo: Set("a", "b"),1885 main::scheduler::workers:1886 Map(1887 0 ->1888 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1889 1 ->1890 {1891 alive: true,1892 heap: 700,1893 job: "",1894 phase: Starting,1895 rss: 700,1896 startRss: 3001897 },1898 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1899 )1900}19011902[State 65]1903{1904 main::scheduler::done: Set("c", "fat"),1905 main::scheduler::errored: Set(),1906 main::scheduler::estimate: 5000,1907 main::scheduler::externalKills: 2,1908 main::scheduler::mode: Parallel,1909 main::scheduler::solo: ["huge"],1910 main::scheduler::todo: Set("a", "b"),1911 main::scheduler::workers:1912 Map(1913 0 ->1914 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1915 1 ->1916 {1917 alive: true,1918 heap: 700,1919 job: "",1920 phase: Starting,1921 rss: 700,1922 startRss: 3001923 },1924 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1925 )1926}19271928[State 66]1929{1930 main::scheduler::done: Set("c", "fat"),1931 main::scheduler::errored: Set(),1932 main::scheduler::estimate: 5000,1933 main::scheduler::externalKills: 2,1934 main::scheduler::mode: Parallel,1935 main::scheduler::solo: ["huge"],1936 main::scheduler::todo: Set("a", "b"),1937 main::scheduler::workers:1938 Map(1939 0 ->1940 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1941 1 ->1942 {1943 alive: true,1944 heap: 700,1945 job: "",1946 phase: Starting,1947 rss: 700,1948 startRss: 3001949 },1950 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1951 )1952}19531954[State 67]1955{1956 main::scheduler::done: Set("c", "fat"),1957 main::scheduler::errored: Set(),1958 main::scheduler::estimate: 5000,1959 main::scheduler::externalKills: 2,1960 main::scheduler::mode: Parallel,1961 main::scheduler::solo: ["huge"],1962 main::scheduler::todo: Set("a", "b"),1963 main::scheduler::workers:1964 Map(1965 0 ->1966 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1967 1 ->1968 {1969 alive: true,1970 heap: 700,1971 job: "",1972 phase: Starting,1973 rss: 700,1974 startRss: 3001975 },1976 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1977 )1978}19791980[State 68]1981{1982 main::scheduler::done: Set("c", "fat"),1983 main::scheduler::errored: Set(),1984 main::scheduler::estimate: 5000,1985 main::scheduler::externalKills: 2,1986 main::scheduler::mode: Parallel,1987 main::scheduler::solo: ["huge"],1988 main::scheduler::todo: Set("a", "b"),1989 main::scheduler::workers:1990 Map(1991 0 ->1992 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1993 1 ->1994 {1995 alive: true,1996 heap: 700,1997 job: "",1998 phase: Starting,1999 rss: 700,2000 startRss: 3002001 },2002 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2003 )2004}20052006[State 69]2007{2008 main::scheduler::done: Set("c", "fat"),2009 main::scheduler::errored: Set(),2010 main::scheduler::estimate: 5000,2011 main::scheduler::externalKills: 2,2012 main::scheduler::mode: Parallel,2013 main::scheduler::solo: ["huge"],2014 main::scheduler::todo: Set("a", "b"),2015 main::scheduler::workers:2016 Map(2017 0 ->2018 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2019 1 ->2020 {2021 alive: true,2022 heap: 700,2023 job: "",2024 phase: Starting,2025 rss: 700,2026 startRss: 3002027 },2028 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2029 )2030}20312032[State 70]2033{2034 main::scheduler::done: Set("c", "fat"),2035 main::scheduler::errored: Set(),2036 main::scheduler::estimate: 5000,2037 main::scheduler::externalKills: 2,2038 main::scheduler::mode: Parallel,2039 main::scheduler::solo: ["huge"],2040 main::scheduler::todo: Set("a", "b"),2041 main::scheduler::workers:2042 Map(2043 0 ->2044 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2045 1 ->2046 {2047 alive: true,2048 heap: 700,2049 job: "",2050 phase: Starting,2051 rss: 700,2052 startRss: 3002053 },2054 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2055 )2056}20572058[State 71]2059{2060 main::scheduler::done: Set("c", "fat"),2061 main::scheduler::errored: Set(),2062 main::scheduler::estimate: 5000,2063 main::scheduler::externalKills: 2,2064 main::scheduler::mode: Parallel,2065 main::scheduler::solo: ["huge"],2066 main::scheduler::todo: Set("a", "b"),2067 main::scheduler::workers:2068 Map(2069 0 ->2070 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2071 1 ->2072 {2073 alive: true,2074 heap: 700,2075 job: "",2076 phase: Starting,2077 rss: 700,2078 startRss: 3002079 },2080 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2081 )2082}20832084[State 72]2085{2086 main::scheduler::done: Set("c", "fat"),2087 main::scheduler::errored: Set(),2088 main::scheduler::estimate: 5000,2089 main::scheduler::externalKills: 2,2090 main::scheduler::mode: Parallel,2091 main::scheduler::solo: ["huge"],2092 main::scheduler::todo: Set("a", "b"),2093 main::scheduler::workers:2094 Map(2095 0 ->2096 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2097 1 ->2098 {2099 alive: true,2100 heap: 700,2101 job: "",2102 phase: Idle,2103 rss: 700,2104 startRss: 3002105 },2106 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2107 )2108}21092110[State 73]2111{2112 main::scheduler::done: Set("c", "fat"),2113 main::scheduler::errored: Set(),2114 main::scheduler::estimate: 5000,2115 main::scheduler::externalKills: 2,2116 main::scheduler::mode: Parallel,2117 main::scheduler::solo: ["huge"],2118 main::scheduler::todo: Set("a", "b"),2119 main::scheduler::workers:2120 Map(2121 0 ->2122 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2123 1 ->2124 {2125 alive: true,2126 heap: 700,2127 job: "",2128 phase: Idle,2129 rss: 700,2130 startRss: 3002131 },2132 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2133 )2134}21352136[State 74]2137{2138 main::scheduler::done: Set("c", "fat"),2139 main::scheduler::errored: Set(),2140 main::scheduler::estimate: 5000,2141 main::scheduler::externalKills: 2,2142 main::scheduler::mode: Parallel,2143 main::scheduler::solo: ["huge"],2144 main::scheduler::todo: Set("a", "b"),2145 main::scheduler::workers:2146 Map(2147 0 ->2148 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2149 1 ->2150 {2151 alive: true,2152 heap: 700,2153 job: "",2154 phase: Idle,2155 rss: 700,2156 startRss: 3002157 },2158 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2159 )2160}21612162[State 75]2163{2164 main::scheduler::done: Set("c", "fat"),2165 main::scheduler::errored: Set(),2166 main::scheduler::estimate: 5000,2167 main::scheduler::externalKills: 2,2168 main::scheduler::mode: Parallel,2169 main::scheduler::solo: ["huge"],2170 main::scheduler::todo: Set("a", "b"),2171 main::scheduler::workers:2172 Map(2173 0 ->2174 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2175 1 ->2176 {2177 alive: true,2178 heap: 700,2179 job: "",2180 phase: Idle,2181 rss: 700,2182 startRss: 3002183 },2184 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2185 )2186}21872188[State 76]2189{2190 main::scheduler::done: Set("c", "fat"),2191 main::scheduler::errored: Set(),2192 main::scheduler::estimate: 5000,2193 main::scheduler::externalKills: 2,2194 main::scheduler::mode: Solo,2195 main::scheduler::solo: ["huge"],2196 main::scheduler::todo: Set("a", "b"),2197 main::scheduler::workers:2198 Map(2199 0 ->2200 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2201 1 ->2202 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2203 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2204 )2205}22062207[State 77]2208{2209 main::scheduler::done: Set("c", "fat"),2210 main::scheduler::errored: Set(),2211 main::scheduler::estimate: 5000,2212 main::scheduler::externalKills: 2,2213 main::scheduler::mode: Solo,2214 main::scheduler::solo: ["huge"],2215 main::scheduler::todo: Set("a", "b"),2216 main::scheduler::workers:2217 Map(2218 0 ->2219 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2220 1 ->2221 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2222 2 ->2223 {2224 alive: true,2225 heap: 300,2226 job: "",2227 phase: Starting,2228 rss: 300,2229 startRss: 02230 }2231 )2232}22332234[State 78]2235{2236 main::scheduler::done: Set("c", "fat"),2237 main::scheduler::errored: Set(),2238 main::scheduler::estimate: 5000,2239 main::scheduler::externalKills: 2,2240 main::scheduler::mode: Solo,2241 main::scheduler::solo: ["huge"],2242 main::scheduler::todo: Set("a", "b"),2243 main::scheduler::workers:2244 Map(2245 0 ->2246 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2247 1 ->2248 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2249 2 ->2250 {2251 alive: true,2252 heap: 300,2253 job: "",2254 phase: Starting,2255 rss: 300,2256 startRss: 02257 }2258 )2259}22602261[State 79]2262{2263 main::scheduler::done: Set("c", "fat"),2264 main::scheduler::errored: Set(),2265 main::scheduler::estimate: 5000,2266 main::scheduler::externalKills: 2,2267 main::scheduler::mode: Solo,2268 main::scheduler::solo: ["huge"],2269 main::scheduler::todo: Set("a", "b"),2270 main::scheduler::workers:2271 Map(2272 0 ->2273 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2274 1 ->2275 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2276 2 ->2277 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2278 )2279}22802281[State 80]2282{2283 main::scheduler::done: Set("c", "fat"),2284 main::scheduler::errored: Set(),2285 main::scheduler::estimate: 5000,2286 main::scheduler::externalKills: 2,2287 main::scheduler::mode: Solo,2288 main::scheduler::solo: ["huge"],2289 main::scheduler::todo: Set("a", "b"),2290 main::scheduler::workers:2291 Map(2292 0 ->2293 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2294 1 ->2295 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2296 2 ->2297 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2298 )2299}23002301[State 81]2302{2303 main::scheduler::done: Set("c", "fat"),2304 main::scheduler::errored: Set(),2305 main::scheduler::estimate: 5000,2306 main::scheduler::externalKills: 2,2307 main::scheduler::mode: Solo,2308 main::scheduler::solo: ["huge"],2309 main::scheduler::todo: Set("a", "b"),2310 main::scheduler::workers:2311 Map(2312 0 ->2313 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2314 1 ->2315 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2316 2 ->2317 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2318 )2319}23202321[State 82]2322{2323 main::scheduler::done: Set("c", "fat"),2324 main::scheduler::errored: Set(),2325 main::scheduler::estimate: 5000,2326 main::scheduler::externalKills: 2,2327 main::scheduler::mode: Solo,2328 main::scheduler::solo: ["huge"],2329 main::scheduler::todo: Set("a", "b"),2330 main::scheduler::workers:2331 Map(2332 0 ->2333 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2334 1 ->2335 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2336 2 ->2337 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2338 )2339}23402341[State 83]2342{2343 main::scheduler::done: Set("c", "fat"),2344 main::scheduler::errored: Set(),2345 main::scheduler::estimate: 5000,2346 main::scheduler::externalKills: 2,2347 main::scheduler::mode: Solo,2348 main::scheduler::solo: ["huge"],2349 main::scheduler::todo: Set("a", "b"),2350 main::scheduler::workers:2351 Map(2352 0 ->2353 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2354 1 ->2355 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2356 2 ->2357 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2358 )2359}23602361[State 84]2362{2363 main::scheduler::done: Set("c", "fat"),2364 main::scheduler::errored: Set(),2365 main::scheduler::estimate: 5000,2366 main::scheduler::externalKills: 2,2367 main::scheduler::mode: Solo,2368 main::scheduler::solo: ["huge"],2369 main::scheduler::todo: Set("a", "b"),2370 main::scheduler::workers:2371 Map(2372 0 ->2373 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2374 1 ->2375 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2376 2 ->2377 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2378 )2379}23802381[State 85]2382{2383 main::scheduler::done: Set("c", "fat"),2384 main::scheduler::errored: Set(),2385 main::scheduler::estimate: 5000,2386 main::scheduler::externalKills: 2,2387 main::scheduler::mode: Solo,2388 main::scheduler::solo: ["huge"],2389 main::scheduler::todo: Set("a", "b"),2390 main::scheduler::workers:2391 Map(2392 0 ->2393 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2394 1 ->2395 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2396 2 ->2397 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2398 )2399}24002401[State 86]2402{2403 main::scheduler::done: Set("c", "fat"),2404 main::scheduler::errored: Set(),2405 main::scheduler::estimate: 5000,2406 main::scheduler::externalKills: 2,2407 main::scheduler::mode: Solo,2408 main::scheduler::solo: ["huge"],2409 main::scheduler::todo: Set("a", "b"),2410 main::scheduler::workers:2411 Map(2412 0 ->2413 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2414 1 ->2415 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2416 2 ->2417 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2418 )2419}24202421[State 87]2422{2423 main::scheduler::done: Set("c", "fat"),2424 main::scheduler::errored: Set(),2425 main::scheduler::estimate: 5000,2426 main::scheduler::externalKills: 2,2427 main::scheduler::mode: Solo,2428 main::scheduler::solo: ["huge"],2429 main::scheduler::todo: Set("a", "b"),2430 main::scheduler::workers:2431 Map(2432 0 ->2433 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2434 1 ->2435 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2436 2 ->2437 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2438 )2439}24402441[State 88]2442{2443 main::scheduler::done: Set("c", "fat"),2444 main::scheduler::errored: Set(),2445 main::scheduler::estimate: 5000,2446 main::scheduler::externalKills: 2,2447 main::scheduler::mode: Solo,2448 main::scheduler::solo: [],2449 main::scheduler::todo: Set("a", "b"),2450 main::scheduler::workers:2451 Map(2452 0 ->2453 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2454 1 ->2455 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2456 2 ->2457 {2458 alive: true,2459 heap: 300,2460 job: "huge",2461 phase: Busy,2462 rss: 300,2463 startRss: 3002464 }2465 )2466}24672468[State 89]2469{2470 main::scheduler::done: Set("c", "fat"),2471 main::scheduler::errored: Set(),2472 main::scheduler::estimate: 5000,2473 main::scheduler::externalKills: 2,2474 main::scheduler::mode: Solo,2475 main::scheduler::solo: [],2476 main::scheduler::todo: Set("a", "b"),2477 main::scheduler::workers:2478 Map(2479 0 ->2480 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2481 1 ->2482 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2483 2 ->2484 {2485 alive: true,2486 heap: 300,2487 job: "huge",2488 phase: Busy,2489 rss: 5300,2490 startRss: 3002491 }2492 )2493}24942495[State 90]2496{2497 main::scheduler::done: Set("c", "fat"),2498 main::scheduler::errored: Set(),2499 main::scheduler::estimate: 5000,2500 main::scheduler::externalKills: 2,2501 main::scheduler::mode: Solo,2502 main::scheduler::solo: [],2503 main::scheduler::todo: Set("a", "b"),2504 main::scheduler::workers:2505 Map(2506 0 ->2507 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2508 1 ->2509 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2510 2 ->2511 {2512 alive: true,2513 heap: 300,2514 job: "huge",2515 phase: Killed,2516 rss: 5300,2517 startRss: 3002518 }2519 )2520}25212522[State 91]2523{2524 main::scheduler::done: Set("c", "fat"),2525 main::scheduler::errored: Set(),2526 main::scheduler::estimate: 5000,2527 main::scheduler::externalKills: 2,2528 main::scheduler::mode: Solo,2529 main::scheduler::solo: [],2530 main::scheduler::todo: Set("a", "b"),2531 main::scheduler::workers:2532 Map(2533 0 ->2534 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2535 1 ->2536 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2537 2 ->2538 {2539 alive: true,2540 heap: 300,2541 job: "huge",2542 phase: Killed,2543 rss: 5300,2544 startRss: 3002545 }2546 )2547}25482549[State 92]2550{2551 main::scheduler::done: Set("c", "fat"),2552 main::scheduler::errored: Set(),2553 main::scheduler::estimate: 5000,2554 main::scheduler::externalKills: 2,2555 main::scheduler::mode: Solo,2556 main::scheduler::solo: [],2557 main::scheduler::todo: Set("a", "b"),2558 main::scheduler::workers:2559 Map(2560 0 ->2561 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2562 1 ->2563 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2564 2 ->2565 {2566 alive: true,2567 heap: 300,2568 job: "huge",2569 phase: Killed,2570 rss: 5300,2571 startRss: 3002572 }2573 )2574}25752576[State 93]2577{2578 main::scheduler::done: Set("c", "fat"),2579 main::scheduler::errored: Set(),2580 main::scheduler::estimate: 5000,2581 main::scheduler::externalKills: 2,2582 main::scheduler::mode: Solo,2583 main::scheduler::solo: [],2584 main::scheduler::todo: Set("a", "b"),2585 main::scheduler::workers:2586 Map(2587 0 ->2588 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2589 1 ->2590 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2591 2 ->2592 {2593 alive: true,2594 heap: 300,2595 job: "huge",2596 phase: Killed,2597 rss: 5300,2598 startRss: 3002599 }2600 )2601}26022603[State 94]2604{2605 main::scheduler::done: Set("c", "fat"),2606 main::scheduler::errored: Set(),2607 main::scheduler::estimate: 5000,2608 main::scheduler::externalKills: 2,2609 main::scheduler::mode: Solo,2610 main::scheduler::solo: [],2611 main::scheduler::todo: Set("a", "b"),2612 main::scheduler::workers:2613 Map(2614 0 ->2615 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2616 1 ->2617 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2618 2 ->2619 {2620 alive: true,2621 heap: 300,2622 job: "huge",2623 phase: Killed,2624 rss: 5300,2625 startRss: 3002626 }2627 )2628}26292630[State 95]2631{2632 main::scheduler::done: Set("c", "fat"),2633 main::scheduler::errored: Set(),2634 main::scheduler::estimate: 5000,2635 main::scheduler::externalKills: 2,2636 main::scheduler::mode: Solo,2637 main::scheduler::solo: [],2638 main::scheduler::todo: Set("a", "b"),2639 main::scheduler::workers:2640 Map(2641 0 ->2642 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2643 1 ->2644 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2645 2 ->2646 {2647 alive: true,2648 heap: 300,2649 job: "huge",2650 phase: Killed,2651 rss: 5300,2652 startRss: 3002653 }2654 )2655}26562657[State 96]2658{2659 main::scheduler::done: Set("c", "fat"),2660 main::scheduler::errored: Set("huge"),2661 main::scheduler::estimate: 5000,2662 main::scheduler::externalKills: 2,2663 main::scheduler::mode: Parallel,2664 main::scheduler::solo: [],2665 main::scheduler::todo: Set("a", "b"),2666 main::scheduler::workers:2667 Map(2668 0 ->2669 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2670 1 ->2671 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2672 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2673 )2674}26752676[State 97]2677{2678 main::scheduler::done: Set("c", "fat"),2679 main::scheduler::errored: Set("huge"),2680 main::scheduler::estimate: 5000,2681 main::scheduler::externalKills: 2,2682 main::scheduler::mode: Parallel,2683 main::scheduler::solo: [],2684 main::scheduler::todo: Set("a", "b"),2685 main::scheduler::workers:2686 Map(2687 0 ->2688 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2689 1 ->2690 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2691 2 ->2692 {2693 alive: true,2694 heap: 300,2695 job: "",2696 phase: Starting,2697 rss: 300,2698 startRss: 02699 }2700 )2701}27022703[State 98]2704{2705 main::scheduler::done: Set("c", "fat"),2706 main::scheduler::errored: Set("huge"),2707 main::scheduler::estimate: 5000,2708 main::scheduler::externalKills: 2,2709 main::scheduler::mode: Parallel,2710 main::scheduler::solo: [],2711 main::scheduler::todo: Set("a", "b"),2712 main::scheduler::workers:2713 Map(2714 0 ->2715 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2716 1 ->2717 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2718 2 ->2719 {2720 alive: true,2721 heap: 300,2722 job: "",2723 phase: Starting,2724 rss: 300,2725 startRss: 02726 }2727 )2728}27292730[State 99]2731{2732 main::scheduler::done: Set("c", "fat"),2733 main::scheduler::errored: Set("huge"),2734 main::scheduler::estimate: 5000,2735 main::scheduler::externalKills: 2,2736 main::scheduler::mode: Parallel,2737 main::scheduler::solo: [],2738 main::scheduler::todo: Set("a", "b"),2739 main::scheduler::workers:2740 Map(2741 0 ->2742 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2743 1 ->2744 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2745 2 ->2746 {2747 alive: true,2748 heap: 300,2749 job: "",2750 phase: Starting,2751 rss: 300,2752 startRss: 02753 }2754 )2755}27562757[State 100]2758{2759 main::scheduler::done: Set("c", "fat"),2760 main::scheduler::errored: Set("huge"),2761 main::scheduler::estimate: 5000,2762 main::scheduler::externalKills: 2,2763 main::scheduler::mode: Parallel,2764 main::scheduler::solo: [],2765 main::scheduler::todo: Set("a", "b"),2766 main::scheduler::workers:2767 Map(2768 0 ->2769 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2770 1 ->2771 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2772 2 ->2773 {2774 alive: true,2775 heap: 300,2776 job: "",2777 phase: Starting,2778 rss: 300,2779 startRss: 02780 }2781 )2782}27832784[State 101]2785{2786 main::scheduler::done: Set("c", "fat"),2787 main::scheduler::errored: Set("huge"),2788 main::scheduler::estimate: 5000,2789 main::scheduler::externalKills: 2,2790 main::scheduler::mode: Parallel,2791 main::scheduler::solo: [],2792 main::scheduler::todo: Set("a", "b"),2793 main::scheduler::workers:2794 Map(2795 0 ->2796 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2797 1 ->2798 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2799 2 ->2800 {2801 alive: true,2802 heap: 300,2803 job: "",2804 phase: Starting,2805 rss: 300,2806 startRss: 02807 }2808 )2809}28102811[State 102]2812{2813 main::scheduler::done: Set("c", "fat"),2814 main::scheduler::errored: Set("huge"),2815 main::scheduler::estimate: 5000,2816 main::scheduler::externalKills: 2,2817 main::scheduler::mode: Parallel,2818 main::scheduler::solo: [],2819 main::scheduler::todo: Set("a", "b"),2820 main::scheduler::workers:2821 Map(2822 0 ->2823 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2824 1 ->2825 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2826 2 ->2827 {2828 alive: true,2829 heap: 300,2830 job: "",2831 phase: Starting,2832 rss: 300,2833 startRss: 02834 }2835 )2836}28372838[State 103]2839{2840 main::scheduler::done: Set("c", "fat"),2841 main::scheduler::errored: Set("huge"),2842 main::scheduler::estimate: 5000,2843 main::scheduler::externalKills: 2,2844 main::scheduler::mode: Parallel,2845 main::scheduler::solo: [],2846 main::scheduler::todo: Set("a", "b"),2847 main::scheduler::workers:2848 Map(2849 0 ->2850 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2851 1 ->2852 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2853 2 ->2854 {2855 alive: true,2856 heap: 300,2857 job: "",2858 phase: Starting,2859 rss: 300,2860 startRss: 02861 }2862 )2863}28642865[State 104]2866{2867 main::scheduler::done: Set("c", "fat"),2868 main::scheduler::errored: Set("huge"),2869 main::scheduler::estimate: 5000,2870 main::scheduler::externalKills: 2,2871 main::scheduler::mode: Parallel,2872 main::scheduler::solo: [],2873 main::scheduler::todo: Set("a", "b"),2874 main::scheduler::workers:2875 Map(2876 0 ->2877 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2878 1 ->2879 {2880 alive: true,2881 heap: 300,2882 job: "",2883 phase: Starting,2884 rss: 300,2885 startRss: 02886 },2887 2 ->2888 {2889 alive: true,2890 heap: 300,2891 job: "",2892 phase: Starting,2893 rss: 300,2894 startRss: 02895 }2896 )2897}28982899[State 105]2900{2901 main::scheduler::done: Set("c", "fat"),2902 main::scheduler::errored: Set("huge"),2903 main::scheduler::estimate: 5000,2904 main::scheduler::externalKills: 2,2905 main::scheduler::mode: Parallel,2906 main::scheduler::solo: [],2907 main::scheduler::todo: Set("a", "b"),2908 main::scheduler::workers:2909 Map(2910 0 ->2911 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2912 1 ->2913 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2914 2 ->2915 {2916 alive: true,2917 heap: 300,2918 job: "",2919 phase: Starting,2920 rss: 300,2921 startRss: 02922 }2923 )2924}29252926[State 106]2927{2928 main::scheduler::done: Set("c", "fat"),2929 main::scheduler::errored: Set("huge"),2930 main::scheduler::estimate: 5000,2931 main::scheduler::externalKills: 2,2932 main::scheduler::mode: Parallel,2933 main::scheduler::solo: [],2934 main::scheduler::todo: Set("a", "b"),2935 main::scheduler::workers:2936 Map(2937 0 ->2938 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2939 1 ->2940 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2941 2 ->2942 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2943 )2944}29452946[State 107]2947{2948 main::scheduler::done: Set("c", "fat"),2949 main::scheduler::errored: Set("huge"),2950 main::scheduler::estimate: 5000,2951 main::scheduler::externalKills: 2,2952 main::scheduler::mode: Parallel,2953 main::scheduler::solo: [],2954 main::scheduler::todo: Set("a", "b"),2955 main::scheduler::workers:2956 Map(2957 0 ->2958 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2959 1 ->2960 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2961 2 ->2962 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2963 )2964}29652966[State 108]2967{2968 main::scheduler::done: Set("c", "fat"),2969 main::scheduler::errored: Set("huge"),2970 main::scheduler::estimate: 5000,2971 main::scheduler::externalKills: 2,2972 main::scheduler::mode: Parallel,2973 main::scheduler::solo: [],2974 main::scheduler::todo: Set("a", "b"),2975 main::scheduler::workers:2976 Map(2977 0 ->2978 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2979 1 ->2980 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2981 2 ->2982 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2983 )2984}29852986[State 109]2987{2988 main::scheduler::done: Set("c", "fat"),2989 main::scheduler::errored: Set("huge"),2990 main::scheduler::estimate: 5000,2991 main::scheduler::externalKills: 2,2992 main::scheduler::mode: Parallel,2993 main::scheduler::solo: [],2994 main::scheduler::todo: Set("b"),2995 main::scheduler::workers:2996 Map(2997 0 ->2998 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2999 1 ->3000 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3001 2 ->3002 {3003 alive: true,3004 heap: 300,3005 job: "a",3006 phase: Busy,3007 rss: 300,3008 startRss: 3003009 }3010 )3011}30123013[State 110]3014{3015 main::scheduler::done: Set("c", "fat"),3016 main::scheduler::errored: Set("huge"),3017 main::scheduler::estimate: 5000,3018 main::scheduler::externalKills: 2,3019 main::scheduler::mode: Parallel,3020 main::scheduler::solo: [],3021 main::scheduler::todo: Set("b"),3022 main::scheduler::workers:3023 Map(3024 0 ->3025 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3026 1 ->3027 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3028 2 ->3029 {3030 alive: true,3031 heap: 300,3032 job: "a",3033 phase: Busy,3034 rss: 300,3035 startRss: 3003036 }3037 )3038}30393040[State 111]3041{3042 main::scheduler::done: Set("c", "fat"),3043 main::scheduler::errored: Set("huge"),3044 main::scheduler::estimate: 5000,3045 main::scheduler::externalKills: 2,3046 main::scheduler::mode: Parallel,3047 main::scheduler::solo: [],3048 main::scheduler::todo: Set("b"),3049 main::scheduler::workers:3050 Map(3051 0 ->3052 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3053 1 ->3054 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3055 2 ->3056 {3057 alive: true,3058 heap: 300,3059 job: "a",3060 phase: Busy,3061 rss: 400,3062 startRss: 3003063 }3064 )3065}30663067[State 112]3068{3069 main::scheduler::done: Set("c", "fat"),3070 main::scheduler::errored: Set("huge"),3071 main::scheduler::estimate: 5000,3072 main::scheduler::externalKills: 2,3073 main::scheduler::mode: Parallel,3074 main::scheduler::solo: [],3075 main::scheduler::todo: Set("b"),3076 main::scheduler::workers:3077 Map(3078 0 ->3079 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3080 1 ->3081 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3082 2 ->3083 {3084 alive: true,3085 heap: 300,3086 job: "a",3087 phase: Busy,3088 rss: 400,3089 startRss: 3003090 }3091 )3092}30933094[State 113]3095{3096 main::scheduler::done: Set("c", "fat"),3097 main::scheduler::errored: Set("huge"),3098 main::scheduler::estimate: 5000,3099 main::scheduler::externalKills: 2,3100 main::scheduler::mode: Parallel,3101 main::scheduler::solo: [],3102 main::scheduler::todo: Set("b"),3103 main::scheduler::workers:3104 Map(3105 0 ->3106 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3107 1 ->3108 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3109 2 ->3110 {3111 alive: true,3112 heap: 300,3113 job: "a",3114 phase: Busy,3115 rss: 400,3116 startRss: 3003117 }3118 )3119}31203121[State 114]3122{3123 main::scheduler::done: Set("a", "c", "fat"),3124 main::scheduler::errored: Set("huge"),3125 main::scheduler::estimate: 4900,3126 main::scheduler::externalKills: 2,3127 main::scheduler::mode: Parallel,3128 main::scheduler::solo: [],3129 main::scheduler::todo: Set("b"),3130 main::scheduler::workers:3131 Map(3132 0 ->3133 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3134 1 ->3135 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3136 2 ->3137 {3138 alive: true,3139 heap: 350,3140 job: "",3141 phase: Starting,3142 rss: 350,3143 startRss: 3003144 }3145 )3146}31473148[State 115]3149{3150 main::scheduler::done: Set("a", "c", "fat"),3151 main::scheduler::errored: Set("huge"),3152 main::scheduler::estimate: 4900,3153 main::scheduler::externalKills: 2,3154 main::scheduler::mode: Parallel,3155 main::scheduler::solo: [],3156 main::scheduler::todo: Set("b"),3157 main::scheduler::workers:3158 Map(3159 0 ->3160 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3161 1 ->3162 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3163 2 ->3164 {3165 alive: true,3166 heap: 350,3167 job: "",3168 phase: Idle,3169 rss: 350,3170 startRss: 3003171 }3172 )3173}31743175[State 116]3176{3177 main::scheduler::done: Set("a", "c", "fat"),3178 main::scheduler::errored: Set("huge"),3179 main::scheduler::estimate: 4900,3180 main::scheduler::externalKills: 2,3181 main::scheduler::mode: Parallel,3182 main::scheduler::solo: [],3183 main::scheduler::todo: Set(),3184 main::scheduler::workers:3185 Map(3186 0 ->3187 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3188 1 ->3189 {3190 alive: true,3191 heap: 300,3192 job: "b",3193 phase: Busy,3194 rss: 300,3195 startRss: 3003196 },3197 2 ->3198 {3199 alive: true,3200 heap: 350,3201 job: "",3202 phase: Idle,3203 rss: 350,3204 startRss: 3003205 }3206 )3207}32083209[State 117]3210{3211 main::scheduler::done: Set("a", "c", "fat"),3212 main::scheduler::errored: Set("huge"),3213 main::scheduler::estimate: 4900,3214 main::scheduler::externalKills: 2,3215 main::scheduler::mode: Parallel,3216 main::scheduler::solo: [],3217 main::scheduler::todo: Set(),3218 main::scheduler::workers:3219 Map(3220 0 ->3221 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3222 1 ->3223 {3224 alive: true,3225 heap: 300,3226 job: "b",3227 phase: Busy,3228 rss: 300,3229 startRss: 3003230 },3231 2 ->3232 {3233 alive: true,3234 heap: 350,3235 job: "",3236 phase: Idle,3237 rss: 350,3238 startRss: 3003239 }3240 )3241}32423243[State 118]3244{3245 main::scheduler::done: Set("a", "c", "fat"),3246 main::scheduler::errored: Set("huge"),3247 main::scheduler::estimate: 4900,3248 main::scheduler::externalKills: 2,3249 main::scheduler::mode: Parallel,3250 main::scheduler::solo: [],3251 main::scheduler::todo: Set(),3252 main::scheduler::workers:3253 Map(3254 0 ->3255 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3256 1 ->3257 {3258 alive: true,3259 heap: 300,3260 job: "b",3261 phase: Busy,3262 rss: 300,3263 startRss: 3003264 },3265 2 ->3266 {3267 alive: true,3268 heap: 350,3269 job: "",3270 phase: Idle,3271 rss: 350,3272 startRss: 3003273 }3274 )3275}32763277[State 119]3278{3279 main::scheduler::done: Set("a", "c", "fat"),3280 main::scheduler::errored: Set("huge"),3281 main::scheduler::estimate: 4900,3282 main::scheduler::externalKills: 2,3283 main::scheduler::mode: Parallel,3284 main::scheduler::solo: [],3285 main::scheduler::todo: Set(),3286 main::scheduler::workers:3287 Map(3288 0 ->3289 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3290 1 ->3291 {3292 alive: true,3293 heap: 300,3294 job: "b",3295 phase: Busy,3296 rss: 300,3297 startRss: 3003298 },3299 2 ->3300 {3301 alive: true,3302 heap: 350,3303 job: "",3304 phase: Idle,3305 rss: 350,3306 startRss: 3003307 }3308 )3309}33103311[State 120]3312{3313 main::scheduler::done: Set("a", "c", "fat"),3314 main::scheduler::errored: Set("huge"),3315 main::scheduler::estimate: 4900,3316 main::scheduler::externalKills: 2,3317 main::scheduler::mode: Parallel,3318 main::scheduler::solo: [],3319 main::scheduler::todo: Set(),3320 main::scheduler::workers:3321 Map(3322 0 ->3323 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3324 1 ->3325 {3326 alive: true,3327 heap: 300,3328 job: "b",3329 phase: Busy,3330 rss: 300,3331 startRss: 3003332 },3333 2 ->3334 {3335 alive: true,3336 heap: 350,3337 job: "",3338 phase: Idle,3339 rss: 350,3340 startRss: 3003341 }3342 )3343}33443345[State 121]3346{3347 main::scheduler::done: Set("a", "c", "fat"),3348 main::scheduler::errored: Set("huge"),3349 main::scheduler::estimate: 4900,3350 main::scheduler::externalKills: 2,3351 main::scheduler::mode: Parallel,3352 main::scheduler::solo: [],3353 main::scheduler::todo: Set(),3354 main::scheduler::workers:3355 Map(3356 0 ->3357 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3358 1 ->3359 {3360 alive: true,3361 heap: 300,3362 job: "b",3363 phase: Busy,3364 rss: 300,3365 startRss: 3003366 },3367 2 ->3368 {3369 alive: true,3370 heap: 350,3371 job: "",3372 phase: Idle,3373 rss: 350,3374 startRss: 3003375 }3376 )3377}33783379[State 122]3380{3381 main::scheduler::done: Set("a", "c", "fat"),3382 main::scheduler::errored: Set("huge"),3383 main::scheduler::estimate: 4900,3384 main::scheduler::externalKills: 2,3385 main::scheduler::mode: Parallel,3386 main::scheduler::solo: [],3387 main::scheduler::todo: Set(),3388 main::scheduler::workers:3389 Map(3390 0 ->3391 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3392 1 ->3393 {3394 alive: true,3395 heap: 300,3396 job: "b",3397 phase: Busy,3398 rss: 300,3399 startRss: 3003400 },3401 2 ->3402 {3403 alive: true,3404 heap: 350,3405 job: "",3406 phase: Idle,3407 rss: 350,3408 startRss: 3003409 }3410 )3411}34123413[State 123]3414{3415 main::scheduler::done: Set("a", "c", "fat"),3416 main::scheduler::errored: Set("huge"),3417 main::scheduler::estimate: 4900,3418 main::scheduler::externalKills: 2,3419 main::scheduler::mode: Parallel,3420 main::scheduler::solo: [],3421 main::scheduler::todo: Set(),3422 main::scheduler::workers:3423 Map(3424 0 ->3425 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3426 1 ->3427 {3428 alive: true,3429 heap: 300,3430 job: "b",3431 phase: Busy,3432 rss: 700,3433 startRss: 3003434 },3435 2 ->3436 {3437 alive: true,3438 heap: 350,3439 job: "",3440 phase: Idle,3441 rss: 350,3442 startRss: 3003443 }3444 )3445}34463447[State 124]3448{3449 main::scheduler::done: Set("a", "c", "fat"),3450 main::scheduler::errored: Set("huge"),3451 main::scheduler::estimate: 4900,3452 main::scheduler::externalKills: 2,3453 main::scheduler::mode: Parallel,3454 main::scheduler::solo: [],3455 main::scheduler::todo: Set(),3456 main::scheduler::workers:3457 Map(3458 0 ->3459 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3460 1 ->3461 {3462 alive: true,3463 heap: 300,3464 job: "b",3465 phase: Busy,3466 rss: 700,3467 startRss: 3003468 },3469 2 ->3470 {3471 alive: true,3472 heap: 350,3473 job: "",3474 phase: Idle,3475 rss: 350,3476 startRss: 3003477 }3478 )3479}34803481[State 125]3482{3483 main::scheduler::done: Set("a", "c", "fat"),3484 main::scheduler::errored: Set("huge"),3485 main::scheduler::estimate: 4900,3486 main::scheduler::externalKills: 2,3487 main::scheduler::mode: Parallel,3488 main::scheduler::solo: [],3489 main::scheduler::todo: Set(),3490 main::scheduler::workers:3491 Map(3492 0 ->3493 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3494 1 ->3495 {3496 alive: true,3497 heap: 300,3498 job: "b",3499 phase: Busy,3500 rss: 700,3501 startRss: 3003502 },3503 2 ->3504 {3505 alive: true,3506 heap: 350,3507 job: "",3508 phase: Idle,3509 rss: 350,3510 startRss: 3003511 }3512 )3513}35143515[State 126]3516{3517 main::scheduler::done: Set("a", "c", "fat"),3518 main::scheduler::errored: Set("huge"),3519 main::scheduler::estimate: 4900,3520 main::scheduler::externalKills: 2,3521 main::scheduler::mode: Parallel,3522 main::scheduler::solo: [],3523 main::scheduler::todo: Set(),3524 main::scheduler::workers:3525 Map(3526 0 ->3527 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3528 1 ->3529 {3530 alive: true,3531 heap: 300,3532 job: "b",3533 phase: Busy,3534 rss: 700,3535 startRss: 3003536 },3537 2 ->3538 {3539 alive: true,3540 heap: 350,3541 job: "",3542 phase: Idle,3543 rss: 350,3544 startRss: 3003545 }3546 )3547}35483549[State 127]3550{3551 main::scheduler::done: Set("a", "c", "fat"),3552 main::scheduler::errored: Set("huge"),3553 main::scheduler::estimate: 4900,3554 main::scheduler::externalKills: 2,3555 main::scheduler::mode: Parallel,3556 main::scheduler::solo: [],3557 main::scheduler::todo: Set(),3558 main::scheduler::workers:3559 Map(3560 0 ->3561 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3562 1 ->3563 {3564 alive: true,3565 heap: 300,3566 job: "b",3567 phase: Busy,3568 rss: 700,3569 startRss: 3003570 },3571 2 ->3572 {3573 alive: true,3574 heap: 350,3575 job: "",3576 phase: Idle,3577 rss: 350,3578 startRss: 3003579 }3580 )3581}35823583[State 128]3584{3585 main::scheduler::done: Set("a", "b", "c", "fat"),3586 main::scheduler::errored: Set("huge"),3587 main::scheduler::estimate: 4802,3588 main::scheduler::externalKills: 2,3589 main::scheduler::mode: Parallel,3590 main::scheduler::solo: [],3591 main::scheduler::todo: Set(),3592 main::scheduler::workers:3593 Map(3594 0 ->3595 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3596 1 ->3597 {3598 alive: true,3599 heap: 500,3600 job: "",3601 phase: Starting,3602 rss: 500,3603 startRss: 3003604 },3605 2 ->3606 {3607 alive: true,3608 heap: 350,3609 job: "",3610 phase: Idle,3611 rss: 350,3612 startRss: 3003613 }3614 )3615}36163617[State 129]3618{3619 main::scheduler::done: Set("a", "b", "c", "fat"),3620 main::scheduler::errored: Set("huge"),3621 main::scheduler::estimate: 4802,3622 main::scheduler::externalKills: 2,3623 main::scheduler::mode: Parallel,3624 main::scheduler::solo: [],3625 main::scheduler::todo: Set(),3626 main::scheduler::workers:3627 Map(3628 0 ->3629 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3630 1 ->3631 {3632 alive: true,3633 heap: 500,3634 job: "",3635 phase: Starting,3636 rss: 500,3637 startRss: 3003638 },3639 2 ->3640 {3641 alive: true,3642 heap: 350,3643 job: "",3644 phase: Idle,3645 rss: 350,3646 startRss: 3003647 }3648 )3649}36503651[State 130]3652{3653 main::scheduler::done: Set("a", "b", "c", "fat"),3654 main::scheduler::errored: Set("huge"),3655 main::scheduler::estimate: 4802,3656 main::scheduler::externalKills: 2,3657 main::scheduler::mode: Parallel,3658 main::scheduler::solo: [],3659 main::scheduler::todo: Set(),3660 main::scheduler::workers:3661 Map(3662 0 ->3663 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3664 1 ->3665 {3666 alive: true,3667 heap: 500,3668 job: "",3669 phase: Idle,3670 rss: 500,3671 startRss: 3003672 },3673 2 ->3674 {3675 alive: true,3676 heap: 350,3677 job: "",3678 phase: Idle,3679 rss: 350,3680 startRss: 3003681 }3682 )3683}36843685[State 131]3686{3687 main::scheduler::done: Set("a", "b", "c", "fat"),3688 main::scheduler::errored: Set("huge"),3689 main::scheduler::estimate: 4802,3690 main::scheduler::externalKills: 2,3691 main::scheduler::mode: Parallel,3692 main::scheduler::solo: [],3693 main::scheduler::todo: Set(),3694 main::scheduler::workers:3695 Map(3696 0 ->3697 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3698 1 ->3699 {3700 alive: true,3701 heap: 500,3702 job: "",3703 phase: Idle,3704 rss: 500,3705 startRss: 3003706 },3707 2 ->3708 {3709 alive: true,3710 heap: 350,3711 job: "",3712 phase: Idle,3713 rss: 350,3714 startRss: 3003715 }3716 )3717}37183719[State 132]3720{3721 main::scheduler::done: Set("a", "b", "c", "fat"),3722 main::scheduler::errored: Set("huge"),3723 main::scheduler::estimate: 4802,3724 main::scheduler::externalKills: 2,3725 main::scheduler::mode: Parallel,3726 main::scheduler::solo: [],3727 main::scheduler::todo: Set(),3728 main::scheduler::workers:3729 Map(3730 0 ->3731 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3732 1 ->3733 {3734 alive: true,3735 heap: 500,3736 job: "",3737 phase: Idle,3738 rss: 500,3739 startRss: 3003740 },3741 2 ->3742 {3743 alive: true,3744 heap: 350,3745 job: "",3746 phase: Idle,3747 rss: 350,3748 startRss: 3003749 }3750 )3751}37523753[State 133]3754{3755 main::scheduler::done: Set("a", "b", "c", "fat"),3756 main::scheduler::errored: Set("huge"),3757 main::scheduler::estimate: 4802,3758 main::scheduler::externalKills: 2,3759 main::scheduler::mode: Parallel,3760 main::scheduler::solo: [],3761 main::scheduler::todo: Set(),3762 main::scheduler::workers:3763 Map(3764 0 ->3765 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3766 1 ->3767 {3768 alive: true,3769 heap: 500,3770 job: "",3771 phase: Idle,3772 rss: 500,3773 startRss: 3003774 },3775 2 ->3776 {3777 alive: true,3778 heap: 350,3779 job: "",3780 phase: Idle,3781 rss: 350,3782 startRss: 3003783 }3784 )3785}37863787[State 134]3788{3789 main::scheduler::done: Set("a", "b", "c", "fat"),3790 main::scheduler::errored: Set("huge"),3791 main::scheduler::estimate: 4802,3792 main::scheduler::externalKills: 2,3793 main::scheduler::mode: Parallel,3794 main::scheduler::solo: [],3795 main::scheduler::todo: Set(),3796 main::scheduler::workers:3797 Map(3798 0 ->3799 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3800 1 ->3801 {3802 alive: true,3803 heap: 500,3804 job: "",3805 phase: Idle,3806 rss: 500,3807 startRss: 3003808 },3809 2 ->3810 {3811 alive: true,3812 heap: 350,3813 job: "",3814 phase: Idle,3815 rss: 350,3816 startRss: 3003817 }3818 )3819}38203821[State 135]3822{3823 main::scheduler::done: Set("a", "b", "c", "fat"),3824 main::scheduler::errored: Set("huge"),3825 main::scheduler::estimate: 4802,3826 main::scheduler::externalKills: 2,3827 main::scheduler::mode: Parallel,3828 main::scheduler::solo: [],3829 main::scheduler::todo: Set(),3830 main::scheduler::workers:3831 Map(3832 0 ->3833 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3834 1 ->3835 {3836 alive: true,3837 heap: 500,3838 job: "",3839 phase: Idle,3840 rss: 500,3841 startRss: 3003842 },3843 2 ->3844 {3845 alive: true,3846 heap: 350,3847 job: "",3848 phase: Idle,3849 rss: 350,3850 startRss: 3003851 }3852 )3853}38543855[State 136]3856{3857 main::scheduler::done: Set("a", "b", "c", "fat"),3858 main::scheduler::errored: Set("huge"),3859 main::scheduler::estimate: 4802,3860 main::scheduler::externalKills: 2,3861 main::scheduler::mode: Parallel,3862 main::scheduler::solo: [],3863 main::scheduler::todo: Set(),3864 main::scheduler::workers:3865 Map(3866 0 ->3867 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3868 1 ->3869 {3870 alive: true,3871 heap: 500,3872 job: "",3873 phase: Idle,3874 rss: 500,3875 startRss: 3003876 },3877 2 ->3878 {3879 alive: true,3880 heap: 350,3881 job: "",3882 phase: Idle,3883 rss: 350,3884 startRss: 3003885 }3886 )3887}38883889[State 137]3890{3891 main::scheduler::done: Set("a", "b", "c", "fat"),3892 main::scheduler::errored: Set("huge"),3893 main::scheduler::estimate: 4802,3894 main::scheduler::externalKills: 2,3895 main::scheduler::mode: Parallel,3896 main::scheduler::solo: [],3897 main::scheduler::todo: Set(),3898 main::scheduler::workers:3899 Map(3900 0 ->3901 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3902 1 ->3903 {3904 alive: true,3905 heap: 500,3906 job: "",3907 phase: Idle,3908 rss: 500,3909 startRss: 3003910 },3911 2 ->3912 {3913 alive: true,3914 heap: 350,3915 job: "",3916 phase: Exiting,3917 rss: 350,3918 startRss: 3003919 }3920 )3921}39223923[State 138]3924{3925 main::scheduler::done: Set("a", "b", "c", "fat"),3926 main::scheduler::errored: Set("huge"),3927 main::scheduler::estimate: 4802,3928 main::scheduler::externalKills: 2,3929 main::scheduler::mode: Parallel,3930 main::scheduler::solo: [],3931 main::scheduler::todo: Set(),3932 main::scheduler::workers:3933 Map(3934 0 ->3935 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3936 1 ->3937 {3938 alive: true,3939 heap: 500,3940 job: "",3941 phase: Idle,3942 rss: 500,3943 startRss: 3003944 },3945 2 ->3946 {3947 alive: true,3948 heap: 350,3949 job: "",3950 phase: Exiting,3951 rss: 350,3952 startRss: 3003953 }3954 )3955}39563957[State 139]3958{3959 main::scheduler::done: Set("a", "b", "c", "fat"),3960 main::scheduler::errored: Set("huge"),3961 main::scheduler::estimate: 4802,3962 main::scheduler::externalKills: 2,3963 main::scheduler::mode: Parallel,3964 main::scheduler::solo: [],3965 main::scheduler::todo: Set(),3966 main::scheduler::workers:3967 Map(3968 0 ->3969 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3970 1 ->3971 {3972 alive: true,3973 heap: 500,3974 job: "",3975 phase: Idle,3976 rss: 500,3977 startRss: 3003978 },3979 2 ->3980 {3981 alive: true,3982 heap: 350,3983 job: "",3984 phase: Exiting,3985 rss: 350,3986 startRss: 3003987 }3988 )3989}39903991[State 140]3992{3993 main::scheduler::done: Set("a", "b", "c", "fat"),3994 main::scheduler::errored: Set("huge"),3995 main::scheduler::estimate: 4802,3996 main::scheduler::externalKills: 2,3997 main::scheduler::mode: Parallel,3998 main::scheduler::solo: [],3999 main::scheduler::todo: Set(),4000 main::scheduler::workers:4001 Map(4002 0 ->4003 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4004 1 ->4005 {4006 alive: true,4007 heap: 500,4008 job: "",4009 phase: Idle,4010 rss: 500,4011 startRss: 3004012 },4013 2 ->4014 {4015 alive: true,4016 heap: 350,4017 job: "",4018 phase: Exiting,4019 rss: 350,4020 startRss: 3004021 }4022 )4023}40244025[State 141]4026{4027 main::scheduler::done: Set("a", "b", "c", "fat"),4028 main::scheduler::errored: Set("huge"),4029 main::scheduler::estimate: 4802,4030 main::scheduler::externalKills: 2,4031 main::scheduler::mode: Parallel,4032 main::scheduler::solo: [],4033 main::scheduler::todo: Set(),4034 main::scheduler::workers:4035 Map(4036 0 ->4037 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4038 1 ->4039 {4040 alive: true,4041 heap: 500,4042 job: "",4043 phase: Idle,4044 rss: 500,4045 startRss: 3004046 },4047 2 ->4048 {4049 alive: true,4050 heap: 350,4051 job: "",4052 phase: Exiting,4053 rss: 350,4054 startRss: 3004055 }4056 )4057}40584059[State 142]4060{4061 main::scheduler::done: Set("a", "b", "c", "fat"),4062 main::scheduler::errored: Set("huge"),4063 main::scheduler::estimate: 4802,4064 main::scheduler::externalKills: 2,4065 main::scheduler::mode: Parallel,4066 main::scheduler::solo: [],4067 main::scheduler::todo: Set(),4068 main::scheduler::workers:4069 Map(4070 0 ->4071 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4072 1 ->4073 {4074 alive: true,4075 heap: 500,4076 job: "",4077 phase: Exiting,4078 rss: 500,4079 startRss: 3004080 },4081 2 ->4082 {4083 alive: true,4084 heap: 350,4085 job: "",4086 phase: Exiting,4087 rss: 350,4088 startRss: 3004089 }4090 )4091}40924093[State 143]4094{4095 main::scheduler::done: Set("a", "b", "c", "fat"),4096 main::scheduler::errored: Set("huge"),4097 main::scheduler::estimate: 4802,4098 main::scheduler::externalKills: 2,4099 main::scheduler::mode: Parallel,4100 main::scheduler::solo: [],4101 main::scheduler::todo: Set(),4102 main::scheduler::workers:4103 Map(4104 0 ->4105 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4106 1 ->4107 {4108 alive: true,4109 heap: 500,4110 job: "",4111 phase: Exiting,4112 rss: 500,4113 startRss: 3004114 },4115 2 ->4116 {4117 alive: true,4118 heap: 350,4119 job: "",4120 phase: Exiting,4121 rss: 350,4122 startRss: 3004123 }4124 )4125}41264127[State 144]4128{4129 main::scheduler::done: Set("a", "b", "c", "fat"),4130 main::scheduler::errored: Set("huge"),4131 main::scheduler::estimate: 4802,4132 main::scheduler::externalKills: 2,4133 main::scheduler::mode: Parallel,4134 main::scheduler::solo: [],4135 main::scheduler::todo: Set(),4136 main::scheduler::workers:4137 Map(4138 0 ->4139 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4140 1 ->4141 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4142 2 ->4143 {4144 alive: true,4145 heap: 350,4146 job: "",4147 phase: Exiting,4148 rss: 350,4149 startRss: 3004150 }4151 )4152}41534154[State 145]4155{4156 main::scheduler::done: Set("a", "b", "c", "fat"),4157 main::scheduler::errored: Set("huge"),4158 main::scheduler::estimate: 4802,4159 main::scheduler::externalKills: 2,4160 main::scheduler::mode: Parallel,4161 main::scheduler::solo: [],4162 main::scheduler::todo: Set(),4163 main::scheduler::workers:4164 Map(4165 0 ->4166 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4167 1 ->4168 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4169 2 ->4170 {4171 alive: true,4172 heap: 350,4173 job: "",4174 phase: Exiting,4175 rss: 350,4176 startRss: 3004177 }4178 )4179}41804181[State 146]4182{4183 main::scheduler::done: Set("a", "b", "c", "fat"),4184 main::scheduler::errored: Set("huge"),4185 main::scheduler::estimate: 4802,4186 main::scheduler::externalKills: 2,4187 main::scheduler::mode: Parallel,4188 main::scheduler::solo: [],4189 main::scheduler::todo: Set(),4190 main::scheduler::workers:4191 Map(4192 0 ->4193 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4194 1 ->4195 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4196 2 ->4197 {4198 alive: true,4199 heap: 350,4200 job: "",4201 phase: Exiting,4202 rss: 350,4203 startRss: 3004204 }4205 )4206}42074208[State 147]4209{4210 main::scheduler::done: Set("a", "b", "c", "fat"),4211 main::scheduler::errored: Set("huge"),4212 main::scheduler::estimate: 4802,4213 main::scheduler::externalKills: 2,4214 main::scheduler::mode: Parallel,4215 main::scheduler::solo: [],4216 main::scheduler::todo: Set(),4217 main::scheduler::workers:4218 Map(4219 0 ->4220 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4221 1 ->4222 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4223 2 ->4224 {4225 alive: true,4226 heap: 350,4227 job: "",4228 phase: Exiting,4229 rss: 350,4230 startRss: 3004231 }4232 )4233}42344235[State 148]4236{4237 main::scheduler::done: Set("a", "b", "c", "fat"),4238 main::scheduler::errored: Set("huge"),4239 main::scheduler::estimate: 4802,4240 main::scheduler::externalKills: 2,4241 main::scheduler::mode: Parallel,4242 main::scheduler::solo: [],4243 main::scheduler::todo: Set(),4244 main::scheduler::workers:4245 Map(4246 0 ->4247 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4248 1 ->4249 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4250 2 ->4251 {4252 alive: true,4253 heap: 350,4254 job: "",4255 phase: Exiting,4256 rss: 350,4257 startRss: 3004258 }4259 )4260}42614262[State 149]4263{4264 main::scheduler::done: Set("a", "b", "c", "fat"),4265 main::scheduler::errored: Set("huge"),4266 main::scheduler::estimate: 4802,4267 main::scheduler::externalKills: 2,4268 main::scheduler::mode: Parallel,4269 main::scheduler::solo: [],4270 main::scheduler::todo: Set(),4271 main::scheduler::workers:4272 Map(4273 0 ->4274 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4275 1 ->4276 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4277 2 ->4278 {4279 alive: true,4280 heap: 350,4281 job: "",4282 phase: Exiting,4283 rss: 350,4284 startRss: 3004285 }4286 )4287}42884289[State 150]4290{4291 main::scheduler::done: Set("a", "b", "c", "fat"),4292 main::scheduler::errored: Set("huge"),4293 main::scheduler::estimate: 4802,4294 main::scheduler::externalKills: 2,4295 main::scheduler::mode: Parallel,4296 main::scheduler::solo: [],4297 main::scheduler::todo: Set(),4298 main::scheduler::workers:4299 Map(4300 0 ->4301 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4302 1 ->4303 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4304 2 ->4305 {4306 alive: true,4307 heap: 350,4308 job: "",4309 phase: Exiting,4310 rss: 350,4311 startRss: 3004312 }4313 )4314}43154316[ok] No violation found (660ms at 3030 traces/second).4317Trace length statistics: max=151, min=63, average=128.684318You may increase --max-samples and --max-steps.4319Use --verbosity to produce more (or less) output.4320Use --seed=0xbe464e6442b18d71 --backend=rust to reproduce.43214322 noOomKiller4323 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)43244325 1 passing (2331ms)