nix-eval-jobs-scheduler-spec
checks.aarch64-darwin.scheduler-spec
· build #74
· raw
1Running... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 1s | 677/2000 samples | 2634 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 1s | 677/2000 samples | 2634 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 1s | 1335/2000 samples | 2654 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 1s | 1335/2000 samples | 2654 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 1651/2000 samples | 2654 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 98% | ETA: 1s | 1979/2000 samples | 2653 samples/sAn example execution:23[State 0]4{5 main::scheduler::done: Set(),6 main::scheduler::errored: Set(),7 main::scheduler::estimate: 512,8 main::scheduler::externalKills: 0,9 main::scheduler::mode: Parallel,10 main::scheduler::solo: [],11 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),12 main::scheduler::wasFinished: false,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::wasFinished: false,33 main::scheduler::workers:34 Map(35 0 ->36 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },37 1 ->38 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },39 2 ->40 {41 alive: true,42 heap: 300,43 job: "",44 phase: Starting,45 rss: 300,46 startRss: 047 }48 )49}5051[State 2]52{53 main::scheduler::done: Set(),54 main::scheduler::errored: Set(),55 main::scheduler::estimate: 512,56 main::scheduler::externalKills: 0,57 main::scheduler::mode: Parallel,58 main::scheduler::solo: [],59 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),60 main::scheduler::wasFinished: false,61 main::scheduler::workers:62 Map(63 0 ->64 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },65 1 ->66 {67 alive: true,68 heap: 300,69 job: "",70 phase: Starting,71 rss: 300,72 startRss: 073 },74 2 ->75 {76 alive: true,77 heap: 300,78 job: "",79 phase: Starting,80 rss: 300,81 startRss: 082 }83 )84}8586[State 3]87{88 main::scheduler::done: Set(),89 main::scheduler::errored: Set(),90 main::scheduler::estimate: 512,91 main::scheduler::externalKills: 0,92 main::scheduler::mode: Parallel,93 main::scheduler::solo: [],94 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),95 main::scheduler::wasFinished: false,96 main::scheduler::workers:97 Map(98 0 ->99 {100 alive: true,101 heap: 300,102 job: "",103 phase: Starting,104 rss: 300,105 startRss: 0106 },107 1 ->108 {109 alive: true,110 heap: 300,111 job: "",112 phase: Starting,113 rss: 300,114 startRss: 0115 },116 2 ->117 {118 alive: true,119 heap: 300,120 job: "",121 phase: Starting,122 rss: 300,123 startRss: 0124 }125 )126}127128[State 4]129{130 main::scheduler::done: Set(),131 main::scheduler::errored: Set(),132 main::scheduler::estimate: 512,133 main::scheduler::externalKills: 0,134 main::scheduler::mode: Parallel,135 main::scheduler::solo: [],136 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),137 main::scheduler::wasFinished: false,138 main::scheduler::workers:139 Map(140 0 ->141 {142 alive: true,143 heap: 300,144 job: "",145 phase: Starting,146 rss: 300,147 startRss: 0148 },149 1 ->150 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },151 2 ->152 {153 alive: true,154 heap: 300,155 job: "",156 phase: Starting,157 rss: 300,158 startRss: 0159 }160 )161}162163[State 5]164{165 main::scheduler::done: Set(),166 main::scheduler::errored: Set(),167 main::scheduler::estimate: 512,168 main::scheduler::externalKills: 1,169 main::scheduler::mode: Parallel,170 main::scheduler::solo: [],171 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),172 main::scheduler::wasFinished: false,173 main::scheduler::workers:174 Map(175 0 ->176 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },177 1 ->178 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },179 2 ->180 {181 alive: true,182 heap: 300,183 job: "",184 phase: Starting,185 rss: 300,186 startRss: 0187 }188 )189}190191[State 6]192{193 main::scheduler::done: Set(),194 main::scheduler::errored: Set(),195 main::scheduler::estimate: 512,196 main::scheduler::externalKills: 2,197 main::scheduler::mode: Parallel,198 main::scheduler::solo: [],199 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),200 main::scheduler::wasFinished: false,201 main::scheduler::workers:202 Map(203 0 ->204 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },205 1 ->206 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },207 2 ->208 {209 alive: true,210 heap: 300,211 job: "",212 phase: Starting,213 rss: 300,214 startRss: 0215 }216 )217}218219[State 7]220{221 main::scheduler::done: Set(),222 main::scheduler::errored: Set(),223 main::scheduler::estimate: 512,224 main::scheduler::externalKills: 2,225 main::scheduler::mode: Parallel,226 main::scheduler::solo: [],227 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),228 main::scheduler::wasFinished: false,229 main::scheduler::workers:230 Map(231 0 ->232 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },233 1 ->234 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },235 2 ->236 {237 alive: true,238 heap: 300,239 job: "",240 phase: Starting,241 rss: 300,242 startRss: 0243 }244 )245}246247[State 8]248{249 main::scheduler::done: Set(),250 main::scheduler::errored: Set(),251 main::scheduler::estimate: 512,252 main::scheduler::externalKills: 2,253 main::scheduler::mode: Parallel,254 main::scheduler::solo: [],255 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),256 main::scheduler::wasFinished: false,257 main::scheduler::workers:258 Map(259 0 ->260 {261 alive: true,262 heap: 300,263 job: "",264 phase: Starting,265 rss: 300,266 startRss: 0267 },268 1 ->269 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },270 2 ->271 {272 alive: true,273 heap: 300,274 job: "",275 phase: Starting,276 rss: 300,277 startRss: 0278 }279 )280}281282[State 9]283{284 main::scheduler::done: Set(),285 main::scheduler::errored: Set(),286 main::scheduler::estimate: 512,287 main::scheduler::externalKills: 2,288 main::scheduler::mode: Parallel,289 main::scheduler::solo: [],290 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),291 main::scheduler::wasFinished: false,292 main::scheduler::workers:293 Map(294 0 ->295 {296 alive: true,297 heap: 300,298 job: "",299 phase: Starting,300 rss: 300,301 startRss: 0302 },303 1 ->304 {305 alive: true,306 heap: 300,307 job: "",308 phase: Starting,309 rss: 300,310 startRss: 0311 },312 2 ->313 {314 alive: true,315 heap: 300,316 job: "",317 phase: Starting,318 rss: 300,319 startRss: 0320 }321 )322}323324[State 10]325{326 main::scheduler::done: Set(),327 main::scheduler::errored: Set(),328 main::scheduler::estimate: 512,329 main::scheduler::externalKills: 2,330 main::scheduler::mode: Parallel,331 main::scheduler::solo: [],332 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),333 main::scheduler::wasFinished: false,334 main::scheduler::workers:335 Map(336 0 ->337 {338 alive: true,339 heap: 300,340 job: "",341 phase: Starting,342 rss: 300,343 startRss: 0344 },345 1 ->346 {347 alive: true,348 heap: 300,349 job: "",350 phase: Starting,351 rss: 300,352 startRss: 0353 },354 2 ->355 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }356 )357}358359[State 11]360{361 main::scheduler::done: Set(),362 main::scheduler::errored: Set(),363 main::scheduler::estimate: 512,364 main::scheduler::externalKills: 2,365 main::scheduler::mode: Parallel,366 main::scheduler::solo: [],367 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),368 main::scheduler::wasFinished: false,369 main::scheduler::workers:370 Map(371 0 ->372 {373 alive: true,374 heap: 300,375 job: "",376 phase: Starting,377 rss: 300,378 startRss: 0379 },380 1 ->381 {382 alive: true,383 heap: 300,384 job: "",385 phase: Starting,386 rss: 300,387 startRss: 0388 },389 2 ->390 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }391 )392}393394[State 12]395{396 main::scheduler::done: Set(),397 main::scheduler::errored: Set(),398 main::scheduler::estimate: 512,399 main::scheduler::externalKills: 2,400 main::scheduler::mode: Parallel,401 main::scheduler::solo: [],402 main::scheduler::todo: Set("a", "b", "fat", "huge"),403 main::scheduler::wasFinished: false,404 main::scheduler::workers:405 Map(406 0 ->407 {408 alive: true,409 heap: 300,410 job: "",411 phase: Starting,412 rss: 300,413 startRss: 0414 },415 1 ->416 {417 alive: true,418 heap: 300,419 job: "",420 phase: Starting,421 rss: 300,422 startRss: 0423 },424 2 ->425 {426 alive: true,427 heap: 300,428 job: "c",429 phase: Busy,430 rss: 300,431 startRss: 300432 }433 )434}435436[State 13]437{438 main::scheduler::done: Set(),439 main::scheduler::errored: Set(),440 main::scheduler::estimate: 512,441 main::scheduler::externalKills: 2,442 main::scheduler::mode: Parallel,443 main::scheduler::solo: [],444 main::scheduler::todo: Set("a", "b", "fat", "huge"),445 main::scheduler::wasFinished: false,446 main::scheduler::workers:447 Map(448 0 ->449 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },450 1 ->451 {452 alive: true,453 heap: 300,454 job: "",455 phase: Starting,456 rss: 300,457 startRss: 0458 },459 2 ->460 {461 alive: true,462 heap: 300,463 job: "c",464 phase: Busy,465 rss: 300,466 startRss: 300467 }468 )469}470471[State 14]472{473 main::scheduler::done: Set(),474 main::scheduler::errored: Set(),475 main::scheduler::estimate: 512,476 main::scheduler::externalKills: 2,477 main::scheduler::mode: Parallel,478 main::scheduler::solo: [],479 main::scheduler::todo: Set("a", "b", "fat", "huge"),480 main::scheduler::wasFinished: false,481 main::scheduler::workers:482 Map(483 0 ->484 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },485 1 ->486 {487 alive: true,488 heap: 300,489 job: "",490 phase: Starting,491 rss: 300,492 startRss: 0493 },494 2 ->495 {496 alive: true,497 heap: 300,498 job: "c",499 phase: Busy,500 rss: 1100,501 startRss: 300502 }503 )504}505506[State 15]507{508 main::scheduler::done: Set(),509 main::scheduler::errored: Set(),510 main::scheduler::estimate: 512,511 main::scheduler::externalKills: 2,512 main::scheduler::mode: Parallel,513 main::scheduler::solo: [],514 main::scheduler::todo: Set("b", "fat", "huge"),515 main::scheduler::wasFinished: false,516 main::scheduler::workers:517 Map(518 0 ->519 {520 alive: true,521 heap: 300,522 job: "a",523 phase: Busy,524 rss: 300,525 startRss: 300526 },527 1 ->528 {529 alive: true,530 heap: 300,531 job: "",532 phase: Starting,533 rss: 300,534 startRss: 0535 },536 2 ->537 {538 alive: true,539 heap: 300,540 job: "c",541 phase: Busy,542 rss: 1100,543 startRss: 300544 }545 )546}547548[State 16]549{550 main::scheduler::done: Set(),551 main::scheduler::errored: Set(),552 main::scheduler::estimate: 512,553 main::scheduler::externalKills: 2,554 main::scheduler::mode: Parallel,555 main::scheduler::solo: [],556 main::scheduler::todo: Set("b", "fat", "huge"),557 main::scheduler::wasFinished: false,558 main::scheduler::workers:559 Map(560 0 ->561 {562 alive: true,563 heap: 300,564 job: "a",565 phase: Busy,566 rss: 400,567 startRss: 300568 },569 1 ->570 {571 alive: true,572 heap: 300,573 job: "",574 phase: Starting,575 rss: 300,576 startRss: 0577 },578 2 ->579 {580 alive: true,581 heap: 300,582 job: "c",583 phase: Busy,584 rss: 1100,585 startRss: 300586 }587 )588}589590[State 17]591{592 main::scheduler::done: Set(),593 main::scheduler::errored: Set(),594 main::scheduler::estimate: 800,595 main::scheduler::externalKills: 2,596 main::scheduler::mode: Parallel,597 main::scheduler::solo: [],598 main::scheduler::todo: Set("b", "fat", "huge"),599 main::scheduler::wasFinished: false,600 main::scheduler::workers:601 Map(602 0 ->603 {604 alive: true,605 heap: 300,606 job: "a",607 phase: Busy,608 rss: 400,609 startRss: 300610 },611 1 ->612 {613 alive: true,614 heap: 300,615 job: "",616 phase: Starting,617 rss: 300,618 startRss: 0619 },620 2 ->621 {622 alive: true,623 heap: 300,624 job: "c",625 phase: Busy,626 rss: 1100,627 startRss: 300628 }629 )630}631632[State 18]633{634 main::scheduler::done: Set("c"),635 main::scheduler::errored: Set(),636 main::scheduler::estimate: 784,637 main::scheduler::externalKills: 2,638 main::scheduler::mode: Parallel,639 main::scheduler::solo: [],640 main::scheduler::todo: Set("b", "fat", "huge"),641 main::scheduler::wasFinished: false,642 main::scheduler::workers:643 Map(644 0 ->645 {646 alive: true,647 heap: 300,648 job: "a",649 phase: Busy,650 rss: 400,651 startRss: 300652 },653 1 ->654 {655 alive: true,656 heap: 300,657 job: "",658 phase: Starting,659 rss: 300,660 startRss: 0661 },662 2 ->663 {664 alive: true,665 heap: 700,666 job: "",667 phase: Starting,668 rss: 700,669 startRss: 300670 }671 )672}673674[State 19]675{676 main::scheduler::done: Set("a", "c"),677 main::scheduler::errored: Set(),678 main::scheduler::estimate: 768,679 main::scheduler::externalKills: 2,680 main::scheduler::mode: Parallel,681 main::scheduler::solo: [],682 main::scheduler::todo: Set("b", "fat", "huge"),683 main::scheduler::wasFinished: false,684 main::scheduler::workers:685 Map(686 0 ->687 {688 alive: true,689 heap: 350,690 job: "",691 phase: Starting,692 rss: 350,693 startRss: 300694 },695 1 ->696 {697 alive: true,698 heap: 300,699 job: "",700 phase: Starting,701 rss: 300,702 startRss: 0703 },704 2 ->705 {706 alive: true,707 heap: 700,708 job: "",709 phase: Starting,710 rss: 700,711 startRss: 300712 }713 )714}715716[State 20]717{718 main::scheduler::done: Set("a", "c"),719 main::scheduler::errored: Set(),720 main::scheduler::estimate: 768,721 main::scheduler::externalKills: 2,722 main::scheduler::mode: Parallel,723 main::scheduler::solo: [],724 main::scheduler::todo: Set("b", "fat", "huge"),725 main::scheduler::wasFinished: false,726 main::scheduler::workers:727 Map(728 0 ->729 {730 alive: true,731 heap: 350,732 job: "",733 phase: Starting,734 rss: 350,735 startRss: 300736 },737 1 ->738 {739 alive: true,740 heap: 300,741 job: "",742 phase: Starting,743 rss: 300,744 startRss: 0745 },746 2 ->747 {748 alive: true,749 heap: 700,750 job: "",751 phase: Starting,752 rss: 700,753 startRss: 300754 }755 )756}757758[State 21]759{760 main::scheduler::done: Set("a", "c"),761 main::scheduler::errored: Set(),762 main::scheduler::estimate: 768,763 main::scheduler::externalKills: 2,764 main::scheduler::mode: Parallel,765 main::scheduler::solo: [],766 main::scheduler::todo: Set("b", "fat", "huge"),767 main::scheduler::wasFinished: false,768 main::scheduler::workers:769 Map(770 0 ->771 {772 alive: true,773 heap: 350,774 job: "",775 phase: Starting,776 rss: 350,777 startRss: 300778 },779 1 ->780 {781 alive: true,782 heap: 300,783 job: "",784 phase: Starting,785 rss: 300,786 startRss: 0787 },788 2 ->789 {790 alive: true,791 heap: 700,792 job: "",793 phase: Starting,794 rss: 700,795 startRss: 300796 }797 )798}799800[State 22]801{802 main::scheduler::done: Set("a", "c"),803 main::scheduler::errored: Set(),804 main::scheduler::estimate: 768,805 main::scheduler::externalKills: 2,806 main::scheduler::mode: Parallel,807 main::scheduler::solo: [],808 main::scheduler::todo: Set("b", "fat", "huge"),809 main::scheduler::wasFinished: false,810 main::scheduler::workers:811 Map(812 0 ->813 {814 alive: true,815 heap: 350,816 job: "",817 phase: Idle,818 rss: 350,819 startRss: 300820 },821 1 ->822 {823 alive: true,824 heap: 300,825 job: "",826 phase: Starting,827 rss: 300,828 startRss: 0829 },830 2 ->831 {832 alive: true,833 heap: 700,834 job: "",835 phase: Starting,836 rss: 700,837 startRss: 300838 }839 )840}841842[State 23]843{844 main::scheduler::done: Set("a", "c"),845 main::scheduler::errored: Set(),846 main::scheduler::estimate: 768,847 main::scheduler::externalKills: 2,848 main::scheduler::mode: Parallel,849 main::scheduler::solo: [],850 main::scheduler::todo: Set("b", "fat", "huge"),851 main::scheduler::wasFinished: false,852 main::scheduler::workers:853 Map(854 0 ->855 {856 alive: true,857 heap: 350,858 job: "",859 phase: Idle,860 rss: 350,861 startRss: 300862 },863 1 ->864 {865 alive: true,866 heap: 300,867 job: "",868 phase: Starting,869 rss: 300,870 startRss: 0871 },872 2 ->873 {874 alive: true,875 heap: 700,876 job: "",877 phase: Idle,878 rss: 700,879 startRss: 300880 }881 )882}883884[State 24]885{886 main::scheduler::done: Set("a", "c"),887 main::scheduler::errored: Set(),888 main::scheduler::estimate: 768,889 main::scheduler::externalKills: 2,890 main::scheduler::mode: Parallel,891 main::scheduler::solo: [],892 main::scheduler::todo: Set("b", "fat", "huge"),893 main::scheduler::wasFinished: false,894 main::scheduler::workers:895 Map(896 0 ->897 {898 alive: true,899 heap: 350,900 job: "",901 phase: Idle,902 rss: 350,903 startRss: 300904 },905 1 ->906 {907 alive: true,908 heap: 300,909 job: "",910 phase: Starting,911 rss: 300,912 startRss: 0913 },914 2 ->915 {916 alive: true,917 heap: 700,918 job: "",919 phase: Idle,920 rss: 700,921 startRss: 300922 }923 )924}925926[State 25]927{928 main::scheduler::done: Set("a", "c"),929 main::scheduler::errored: Set(),930 main::scheduler::estimate: 768,931 main::scheduler::externalKills: 2,932 main::scheduler::mode: Parallel,933 main::scheduler::solo: [],934 main::scheduler::todo: Set("b", "fat", "huge"),935 main::scheduler::wasFinished: false,936 main::scheduler::workers:937 Map(938 0 ->939 {940 alive: true,941 heap: 350,942 job: "",943 phase: Idle,944 rss: 350,945 startRss: 300946 },947 1 ->948 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },949 2 ->950 {951 alive: true,952 heap: 700,953 job: "",954 phase: Idle,955 rss: 700,956 startRss: 300957 }958 )959}960961[State 26]962{963 main::scheduler::done: Set("a", "c"),964 main::scheduler::errored: Set(),965 main::scheduler::estimate: 768,966 main::scheduler::externalKills: 2,967 main::scheduler::mode: Parallel,968 main::scheduler::solo: [],969 main::scheduler::todo: Set("b", "fat", "huge"),970 main::scheduler::wasFinished: false,971 main::scheduler::workers:972 Map(973 0 ->974 {975 alive: true,976 heap: 350,977 job: "",978 phase: Idle,979 rss: 350,980 startRss: 300981 },982 1 ->983 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },984 2 ->985 {986 alive: true,987 heap: 700,988 job: "",989 phase: Idle,990 rss: 700,991 startRss: 300992 }993 )994}995996[State 27]997{998 main::scheduler::done: Set("a", "c"),999 main::scheduler::errored: Set(),1000 main::scheduler::estimate: 768,1001 main::scheduler::externalKills: 2,1002 main::scheduler::mode: Parallel,1003 main::scheduler::solo: [],1004 main::scheduler::todo: Set("fat", "huge"),1005 main::scheduler::wasFinished: false,1006 main::scheduler::workers:1007 Map(1008 0 ->1009 {1010 alive: true,1011 heap: 350,1012 job: "",1013 phase: Idle,1014 rss: 350,1015 startRss: 3001016 },1017 1 ->1018 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1019 2 ->1020 {1021 alive: true,1022 heap: 700,1023 job: "b",1024 phase: Busy,1025 rss: 700,1026 startRss: 7001027 }1028 )1029}10301031[State 28]1032{1033 main::scheduler::done: Set("a", "c"),1034 main::scheduler::errored: Set(),1035 main::scheduler::estimate: 768,1036 main::scheduler::externalKills: 2,1037 main::scheduler::mode: Parallel,1038 main::scheduler::solo: [],1039 main::scheduler::todo: Set("huge"),1040 main::scheduler::wasFinished: false,1041 main::scheduler::workers:1042 Map(1043 0 ->1044 {1045 alive: true,1046 heap: 350,1047 job: "fat",1048 phase: Busy,1049 rss: 350,1050 startRss: 3501051 },1052 1 ->1053 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1054 2 ->1055 {1056 alive: true,1057 heap: 700,1058 job: "b",1059 phase: Busy,1060 rss: 700,1061 startRss: 7001062 }1063 )1064}10651066[State 29]1067{1068 main::scheduler::done: Set("a", "c"),1069 main::scheduler::errored: Set(),1070 main::scheduler::estimate: 768,1071 main::scheduler::externalKills: 2,1072 main::scheduler::mode: Parallel,1073 main::scheduler::solo: [],1074 main::scheduler::todo: Set("huge"),1075 main::scheduler::wasFinished: false,1076 main::scheduler::workers:1077 Map(1078 0 ->1079 {1080 alive: true,1081 heap: 350,1082 job: "fat",1083 phase: Busy,1084 rss: 350,1085 startRss: 3501086 },1087 1 ->1088 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1089 2 ->1090 {1091 alive: true,1092 heap: 700,1093 job: "b",1094 phase: Busy,1095 rss: 700,1096 startRss: 7001097 }1098 )1099}11001101[State 30]1102{1103 main::scheduler::done: Set("a", "c"),1104 main::scheduler::errored: Set(),1105 main::scheduler::estimate: 768,1106 main::scheduler::externalKills: 2,1107 main::scheduler::mode: Parallel,1108 main::scheduler::solo: [],1109 main::scheduler::todo: Set("huge"),1110 main::scheduler::wasFinished: false,1111 main::scheduler::workers:1112 Map(1113 0 ->1114 {1115 alive: true,1116 heap: 350,1117 job: "fat",1118 phase: Busy,1119 rss: 350,1120 startRss: 3501121 },1122 1 ->1123 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1124 2 ->1125 {1126 alive: true,1127 heap: 700,1128 job: "b",1129 phase: Busy,1130 rss: 700,1131 startRss: 7001132 }1133 )1134}11351136[State 31]1137{1138 main::scheduler::done: Set("a", "c"),1139 main::scheduler::errored: Set(),1140 main::scheduler::estimate: 768,1141 main::scheduler::externalKills: 2,1142 main::scheduler::mode: Parallel,1143 main::scheduler::solo: [],1144 main::scheduler::todo: Set("huge"),1145 main::scheduler::wasFinished: false,1146 main::scheduler::workers:1147 Map(1148 0 ->1149 {1150 alive: true,1151 heap: 350,1152 job: "fat",1153 phase: Busy,1154 rss: 350,1155 startRss: 3501156 },1157 1 ->1158 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1159 2 ->1160 {1161 alive: true,1162 heap: 700,1163 job: "b",1164 phase: Busy,1165 rss: 700,1166 startRss: 7001167 }1168 )1169}11701171[State 32]1172{1173 main::scheduler::done: Set("a", "c"),1174 main::scheduler::errored: Set(),1175 main::scheduler::estimate: 768,1176 main::scheduler::externalKills: 2,1177 main::scheduler::mode: Parallel,1178 main::scheduler::solo: [],1179 main::scheduler::todo: Set("huge"),1180 main::scheduler::wasFinished: false,1181 main::scheduler::workers:1182 Map(1183 0 ->1184 {1185 alive: true,1186 heap: 350,1187 job: "fat",1188 phase: Busy,1189 rss: 350,1190 startRss: 3501191 },1192 1 ->1193 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1194 2 ->1195 {1196 alive: true,1197 heap: 700,1198 job: "b",1199 phase: Busy,1200 rss: 700,1201 startRss: 7001202 }1203 )1204}12051206[State 33]1207{1208 main::scheduler::done: Set("a", "c"),1209 main::scheduler::errored: Set(),1210 main::scheduler::estimate: 768,1211 main::scheduler::externalKills: 2,1212 main::scheduler::mode: Parallel,1213 main::scheduler::solo: [],1214 main::scheduler::todo: Set("huge"),1215 main::scheduler::wasFinished: false,1216 main::scheduler::workers:1217 Map(1218 0 ->1219 {1220 alive: true,1221 heap: 350,1222 job: "fat",1223 phase: Busy,1224 rss: 350,1225 startRss: 3501226 },1227 1 ->1228 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1229 2 ->1230 {1231 alive: true,1232 heap: 700,1233 job: "b",1234 phase: Busy,1235 rss: 700,1236 startRss: 7001237 }1238 )1239}12401241[State 34]1242{1243 main::scheduler::done: Set("a", "c"),1244 main::scheduler::errored: Set(),1245 main::scheduler::estimate: 768,1246 main::scheduler::externalKills: 2,1247 main::scheduler::mode: Parallel,1248 main::scheduler::solo: [],1249 main::scheduler::todo: Set("huge"),1250 main::scheduler::wasFinished: false,1251 main::scheduler::workers:1252 Map(1253 0 ->1254 {1255 alive: true,1256 heap: 350,1257 job: "fat",1258 phase: Busy,1259 rss: 350,1260 startRss: 3501261 },1262 1 ->1263 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1264 2 ->1265 {1266 alive: true,1267 heap: 700,1268 job: "b",1269 phase: Busy,1270 rss: 700,1271 startRss: 7001272 }1273 )1274}12751276[State 35]1277{1278 main::scheduler::done: Set("a", "c"),1279 main::scheduler::errored: Set(),1280 main::scheduler::estimate: 768,1281 main::scheduler::externalKills: 2,1282 main::scheduler::mode: Parallel,1283 main::scheduler::solo: [],1284 main::scheduler::todo: Set("huge"),1285 main::scheduler::wasFinished: false,1286 main::scheduler::workers:1287 Map(1288 0 ->1289 {1290 alive: true,1291 heap: 350,1292 job: "fat",1293 phase: Busy,1294 rss: 350,1295 startRss: 3501296 },1297 1 ->1298 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1299 2 ->1300 {1301 alive: true,1302 heap: 700,1303 job: "b",1304 phase: Busy,1305 rss: 700,1306 startRss: 7001307 }1308 )1309}13101311[State 36]1312{1313 main::scheduler::done: Set("a", "c"),1314 main::scheduler::errored: Set(),1315 main::scheduler::estimate: 768,1316 main::scheduler::externalKills: 2,1317 main::scheduler::mode: Parallel,1318 main::scheduler::solo: [],1319 main::scheduler::todo: Set("huge"),1320 main::scheduler::wasFinished: false,1321 main::scheduler::workers:1322 Map(1323 0 ->1324 {1325 alive: true,1326 heap: 350,1327 job: "fat",1328 phase: Busy,1329 rss: 350,1330 startRss: 3501331 },1332 1 ->1333 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1334 2 ->1335 {1336 alive: true,1337 heap: 700,1338 job: "b",1339 phase: Busy,1340 rss: 700,1341 startRss: 7001342 }1343 )1344}13451346[State 37]1347{1348 main::scheduler::done: Set("a", "c"),1349 main::scheduler::errored: Set(),1350 main::scheduler::estimate: 768,1351 main::scheduler::externalKills: 2,1352 main::scheduler::mode: Parallel,1353 main::scheduler::solo: [],1354 main::scheduler::todo: Set("huge"),1355 main::scheduler::wasFinished: false,1356 main::scheduler::workers:1357 Map(1358 0 ->1359 {1360 alive: true,1361 heap: 350,1362 job: "fat",1363 phase: Busy,1364 rss: 2350,1365 startRss: 3501366 },1367 1 ->1368 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1369 2 ->1370 {1371 alive: true,1372 heap: 700,1373 job: "b",1374 phase: Busy,1375 rss: 700,1376 startRss: 7001377 }1378 )1379}13801381[State 38]1382{1383 main::scheduler::done: Set("a", "c"),1384 main::scheduler::errored: Set(),1385 main::scheduler::estimate: 2000,1386 main::scheduler::externalKills: 2,1387 main::scheduler::mode: Parallel,1388 main::scheduler::solo: [],1389 main::scheduler::todo: Set("huge"),1390 main::scheduler::wasFinished: false,1391 main::scheduler::workers:1392 Map(1393 0 ->1394 {1395 alive: true,1396 heap: 350,1397 job: "fat",1398 phase: Killed,1399 rss: 2350,1400 startRss: 3501401 },1402 1 ->1403 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1404 2 ->1405 {1406 alive: true,1407 heap: 700,1408 job: "b",1409 phase: Busy,1410 rss: 700,1411 startRss: 7001412 }1413 )1414}14151416[State 39]1417{1418 main::scheduler::done: Set("a", "c"),1419 main::scheduler::errored: Set(),1420 main::scheduler::estimate: 2000,1421 main::scheduler::externalKills: 2,1422 main::scheduler::mode: Parallel,1423 main::scheduler::solo: [],1424 main::scheduler::todo: Set("huge"),1425 main::scheduler::wasFinished: false,1426 main::scheduler::workers:1427 Map(1428 0 ->1429 {1430 alive: true,1431 heap: 350,1432 job: "fat",1433 phase: Killed,1434 rss: 2350,1435 startRss: 3501436 },1437 1 ->1438 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1439 2 ->1440 {1441 alive: true,1442 heap: 700,1443 job: "b",1444 phase: Busy,1445 rss: 1100,1446 startRss: 7001447 }1448 )1449}14501451[State 40]1452{1453 main::scheduler::done: Set("a", "c"),1454 main::scheduler::errored: Set(),1455 main::scheduler::estimate: 2000,1456 main::scheduler::externalKills: 2,1457 main::scheduler::mode: Parallel,1458 main::scheduler::solo: [],1459 main::scheduler::todo: Set("huge"),1460 main::scheduler::wasFinished: false,1461 main::scheduler::workers:1462 Map(1463 0 ->1464 {1465 alive: true,1466 heap: 350,1467 job: "fat",1468 phase: Killed,1469 rss: 2350,1470 startRss: 3501471 },1472 1 ->1473 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1474 2 ->1475 {1476 alive: true,1477 heap: 700,1478 job: "b",1479 phase: Killed,1480 rss: 1100,1481 startRss: 7001482 }1483 )1484}14851486[State 41]1487{1488 main::scheduler::done: Set("a", "c"),1489 main::scheduler::errored: Set(),1490 main::scheduler::estimate: 2000,1491 main::scheduler::externalKills: 2,1492 main::scheduler::mode: Parallel,1493 main::scheduler::solo: [],1494 main::scheduler::todo: Set("huge"),1495 main::scheduler::wasFinished: false,1496 main::scheduler::workers:1497 Map(1498 0 ->1499 {1500 alive: true,1501 heap: 350,1502 job: "fat",1503 phase: Killed,1504 rss: 2350,1505 startRss: 3501506 },1507 1 ->1508 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1509 2 ->1510 {1511 alive: true,1512 heap: 700,1513 job: "b",1514 phase: Killed,1515 rss: 1100,1516 startRss: 7001517 }1518 )1519}15201521[State 42]1522{1523 main::scheduler::done: Set("a", "c"),1524 main::scheduler::errored: Set(),1525 main::scheduler::estimate: 2000,1526 main::scheduler::externalKills: 2,1527 main::scheduler::mode: Parallel,1528 main::scheduler::solo: [],1529 main::scheduler::todo: Set("huge"),1530 main::scheduler::wasFinished: false,1531 main::scheduler::workers:1532 Map(1533 0 ->1534 {1535 alive: true,1536 heap: 350,1537 job: "fat",1538 phase: Killed,1539 rss: 2350,1540 startRss: 3501541 },1542 1 ->1543 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1544 2 ->1545 {1546 alive: true,1547 heap: 700,1548 job: "b",1549 phase: Killed,1550 rss: 1100,1551 startRss: 7001552 }1553 )1554}15551556[State 43]1557{1558 main::scheduler::done: Set("a", "c"),1559 main::scheduler::errored: Set(),1560 main::scheduler::estimate: 2000,1561 main::scheduler::externalKills: 2,1562 main::scheduler::mode: Parallel,1563 main::scheduler::solo: [],1564 main::scheduler::todo: Set("huge"),1565 main::scheduler::wasFinished: false,1566 main::scheduler::workers:1567 Map(1568 0 ->1569 {1570 alive: true,1571 heap: 350,1572 job: "fat",1573 phase: Killed,1574 rss: 2350,1575 startRss: 3501576 },1577 1 ->1578 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1579 2 ->1580 {1581 alive: true,1582 heap: 700,1583 job: "b",1584 phase: Killed,1585 rss: 1100,1586 startRss: 7001587 }1588 )1589}15901591[State 44]1592{1593 main::scheduler::done: Set("a", "c"),1594 main::scheduler::errored: Set(),1595 main::scheduler::estimate: 2000,1596 main::scheduler::externalKills: 2,1597 main::scheduler::mode: Parallel,1598 main::scheduler::solo: ["fat"],1599 main::scheduler::todo: Set("huge"),1600 main::scheduler::wasFinished: false,1601 main::scheduler::workers:1602 Map(1603 0 ->1604 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1605 1 ->1606 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1607 2 ->1608 {1609 alive: true,1610 heap: 700,1611 job: "b",1612 phase: Killed,1613 rss: 1100,1614 startRss: 7001615 }1616 )1617}16181619[State 45]1620{1621 main::scheduler::done: Set("a", "c"),1622 main::scheduler::errored: Set(),1623 main::scheduler::estimate: 2000,1624 main::scheduler::externalKills: 2,1625 main::scheduler::mode: Parallel,1626 main::scheduler::solo: ["fat", "b"],1627 main::scheduler::todo: Set("huge"),1628 main::scheduler::wasFinished: false,1629 main::scheduler::workers:1630 Map(1631 0 ->1632 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1633 1 ->1634 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1635 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1636 )1637}16381639[State 46]1640{1641 main::scheduler::done: Set("a", "c"),1642 main::scheduler::errored: Set(),1643 main::scheduler::estimate: 2000,1644 main::scheduler::externalKills: 2,1645 main::scheduler::mode: Solo,1646 main::scheduler::solo: ["fat", "b"],1647 main::scheduler::todo: Set("huge"),1648 main::scheduler::wasFinished: false,1649 main::scheduler::workers:1650 Map(1651 0 ->1652 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1653 1 ->1654 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1655 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1656 )1657}16581659[State 47]1660{1661 main::scheduler::done: Set("a", "c"),1662 main::scheduler::errored: Set(),1663 main::scheduler::estimate: 2000,1664 main::scheduler::externalKills: 2,1665 main::scheduler::mode: Solo,1666 main::scheduler::solo: ["fat", "b"],1667 main::scheduler::todo: Set("huge"),1668 main::scheduler::wasFinished: false,1669 main::scheduler::workers:1670 Map(1671 0 ->1672 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1673 1 ->1674 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1675 2 ->1676 {1677 alive: true,1678 heap: 300,1679 job: "",1680 phase: Starting,1681 rss: 300,1682 startRss: 01683 }1684 )1685}16861687[State 48]1688{1689 main::scheduler::done: Set("a", "c"),1690 main::scheduler::errored: Set(),1691 main::scheduler::estimate: 2000,1692 main::scheduler::externalKills: 2,1693 main::scheduler::mode: Solo,1694 main::scheduler::solo: ["fat", "b"],1695 main::scheduler::todo: Set("huge"),1696 main::scheduler::wasFinished: false,1697 main::scheduler::workers:1698 Map(1699 0 ->1700 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1701 1 ->1702 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1703 2 ->1704 {1705 alive: true,1706 heap: 300,1707 job: "",1708 phase: Starting,1709 rss: 300,1710 startRss: 01711 }1712 )1713}17141715[State 49]1716{1717 main::scheduler::done: Set("a", "c"),1718 main::scheduler::errored: Set(),1719 main::scheduler::estimate: 2000,1720 main::scheduler::externalKills: 2,1721 main::scheduler::mode: Solo,1722 main::scheduler::solo: ["fat", "b"],1723 main::scheduler::todo: Set("huge"),1724 main::scheduler::wasFinished: false,1725 main::scheduler::workers:1726 Map(1727 0 ->1728 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1729 1 ->1730 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1731 2 ->1732 {1733 alive: true,1734 heap: 300,1735 job: "",1736 phase: Starting,1737 rss: 300,1738 startRss: 01739 }1740 )1741}17421743[State 50]1744{1745 main::scheduler::done: Set("a", "c"),1746 main::scheduler::errored: Set(),1747 main::scheduler::estimate: 2000,1748 main::scheduler::externalKills: 2,1749 main::scheduler::mode: Solo,1750 main::scheduler::solo: ["fat", "b"],1751 main::scheduler::todo: Set("huge"),1752 main::scheduler::wasFinished: false,1753 main::scheduler::workers:1754 Map(1755 0 ->1756 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1757 1 ->1758 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1759 2 ->1760 {1761 alive: true,1762 heap: 300,1763 job: "",1764 phase: Starting,1765 rss: 300,1766 startRss: 01767 }1768 )1769}17701771[State 51]1772{1773 main::scheduler::done: Set("a", "c"),1774 main::scheduler::errored: Set(),1775 main::scheduler::estimate: 2000,1776 main::scheduler::externalKills: 2,1777 main::scheduler::mode: Solo,1778 main::scheduler::solo: ["fat", "b"],1779 main::scheduler::todo: Set("huge"),1780 main::scheduler::wasFinished: false,1781 main::scheduler::workers:1782 Map(1783 0 ->1784 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1785 1 ->1786 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1787 2 ->1788 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1789 )1790}17911792[State 52]1793{1794 main::scheduler::done: Set("a", "c"),1795 main::scheduler::errored: Set(),1796 main::scheduler::estimate: 2000,1797 main::scheduler::externalKills: 2,1798 main::scheduler::mode: Solo,1799 main::scheduler::solo: ["fat"],1800 main::scheduler::todo: Set("huge"),1801 main::scheduler::wasFinished: false,1802 main::scheduler::workers:1803 Map(1804 0 ->1805 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1806 1 ->1807 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1808 2 ->1809 {1810 alive: true,1811 heap: 300,1812 job: "b",1813 phase: Busy,1814 rss: 300,1815 startRss: 3001816 }1817 )1818}18191820[State 53]1821{1822 main::scheduler::done: Set("a", "c"),1823 main::scheduler::errored: Set(),1824 main::scheduler::estimate: 2000,1825 main::scheduler::externalKills: 2,1826 main::scheduler::mode: Solo,1827 main::scheduler::solo: ["fat"],1828 main::scheduler::todo: Set("huge"),1829 main::scheduler::wasFinished: false,1830 main::scheduler::workers:1831 Map(1832 0 ->1833 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1834 1 ->1835 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1836 2 ->1837 {1838 alive: true,1839 heap: 300,1840 job: "b",1841 phase: Busy,1842 rss: 300,1843 startRss: 3001844 }1845 )1846}18471848[State 54]1849{1850 main::scheduler::done: Set("a", "c"),1851 main::scheduler::errored: Set(),1852 main::scheduler::estimate: 2000,1853 main::scheduler::externalKills: 2,1854 main::scheduler::mode: Solo,1855 main::scheduler::solo: ["fat"],1856 main::scheduler::todo: Set("huge"),1857 main::scheduler::wasFinished: false,1858 main::scheduler::workers:1859 Map(1860 0 ->1861 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1862 1 ->1863 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1864 2 ->1865 {1866 alive: true,1867 heap: 300,1868 job: "b",1869 phase: Busy,1870 rss: 700,1871 startRss: 3001872 }1873 )1874}18751876[State 55]1877{1878 main::scheduler::done: Set("a", "c"),1879 main::scheduler::errored: Set(),1880 main::scheduler::estimate: 2000,1881 main::scheduler::externalKills: 2,1882 main::scheduler::mode: Solo,1883 main::scheduler::solo: ["fat"],1884 main::scheduler::todo: Set("huge"),1885 main::scheduler::wasFinished: false,1886 main::scheduler::workers:1887 Map(1888 0 ->1889 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1890 1 ->1891 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1892 2 ->1893 {1894 alive: true,1895 heap: 300,1896 job: "b",1897 phase: Busy,1898 rss: 700,1899 startRss: 3001900 }1901 )1902}19031904[State 56]1905{1906 main::scheduler::done: Set("a", "c"),1907 main::scheduler::errored: Set(),1908 main::scheduler::estimate: 2000,1909 main::scheduler::externalKills: 2,1910 main::scheduler::mode: Solo,1911 main::scheduler::solo: ["fat"],1912 main::scheduler::todo: Set("huge"),1913 main::scheduler::wasFinished: false,1914 main::scheduler::workers:1915 Map(1916 0 ->1917 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1918 1 ->1919 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1920 2 ->1921 {1922 alive: true,1923 heap: 300,1924 job: "b",1925 phase: Busy,1926 rss: 700,1927 startRss: 3001928 }1929 )1930}19311932[State 57]1933{1934 main::scheduler::done: Set("a", "b", "c"),1935 main::scheduler::errored: Set(),1936 main::scheduler::estimate: 1960,1937 main::scheduler::externalKills: 2,1938 main::scheduler::mode: Parallel,1939 main::scheduler::solo: ["fat"],1940 main::scheduler::todo: Set("huge"),1941 main::scheduler::wasFinished: false,1942 main::scheduler::workers:1943 Map(1944 0 ->1945 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1946 1 ->1947 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1948 2 ->1949 {1950 alive: true,1951 heap: 500,1952 job: "",1953 phase: Starting,1954 rss: 500,1955 startRss: 3001956 }1957 )1958}19591960[State 58]1961{1962 main::scheduler::done: Set("a", "b", "c"),1963 main::scheduler::errored: Set(),1964 main::scheduler::estimate: 1960,1965 main::scheduler::externalKills: 2,1966 main::scheduler::mode: Solo,1967 main::scheduler::solo: ["fat"],1968 main::scheduler::todo: Set("huge"),1969 main::scheduler::wasFinished: false,1970 main::scheduler::workers:1971 Map(1972 0 ->1973 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1974 1 ->1975 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1976 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1977 )1978}19791980[State 59]1981{1982 main::scheduler::done: Set("a", "b", "c"),1983 main::scheduler::errored: Set(),1984 main::scheduler::estimate: 1960,1985 main::scheduler::externalKills: 2,1986 main::scheduler::mode: Solo,1987 main::scheduler::solo: ["fat"],1988 main::scheduler::todo: Set("huge"),1989 main::scheduler::wasFinished: false,1990 main::scheduler::workers:1991 Map(1992 0 ->1993 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1994 1 ->1995 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1996 2 ->1997 {1998 alive: true,1999 heap: 300,2000 job: "",2001 phase: Starting,2002 rss: 300,2003 startRss: 02004 }2005 )2006}20072008[State 60]2009{2010 main::scheduler::done: Set("a", "b", "c"),2011 main::scheduler::errored: Set(),2012 main::scheduler::estimate: 1960,2013 main::scheduler::externalKills: 2,2014 main::scheduler::mode: Solo,2015 main::scheduler::solo: ["fat"],2016 main::scheduler::todo: Set("huge"),2017 main::scheduler::wasFinished: false,2018 main::scheduler::workers:2019 Map(2020 0 ->2021 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2022 1 ->2023 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2024 2 ->2025 {2026 alive: true,2027 heap: 300,2028 job: "",2029 phase: Starting,2030 rss: 300,2031 startRss: 02032 }2033 )2034}20352036[State 61]2037{2038 main::scheduler::done: Set("a", "b", "c"),2039 main::scheduler::errored: Set(),2040 main::scheduler::estimate: 1960,2041 main::scheduler::externalKills: 2,2042 main::scheduler::mode: Solo,2043 main::scheduler::solo: ["fat"],2044 main::scheduler::todo: Set("huge"),2045 main::scheduler::wasFinished: false,2046 main::scheduler::workers:2047 Map(2048 0 ->2049 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2050 1 ->2051 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2052 2 ->2053 {2054 alive: true,2055 heap: 300,2056 job: "",2057 phase: Starting,2058 rss: 300,2059 startRss: 02060 }2061 )2062}20632064[State 62]2065{2066 main::scheduler::done: Set("a", "b", "c"),2067 main::scheduler::errored: Set(),2068 main::scheduler::estimate: 1960,2069 main::scheduler::externalKills: 2,2070 main::scheduler::mode: Solo,2071 main::scheduler::solo: ["fat"],2072 main::scheduler::todo: Set("huge"),2073 main::scheduler::wasFinished: false,2074 main::scheduler::workers:2075 Map(2076 0 ->2077 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2078 1 ->2079 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2080 2 ->2081 {2082 alive: true,2083 heap: 300,2084 job: "",2085 phase: Starting,2086 rss: 300,2087 startRss: 02088 }2089 )2090}20912092[State 63]2093{2094 main::scheduler::done: Set("a", "b", "c"),2095 main::scheduler::errored: Set(),2096 main::scheduler::estimate: 1960,2097 main::scheduler::externalKills: 2,2098 main::scheduler::mode: Solo,2099 main::scheduler::solo: ["fat"],2100 main::scheduler::todo: Set("huge"),2101 main::scheduler::wasFinished: false,2102 main::scheduler::workers:2103 Map(2104 0 ->2105 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2106 1 ->2107 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2108 2 ->2109 {2110 alive: true,2111 heap: 300,2112 job: "",2113 phase: Starting,2114 rss: 300,2115 startRss: 02116 }2117 )2118}21192120[State 64]2121{2122 main::scheduler::done: Set("a", "b", "c"),2123 main::scheduler::errored: Set(),2124 main::scheduler::estimate: 1960,2125 main::scheduler::externalKills: 2,2126 main::scheduler::mode: Solo,2127 main::scheduler::solo: ["fat"],2128 main::scheduler::todo: Set("huge"),2129 main::scheduler::wasFinished: false,2130 main::scheduler::workers:2131 Map(2132 0 ->2133 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2134 1 ->2135 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2136 2 ->2137 {2138 alive: true,2139 heap: 300,2140 job: "",2141 phase: Starting,2142 rss: 300,2143 startRss: 02144 }2145 )2146}21472148[State 65]2149{2150 main::scheduler::done: Set("a", "b", "c"),2151 main::scheduler::errored: Set(),2152 main::scheduler::estimate: 1960,2153 main::scheduler::externalKills: 2,2154 main::scheduler::mode: Solo,2155 main::scheduler::solo: ["fat"],2156 main::scheduler::todo: Set("huge"),2157 main::scheduler::wasFinished: false,2158 main::scheduler::workers:2159 Map(2160 0 ->2161 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2162 1 ->2163 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2164 2 ->2165 {2166 alive: true,2167 heap: 300,2168 job: "",2169 phase: Starting,2170 rss: 300,2171 startRss: 02172 }2173 )2174}21752176[State 66]2177{2178 main::scheduler::done: Set("a", "b", "c"),2179 main::scheduler::errored: Set(),2180 main::scheduler::estimate: 1960,2181 main::scheduler::externalKills: 2,2182 main::scheduler::mode: Solo,2183 main::scheduler::solo: ["fat"],2184 main::scheduler::todo: Set("huge"),2185 main::scheduler::wasFinished: false,2186 main::scheduler::workers:2187 Map(2188 0 ->2189 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2190 1 ->2191 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2192 2 ->2193 {2194 alive: true,2195 heap: 300,2196 job: "",2197 phase: Starting,2198 rss: 300,2199 startRss: 02200 }2201 )2202}22032204[State 67]2205{2206 main::scheduler::done: Set("a", "b", "c"),2207 main::scheduler::errored: Set(),2208 main::scheduler::estimate: 1960,2209 main::scheduler::externalKills: 2,2210 main::scheduler::mode: Solo,2211 main::scheduler::solo: ["fat"],2212 main::scheduler::todo: Set("huge"),2213 main::scheduler::wasFinished: false,2214 main::scheduler::workers:2215 Map(2216 0 ->2217 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2218 1 ->2219 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2220 2 ->2221 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2222 )2223}22242225[State 68]2226{2227 main::scheduler::done: Set("a", "b", "c"),2228 main::scheduler::errored: Set(),2229 main::scheduler::estimate: 1960,2230 main::scheduler::externalKills: 2,2231 main::scheduler::mode: Solo,2232 main::scheduler::solo: ["fat"],2233 main::scheduler::todo: Set("huge"),2234 main::scheduler::wasFinished: false,2235 main::scheduler::workers:2236 Map(2237 0 ->2238 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2239 1 ->2240 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2241 2 ->2242 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2243 )2244}22452246[State 69]2247{2248 main::scheduler::done: Set("a", "b", "c"),2249 main::scheduler::errored: Set(),2250 main::scheduler::estimate: 1960,2251 main::scheduler::externalKills: 2,2252 main::scheduler::mode: Solo,2253 main::scheduler::solo: ["fat"],2254 main::scheduler::todo: Set("huge"),2255 main::scheduler::wasFinished: false,2256 main::scheduler::workers:2257 Map(2258 0 ->2259 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2260 1 ->2261 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2262 2 ->2263 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2264 )2265}22662267[State 70]2268{2269 main::scheduler::done: Set("a", "b", "c"),2270 main::scheduler::errored: Set(),2271 main::scheduler::estimate: 1960,2272 main::scheduler::externalKills: 2,2273 main::scheduler::mode: Solo,2274 main::scheduler::solo: ["fat"],2275 main::scheduler::todo: Set("huge"),2276 main::scheduler::wasFinished: false,2277 main::scheduler::workers:2278 Map(2279 0 ->2280 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2281 1 ->2282 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2283 2 ->2284 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2285 )2286}22872288[State 71]2289{2290 main::scheduler::done: Set("a", "b", "c"),2291 main::scheduler::errored: Set(),2292 main::scheduler::estimate: 1960,2293 main::scheduler::externalKills: 2,2294 main::scheduler::mode: Solo,2295 main::scheduler::solo: ["fat"],2296 main::scheduler::todo: Set("huge"),2297 main::scheduler::wasFinished: false,2298 main::scheduler::workers:2299 Map(2300 0 ->2301 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2302 1 ->2303 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2304 2 ->2305 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2306 )2307}23082309[State 72]2310{2311 main::scheduler::done: Set("a", "b", "c"),2312 main::scheduler::errored: Set(),2313 main::scheduler::estimate: 1960,2314 main::scheduler::externalKills: 2,2315 main::scheduler::mode: Solo,2316 main::scheduler::solo: ["fat"],2317 main::scheduler::todo: Set("huge"),2318 main::scheduler::wasFinished: false,2319 main::scheduler::workers:2320 Map(2321 0 ->2322 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2323 1 ->2324 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2325 2 ->2326 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2327 )2328}23292330[State 73]2331{2332 main::scheduler::done: Set("a", "b", "c"),2333 main::scheduler::errored: Set(),2334 main::scheduler::estimate: 1960,2335 main::scheduler::externalKills: 2,2336 main::scheduler::mode: Solo,2337 main::scheduler::solo: ["fat"],2338 main::scheduler::todo: Set("huge"),2339 main::scheduler::wasFinished: false,2340 main::scheduler::workers:2341 Map(2342 0 ->2343 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2344 1 ->2345 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2346 2 ->2347 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2348 )2349}23502351[State 74]2352{2353 main::scheduler::done: Set("a", "b", "c"),2354 main::scheduler::errored: Set(),2355 main::scheduler::estimate: 1960,2356 main::scheduler::externalKills: 2,2357 main::scheduler::mode: Solo,2358 main::scheduler::solo: ["fat"],2359 main::scheduler::todo: Set("huge"),2360 main::scheduler::wasFinished: false,2361 main::scheduler::workers:2362 Map(2363 0 ->2364 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2365 1 ->2366 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2367 2 ->2368 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2369 )2370}23712372[State 75]2373{2374 main::scheduler::done: Set("a", "b", "c"),2375 main::scheduler::errored: Set(),2376 main::scheduler::estimate: 1960,2377 main::scheduler::externalKills: 2,2378 main::scheduler::mode: Solo,2379 main::scheduler::solo: [],2380 main::scheduler::todo: Set("huge"),2381 main::scheduler::wasFinished: false,2382 main::scheduler::workers:2383 Map(2384 0 ->2385 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2386 1 ->2387 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2388 2 ->2389 {2390 alive: true,2391 heap: 300,2392 job: "fat",2393 phase: Busy,2394 rss: 300,2395 startRss: 3002396 }2397 )2398}23992400[State 76]2401{2402 main::scheduler::done: Set("a", "b", "c"),2403 main::scheduler::errored: Set(),2404 main::scheduler::estimate: 1960,2405 main::scheduler::externalKills: 2,2406 main::scheduler::mode: Solo,2407 main::scheduler::solo: [],2408 main::scheduler::todo: Set("huge"),2409 main::scheduler::wasFinished: false,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 {2418 alive: true,2419 heap: 300,2420 job: "fat",2421 phase: Busy,2422 rss: 300,2423 startRss: 3002424 }2425 )2426}24272428[State 77]2429{2430 main::scheduler::done: Set("a", "b", "c"),2431 main::scheduler::errored: Set(),2432 main::scheduler::estimate: 1960,2433 main::scheduler::externalKills: 2,2434 main::scheduler::mode: Solo,2435 main::scheduler::solo: [],2436 main::scheduler::todo: Set("huge"),2437 main::scheduler::wasFinished: false,2438 main::scheduler::workers:2439 Map(2440 0 ->2441 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2442 1 ->2443 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2444 2 ->2445 {2446 alive: true,2447 heap: 300,2448 job: "fat",2449 phase: Busy,2450 rss: 300,2451 startRss: 3002452 }2453 )2454}24552456[State 78]2457{2458 main::scheduler::done: Set("a", "b", "c"),2459 main::scheduler::errored: Set(),2460 main::scheduler::estimate: 1960,2461 main::scheduler::externalKills: 2,2462 main::scheduler::mode: Solo,2463 main::scheduler::solo: [],2464 main::scheduler::todo: Set("huge"),2465 main::scheduler::wasFinished: false,2466 main::scheduler::workers:2467 Map(2468 0 ->2469 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2470 1 ->2471 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2472 2 ->2473 {2474 alive: true,2475 heap: 300,2476 job: "fat",2477 phase: Busy,2478 rss: 300,2479 startRss: 3002480 }2481 )2482}24832484[State 79]2485{2486 main::scheduler::done: Set("a", "b", "c"),2487 main::scheduler::errored: Set(),2488 main::scheduler::estimate: 1960,2489 main::scheduler::externalKills: 2,2490 main::scheduler::mode: Solo,2491 main::scheduler::solo: [],2492 main::scheduler::todo: Set("huge"),2493 main::scheduler::wasFinished: false,2494 main::scheduler::workers:2495 Map(2496 0 ->2497 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2498 1 ->2499 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2500 2 ->2501 {2502 alive: true,2503 heap: 300,2504 job: "fat",2505 phase: Busy,2506 rss: 300,2507 startRss: 3002508 }2509 )2510}25112512[State 80]2513{2514 main::scheduler::done: Set("a", "b", "c"),2515 main::scheduler::errored: Set(),2516 main::scheduler::estimate: 1960,2517 main::scheduler::externalKills: 2,2518 main::scheduler::mode: Solo,2519 main::scheduler::solo: [],2520 main::scheduler::todo: Set("huge"),2521 main::scheduler::wasFinished: false,2522 main::scheduler::workers:2523 Map(2524 0 ->2525 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2526 1 ->2527 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2528 2 ->2529 {2530 alive: true,2531 heap: 300,2532 job: "fat",2533 phase: Busy,2534 rss: 300,2535 startRss: 3002536 }2537 )2538}25392540[State 81]2541{2542 main::scheduler::done: Set("a", "b", "c"),2543 main::scheduler::errored: Set(),2544 main::scheduler::estimate: 1960,2545 main::scheduler::externalKills: 2,2546 main::scheduler::mode: Solo,2547 main::scheduler::solo: [],2548 main::scheduler::todo: Set("huge"),2549 main::scheduler::wasFinished: false,2550 main::scheduler::workers:2551 Map(2552 0 ->2553 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2554 1 ->2555 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2556 2 ->2557 {2558 alive: true,2559 heap: 300,2560 job: "fat",2561 phase: Busy,2562 rss: 300,2563 startRss: 3002564 }2565 )2566}25672568[State 82]2569{2570 main::scheduler::done: Set("a", "b", "c"),2571 main::scheduler::errored: Set(),2572 main::scheduler::estimate: 1960,2573 main::scheduler::externalKills: 2,2574 main::scheduler::mode: Solo,2575 main::scheduler::solo: [],2576 main::scheduler::todo: Set("huge"),2577 main::scheduler::wasFinished: false,2578 main::scheduler::workers:2579 Map(2580 0 ->2581 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2582 1 ->2583 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2584 2 ->2585 {2586 alive: true,2587 heap: 300,2588 job: "fat",2589 phase: Busy,2590 rss: 300,2591 startRss: 3002592 }2593 )2594}25952596[State 83]2597{2598 main::scheduler::done: Set("a", "b", "c"),2599 main::scheduler::errored: Set(),2600 main::scheduler::estimate: 1960,2601 main::scheduler::externalKills: 2,2602 main::scheduler::mode: Solo,2603 main::scheduler::solo: [],2604 main::scheduler::todo: Set("huge"),2605 main::scheduler::wasFinished: false,2606 main::scheduler::workers:2607 Map(2608 0 ->2609 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2610 1 ->2611 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2612 2 ->2613 {2614 alive: true,2615 heap: 300,2616 job: "fat",2617 phase: Busy,2618 rss: 300,2619 startRss: 3002620 }2621 )2622}26232624[State 84]2625{2626 main::scheduler::done: Set("a", "b", "c"),2627 main::scheduler::errored: Set(),2628 main::scheduler::estimate: 1960,2629 main::scheduler::externalKills: 2,2630 main::scheduler::mode: Solo,2631 main::scheduler::solo: [],2632 main::scheduler::todo: Set("huge"),2633 main::scheduler::wasFinished: false,2634 main::scheduler::workers:2635 Map(2636 0 ->2637 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2638 1 ->2639 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2640 2 ->2641 {2642 alive: true,2643 heap: 300,2644 job: "fat",2645 phase: Busy,2646 rss: 2300,2647 startRss: 3002648 }2649 )2650}26512652[State 85]2653{2654 main::scheduler::done: Set("a", "b", "c"),2655 main::scheduler::errored: Set(),2656 main::scheduler::estimate: 2000,2657 main::scheduler::externalKills: 2,2658 main::scheduler::mode: Solo,2659 main::scheduler::solo: [],2660 main::scheduler::todo: Set("huge"),2661 main::scheduler::wasFinished: false,2662 main::scheduler::workers:2663 Map(2664 0 ->2665 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2666 1 ->2667 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2668 2 ->2669 {2670 alive: true,2671 heap: 300,2672 job: "fat",2673 phase: Busy,2674 rss: 2300,2675 startRss: 3002676 }2677 )2678}26792680[State 86]2681{2682 main::scheduler::done: Set("a", "b", "c"),2683 main::scheduler::errored: Set(),2684 main::scheduler::estimate: 2000,2685 main::scheduler::externalKills: 2,2686 main::scheduler::mode: Solo,2687 main::scheduler::solo: [],2688 main::scheduler::todo: Set("huge"),2689 main::scheduler::wasFinished: false,2690 main::scheduler::workers:2691 Map(2692 0 ->2693 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2694 1 ->2695 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2696 2 ->2697 {2698 alive: true,2699 heap: 300,2700 job: "fat",2701 phase: Busy,2702 rss: 2300,2703 startRss: 3002704 }2705 )2706}27072708[State 87]2709{2710 main::scheduler::done: Set("a", "b", "c"),2711 main::scheduler::errored: Set(),2712 main::scheduler::estimate: 2000,2713 main::scheduler::externalKills: 2,2714 main::scheduler::mode: Solo,2715 main::scheduler::solo: [],2716 main::scheduler::todo: Set("huge"),2717 main::scheduler::wasFinished: false,2718 main::scheduler::workers:2719 Map(2720 0 ->2721 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2722 1 ->2723 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2724 2 ->2725 {2726 alive: true,2727 heap: 300,2728 job: "fat",2729 phase: Busy,2730 rss: 2300,2731 startRss: 3002732 }2733 )2734}27352736[State 88]2737{2738 main::scheduler::done: Set("a", "b", "c"),2739 main::scheduler::errored: Set(),2740 main::scheduler::estimate: 2000,2741 main::scheduler::externalKills: 2,2742 main::scheduler::mode: Solo,2743 main::scheduler::solo: [],2744 main::scheduler::todo: Set("huge"),2745 main::scheduler::wasFinished: false,2746 main::scheduler::workers:2747 Map(2748 0 ->2749 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2750 1 ->2751 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2752 2 ->2753 {2754 alive: true,2755 heap: 300,2756 job: "fat",2757 phase: Busy,2758 rss: 2300,2759 startRss: 3002760 }2761 )2762}27632764[State 89]2765{2766 main::scheduler::done: Set("a", "b", "c"),2767 main::scheduler::errored: Set(),2768 main::scheduler::estimate: 2000,2769 main::scheduler::externalKills: 2,2770 main::scheduler::mode: Solo,2771 main::scheduler::solo: [],2772 main::scheduler::todo: Set("huge"),2773 main::scheduler::wasFinished: false,2774 main::scheduler::workers:2775 Map(2776 0 ->2777 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2778 1 ->2779 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2780 2 ->2781 {2782 alive: true,2783 heap: 300,2784 job: "fat",2785 phase: Busy,2786 rss: 2300,2787 startRss: 3002788 }2789 )2790}27912792[State 90]2793{2794 main::scheduler::done: Set("a", "b", "c"),2795 main::scheduler::errored: Set(),2796 main::scheduler::estimate: 2000,2797 main::scheduler::externalKills: 2,2798 main::scheduler::mode: Solo,2799 main::scheduler::solo: [],2800 main::scheduler::todo: Set("huge"),2801 main::scheduler::wasFinished: false,2802 main::scheduler::workers:2803 Map(2804 0 ->2805 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2806 1 ->2807 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2808 2 ->2809 {2810 alive: true,2811 heap: 300,2812 job: "fat",2813 phase: Busy,2814 rss: 2300,2815 startRss: 3002816 }2817 )2818}28192820[State 91]2821{2822 main::scheduler::done: Set("a", "b", "c"),2823 main::scheduler::errored: Set(),2824 main::scheduler::estimate: 2000,2825 main::scheduler::externalKills: 2,2826 main::scheduler::mode: Solo,2827 main::scheduler::solo: [],2828 main::scheduler::todo: Set("huge"),2829 main::scheduler::wasFinished: false,2830 main::scheduler::workers:2831 Map(2832 0 ->2833 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2834 1 ->2835 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2836 2 ->2837 {2838 alive: true,2839 heap: 300,2840 job: "fat",2841 phase: Busy,2842 rss: 2300,2843 startRss: 3002844 }2845 )2846}28472848[State 92]2849{2850 main::scheduler::done: Set("a", "b", "c"),2851 main::scheduler::errored: Set(),2852 main::scheduler::estimate: 2000,2853 main::scheduler::externalKills: 2,2854 main::scheduler::mode: Solo,2855 main::scheduler::solo: [],2856 main::scheduler::todo: Set("huge"),2857 main::scheduler::wasFinished: false,2858 main::scheduler::workers:2859 Map(2860 0 ->2861 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2862 1 ->2863 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2864 2 ->2865 {2866 alive: true,2867 heap: 300,2868 job: "fat",2869 phase: Busy,2870 rss: 2300,2871 startRss: 3002872 }2873 )2874}28752876[State 93]2877{2878 main::scheduler::done: Set("a", "b", "c"),2879 main::scheduler::errored: Set(),2880 main::scheduler::estimate: 2000,2881 main::scheduler::externalKills: 2,2882 main::scheduler::mode: Solo,2883 main::scheduler::solo: [],2884 main::scheduler::todo: Set("huge"),2885 main::scheduler::wasFinished: false,2886 main::scheduler::workers:2887 Map(2888 0 ->2889 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2890 1 ->2891 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2892 2 ->2893 {2894 alive: true,2895 heap: 300,2896 job: "fat",2897 phase: Busy,2898 rss: 2300,2899 startRss: 3002900 }2901 )2902}29032904[State 94]2905{2906 main::scheduler::done: Set("a", "b", "c"),2907 main::scheduler::errored: Set(),2908 main::scheduler::estimate: 2000,2909 main::scheduler::externalKills: 2,2910 main::scheduler::mode: Solo,2911 main::scheduler::solo: [],2912 main::scheduler::todo: Set("huge"),2913 main::scheduler::wasFinished: false,2914 main::scheduler::workers:2915 Map(2916 0 ->2917 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2918 1 ->2919 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2920 2 ->2921 {2922 alive: true,2923 heap: 300,2924 job: "fat",2925 phase: Busy,2926 rss: 2300,2927 startRss: 3002928 }2929 )2930}29312932[State 95]2933{2934 main::scheduler::done: Set("a", "b", "c", "fat"),2935 main::scheduler::errored: Set(),2936 main::scheduler::estimate: 1960,2937 main::scheduler::externalKills: 2,2938 main::scheduler::mode: Parallel,2939 main::scheduler::solo: [],2940 main::scheduler::todo: Set("huge"),2941 main::scheduler::wasFinished: false,2942 main::scheduler::workers:2943 Map(2944 0 ->2945 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2946 1 ->2947 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2948 2 ->2949 {2950 alive: true,2951 heap: 1300,2952 job: "",2953 phase: Starting,2954 rss: 1300,2955 startRss: 3002956 }2957 )2958}29592960[State 96]2961{2962 main::scheduler::done: Set("a", "b", "c", "fat"),2963 main::scheduler::errored: Set(),2964 main::scheduler::estimate: 1960,2965 main::scheduler::externalKills: 2,2966 main::scheduler::mode: Parallel,2967 main::scheduler::solo: [],2968 main::scheduler::todo: Set("huge"),2969 main::scheduler::wasFinished: false,2970 main::scheduler::workers:2971 Map(2972 0 ->2973 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2974 1 ->2975 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2976 2 ->2977 {2978 alive: true,2979 heap: 1300,2980 job: "",2981 phase: Idle,2982 rss: 1300,2983 startRss: 3002984 }2985 )2986}29872988[State 97]2989{2990 main::scheduler::done: Set("a", "b", "c", "fat"),2991 main::scheduler::errored: Set(),2992 main::scheduler::estimate: 1960,2993 main::scheduler::externalKills: 2,2994 main::scheduler::mode: Parallel,2995 main::scheduler::solo: [],2996 main::scheduler::todo: Set("huge"),2997 main::scheduler::wasFinished: false,2998 main::scheduler::workers:2999 Map(3000 0 ->3001 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3002 1 ->3003 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3004 2 ->3005 {3006 alive: true,3007 heap: 1300,3008 job: "",3009 phase: Idle,3010 rss: 1300,3011 startRss: 3003012 }3013 )3014}30153016[State 98]3017{3018 main::scheduler::done: Set("a", "b", "c", "fat"),3019 main::scheduler::errored: Set(),3020 main::scheduler::estimate: 1960,3021 main::scheduler::externalKills: 2,3022 main::scheduler::mode: Parallel,3023 main::scheduler::solo: [],3024 main::scheduler::todo: Set("huge"),3025 main::scheduler::wasFinished: false,3026 main::scheduler::workers:3027 Map(3028 0 ->3029 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3030 1 ->3031 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3032 2 ->3033 {3034 alive: true,3035 heap: 1300,3036 job: "",3037 phase: Idle,3038 rss: 1300,3039 startRss: 3003040 }3041 )3042}30433044[State 99]3045{3046 main::scheduler::done: Set("a", "b", "c", "fat"),3047 main::scheduler::errored: Set(),3048 main::scheduler::estimate: 1960,3049 main::scheduler::externalKills: 2,3050 main::scheduler::mode: Parallel,3051 main::scheduler::solo: [],3052 main::scheduler::todo: Set("huge"),3053 main::scheduler::wasFinished: false,3054 main::scheduler::workers:3055 Map(3056 0 ->3057 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3058 1 ->3059 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3060 2 ->3061 {3062 alive: true,3063 heap: 1300,3064 job: "",3065 phase: Idle,3066 rss: 1300,3067 startRss: 3003068 }3069 )3070}30713072[State 100]3073{3074 main::scheduler::done: Set("a", "b", "c", "fat"),3075 main::scheduler::errored: Set(),3076 main::scheduler::estimate: 1960,3077 main::scheduler::externalKills: 2,3078 main::scheduler::mode: Parallel,3079 main::scheduler::solo: [],3080 main::scheduler::todo: Set("huge"),3081 main::scheduler::wasFinished: false,3082 main::scheduler::workers:3083 Map(3084 0 ->3085 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3086 1 ->3087 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3088 2 ->3089 {3090 alive: true,3091 heap: 1300,3092 job: "",3093 phase: Idle,3094 rss: 1300,3095 startRss: 3003096 }3097 )3098}30993100[State 101]3101{3102 main::scheduler::done: Set("a", "b", "c", "fat"),3103 main::scheduler::errored: Set(),3104 main::scheduler::estimate: 1960,3105 main::scheduler::externalKills: 2,3106 main::scheduler::mode: Parallel,3107 main::scheduler::solo: [],3108 main::scheduler::todo: Set(),3109 main::scheduler::wasFinished: false,3110 main::scheduler::workers:3111 Map(3112 0 ->3113 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3114 1 ->3115 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3116 2 ->3117 {3118 alive: true,3119 heap: 1300,3120 job: "huge",3121 phase: Busy,3122 rss: 1300,3123 startRss: 13003124 }3125 )3126}31273128[State 102]3129{3130 main::scheduler::done: Set("a", "b", "c", "fat"),3131 main::scheduler::errored: Set(),3132 main::scheduler::estimate: 1960,3133 main::scheduler::externalKills: 2,3134 main::scheduler::mode: Parallel,3135 main::scheduler::solo: [],3136 main::scheduler::todo: Set(),3137 main::scheduler::wasFinished: false,3138 main::scheduler::workers:3139 Map(3140 0 ->3141 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3142 1 ->3143 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3144 2 ->3145 {3146 alive: true,3147 heap: 1300,3148 job: "huge",3149 phase: Busy,3150 rss: 1300,3151 startRss: 13003152 }3153 )3154}31553156[State 103]3157{3158 main::scheduler::done: Set("a", "b", "c", "fat"),3159 main::scheduler::errored: Set(),3160 main::scheduler::estimate: 1960,3161 main::scheduler::externalKills: 2,3162 main::scheduler::mode: Parallel,3163 main::scheduler::solo: [],3164 main::scheduler::todo: Set(),3165 main::scheduler::wasFinished: false,3166 main::scheduler::workers:3167 Map(3168 0 ->3169 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3170 1 ->3171 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3172 2 ->3173 {3174 alive: true,3175 heap: 1300,3176 job: "huge",3177 phase: Busy,3178 rss: 1300,3179 startRss: 13003180 }3181 )3182}31833184[State 104]3185{3186 main::scheduler::done: Set("a", "b", "c", "fat"),3187 main::scheduler::errored: Set(),3188 main::scheduler::estimate: 1960,3189 main::scheduler::externalKills: 2,3190 main::scheduler::mode: Parallel,3191 main::scheduler::solo: [],3192 main::scheduler::todo: Set(),3193 main::scheduler::wasFinished: false,3194 main::scheduler::workers:3195 Map(3196 0 ->3197 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3198 1 ->3199 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3200 2 ->3201 {3202 alive: true,3203 heap: 1300,3204 job: "huge",3205 phase: Busy,3206 rss: 1300,3207 startRss: 13003208 }3209 )3210}32113212[State 105]3213{3214 main::scheduler::done: Set("a", "b", "c", "fat"),3215 main::scheduler::errored: Set(),3216 main::scheduler::estimate: 1960,3217 main::scheduler::externalKills: 2,3218 main::scheduler::mode: Parallel,3219 main::scheduler::solo: [],3220 main::scheduler::todo: Set(),3221 main::scheduler::wasFinished: false,3222 main::scheduler::workers:3223 Map(3224 0 ->3225 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3226 1 ->3227 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3228 2 ->3229 {3230 alive: true,3231 heap: 1300,3232 job: "huge",3233 phase: Busy,3234 rss: 1300,3235 startRss: 13003236 }3237 )3238}32393240[State 106]3241{3242 main::scheduler::done: Set("a", "b", "c", "fat"),3243 main::scheduler::errored: Set(),3244 main::scheduler::estimate: 1960,3245 main::scheduler::externalKills: 2,3246 main::scheduler::mode: Parallel,3247 main::scheduler::solo: [],3248 main::scheduler::todo: Set(),3249 main::scheduler::wasFinished: false,3250 main::scheduler::workers:3251 Map(3252 0 ->3253 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3254 1 ->3255 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3256 2 ->3257 {3258 alive: true,3259 heap: 1300,3260 job: "huge",3261 phase: Busy,3262 rss: 1300,3263 startRss: 13003264 }3265 )3266}32673268[State 107]3269{3270 main::scheduler::done: Set("a", "b", "c", "fat"),3271 main::scheduler::errored: Set(),3272 main::scheduler::estimate: 1960,3273 main::scheduler::externalKills: 2,3274 main::scheduler::mode: Parallel,3275 main::scheduler::solo: [],3276 main::scheduler::todo: Set(),3277 main::scheduler::wasFinished: false,3278 main::scheduler::workers:3279 Map(3280 0 ->3281 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3282 1 ->3283 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3284 2 ->3285 {3286 alive: true,3287 heap: 1300,3288 job: "huge",3289 phase: Busy,3290 rss: 1300,3291 startRss: 13003292 }3293 )3294}32953296[State 108]3297{3298 main::scheduler::done: Set("a", "b", "c", "fat"),3299 main::scheduler::errored: Set(),3300 main::scheduler::estimate: 1960,3301 main::scheduler::externalKills: 2,3302 main::scheduler::mode: Parallel,3303 main::scheduler::solo: [],3304 main::scheduler::todo: Set(),3305 main::scheduler::wasFinished: false,3306 main::scheduler::workers:3307 Map(3308 0 ->3309 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3310 1 ->3311 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3312 2 ->3313 {3314 alive: true,3315 heap: 1300,3316 job: "huge",3317 phase: Busy,3318 rss: 1300,3319 startRss: 13003320 }3321 )3322}33233324[State 109]3325{3326 main::scheduler::done: Set("a", "b", "c", "fat"),3327 main::scheduler::errored: Set(),3328 main::scheduler::estimate: 1960,3329 main::scheduler::externalKills: 2,3330 main::scheduler::mode: Parallel,3331 main::scheduler::solo: [],3332 main::scheduler::todo: Set(),3333 main::scheduler::wasFinished: false,3334 main::scheduler::workers:3335 Map(3336 0 ->3337 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3338 1 ->3339 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3340 2 ->3341 {3342 alive: true,3343 heap: 1300,3344 job: "huge",3345 phase: Busy,3346 rss: 1300,3347 startRss: 13003348 }3349 )3350}33513352[State 110]3353{3354 main::scheduler::done: Set("a", "b", "c", "fat"),3355 main::scheduler::errored: Set(),3356 main::scheduler::estimate: 1960,3357 main::scheduler::externalKills: 2,3358 main::scheduler::mode: Parallel,3359 main::scheduler::solo: [],3360 main::scheduler::todo: Set(),3361 main::scheduler::wasFinished: false,3362 main::scheduler::workers:3363 Map(3364 0 ->3365 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3366 1 ->3367 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3368 2 ->3369 {3370 alive: true,3371 heap: 1300,3372 job: "huge",3373 phase: Busy,3374 rss: 1300,3375 startRss: 13003376 }3377 )3378}33793380[State 111]3381{3382 main::scheduler::done: Set("a", "b", "c", "fat"),3383 main::scheduler::errored: Set(),3384 main::scheduler::estimate: 1960,3385 main::scheduler::externalKills: 2,3386 main::scheduler::mode: Parallel,3387 main::scheduler::solo: [],3388 main::scheduler::todo: Set(),3389 main::scheduler::wasFinished: false,3390 main::scheduler::workers:3391 Map(3392 0 ->3393 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3394 1 ->3395 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3396 2 ->3397 {3398 alive: true,3399 heap: 1300,3400 job: "huge",3401 phase: Busy,3402 rss: 1300,3403 startRss: 13003404 }3405 )3406}34073408[State 112]3409{3410 main::scheduler::done: Set("a", "b", "c", "fat"),3411 main::scheduler::errored: Set(),3412 main::scheduler::estimate: 1960,3413 main::scheduler::externalKills: 2,3414 main::scheduler::mode: Parallel,3415 main::scheduler::solo: [],3416 main::scheduler::todo: Set(),3417 main::scheduler::wasFinished: false,3418 main::scheduler::workers:3419 Map(3420 0 ->3421 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3422 1 ->3423 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3424 2 ->3425 {3426 alive: true,3427 heap: 1300,3428 job: "huge",3429 phase: Busy,3430 rss: 1300,3431 startRss: 13003432 }3433 )3434}34353436[State 113]3437{3438 main::scheduler::done: Set("a", "b", "c", "fat"),3439 main::scheduler::errored: Set(),3440 main::scheduler::estimate: 1960,3441 main::scheduler::externalKills: 2,3442 main::scheduler::mode: Parallel,3443 main::scheduler::solo: [],3444 main::scheduler::todo: Set(),3445 main::scheduler::wasFinished: false,3446 main::scheduler::workers:3447 Map(3448 0 ->3449 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3450 1 ->3451 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3452 2 ->3453 {3454 alive: true,3455 heap: 1300,3456 job: "huge",3457 phase: Busy,3458 rss: 1300,3459 startRss: 13003460 }3461 )3462}34633464[State 114]3465{3466 main::scheduler::done: Set("a", "b", "c", "fat"),3467 main::scheduler::errored: Set(),3468 main::scheduler::estimate: 1960,3469 main::scheduler::externalKills: 2,3470 main::scheduler::mode: Parallel,3471 main::scheduler::solo: [],3472 main::scheduler::todo: Set(),3473 main::scheduler::wasFinished: false,3474 main::scheduler::workers:3475 Map(3476 0 ->3477 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3478 1 ->3479 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3480 2 ->3481 {3482 alive: true,3483 heap: 1300,3484 job: "huge",3485 phase: Busy,3486 rss: 1300,3487 startRss: 13003488 }3489 )3490}34913492[State 115]3493{3494 main::scheduler::done: Set("a", "b", "c", "fat"),3495 main::scheduler::errored: Set(),3496 main::scheduler::estimate: 1960,3497 main::scheduler::externalKills: 2,3498 main::scheduler::mode: Parallel,3499 main::scheduler::solo: [],3500 main::scheduler::todo: Set(),3501 main::scheduler::wasFinished: false,3502 main::scheduler::workers:3503 Map(3504 0 ->3505 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3506 1 ->3507 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3508 2 ->3509 {3510 alive: true,3511 heap: 1300,3512 job: "huge",3513 phase: Busy,3514 rss: 1300,3515 startRss: 13003516 }3517 )3518}35193520[State 116]3521{3522 main::scheduler::done: Set("a", "b", "c", "fat"),3523 main::scheduler::errored: Set(),3524 main::scheduler::estimate: 1960,3525 main::scheduler::externalKills: 2,3526 main::scheduler::mode: Parallel,3527 main::scheduler::solo: [],3528 main::scheduler::todo: Set(),3529 main::scheduler::wasFinished: false,3530 main::scheduler::workers:3531 Map(3532 0 ->3533 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3534 1 ->3535 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3536 2 ->3537 {3538 alive: true,3539 heap: 1300,3540 job: "huge",3541 phase: Busy,3542 rss: 1300,3543 startRss: 13003544 }3545 )3546}35473548[State 117]3549{3550 main::scheduler::done: Set("a", "b", "c", "fat"),3551 main::scheduler::errored: Set(),3552 main::scheduler::estimate: 1960,3553 main::scheduler::externalKills: 2,3554 main::scheduler::mode: Parallel,3555 main::scheduler::solo: [],3556 main::scheduler::todo: Set(),3557 main::scheduler::wasFinished: false,3558 main::scheduler::workers:3559 Map(3560 0 ->3561 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3562 1 ->3563 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3564 2 ->3565 {3566 alive: true,3567 heap: 1300,3568 job: "huge",3569 phase: Busy,3570 rss: 1300,3571 startRss: 13003572 }3573 )3574}35753576[State 118]3577{3578 main::scheduler::done: Set("a", "b", "c", "fat"),3579 main::scheduler::errored: Set(),3580 main::scheduler::estimate: 1960,3581 main::scheduler::externalKills: 2,3582 main::scheduler::mode: Parallel,3583 main::scheduler::solo: [],3584 main::scheduler::todo: Set(),3585 main::scheduler::wasFinished: false,3586 main::scheduler::workers:3587 Map(3588 0 ->3589 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3590 1 ->3591 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3592 2 ->3593 {3594 alive: true,3595 heap: 1300,3596 job: "huge",3597 phase: Busy,3598 rss: 1300,3599 startRss: 13003600 }3601 )3602}36033604[State 119]3605{3606 main::scheduler::done: Set("a", "b", "c", "fat"),3607 main::scheduler::errored: Set(),3608 main::scheduler::estimate: 1960,3609 main::scheduler::externalKills: 2,3610 main::scheduler::mode: Parallel,3611 main::scheduler::solo: [],3612 main::scheduler::todo: Set(),3613 main::scheduler::wasFinished: false,3614 main::scheduler::workers:3615 Map(3616 0 ->3617 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3618 1 ->3619 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3620 2 ->3621 {3622 alive: true,3623 heap: 1300,3624 job: "huge",3625 phase: Busy,3626 rss: 1300,3627 startRss: 13003628 }3629 )3630}36313632[State 120]3633{3634 main::scheduler::done: Set("a", "b", "c", "fat"),3635 main::scheduler::errored: Set(),3636 main::scheduler::estimate: 1960,3637 main::scheduler::externalKills: 2,3638 main::scheduler::mode: Parallel,3639 main::scheduler::solo: [],3640 main::scheduler::todo: Set(),3641 main::scheduler::wasFinished: false,3642 main::scheduler::workers:3643 Map(3644 0 ->3645 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3646 1 ->3647 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3648 2 ->3649 {3650 alive: true,3651 heap: 1300,3652 job: "huge",3653 phase: Busy,3654 rss: 1300,3655 startRss: 13003656 }3657 )3658}36593660[State 121]3661{3662 main::scheduler::done: Set("a", "b", "c", "fat"),3663 main::scheduler::errored: Set(),3664 main::scheduler::estimate: 1960,3665 main::scheduler::externalKills: 2,3666 main::scheduler::mode: Parallel,3667 main::scheduler::solo: [],3668 main::scheduler::todo: Set(),3669 main::scheduler::wasFinished: false,3670 main::scheduler::workers:3671 Map(3672 0 ->3673 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3674 1 ->3675 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3676 2 ->3677 {3678 alive: true,3679 heap: 1300,3680 job: "huge",3681 phase: Busy,3682 rss: 1300,3683 startRss: 13003684 }3685 )3686}36873688[State 122]3689{3690 main::scheduler::done: Set("a", "b", "c", "fat"),3691 main::scheduler::errored: Set(),3692 main::scheduler::estimate: 1960,3693 main::scheduler::externalKills: 2,3694 main::scheduler::mode: Parallel,3695 main::scheduler::solo: [],3696 main::scheduler::todo: Set(),3697 main::scheduler::wasFinished: false,3698 main::scheduler::workers:3699 Map(3700 0 ->3701 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3702 1 ->3703 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3704 2 ->3705 {3706 alive: true,3707 heap: 1300,3708 job: "huge",3709 phase: Busy,3710 rss: 1300,3711 startRss: 13003712 }3713 )3714}37153716[State 123]3717{3718 main::scheduler::done: Set("a", "b", "c", "fat"),3719 main::scheduler::errored: Set(),3720 main::scheduler::estimate: 1960,3721 main::scheduler::externalKills: 2,3722 main::scheduler::mode: Parallel,3723 main::scheduler::solo: [],3724 main::scheduler::todo: Set(),3725 main::scheduler::wasFinished: false,3726 main::scheduler::workers:3727 Map(3728 0 ->3729 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3730 1 ->3731 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3732 2 ->3733 {3734 alive: true,3735 heap: 1300,3736 job: "huge",3737 phase: Busy,3738 rss: 1300,3739 startRss: 13003740 }3741 )3742}37433744[State 124]3745{3746 main::scheduler::done: Set("a", "b", "c", "fat"),3747 main::scheduler::errored: Set(),3748 main::scheduler::estimate: 1960,3749 main::scheduler::externalKills: 2,3750 main::scheduler::mode: Parallel,3751 main::scheduler::solo: [],3752 main::scheduler::todo: Set(),3753 main::scheduler::wasFinished: false,3754 main::scheduler::workers:3755 Map(3756 0 ->3757 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3758 1 ->3759 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3760 2 ->3761 {3762 alive: true,3763 heap: 1300,3764 job: "huge",3765 phase: Busy,3766 rss: 6300,3767 startRss: 13003768 }3769 )3770}37713772[State 125]3773{3774 main::scheduler::done: Set("a", "b", "c", "fat"),3775 main::scheduler::errored: Set(),3776 main::scheduler::estimate: 5000,3777 main::scheduler::externalKills: 2,3778 main::scheduler::mode: Parallel,3779 main::scheduler::solo: [],3780 main::scheduler::todo: Set(),3781 main::scheduler::wasFinished: false,3782 main::scheduler::workers:3783 Map(3784 0 ->3785 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3786 1 ->3787 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3788 2 ->3789 {3790 alive: true,3791 heap: 1300,3792 job: "huge",3793 phase: Killed,3794 rss: 6300,3795 startRss: 13003796 }3797 )3798}37993800[State 126]3801{3802 main::scheduler::done: Set("a", "b", "c", "fat"),3803 main::scheduler::errored: Set(),3804 main::scheduler::estimate: 5000,3805 main::scheduler::externalKills: 2,3806 main::scheduler::mode: Parallel,3807 main::scheduler::solo: [],3808 main::scheduler::todo: Set(),3809 main::scheduler::wasFinished: false,3810 main::scheduler::workers:3811 Map(3812 0 ->3813 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3814 1 ->3815 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3816 2 ->3817 {3818 alive: true,3819 heap: 1300,3820 job: "huge",3821 phase: Killed,3822 rss: 6300,3823 startRss: 13003824 }3825 )3826}38273828[State 127]3829{3830 main::scheduler::done: Set("a", "b", "c", "fat"),3831 main::scheduler::errored: Set(),3832 main::scheduler::estimate: 5000,3833 main::scheduler::externalKills: 2,3834 main::scheduler::mode: Parallel,3835 main::scheduler::solo: [],3836 main::scheduler::todo: Set(),3837 main::scheduler::wasFinished: false,3838 main::scheduler::workers:3839 Map(3840 0 ->3841 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3842 1 ->3843 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3844 2 ->3845 {3846 alive: true,3847 heap: 1300,3848 job: "huge",3849 phase: Killed,3850 rss: 6300,3851 startRss: 13003852 }3853 )3854}38553856[State 128]3857{3858 main::scheduler::done: Set("a", "b", "c", "fat"),3859 main::scheduler::errored: Set(),3860 main::scheduler::estimate: 5000,3861 main::scheduler::externalKills: 2,3862 main::scheduler::mode: Parallel,3863 main::scheduler::solo: [],3864 main::scheduler::todo: Set(),3865 main::scheduler::wasFinished: false,3866 main::scheduler::workers:3867 Map(3868 0 ->3869 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3870 1 ->3871 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3872 2 ->3873 {3874 alive: true,3875 heap: 1300,3876 job: "huge",3877 phase: Killed,3878 rss: 6300,3879 startRss: 13003880 }3881 )3882}38833884[State 129]3885{3886 main::scheduler::done: Set("a", "b", "c", "fat"),3887 main::scheduler::errored: Set(),3888 main::scheduler::estimate: 5000,3889 main::scheduler::externalKills: 2,3890 main::scheduler::mode: Parallel,3891 main::scheduler::solo: [],3892 main::scheduler::todo: Set(),3893 main::scheduler::wasFinished: false,3894 main::scheduler::workers:3895 Map(3896 0 ->3897 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3898 1 ->3899 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3900 2 ->3901 {3902 alive: true,3903 heap: 1300,3904 job: "huge",3905 phase: Killed,3906 rss: 6300,3907 startRss: 13003908 }3909 )3910}39113912[State 130]3913{3914 main::scheduler::done: Set("a", "b", "c", "fat"),3915 main::scheduler::errored: Set(),3916 main::scheduler::estimate: 5000,3917 main::scheduler::externalKills: 2,3918 main::scheduler::mode: Parallel,3919 main::scheduler::solo: [],3920 main::scheduler::todo: Set(),3921 main::scheduler::wasFinished: false,3922 main::scheduler::workers:3923 Map(3924 0 ->3925 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3926 1 ->3927 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3928 2 ->3929 {3930 alive: true,3931 heap: 1300,3932 job: "huge",3933 phase: Killed,3934 rss: 6300,3935 startRss: 13003936 }3937 )3938}39393940[State 131]3941{3942 main::scheduler::done: Set("a", "b", "c", "fat"),3943 main::scheduler::errored: Set(),3944 main::scheduler::estimate: 5000,3945 main::scheduler::externalKills: 2,3946 main::scheduler::mode: Parallel,3947 main::scheduler::solo: [],3948 main::scheduler::todo: Set(),3949 main::scheduler::wasFinished: false,3950 main::scheduler::workers:3951 Map(3952 0 ->3953 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3954 1 ->3955 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3956 2 ->3957 {3958 alive: true,3959 heap: 1300,3960 job: "huge",3961 phase: Killed,3962 rss: 6300,3963 startRss: 13003964 }3965 )3966}39673968[State 132]3969{3970 main::scheduler::done: Set("a", "b", "c", "fat"),3971 main::scheduler::errored: Set(),3972 main::scheduler::estimate: 5000,3973 main::scheduler::externalKills: 2,3974 main::scheduler::mode: Parallel,3975 main::scheduler::solo: [],3976 main::scheduler::todo: Set(),3977 main::scheduler::wasFinished: false,3978 main::scheduler::workers:3979 Map(3980 0 ->3981 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3982 1 ->3983 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3984 2 ->3985 {3986 alive: true,3987 heap: 1300,3988 job: "huge",3989 phase: Killed,3990 rss: 6300,3991 startRss: 13003992 }3993 )3994}39953996[State 133]3997{3998 main::scheduler::done: Set("a", "b", "c", "fat"),3999 main::scheduler::errored: Set(),4000 main::scheduler::estimate: 5000,4001 main::scheduler::externalKills: 2,4002 main::scheduler::mode: Parallel,4003 main::scheduler::solo: [],4004 main::scheduler::todo: Set(),4005 main::scheduler::wasFinished: false,4006 main::scheduler::workers:4007 Map(4008 0 ->4009 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4010 1 ->4011 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4012 2 ->4013 {4014 alive: true,4015 heap: 1300,4016 job: "huge",4017 phase: Killed,4018 rss: 6300,4019 startRss: 13004020 }4021 )4022}40234024[State 134]4025{4026 main::scheduler::done: Set("a", "b", "c", "fat"),4027 main::scheduler::errored: Set(),4028 main::scheduler::estimate: 5000,4029 main::scheduler::externalKills: 2,4030 main::scheduler::mode: Parallel,4031 main::scheduler::solo: [],4032 main::scheduler::todo: Set(),4033 main::scheduler::wasFinished: false,4034 main::scheduler::workers:4035 Map(4036 0 ->4037 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4038 1 ->4039 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4040 2 ->4041 {4042 alive: true,4043 heap: 1300,4044 job: "huge",4045 phase: Killed,4046 rss: 6300,4047 startRss: 13004048 }4049 )4050}40514052[State 135]4053{4054 main::scheduler::done: Set("a", "b", "c", "fat"),4055 main::scheduler::errored: Set(),4056 main::scheduler::estimate: 5000,4057 main::scheduler::externalKills: 2,4058 main::scheduler::mode: Parallel,4059 main::scheduler::solo: [],4060 main::scheduler::todo: Set(),4061 main::scheduler::wasFinished: false,4062 main::scheduler::workers:4063 Map(4064 0 ->4065 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4066 1 ->4067 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4068 2 ->4069 {4070 alive: true,4071 heap: 1300,4072 job: "huge",4073 phase: Killed,4074 rss: 6300,4075 startRss: 13004076 }4077 )4078}40794080[State 136]4081{4082 main::scheduler::done: Set("a", "b", "c", "fat"),4083 main::scheduler::errored: Set(),4084 main::scheduler::estimate: 5000,4085 main::scheduler::externalKills: 2,4086 main::scheduler::mode: Parallel,4087 main::scheduler::solo: [],4088 main::scheduler::todo: Set(),4089 main::scheduler::wasFinished: false,4090 main::scheduler::workers:4091 Map(4092 0 ->4093 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4094 1 ->4095 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4096 2 ->4097 {4098 alive: true,4099 heap: 1300,4100 job: "huge",4101 phase: Killed,4102 rss: 6300,4103 startRss: 13004104 }4105 )4106}41074108[State 137]4109{4110 main::scheduler::done: Set("a", "b", "c", "fat"),4111 main::scheduler::errored: Set(),4112 main::scheduler::estimate: 5000,4113 main::scheduler::externalKills: 2,4114 main::scheduler::mode: Parallel,4115 main::scheduler::solo: ["huge"],4116 main::scheduler::todo: Set(),4117 main::scheduler::wasFinished: false,4118 main::scheduler::workers:4119 Map(4120 0 ->4121 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4122 1 ->4123 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4124 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4125 )4126}41274128[State 138]4129{4130 main::scheduler::done: Set("a", "b", "c", "fat"),4131 main::scheduler::errored: Set(),4132 main::scheduler::estimate: 5000,4133 main::scheduler::externalKills: 2,4134 main::scheduler::mode: Solo,4135 main::scheduler::solo: ["huge"],4136 main::scheduler::todo: Set(),4137 main::scheduler::wasFinished: false,4138 main::scheduler::workers:4139 Map(4140 0 ->4141 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4142 1 ->4143 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4144 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4145 )4146}41474148[State 139]4149{4150 main::scheduler::done: Set("a", "b", "c", "fat"),4151 main::scheduler::errored: Set(),4152 main::scheduler::estimate: 5000,4153 main::scheduler::externalKills: 2,4154 main::scheduler::mode: Solo,4155 main::scheduler::solo: ["huge"],4156 main::scheduler::todo: Set(),4157 main::scheduler::wasFinished: false,4158 main::scheduler::workers:4159 Map(4160 0 ->4161 {4162 alive: true,4163 heap: 300,4164 job: "",4165 phase: Starting,4166 rss: 300,4167 startRss: 04168 },4169 1 ->4170 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4171 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4172 )4173}41744175[State 140]4176{4177 main::scheduler::done: Set("a", "b", "c", "fat"),4178 main::scheduler::errored: Set(),4179 main::scheduler::estimate: 5000,4180 main::scheduler::externalKills: 2,4181 main::scheduler::mode: Solo,4182 main::scheduler::solo: ["huge"],4183 main::scheduler::todo: Set(),4184 main::scheduler::wasFinished: false,4185 main::scheduler::workers:4186 Map(4187 0 ->4188 {4189 alive: true,4190 heap: 300,4191 job: "",4192 phase: Starting,4193 rss: 300,4194 startRss: 04195 },4196 1 ->4197 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4198 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4199 )4200}42014202[State 141]4203{4204 main::scheduler::done: Set("a", "b", "c", "fat"),4205 main::scheduler::errored: Set(),4206 main::scheduler::estimate: 5000,4207 main::scheduler::externalKills: 2,4208 main::scheduler::mode: Solo,4209 main::scheduler::solo: ["huge"],4210 main::scheduler::todo: Set(),4211 main::scheduler::wasFinished: false,4212 main::scheduler::workers:4213 Map(4214 0 ->4215 {4216 alive: true,4217 heap: 300,4218 job: "",4219 phase: Starting,4220 rss: 300,4221 startRss: 04222 },4223 1 ->4224 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4225 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4226 )4227}42284229[State 142]4230{4231 main::scheduler::done: Set("a", "b", "c", "fat"),4232 main::scheduler::errored: Set(),4233 main::scheduler::estimate: 5000,4234 main::scheduler::externalKills: 2,4235 main::scheduler::mode: Solo,4236 main::scheduler::solo: ["huge"],4237 main::scheduler::todo: Set(),4238 main::scheduler::wasFinished: false,4239 main::scheduler::workers:4240 Map(4241 0 ->4242 {4243 alive: true,4244 heap: 300,4245 job: "",4246 phase: Starting,4247 rss: 300,4248 startRss: 04249 },4250 1 ->4251 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4252 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4253 )4254}42554256[State 143]4257{4258 main::scheduler::done: Set("a", "b", "c", "fat"),4259 main::scheduler::errored: Set(),4260 main::scheduler::estimate: 5000,4261 main::scheduler::externalKills: 2,4262 main::scheduler::mode: Solo,4263 main::scheduler::solo: ["huge"],4264 main::scheduler::todo: Set(),4265 main::scheduler::wasFinished: false,4266 main::scheduler::workers:4267 Map(4268 0 ->4269 {4270 alive: true,4271 heap: 300,4272 job: "",4273 phase: Starting,4274 rss: 300,4275 startRss: 04276 },4277 1 ->4278 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4279 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4280 )4281}42824283[State 144]4284{4285 main::scheduler::done: Set("a", "b", "c", "fat"),4286 main::scheduler::errored: Set(),4287 main::scheduler::estimate: 5000,4288 main::scheduler::externalKills: 2,4289 main::scheduler::mode: Solo,4290 main::scheduler::solo: ["huge"],4291 main::scheduler::todo: Set(),4292 main::scheduler::wasFinished: false,4293 main::scheduler::workers:4294 Map(4295 0 ->4296 {4297 alive: true,4298 heap: 300,4299 job: "",4300 phase: Starting,4301 rss: 300,4302 startRss: 04303 },4304 1 ->4305 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4306 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4307 )4308}43094310[State 145]4311{4312 main::scheduler::done: Set("a", "b", "c", "fat"),4313 main::scheduler::errored: Set(),4314 main::scheduler::estimate: 5000,4315 main::scheduler::externalKills: 2,4316 main::scheduler::mode: Solo,4317 main::scheduler::solo: ["huge"],4318 main::scheduler::todo: Set(),4319 main::scheduler::wasFinished: false,4320 main::scheduler::workers:4321 Map(4322 0 ->4323 {4324 alive: true,4325 heap: 300,4326 job: "",4327 phase: Starting,4328 rss: 300,4329 startRss: 04330 },4331 1 ->4332 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4333 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4334 )4335}43364337[State 146]4338{4339 main::scheduler::done: Set("a", "b", "c", "fat"),4340 main::scheduler::errored: Set(),4341 main::scheduler::estimate: 5000,4342 main::scheduler::externalKills: 2,4343 main::scheduler::mode: Solo,4344 main::scheduler::solo: ["huge"],4345 main::scheduler::todo: Set(),4346 main::scheduler::wasFinished: false,4347 main::scheduler::workers:4348 Map(4349 0 ->4350 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4351 1 ->4352 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4353 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4354 )4355}43564357[State 147]4358{4359 main::scheduler::done: Set("a", "b", "c", "fat"),4360 main::scheduler::errored: Set(),4361 main::scheduler::estimate: 5000,4362 main::scheduler::externalKills: 2,4363 main::scheduler::mode: Solo,4364 main::scheduler::solo: ["huge"],4365 main::scheduler::todo: Set(),4366 main::scheduler::wasFinished: false,4367 main::scheduler::workers:4368 Map(4369 0 ->4370 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4371 1 ->4372 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4373 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4374 )4375}43764377[State 148]4378{4379 main::scheduler::done: Set("a", "b", "c", "fat"),4380 main::scheduler::errored: Set(),4381 main::scheduler::estimate: 5000,4382 main::scheduler::externalKills: 2,4383 main::scheduler::mode: Solo,4384 main::scheduler::solo: ["huge"],4385 main::scheduler::todo: Set(),4386 main::scheduler::wasFinished: false,4387 main::scheduler::workers:4388 Map(4389 0 ->4390 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4391 1 ->4392 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4393 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4394 )4395}43964397[State 149]4398{4399 main::scheduler::done: Set("a", "b", "c", "fat"),4400 main::scheduler::errored: Set(),4401 main::scheduler::estimate: 5000,4402 main::scheduler::externalKills: 2,4403 main::scheduler::mode: Solo,4404 main::scheduler::solo: ["huge"],4405 main::scheduler::todo: Set(),4406 main::scheduler::wasFinished: false,4407 main::scheduler::workers:4408 Map(4409 0 ->4410 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4411 1 ->4412 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4413 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4414 )4415}44164417[State 150]4418{4419 main::scheduler::done: Set("a", "b", "c", "fat"),4420 main::scheduler::errored: Set(),4421 main::scheduler::estimate: 5000,4422 main::scheduler::externalKills: 2,4423 main::scheduler::mode: Solo,4424 main::scheduler::solo: ["huge"],4425 main::scheduler::todo: Set(),4426 main::scheduler::wasFinished: false,4427 main::scheduler::workers:4428 Map(4429 0 ->4430 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4431 1 ->4432 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4433 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4434 )4435}44364437[ok] No violation found (776ms at 2577 traces/second).4438Trace length statistics: max=151, min=72, average=132.054439You may increase --max-samples and --max-steps.4440Use --verbosity to produce more (or less) output.4441Use --seed=0xd7dc5c4760c81948 --backend=rust to reproduce.44424443 noOomKiller4444 noOomKiller::scheduler::onlyHugeErrorsTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■ ] 11% | ETA: 1s | 23/200 samples | 230 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■ ] 23% | ETA: 1s | 46/200 samples | 234 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■ ] 35% | ETA: 1s | 70/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 1s | 94/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 1s | 118/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 142/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 165/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 188/200 samples | 236 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 236 samples/s noOomKiller::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::terminatesTest [■■■■■ ] 11% | ETA: 1s | 23/200 samples | 235 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■ ] 23% | ETA: 1s | 47/200 samples | 235 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■ ] 35% | ETA: 1s | 71/200 samples | 237 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 47% | ETA: 1s | 95/200 samples | 238 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 1s | 119/200 samples | 238 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 1s | 142/200 samples | 237 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 166/200 samples | 238 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 191/200 samples | 239 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 239 samples/s ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)4445 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)44464447 2 passing (1720ms)44484449 main4450 main::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s main::scheduler::terminatesTest [■■■■■ ] 13% | ETA: 1s | 27/200 samples | 278 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■ ] 28% | ETA: 1s | 57/200 samples | 285 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 1s | 86/200 samples | 287 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 1s | 116/200 samples | 289 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 146/200 samples | 291 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 176/200 samples | 292 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 293 samples/s ok main::scheduler::terminatesTest passed 200 test(s)44514452 1 passing (699ms)