nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #74
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 main::scheduler::done: Set(),7 main::scheduler::errored: Set(),8 main::scheduler::estimate: 512,9 main::scheduler::externalKills: 0,10 main::scheduler::mode: Parallel,11 main::scheduler::solo: [],12 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),13 main::scheduler::wasFinished: false,14 main::scheduler::workers:15 Map(16 0 ->17 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 1 ->19 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },20 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }21 )22}2324[State 1]25{26 main::scheduler::done: Set(),27 main::scheduler::errored: Set(),28 main::scheduler::estimate: 512,29 main::scheduler::externalKills: 0,30 main::scheduler::mode: Parallel,31 main::scheduler::solo: [],32 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),33 main::scheduler::wasFinished: false,34 main::scheduler::workers:35 Map(36 0 ->37 {38 alive: true,39 heap: 300,40 job: "",41 phase: Starting,42 rss: 300,43 startRss: 044 },45 1 ->46 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },47 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }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 {65 alive: true,66 heap: 300,67 job: "",68 phase: Starting,69 rss: 300,70 startRss: 071 },72 1 ->73 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },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 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },109 2 ->110 {111 alive: true,112 heap: 300,113 job: "",114 phase: Starting,115 rss: 300,116 startRss: 0117 }118 )119}120121[State 4]122{123 main::scheduler::done: Set(),124 main::scheduler::errored: Set(),125 main::scheduler::estimate: 512,126 main::scheduler::externalKills: 1,127 main::scheduler::mode: Parallel,128 main::scheduler::solo: [],129 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),130 main::scheduler::wasFinished: false,131 main::scheduler::workers:132 Map(133 0 ->134 {135 alive: true,136 heap: 300,137 job: "",138 phase: Starting,139 rss: 300,140 startRss: 0141 },142 1 ->143 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },144 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }145 )146}147148[State 5]149{150 main::scheduler::done: Set(),151 main::scheduler::errored: Set(),152 main::scheduler::estimate: 512,153 main::scheduler::externalKills: 1,154 main::scheduler::mode: Parallel,155 main::scheduler::solo: [],156 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),157 main::scheduler::wasFinished: false,158 main::scheduler::workers:159 Map(160 0 ->161 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },162 1 ->163 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },164 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }165 )166}167168[State 6]169{170 main::scheduler::done: Set(),171 main::scheduler::errored: Set(),172 main::scheduler::estimate: 512,173 main::scheduler::externalKills: 1,174 main::scheduler::mode: Parallel,175 main::scheduler::solo: [],176 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),177 main::scheduler::wasFinished: false,178 main::scheduler::workers:179 Map(180 0 ->181 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },182 1 ->183 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },184 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }185 )186}187188[State 7]189{190 main::scheduler::done: Set(),191 main::scheduler::errored: Set(),192 main::scheduler::estimate: 512,193 main::scheduler::externalKills: 1,194 main::scheduler::mode: Parallel,195 main::scheduler::solo: [],196 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),197 main::scheduler::wasFinished: false,198 main::scheduler::workers:199 Map(200 0 ->201 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },202 1 ->203 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },204 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }205 )206}207208[State 8]209{210 main::scheduler::done: Set(),211 main::scheduler::errored: Set(),212 main::scheduler::estimate: 512,213 main::scheduler::externalKills: 1,214 main::scheduler::mode: Parallel,215 main::scheduler::solo: [],216 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),217 main::scheduler::wasFinished: false,218 main::scheduler::workers:219 Map(220 0 ->221 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },222 1 ->223 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },224 2 ->225 {226 alive: true,227 heap: 300,228 job: "",229 phase: Starting,230 rss: 300,231 startRss: 0232 }233 )234}235236[State 9]237{238 main::scheduler::done: Set(),239 main::scheduler::errored: Set(),240 main::scheduler::estimate: 512,241 main::scheduler::externalKills: 2,242 main::scheduler::mode: Parallel,243 main::scheduler::solo: [],244 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),245 main::scheduler::wasFinished: false,246 main::scheduler::workers:247 Map(248 0 ->249 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },250 1 ->251 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },252 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }253 )254}255256[State 10]257{258 main::scheduler::done: Set(),259 main::scheduler::errored: Set(),260 main::scheduler::estimate: 512,261 main::scheduler::externalKills: 2,262 main::scheduler::mode: Parallel,263 main::scheduler::solo: [],264 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),265 main::scheduler::wasFinished: false,266 main::scheduler::workers:267 Map(268 0 ->269 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },270 1 ->271 {272 alive: true,273 heap: 300,274 job: "",275 phase: Starting,276 rss: 300,277 startRss: 0278 },279 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }280 )281}282283[State 11]284{285 main::scheduler::done: Set(),286 main::scheduler::errored: Set(),287 main::scheduler::estimate: 512,288 main::scheduler::externalKills: 2,289 main::scheduler::mode: Parallel,290 main::scheduler::solo: [],291 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),292 main::scheduler::wasFinished: false,293 main::scheduler::workers:294 Map(295 0 ->296 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },297 1 ->298 {299 alive: true,300 heap: 300,301 job: "",302 phase: Starting,303 rss: 300,304 startRss: 0305 },306 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }307 )308}309310[State 12]311{312 main::scheduler::done: Set(),313 main::scheduler::errored: Set(),314 main::scheduler::estimate: 512,315 main::scheduler::externalKills: 2,316 main::scheduler::mode: Parallel,317 main::scheduler::solo: [],318 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),319 main::scheduler::wasFinished: false,320 main::scheduler::workers:321 Map(322 0 ->323 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },324 1 ->325 {326 alive: true,327 heap: 300,328 job: "",329 phase: Starting,330 rss: 300,331 startRss: 0332 },333 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }334 )335}336337[State 13]338{339 main::scheduler::done: Set(),340 main::scheduler::errored: Set(),341 main::scheduler::estimate: 512,342 main::scheduler::externalKills: 2,343 main::scheduler::mode: Parallel,344 main::scheduler::solo: [],345 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),346 main::scheduler::wasFinished: false,347 main::scheduler::workers:348 Map(349 0 ->350 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },351 1 ->352 {353 alive: true,354 heap: 300,355 job: "",356 phase: Starting,357 rss: 300,358 startRss: 0359 },360 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }361 )362}363364[State 14]365{366 main::scheduler::done: Set(),367 main::scheduler::errored: Set(),368 main::scheduler::estimate: 512,369 main::scheduler::externalKills: 2,370 main::scheduler::mode: Parallel,371 main::scheduler::solo: [],372 main::scheduler::todo: Set("a", "b", "c", "huge"),373 main::scheduler::wasFinished: false,374 main::scheduler::workers:375 Map(376 0 ->377 {378 alive: true,379 heap: 300,380 job: "fat",381 phase: Busy,382 rss: 300,383 startRss: 300384 },385 1 ->386 {387 alive: true,388 heap: 300,389 job: "",390 phase: Starting,391 rss: 300,392 startRss: 0393 },394 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }395 )396}397398[State 15]399{400 main::scheduler::done: Set(),401 main::scheduler::errored: Set(),402 main::scheduler::estimate: 512,403 main::scheduler::externalKills: 2,404 main::scheduler::mode: Parallel,405 main::scheduler::solo: [],406 main::scheduler::todo: Set("a", "b", "c", "huge"),407 main::scheduler::wasFinished: false,408 main::scheduler::workers:409 Map(410 0 ->411 {412 alive: true,413 heap: 300,414 job: "fat",415 phase: Busy,416 rss: 300,417 startRss: 300418 },419 1 ->420 {421 alive: true,422 heap: 300,423 job: "",424 phase: Starting,425 rss: 300,426 startRss: 0427 },428 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }429 )430}431432[State 16]433{434 main::scheduler::done: Set(),435 main::scheduler::errored: Set(),436 main::scheduler::estimate: 512,437 main::scheduler::externalKills: 2,438 main::scheduler::mode: Parallel,439 main::scheduler::solo: [],440 main::scheduler::todo: Set("a", "b", "c", "huge"),441 main::scheduler::wasFinished: false,442 main::scheduler::workers:443 Map(444 0 ->445 {446 alive: true,447 heap: 300,448 job: "fat",449 phase: Busy,450 rss: 300,451 startRss: 300452 },453 1 ->454 {455 alive: true,456 heap: 300,457 job: "",458 phase: Starting,459 rss: 300,460 startRss: 0461 },462 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }463 )464}465466[State 17]467{468 main::scheduler::done: Set(),469 main::scheduler::errored: Set(),470 main::scheduler::estimate: 512,471 main::scheduler::externalKills: 2,472 main::scheduler::mode: Parallel,473 main::scheduler::solo: [],474 main::scheduler::todo: Set("a", "b", "c", "huge"),475 main::scheduler::wasFinished: false,476 main::scheduler::workers:477 Map(478 0 ->479 {480 alive: true,481 heap: 300,482 job: "fat",483 phase: Busy,484 rss: 300,485 startRss: 300486 },487 1 ->488 {489 alive: true,490 heap: 300,491 job: "",492 phase: Starting,493 rss: 300,494 startRss: 0495 },496 2 ->497 {498 alive: true,499 heap: 300,500 job: "",501 phase: Starting,502 rss: 300,503 startRss: 0504 }505 )506}507508[State 18]509{510 main::scheduler::done: Set(),511 main::scheduler::errored: Set(),512 main::scheduler::estimate: 512,513 main::scheduler::externalKills: 2,514 main::scheduler::mode: Parallel,515 main::scheduler::solo: [],516 main::scheduler::todo: Set("a", "b", "c", "huge"),517 main::scheduler::wasFinished: false,518 main::scheduler::workers:519 Map(520 0 ->521 {522 alive: true,523 heap: 300,524 job: "fat",525 phase: Busy,526 rss: 300,527 startRss: 300528 },529 1 ->530 {531 alive: true,532 heap: 300,533 job: "",534 phase: Starting,535 rss: 300,536 startRss: 0537 },538 2 ->539 {540 alive: true,541 heap: 300,542 job: "",543 phase: Starting,544 rss: 300,545 startRss: 0546 }547 )548}549550[State 19]551{552 main::scheduler::done: Set(),553 main::scheduler::errored: Set(),554 main::scheduler::estimate: 512,555 main::scheduler::externalKills: 2,556 main::scheduler::mode: Parallel,557 main::scheduler::solo: [],558 main::scheduler::todo: Set("a", "b", "c", "huge"),559 main::scheduler::wasFinished: false,560 main::scheduler::workers:561 Map(562 0 ->563 {564 alive: true,565 heap: 300,566 job: "fat",567 phase: Busy,568 rss: 300,569 startRss: 300570 },571 1 ->572 {573 alive: true,574 heap: 300,575 job: "",576 phase: Starting,577 rss: 300,578 startRss: 0579 },580 2 ->581 {582 alive: true,583 heap: 300,584 job: "",585 phase: Starting,586 rss: 300,587 startRss: 0588 }589 )590}591592[State 20]593{594 main::scheduler::done: Set(),595 main::scheduler::errored: Set(),596 main::scheduler::estimate: 512,597 main::scheduler::externalKills: 2,598 main::scheduler::mode: Parallel,599 main::scheduler::solo: [],600 main::scheduler::todo: Set("a", "b", "c", "huge"),601 main::scheduler::wasFinished: false,602 main::scheduler::workers:603 Map(604 0 ->605 {606 alive: true,607 heap: 300,608 job: "fat",609 phase: Busy,610 rss: 300,611 startRss: 300612 },613 1 ->614 {615 alive: true,616 heap: 300,617 job: "",618 phase: Starting,619 rss: 300,620 startRss: 0621 },622 2 ->623 {624 alive: true,625 heap: 300,626 job: "",627 phase: Starting,628 rss: 300,629 startRss: 0630 }631 )632}633634[State 21]635{636 main::scheduler::done: Set(),637 main::scheduler::errored: Set(),638 main::scheduler::estimate: 512,639 main::scheduler::externalKills: 2,640 main::scheduler::mode: Parallel,641 main::scheduler::solo: [],642 main::scheduler::todo: Set("a", "b", "c", "huge"),643 main::scheduler::wasFinished: false,644 main::scheduler::workers:645 Map(646 0 ->647 {648 alive: true,649 heap: 300,650 job: "fat",651 phase: Busy,652 rss: 300,653 startRss: 300654 },655 1 ->656 {657 alive: true,658 heap: 300,659 job: "",660 phase: Starting,661 rss: 300,662 startRss: 0663 },664 2 ->665 {666 alive: true,667 heap: 300,668 job: "",669 phase: Starting,670 rss: 300,671 startRss: 0672 }673 )674}675676[State 22]677{678 main::scheduler::done: Set(),679 main::scheduler::errored: Set(),680 main::scheduler::estimate: 512,681 main::scheduler::externalKills: 2,682 main::scheduler::mode: Parallel,683 main::scheduler::solo: [],684 main::scheduler::todo: Set("a", "b", "c", "huge"),685 main::scheduler::wasFinished: false,686 main::scheduler::workers:687 Map(688 0 ->689 {690 alive: true,691 heap: 300,692 job: "fat",693 phase: Busy,694 rss: 300,695 startRss: 300696 },697 1 ->698 {699 alive: true,700 heap: 300,701 job: "",702 phase: Starting,703 rss: 300,704 startRss: 0705 },706 2 ->707 {708 alive: true,709 heap: 300,710 job: "",711 phase: Starting,712 rss: 300,713 startRss: 0714 }715 )716}717718[State 23]719{720 main::scheduler::done: Set(),721 main::scheduler::errored: Set(),722 main::scheduler::estimate: 512,723 main::scheduler::externalKills: 2,724 main::scheduler::mode: Parallel,725 main::scheduler::solo: [],726 main::scheduler::todo: Set("a", "b", "c", "huge"),727 main::scheduler::wasFinished: false,728 main::scheduler::workers:729 Map(730 0 ->731 {732 alive: true,733 heap: 300,734 job: "fat",735 phase: Busy,736 rss: 300,737 startRss: 300738 },739 1 ->740 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },741 2 ->742 {743 alive: true,744 heap: 300,745 job: "",746 phase: Starting,747 rss: 300,748 startRss: 0749 }750 )751}752753[State 24]754{755 main::scheduler::done: Set(),756 main::scheduler::errored: Set(),757 main::scheduler::estimate: 512,758 main::scheduler::externalKills: 2,759 main::scheduler::mode: Parallel,760 main::scheduler::solo: [],761 main::scheduler::todo: Set("a", "b", "c", "huge"),762 main::scheduler::wasFinished: false,763 main::scheduler::workers:764 Map(765 0 ->766 {767 alive: true,768 heap: 300,769 job: "fat",770 phase: Busy,771 rss: 300,772 startRss: 300773 },774 1 ->775 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },776 2 ->777 {778 alive: true,779 heap: 300,780 job: "",781 phase: Starting,782 rss: 300,783 startRss: 0784 }785 )786}787788[State 25]789{790 main::scheduler::done: Set(),791 main::scheduler::errored: Set(),792 main::scheduler::estimate: 512,793 main::scheduler::externalKills: 2,794 main::scheduler::mode: Parallel,795 main::scheduler::solo: [],796 main::scheduler::todo: Set("a", "b", "c", "huge"),797 main::scheduler::wasFinished: false,798 main::scheduler::workers:799 Map(800 0 ->801 {802 alive: true,803 heap: 300,804 job: "fat",805 phase: Busy,806 rss: 300,807 startRss: 300808 },809 1 ->810 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },811 2 ->812 {813 alive: true,814 heap: 300,815 job: "",816 phase: Starting,817 rss: 300,818 startRss: 0819 }820 )821}822823[State 26]824{825 main::scheduler::done: Set(),826 main::scheduler::errored: Set(),827 main::scheduler::estimate: 512,828 main::scheduler::externalKills: 2,829 main::scheduler::mode: Parallel,830 main::scheduler::solo: [],831 main::scheduler::todo: Set("a", "b", "c", "huge"),832 main::scheduler::wasFinished: false,833 main::scheduler::workers:834 Map(835 0 ->836 {837 alive: true,838 heap: 300,839 job: "fat",840 phase: Busy,841 rss: 2300,842 startRss: 300843 },844 1 ->845 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },846 2 ->847 {848 alive: true,849 heap: 300,850 job: "",851 phase: Starting,852 rss: 300,853 startRss: 0854 }855 )856}857858[State 27]859{860 main::scheduler::done: Set("fat"),861 main::scheduler::errored: Set(),862 main::scheduler::estimate: 1000,863 main::scheduler::externalKills: 2,864 main::scheduler::mode: Parallel,865 main::scheduler::solo: [],866 main::scheduler::todo: Set("a", "b", "c", "huge"),867 main::scheduler::wasFinished: false,868 main::scheduler::workers:869 Map(870 0 ->871 {872 alive: true,873 heap: 1300,874 job: "",875 phase: Starting,876 rss: 1300,877 startRss: 300878 },879 1 ->880 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },881 2 ->882 {883 alive: true,884 heap: 300,885 job: "",886 phase: Starting,887 rss: 300,888 startRss: 0889 }890 )891}892893[State 28]894{895 main::scheduler::done: Set("fat"),896 main::scheduler::errored: Set(),897 main::scheduler::estimate: 1000,898 main::scheduler::externalKills: 2,899 main::scheduler::mode: Parallel,900 main::scheduler::solo: [],901 main::scheduler::todo: Set("a", "b", "c", "huge"),902 main::scheduler::wasFinished: false,903 main::scheduler::workers:904 Map(905 0 ->906 {907 alive: true,908 heap: 1300,909 job: "",910 phase: Starting,911 rss: 1300,912 startRss: 300913 },914 1 ->915 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },916 2 ->917 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }918 )919}920921[State 29]922{923 main::scheduler::done: Set("fat"),924 main::scheduler::errored: Set(),925 main::scheduler::estimate: 1000,926 main::scheduler::externalKills: 2,927 main::scheduler::mode: Parallel,928 main::scheduler::solo: [],929 main::scheduler::todo: Set("b", "c", "huge"),930 main::scheduler::wasFinished: false,931 main::scheduler::workers:932 Map(933 0 ->934 {935 alive: true,936 heap: 1300,937 job: "",938 phase: Starting,939 rss: 1300,940 startRss: 300941 },942 1 ->943 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },944 2 ->945 {946 alive: true,947 heap: 300,948 job: "a",949 phase: Busy,950 rss: 300,951 startRss: 300952 }953 )954}955956[State 30]957{958 main::scheduler::done: Set("fat"),959 main::scheduler::errored: Set(),960 main::scheduler::estimate: 1000,961 main::scheduler::externalKills: 2,962 main::scheduler::mode: Parallel,963 main::scheduler::solo: [],964 main::scheduler::todo: Set("b", "c", "huge"),965 main::scheduler::wasFinished: false,966 main::scheduler::workers:967 Map(968 0 ->969 {970 alive: true,971 heap: 1300,972 job: "",973 phase: Starting,974 rss: 1300,975 startRss: 300976 },977 1 ->978 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },979 2 ->980 {981 alive: true,982 heap: 300,983 job: "a",984 phase: Busy,985 rss: 300,986 startRss: 300987 }988 )989}990991[State 31]992{993 main::scheduler::done: Set("fat"),994 main::scheduler::errored: Set(),995 main::scheduler::estimate: 1000,996 main::scheduler::externalKills: 2,997 main::scheduler::mode: Parallel,998 main::scheduler::solo: [],999 main::scheduler::todo: Set("b", "c", "huge"),1000 main::scheduler::wasFinished: false,1001 main::scheduler::workers:1002 Map(1003 0 ->1004 {1005 alive: true,1006 heap: 1300,1007 job: "",1008 phase: Starting,1009 rss: 1300,1010 startRss: 3001011 },1012 1 ->1013 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1014 2 ->1015 {1016 alive: true,1017 heap: 300,1018 job: "a",1019 phase: Busy,1020 rss: 300,1021 startRss: 3001022 }1023 )1024}10251026[State 32]1027{1028 main::scheduler::done: Set("fat"),1029 main::scheduler::errored: Set(),1030 main::scheduler::estimate: 1000,1031 main::scheduler::externalKills: 2,1032 main::scheduler::mode: Parallel,1033 main::scheduler::solo: [],1034 main::scheduler::todo: Set("b", "c", "huge"),1035 main::scheduler::wasFinished: false,1036 main::scheduler::workers:1037 Map(1038 0 ->1039 {1040 alive: true,1041 heap: 1300,1042 job: "",1043 phase: Starting,1044 rss: 1300,1045 startRss: 3001046 },1047 1 ->1048 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1049 2 ->1050 {1051 alive: true,1052 heap: 300,1053 job: "a",1054 phase: Busy,1055 rss: 300,1056 startRss: 3001057 }1058 )1059}10601061[State 33]1062{1063 main::scheduler::done: Set("fat"),1064 main::scheduler::errored: Set(),1065 main::scheduler::estimate: 1000,1066 main::scheduler::externalKills: 2,1067 main::scheduler::mode: Parallel,1068 main::scheduler::solo: [],1069 main::scheduler::todo: Set("b", "c", "huge"),1070 main::scheduler::wasFinished: false,1071 main::scheduler::workers:1072 Map(1073 0 ->1074 {1075 alive: true,1076 heap: 1300,1077 job: "",1078 phase: Starting,1079 rss: 1300,1080 startRss: 3001081 },1082 1 ->1083 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1084 2 ->1085 {1086 alive: true,1087 heap: 300,1088 job: "a",1089 phase: Busy,1090 rss: 400,1091 startRss: 3001092 }1093 )1094}10951096[State 34]1097{1098 main::scheduler::done: Set("fat"),1099 main::scheduler::errored: Set(),1100 main::scheduler::estimate: 1000,1101 main::scheduler::externalKills: 2,1102 main::scheduler::mode: Parallel,1103 main::scheduler::solo: [],1104 main::scheduler::todo: Set("b", "c", "huge"),1105 main::scheduler::wasFinished: false,1106 main::scheduler::workers:1107 Map(1108 0 ->1109 {1110 alive: true,1111 heap: 1300,1112 job: "",1113 phase: Starting,1114 rss: 1300,1115 startRss: 3001116 },1117 1 ->1118 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1119 2 ->1120 {1121 alive: true,1122 heap: 300,1123 job: "a",1124 phase: Busy,1125 rss: 400,1126 startRss: 3001127 }1128 )1129}11301131[State 35]1132{1133 main::scheduler::done: Set("fat"),1134 main::scheduler::errored: Set(),1135 main::scheduler::estimate: 1000,1136 main::scheduler::externalKills: 2,1137 main::scheduler::mode: Parallel,1138 main::scheduler::solo: [],1139 main::scheduler::todo: Set("b", "c", "huge"),1140 main::scheduler::wasFinished: false,1141 main::scheduler::workers:1142 Map(1143 0 ->1144 {1145 alive: true,1146 heap: 1300,1147 job: "",1148 phase: Idle,1149 rss: 1300,1150 startRss: 3001151 },1152 1 ->1153 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1154 2 ->1155 {1156 alive: true,1157 heap: 300,1158 job: "a",1159 phase: Busy,1160 rss: 400,1161 startRss: 3001162 }1163 )1164}11651166[State 36]1167{1168 main::scheduler::done: Set("fat"),1169 main::scheduler::errored: Set(),1170 main::scheduler::estimate: 1000,1171 main::scheduler::externalKills: 2,1172 main::scheduler::mode: Parallel,1173 main::scheduler::solo: [],1174 main::scheduler::todo: Set("b", "c", "huge"),1175 main::scheduler::wasFinished: false,1176 main::scheduler::workers:1177 Map(1178 0 ->1179 {1180 alive: true,1181 heap: 1300,1182 job: "",1183 phase: Idle,1184 rss: 1300,1185 startRss: 3001186 },1187 1 ->1188 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1189 2 ->1190 {1191 alive: true,1192 heap: 300,1193 job: "a",1194 phase: Busy,1195 rss: 400,1196 startRss: 3001197 }1198 )1199}12001201[State 37]1202{1203 main::scheduler::done: Set("fat"),1204 main::scheduler::errored: Set(),1205 main::scheduler::estimate: 1000,1206 main::scheduler::externalKills: 2,1207 main::scheduler::mode: Parallel,1208 main::scheduler::solo: [],1209 main::scheduler::todo: Set("b", "c", "huge"),1210 main::scheduler::wasFinished: false,1211 main::scheduler::workers:1212 Map(1213 0 ->1214 {1215 alive: true,1216 heap: 1300,1217 job: "",1218 phase: Idle,1219 rss: 1300,1220 startRss: 3001221 },1222 1 ->1223 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1224 2 ->1225 {1226 alive: true,1227 heap: 300,1228 job: "a",1229 phase: Busy,1230 rss: 400,1231 startRss: 3001232 }1233 )1234}12351236[State 38]1237{1238 main::scheduler::done: Set("fat"),1239 main::scheduler::errored: Set(),1240 main::scheduler::estimate: 1000,1241 main::scheduler::externalKills: 2,1242 main::scheduler::mode: Parallel,1243 main::scheduler::solo: [],1244 main::scheduler::todo: Set("b", "c", "huge"),1245 main::scheduler::wasFinished: false,1246 main::scheduler::workers:1247 Map(1248 0 ->1249 {1250 alive: true,1251 heap: 1300,1252 job: "",1253 phase: Idle,1254 rss: 1300,1255 startRss: 3001256 },1257 1 ->1258 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1259 2 ->1260 {1261 alive: true,1262 heap: 300,1263 job: "a",1264 phase: Busy,1265 rss: 400,1266 startRss: 3001267 }1268 )1269}12701271[State 39]1272{1273 main::scheduler::done: Set("fat"),1274 main::scheduler::errored: Set(),1275 main::scheduler::estimate: 1000,1276 main::scheduler::externalKills: 2,1277 main::scheduler::mode: Parallel,1278 main::scheduler::solo: [],1279 main::scheduler::todo: Set("b", "c", "huge"),1280 main::scheduler::wasFinished: false,1281 main::scheduler::workers:1282 Map(1283 0 ->1284 {1285 alive: true,1286 heap: 1300,1287 job: "",1288 phase: Idle,1289 rss: 1300,1290 startRss: 3001291 },1292 1 ->1293 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1294 2 ->1295 {1296 alive: true,1297 heap: 300,1298 job: "a",1299 phase: Busy,1300 rss: 400,1301 startRss: 3001302 }1303 )1304}13051306[State 40]1307{1308 main::scheduler::done: Set("fat"),1309 main::scheduler::errored: Set(),1310 main::scheduler::estimate: 1000,1311 main::scheduler::externalKills: 2,1312 main::scheduler::mode: Parallel,1313 main::scheduler::solo: [],1314 main::scheduler::todo: Set("b", "c", "huge"),1315 main::scheduler::wasFinished: false,1316 main::scheduler::workers:1317 Map(1318 0 ->1319 {1320 alive: true,1321 heap: 1300,1322 job: "",1323 phase: Idle,1324 rss: 1300,1325 startRss: 3001326 },1327 1 ->1328 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1329 2 ->1330 {1331 alive: true,1332 heap: 300,1333 job: "a",1334 phase: Busy,1335 rss: 400,1336 startRss: 3001337 }1338 )1339}13401341[State 41]1342{1343 main::scheduler::done: Set("fat"),1344 main::scheduler::errored: Set(),1345 main::scheduler::estimate: 1000,1346 main::scheduler::externalKills: 2,1347 main::scheduler::mode: Parallel,1348 main::scheduler::solo: [],1349 main::scheduler::todo: Set("b", "c", "huge"),1350 main::scheduler::wasFinished: false,1351 main::scheduler::workers:1352 Map(1353 0 ->1354 {1355 alive: true,1356 heap: 1300,1357 job: "",1358 phase: Idle,1359 rss: 1300,1360 startRss: 3001361 },1362 1 ->1363 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1364 2 ->1365 {1366 alive: true,1367 heap: 300,1368 job: "a",1369 phase: Busy,1370 rss: 400,1371 startRss: 3001372 }1373 )1374}13751376[State 42]1377{1378 main::scheduler::done: Set("a", "fat"),1379 main::scheduler::errored: Set(),1380 main::scheduler::estimate: 980,1381 main::scheduler::externalKills: 2,1382 main::scheduler::mode: Parallel,1383 main::scheduler::solo: [],1384 main::scheduler::todo: Set("b", "c", "huge"),1385 main::scheduler::wasFinished: false,1386 main::scheduler::workers:1387 Map(1388 0 ->1389 {1390 alive: true,1391 heap: 1300,1392 job: "",1393 phase: Idle,1394 rss: 1300,1395 startRss: 3001396 },1397 1 ->1398 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1399 2 ->1400 {1401 alive: true,1402 heap: 350,1403 job: "",1404 phase: Starting,1405 rss: 350,1406 startRss: 3001407 }1408 )1409}14101411[State 43]1412{1413 main::scheduler::done: Set("a", "fat"),1414 main::scheduler::errored: Set(),1415 main::scheduler::estimate: 980,1416 main::scheduler::externalKills: 2,1417 main::scheduler::mode: Parallel,1418 main::scheduler::solo: [],1419 main::scheduler::todo: Set("b", "c", "huge"),1420 main::scheduler::wasFinished: false,1421 main::scheduler::workers:1422 Map(1423 0 ->1424 {1425 alive: true,1426 heap: 1300,1427 job: "",1428 phase: Idle,1429 rss: 1300,1430 startRss: 3001431 },1432 1 ->1433 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1434 2 ->1435 {1436 alive: true,1437 heap: 350,1438 job: "",1439 phase: Starting,1440 rss: 350,1441 startRss: 3001442 }1443 )1444}14451446[State 44]1447{1448 main::scheduler::done: Set("a", "fat"),1449 main::scheduler::errored: Set(),1450 main::scheduler::estimate: 980,1451 main::scheduler::externalKills: 2,1452 main::scheduler::mode: Parallel,1453 main::scheduler::solo: [],1454 main::scheduler::todo: Set("b", "c", "huge"),1455 main::scheduler::wasFinished: false,1456 main::scheduler::workers:1457 Map(1458 0 ->1459 {1460 alive: true,1461 heap: 1300,1462 job: "",1463 phase: Idle,1464 rss: 1300,1465 startRss: 3001466 },1467 1 ->1468 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1469 2 ->1470 {1471 alive: true,1472 heap: 350,1473 job: "",1474 phase: Starting,1475 rss: 350,1476 startRss: 3001477 }1478 )1479}14801481[State 45]1482{1483 main::scheduler::done: Set("a", "fat"),1484 main::scheduler::errored: Set(),1485 main::scheduler::estimate: 980,1486 main::scheduler::externalKills: 2,1487 main::scheduler::mode: Parallel,1488 main::scheduler::solo: [],1489 main::scheduler::todo: Set("b", "c"),1490 main::scheduler::wasFinished: false,1491 main::scheduler::workers:1492 Map(1493 0 ->1494 {1495 alive: true,1496 heap: 1300,1497 job: "",1498 phase: Idle,1499 rss: 1300,1500 startRss: 3001501 },1502 1 ->1503 {1504 alive: true,1505 heap: 300,1506 job: "huge",1507 phase: Busy,1508 rss: 300,1509 startRss: 3001510 },1511 2 ->1512 {1513 alive: true,1514 heap: 350,1515 job: "",1516 phase: Starting,1517 rss: 350,1518 startRss: 3001519 }1520 )1521}15221523[State 46]1524{1525 main::scheduler::done: Set("a", "fat"),1526 main::scheduler::errored: Set(),1527 main::scheduler::estimate: 980,1528 main::scheduler::externalKills: 2,1529 main::scheduler::mode: Parallel,1530 main::scheduler::solo: [],1531 main::scheduler::todo: Set("b", "c"),1532 main::scheduler::wasFinished: false,1533 main::scheduler::workers:1534 Map(1535 0 ->1536 {1537 alive: true,1538 heap: 1300,1539 job: "",1540 phase: Idle,1541 rss: 1300,1542 startRss: 3001543 },1544 1 ->1545 {1546 alive: true,1547 heap: 300,1548 job: "huge",1549 phase: Busy,1550 rss: 300,1551 startRss: 3001552 },1553 2 ->1554 {1555 alive: true,1556 heap: 350,1557 job: "",1558 phase: Starting,1559 rss: 350,1560 startRss: 3001561 }1562 )1563}15641565[State 47]1566{1567 main::scheduler::done: Set("a", "fat"),1568 main::scheduler::errored: Set(),1569 main::scheduler::estimate: 980,1570 main::scheduler::externalKills: 2,1571 main::scheduler::mode: Parallel,1572 main::scheduler::solo: [],1573 main::scheduler::todo: Set("b", "c"),1574 main::scheduler::wasFinished: false,1575 main::scheduler::workers:1576 Map(1577 0 ->1578 {1579 alive: true,1580 heap: 1300,1581 job: "",1582 phase: Idle,1583 rss: 1300,1584 startRss: 3001585 },1586 1 ->1587 {1588 alive: true,1589 heap: 300,1590 job: "huge",1591 phase: Busy,1592 rss: 300,1593 startRss: 3001594 },1595 2 ->1596 {1597 alive: true,1598 heap: 350,1599 job: "",1600 phase: Starting,1601 rss: 350,1602 startRss: 3001603 }1604 )1605}16061607[State 48]1608{1609 main::scheduler::done: Set("a", "fat"),1610 main::scheduler::errored: Set(),1611 main::scheduler::estimate: 980,1612 main::scheduler::externalKills: 2,1613 main::scheduler::mode: Parallel,1614 main::scheduler::solo: [],1615 main::scheduler::todo: Set("b", "c"),1616 main::scheduler::wasFinished: false,1617 main::scheduler::workers:1618 Map(1619 0 ->1620 {1621 alive: true,1622 heap: 1300,1623 job: "",1624 phase: Idle,1625 rss: 1300,1626 startRss: 3001627 },1628 1 ->1629 {1630 alive: true,1631 heap: 300,1632 job: "huge",1633 phase: Busy,1634 rss: 300,1635 startRss: 3001636 },1637 2 ->1638 {1639 alive: true,1640 heap: 350,1641 job: "",1642 phase: Idle,1643 rss: 350,1644 startRss: 3001645 }1646 )1647}16481649[State 49]1650{1651 main::scheduler::done: Set("a", "fat"),1652 main::scheduler::errored: Set(),1653 main::scheduler::estimate: 980,1654 main::scheduler::externalKills: 2,1655 main::scheduler::mode: Parallel,1656 main::scheduler::solo: [],1657 main::scheduler::todo: Set("b", "c"),1658 main::scheduler::wasFinished: false,1659 main::scheduler::workers:1660 Map(1661 0 ->1662 {1663 alive: true,1664 heap: 1300,1665 job: "",1666 phase: Idle,1667 rss: 1300,1668 startRss: 3001669 },1670 1 ->1671 {1672 alive: true,1673 heap: 300,1674 job: "huge",1675 phase: Busy,1676 rss: 300,1677 startRss: 3001678 },1679 2 ->1680 {1681 alive: true,1682 heap: 350,1683 job: "",1684 phase: Idle,1685 rss: 350,1686 startRss: 3001687 }1688 )1689}16901691[State 50]1692{1693 main::scheduler::done: Set("a", "fat"),1694 main::scheduler::errored: Set(),1695 main::scheduler::estimate: 980,1696 main::scheduler::externalKills: 2,1697 main::scheduler::mode: Parallel,1698 main::scheduler::solo: [],1699 main::scheduler::todo: Set("b", "c"),1700 main::scheduler::wasFinished: false,1701 main::scheduler::workers:1702 Map(1703 0 ->1704 {1705 alive: true,1706 heap: 1300,1707 job: "",1708 phase: Idle,1709 rss: 1300,1710 startRss: 3001711 },1712 1 ->1713 {1714 alive: true,1715 heap: 300,1716 job: "huge",1717 phase: Busy,1718 rss: 300,1719 startRss: 3001720 },1721 2 ->1722 {1723 alive: true,1724 heap: 350,1725 job: "",1726 phase: Idle,1727 rss: 350,1728 startRss: 3001729 }1730 )1731}17321733[State 51]1734{1735 main::scheduler::done: Set("a", "fat"),1736 main::scheduler::errored: Set(),1737 main::scheduler::estimate: 980,1738 main::scheduler::externalKills: 2,1739 main::scheduler::mode: Parallel,1740 main::scheduler::solo: [],1741 main::scheduler::todo: Set("b", "c"),1742 main::scheduler::wasFinished: false,1743 main::scheduler::workers:1744 Map(1745 0 ->1746 {1747 alive: true,1748 heap: 1300,1749 job: "",1750 phase: Idle,1751 rss: 1300,1752 startRss: 3001753 },1754 1 ->1755 {1756 alive: true,1757 heap: 300,1758 job: "huge",1759 phase: Busy,1760 rss: 300,1761 startRss: 3001762 },1763 2 ->1764 {1765 alive: true,1766 heap: 350,1767 job: "",1768 phase: Idle,1769 rss: 350,1770 startRss: 3001771 }1772 )1773}17741775[State 52]1776{1777 main::scheduler::done: Set("a", "fat"),1778 main::scheduler::errored: Set(),1779 main::scheduler::estimate: 980,1780 main::scheduler::externalKills: 2,1781 main::scheduler::mode: Parallel,1782 main::scheduler::solo: [],1783 main::scheduler::todo: Set("b", "c"),1784 main::scheduler::wasFinished: false,1785 main::scheduler::workers:1786 Map(1787 0 ->1788 {1789 alive: true,1790 heap: 1300,1791 job: "",1792 phase: Idle,1793 rss: 1300,1794 startRss: 3001795 },1796 1 ->1797 {1798 alive: true,1799 heap: 300,1800 job: "huge",1801 phase: Busy,1802 rss: 300,1803 startRss: 3001804 },1805 2 ->1806 {1807 alive: true,1808 heap: 350,1809 job: "",1810 phase: Idle,1811 rss: 350,1812 startRss: 3001813 }1814 )1815}18161817[State 53]1818{1819 main::scheduler::done: Set("a", "fat"),1820 main::scheduler::errored: Set(),1821 main::scheduler::estimate: 980,1822 main::scheduler::externalKills: 2,1823 main::scheduler::mode: Parallel,1824 main::scheduler::solo: [],1825 main::scheduler::todo: Set("b", "c"),1826 main::scheduler::wasFinished: false,1827 main::scheduler::workers:1828 Map(1829 0 ->1830 {1831 alive: true,1832 heap: 1300,1833 job: "",1834 phase: Idle,1835 rss: 1300,1836 startRss: 3001837 },1838 1 ->1839 {1840 alive: true,1841 heap: 300,1842 job: "huge",1843 phase: Busy,1844 rss: 300,1845 startRss: 3001846 },1847 2 ->1848 {1849 alive: true,1850 heap: 350,1851 job: "",1852 phase: Idle,1853 rss: 350,1854 startRss: 3001855 }1856 )1857}18581859[State 54]1860{1861 main::scheduler::done: Set("a", "fat"),1862 main::scheduler::errored: Set(),1863 main::scheduler::estimate: 980,1864 main::scheduler::externalKills: 2,1865 main::scheduler::mode: Parallel,1866 main::scheduler::solo: [],1867 main::scheduler::todo: Set("b", "c"),1868 main::scheduler::wasFinished: false,1869 main::scheduler::workers:1870 Map(1871 0 ->1872 {1873 alive: true,1874 heap: 1300,1875 job: "",1876 phase: Idle,1877 rss: 1300,1878 startRss: 3001879 },1880 1 ->1881 {1882 alive: true,1883 heap: 300,1884 job: "huge",1885 phase: Busy,1886 rss: 300,1887 startRss: 3001888 },1889 2 ->1890 {1891 alive: true,1892 heap: 350,1893 job: "",1894 phase: Idle,1895 rss: 350,1896 startRss: 3001897 }1898 )1899}19001901[State 55]1902{1903 main::scheduler::done: Set("a", "fat"),1904 main::scheduler::errored: Set(),1905 main::scheduler::estimate: 980,1906 main::scheduler::externalKills: 2,1907 main::scheduler::mode: Parallel,1908 main::scheduler::solo: [],1909 main::scheduler::todo: Set("b", "c"),1910 main::scheduler::wasFinished: false,1911 main::scheduler::workers:1912 Map(1913 0 ->1914 {1915 alive: true,1916 heap: 1300,1917 job: "",1918 phase: Idle,1919 rss: 1300,1920 startRss: 3001921 },1922 1 ->1923 {1924 alive: true,1925 heap: 300,1926 job: "huge",1927 phase: Busy,1928 rss: 300,1929 startRss: 3001930 },1931 2 ->1932 {1933 alive: true,1934 heap: 350,1935 job: "",1936 phase: Idle,1937 rss: 350,1938 startRss: 3001939 }1940 )1941}19421943[State 56]1944{1945 main::scheduler::done: Set("a", "fat"),1946 main::scheduler::errored: Set(),1947 main::scheduler::estimate: 980,1948 main::scheduler::externalKills: 2,1949 main::scheduler::mode: Parallel,1950 main::scheduler::solo: [],1951 main::scheduler::todo: Set("b", "c"),1952 main::scheduler::wasFinished: false,1953 main::scheduler::workers:1954 Map(1955 0 ->1956 {1957 alive: true,1958 heap: 1300,1959 job: "",1960 phase: Idle,1961 rss: 1300,1962 startRss: 3001963 },1964 1 ->1965 {1966 alive: true,1967 heap: 300,1968 job: "huge",1969 phase: Busy,1970 rss: 300,1971 startRss: 3001972 },1973 2 ->1974 {1975 alive: true,1976 heap: 350,1977 job: "",1978 phase: Idle,1979 rss: 350,1980 startRss: 3001981 }1982 )1983}19841985[State 57]1986{1987 main::scheduler::done: Set("a", "fat"),1988 main::scheduler::errored: Set(),1989 main::scheduler::estimate: 980,1990 main::scheduler::externalKills: 2,1991 main::scheduler::mode: Parallel,1992 main::scheduler::solo: [],1993 main::scheduler::todo: Set("b", "c"),1994 main::scheduler::wasFinished: false,1995 main::scheduler::workers:1996 Map(1997 0 ->1998 {1999 alive: true,2000 heap: 1300,2001 job: "",2002 phase: Idle,2003 rss: 1300,2004 startRss: 3002005 },2006 1 ->2007 {2008 alive: true,2009 heap: 300,2010 job: "huge",2011 phase: Busy,2012 rss: 300,2013 startRss: 3002014 },2015 2 ->2016 {2017 alive: true,2018 heap: 350,2019 job: "",2020 phase: Idle,2021 rss: 350,2022 startRss: 3002023 }2024 )2025}20262027[State 58]2028{2029 main::scheduler::done: Set("a", "fat"),2030 main::scheduler::errored: Set(),2031 main::scheduler::estimate: 980,2032 main::scheduler::externalKills: 2,2033 main::scheduler::mode: Parallel,2034 main::scheduler::solo: [],2035 main::scheduler::todo: Set("b", "c"),2036 main::scheduler::wasFinished: false,2037 main::scheduler::workers:2038 Map(2039 0 ->2040 {2041 alive: true,2042 heap: 1300,2043 job: "",2044 phase: Idle,2045 rss: 1300,2046 startRss: 3002047 },2048 1 ->2049 {2050 alive: true,2051 heap: 300,2052 job: "huge",2053 phase: Busy,2054 rss: 300,2055 startRss: 3002056 },2057 2 ->2058 {2059 alive: true,2060 heap: 350,2061 job: "",2062 phase: Idle,2063 rss: 350,2064 startRss: 3002065 }2066 )2067}20682069[State 59]2070{2071 main::scheduler::done: Set("a", "fat"),2072 main::scheduler::errored: Set(),2073 main::scheduler::estimate: 980,2074 main::scheduler::externalKills: 2,2075 main::scheduler::mode: Parallel,2076 main::scheduler::solo: [],2077 main::scheduler::todo: Set("b", "c"),2078 main::scheduler::wasFinished: false,2079 main::scheduler::workers:2080 Map(2081 0 ->2082 {2083 alive: true,2084 heap: 1300,2085 job: "",2086 phase: Idle,2087 rss: 1300,2088 startRss: 3002089 },2090 1 ->2091 {2092 alive: true,2093 heap: 300,2094 job: "huge",2095 phase: Busy,2096 rss: 300,2097 startRss: 3002098 },2099 2 ->2100 {2101 alive: true,2102 heap: 350,2103 job: "",2104 phase: Idle,2105 rss: 350,2106 startRss: 3002107 }2108 )2109}21102111[State 60]2112{2113 main::scheduler::done: Set("a", "fat"),2114 main::scheduler::errored: Set(),2115 main::scheduler::estimate: 980,2116 main::scheduler::externalKills: 2,2117 main::scheduler::mode: Parallel,2118 main::scheduler::solo: [],2119 main::scheduler::todo: Set("b", "c"),2120 main::scheduler::wasFinished: false,2121 main::scheduler::workers:2122 Map(2123 0 ->2124 {2125 alive: true,2126 heap: 1300,2127 job: "",2128 phase: Idle,2129 rss: 1300,2130 startRss: 3002131 },2132 1 ->2133 {2134 alive: true,2135 heap: 300,2136 job: "huge",2137 phase: Busy,2138 rss: 300,2139 startRss: 3002140 },2141 2 ->2142 {2143 alive: true,2144 heap: 350,2145 job: "",2146 phase: Idle,2147 rss: 350,2148 startRss: 3002149 }2150 )2151}21522153[State 61]2154{2155 main::scheduler::done: Set("a", "fat"),2156 main::scheduler::errored: Set(),2157 main::scheduler::estimate: 980,2158 main::scheduler::externalKills: 2,2159 main::scheduler::mode: Parallel,2160 main::scheduler::solo: [],2161 main::scheduler::todo: Set("b", "c"),2162 main::scheduler::wasFinished: false,2163 main::scheduler::workers:2164 Map(2165 0 ->2166 {2167 alive: true,2168 heap: 1300,2169 job: "",2170 phase: Idle,2171 rss: 1300,2172 startRss: 3002173 },2174 1 ->2175 {2176 alive: true,2177 heap: 300,2178 job: "huge",2179 phase: Busy,2180 rss: 5300,2181 startRss: 3002182 },2183 2 ->2184 {2185 alive: true,2186 heap: 350,2187 job: "",2188 phase: Idle,2189 rss: 350,2190 startRss: 3002191 }2192 )2193}21942195[State 62]2196{2197 main::scheduler::done: Set("a", "fat"),2198 main::scheduler::errored: Set(),2199 main::scheduler::estimate: 5000,2200 main::scheduler::externalKills: 2,2201 main::scheduler::mode: Parallel,2202 main::scheduler::solo: [],2203 main::scheduler::todo: Set("b", "c"),2204 main::scheduler::wasFinished: false,2205 main::scheduler::workers:2206 Map(2207 0 ->2208 {2209 alive: true,2210 heap: 1300,2211 job: "",2212 phase: Idle,2213 rss: 1300,2214 startRss: 3002215 },2216 1 ->2217 {2218 alive: true,2219 heap: 300,2220 job: "huge",2221 phase: Killed,2222 rss: 5300,2223 startRss: 3002224 },2225 2 ->2226 {2227 alive: true,2228 heap: 350,2229 job: "",2230 phase: Idle,2231 rss: 350,2232 startRss: 3002233 }2234 )2235}22362237[State 63]2238{2239 main::scheduler::done: Set("a", "fat"),2240 main::scheduler::errored: Set(),2241 main::scheduler::estimate: 5000,2242 main::scheduler::externalKills: 2,2243 main::scheduler::mode: Parallel,2244 main::scheduler::solo: [],2245 main::scheduler::todo: Set("b", "c"),2246 main::scheduler::wasFinished: false,2247 main::scheduler::workers:2248 Map(2249 0 ->2250 {2251 alive: true,2252 heap: 1300,2253 job: "",2254 phase: Idle,2255 rss: 1300,2256 startRss: 3002257 },2258 1 ->2259 {2260 alive: true,2261 heap: 300,2262 job: "huge",2263 phase: Killed,2264 rss: 5300,2265 startRss: 3002266 },2267 2 ->2268 {2269 alive: true,2270 heap: 350,2271 job: "",2272 phase: Idle,2273 rss: 350,2274 startRss: 3002275 }2276 )2277}22782279[State 64]2280{2281 main::scheduler::done: Set("a", "fat"),2282 main::scheduler::errored: Set(),2283 main::scheduler::estimate: 5000,2284 main::scheduler::externalKills: 2,2285 main::scheduler::mode: Parallel,2286 main::scheduler::solo: [],2287 main::scheduler::todo: Set("b", "c"),2288 main::scheduler::wasFinished: false,2289 main::scheduler::workers:2290 Map(2291 0 ->2292 {2293 alive: true,2294 heap: 1300,2295 job: "",2296 phase: Idle,2297 rss: 1300,2298 startRss: 3002299 },2300 1 ->2301 {2302 alive: true,2303 heap: 300,2304 job: "huge",2305 phase: Killed,2306 rss: 5300,2307 startRss: 3002308 },2309 2 ->2310 {2311 alive: true,2312 heap: 350,2313 job: "",2314 phase: Idle,2315 rss: 350,2316 startRss: 3002317 }2318 )2319}23202321[State 65]2322{2323 main::scheduler::done: Set("a", "fat"),2324 main::scheduler::errored: Set(),2325 main::scheduler::estimate: 5000,2326 main::scheduler::externalKills: 2,2327 main::scheduler::mode: Parallel,2328 main::scheduler::solo: [],2329 main::scheduler::todo: Set("b", "c"),2330 main::scheduler::wasFinished: false,2331 main::scheduler::workers:2332 Map(2333 0 ->2334 {2335 alive: true,2336 heap: 1300,2337 job: "",2338 phase: Idle,2339 rss: 1300,2340 startRss: 3002341 },2342 1 ->2343 {2344 alive: true,2345 heap: 300,2346 job: "huge",2347 phase: Killed,2348 rss: 5300,2349 startRss: 3002350 },2351 2 ->2352 {2353 alive: true,2354 heap: 350,2355 job: "",2356 phase: Idle,2357 rss: 350,2358 startRss: 3002359 }2360 )2361}23622363[State 66]2364{2365 main::scheduler::done: Set("a", "fat"),2366 main::scheduler::errored: Set(),2367 main::scheduler::estimate: 5000,2368 main::scheduler::externalKills: 2,2369 main::scheduler::mode: Parallel,2370 main::scheduler::solo: [],2371 main::scheduler::todo: Set("b", "c"),2372 main::scheduler::wasFinished: false,2373 main::scheduler::workers:2374 Map(2375 0 ->2376 {2377 alive: true,2378 heap: 1300,2379 job: "",2380 phase: Idle,2381 rss: 1300,2382 startRss: 3002383 },2384 1 ->2385 {2386 alive: true,2387 heap: 300,2388 job: "huge",2389 phase: Killed,2390 rss: 5300,2391 startRss: 3002392 },2393 2 ->2394 {2395 alive: true,2396 heap: 350,2397 job: "",2398 phase: Idle,2399 rss: 350,2400 startRss: 3002401 }2402 )2403}24042405[State 67]2406{2407 main::scheduler::done: Set("a", "fat"),2408 main::scheduler::errored: Set(),2409 main::scheduler::estimate: 5000,2410 main::scheduler::externalKills: 2,2411 main::scheduler::mode: Parallel,2412 main::scheduler::solo: [],2413 main::scheduler::todo: Set("b", "c"),2414 main::scheduler::wasFinished: false,2415 main::scheduler::workers:2416 Map(2417 0 ->2418 {2419 alive: true,2420 heap: 1300,2421 job: "",2422 phase: Idle,2423 rss: 1300,2424 startRss: 3002425 },2426 1 ->2427 {2428 alive: true,2429 heap: 300,2430 job: "huge",2431 phase: Killed,2432 rss: 5300,2433 startRss: 3002434 },2435 2 ->2436 {2437 alive: true,2438 heap: 350,2439 job: "",2440 phase: Idle,2441 rss: 350,2442 startRss: 3002443 }2444 )2445}24462447[State 68]2448{2449 main::scheduler::done: Set("a", "fat"),2450 main::scheduler::errored: Set(),2451 main::scheduler::estimate: 5000,2452 main::scheduler::externalKills: 2,2453 main::scheduler::mode: Parallel,2454 main::scheduler::solo: [],2455 main::scheduler::todo: Set("b", "c"),2456 main::scheduler::wasFinished: false,2457 main::scheduler::workers:2458 Map(2459 0 ->2460 {2461 alive: true,2462 heap: 1300,2463 job: "",2464 phase: Idle,2465 rss: 1300,2466 startRss: 3002467 },2468 1 ->2469 {2470 alive: true,2471 heap: 300,2472 job: "huge",2473 phase: Killed,2474 rss: 5300,2475 startRss: 3002476 },2477 2 ->2478 {2479 alive: true,2480 heap: 350,2481 job: "",2482 phase: Idle,2483 rss: 350,2484 startRss: 3002485 }2486 )2487}24882489[State 69]2490{2491 main::scheduler::done: Set("a", "fat"),2492 main::scheduler::errored: Set(),2493 main::scheduler::estimate: 5000,2494 main::scheduler::externalKills: 2,2495 main::scheduler::mode: Parallel,2496 main::scheduler::solo: [],2497 main::scheduler::todo: Set("b", "c"),2498 main::scheduler::wasFinished: false,2499 main::scheduler::workers:2500 Map(2501 0 ->2502 {2503 alive: true,2504 heap: 1300,2505 job: "",2506 phase: Idle,2507 rss: 1300,2508 startRss: 3002509 },2510 1 ->2511 {2512 alive: true,2513 heap: 300,2514 job: "huge",2515 phase: Killed,2516 rss: 5300,2517 startRss: 3002518 },2519 2 ->2520 {2521 alive: true,2522 heap: 350,2523 job: "",2524 phase: Idle,2525 rss: 350,2526 startRss: 3002527 }2528 )2529}25302531[State 70]2532{2533 main::scheduler::done: Set("a", "fat"),2534 main::scheduler::errored: Set(),2535 main::scheduler::estimate: 5000,2536 main::scheduler::externalKills: 2,2537 main::scheduler::mode: Parallel,2538 main::scheduler::solo: [],2539 main::scheduler::todo: Set("b", "c"),2540 main::scheduler::wasFinished: false,2541 main::scheduler::workers:2542 Map(2543 0 ->2544 {2545 alive: true,2546 heap: 1300,2547 job: "",2548 phase: Idle,2549 rss: 1300,2550 startRss: 3002551 },2552 1 ->2553 {2554 alive: true,2555 heap: 300,2556 job: "huge",2557 phase: Killed,2558 rss: 5300,2559 startRss: 3002560 },2561 2 ->2562 {2563 alive: true,2564 heap: 350,2565 job: "",2566 phase: Idle,2567 rss: 350,2568 startRss: 3002569 }2570 )2571}25722573[State 71]2574{2575 main::scheduler::done: Set("a", "fat"),2576 main::scheduler::errored: Set(),2577 main::scheduler::estimate: 5000,2578 main::scheduler::externalKills: 2,2579 main::scheduler::mode: Parallel,2580 main::scheduler::solo: [],2581 main::scheduler::todo: Set("b", "c"),2582 main::scheduler::wasFinished: false,2583 main::scheduler::workers:2584 Map(2585 0 ->2586 {2587 alive: true,2588 heap: 1300,2589 job: "",2590 phase: Idle,2591 rss: 1300,2592 startRss: 3002593 },2594 1 ->2595 {2596 alive: true,2597 heap: 300,2598 job: "huge",2599 phase: Killed,2600 rss: 5300,2601 startRss: 3002602 },2603 2 ->2604 {2605 alive: true,2606 heap: 350,2607 job: "",2608 phase: Idle,2609 rss: 350,2610 startRss: 3002611 }2612 )2613}26142615[State 72]2616{2617 main::scheduler::done: Set("a", "fat"),2618 main::scheduler::errored: Set(),2619 main::scheduler::estimate: 5000,2620 main::scheduler::externalKills: 2,2621 main::scheduler::mode: Parallel,2622 main::scheduler::solo: [],2623 main::scheduler::todo: Set("b", "c"),2624 main::scheduler::wasFinished: false,2625 main::scheduler::workers:2626 Map(2627 0 ->2628 {2629 alive: true,2630 heap: 1300,2631 job: "",2632 phase: Idle,2633 rss: 1300,2634 startRss: 3002635 },2636 1 ->2637 {2638 alive: true,2639 heap: 300,2640 job: "huge",2641 phase: Killed,2642 rss: 5300,2643 startRss: 3002644 },2645 2 ->2646 {2647 alive: true,2648 heap: 350,2649 job: "",2650 phase: Idle,2651 rss: 350,2652 startRss: 3002653 }2654 )2655}26562657[State 73]2658{2659 main::scheduler::done: Set("a", "fat"),2660 main::scheduler::errored: Set(),2661 main::scheduler::estimate: 5000,2662 main::scheduler::externalKills: 2,2663 main::scheduler::mode: Parallel,2664 main::scheduler::solo: [],2665 main::scheduler::todo: Set("b", "c"),2666 main::scheduler::wasFinished: false,2667 main::scheduler::workers:2668 Map(2669 0 ->2670 {2671 alive: true,2672 heap: 1300,2673 job: "",2674 phase: Idle,2675 rss: 1300,2676 startRss: 3002677 },2678 1 ->2679 {2680 alive: true,2681 heap: 300,2682 job: "huge",2683 phase: Killed,2684 rss: 5300,2685 startRss: 3002686 },2687 2 ->2688 {2689 alive: true,2690 heap: 350,2691 job: "",2692 phase: Idle,2693 rss: 350,2694 startRss: 3002695 }2696 )2697}26982699[State 74]2700{2701 main::scheduler::done: Set("a", "fat"),2702 main::scheduler::errored: Set(),2703 main::scheduler::estimate: 5000,2704 main::scheduler::externalKills: 2,2705 main::scheduler::mode: Parallel,2706 main::scheduler::solo: [],2707 main::scheduler::todo: Set("b", "c"),2708 main::scheduler::wasFinished: false,2709 main::scheduler::workers:2710 Map(2711 0 ->2712 {2713 alive: true,2714 heap: 1300,2715 job: "",2716 phase: Idle,2717 rss: 1300,2718 startRss: 3002719 },2720 1 ->2721 {2722 alive: true,2723 heap: 300,2724 job: "huge",2725 phase: Killed,2726 rss: 5300,2727 startRss: 3002728 },2729 2 ->2730 {2731 alive: true,2732 heap: 350,2733 job: "",2734 phase: Idle,2735 rss: 350,2736 startRss: 3002737 }2738 )2739}27402741[State 75]2742{2743 main::scheduler::done: Set("a", "fat"),2744 main::scheduler::errored: Set(),2745 main::scheduler::estimate: 5000,2746 main::scheduler::externalKills: 2,2747 main::scheduler::mode: Parallel,2748 main::scheduler::solo: [],2749 main::scheduler::todo: Set("b", "c"),2750 main::scheduler::wasFinished: false,2751 main::scheduler::workers:2752 Map(2753 0 ->2754 {2755 alive: true,2756 heap: 1300,2757 job: "",2758 phase: Idle,2759 rss: 1300,2760 startRss: 3002761 },2762 1 ->2763 {2764 alive: true,2765 heap: 300,2766 job: "huge",2767 phase: Killed,2768 rss: 5300,2769 startRss: 3002770 },2771 2 ->2772 {2773 alive: true,2774 heap: 350,2775 job: "",2776 phase: Idle,2777 rss: 350,2778 startRss: 3002779 }2780 )2781}27822783[State 76]2784{2785 main::scheduler::done: Set("a", "fat"),2786 main::scheduler::errored: Set(),2787 main::scheduler::estimate: 5000,2788 main::scheduler::externalKills: 2,2789 main::scheduler::mode: Parallel,2790 main::scheduler::solo: [],2791 main::scheduler::todo: Set("b", "c"),2792 main::scheduler::wasFinished: false,2793 main::scheduler::workers:2794 Map(2795 0 ->2796 {2797 alive: true,2798 heap: 1300,2799 job: "",2800 phase: Idle,2801 rss: 1300,2802 startRss: 3002803 },2804 1 ->2805 {2806 alive: true,2807 heap: 300,2808 job: "huge",2809 phase: Killed,2810 rss: 5300,2811 startRss: 3002812 },2813 2 ->2814 {2815 alive: true,2816 heap: 350,2817 job: "",2818 phase: Idle,2819 rss: 350,2820 startRss: 3002821 }2822 )2823}28242825[State 77]2826{2827 main::scheduler::done: Set("a", "fat"),2828 main::scheduler::errored: Set(),2829 main::scheduler::estimate: 5000,2830 main::scheduler::externalKills: 2,2831 main::scheduler::mode: Parallel,2832 main::scheduler::solo: [],2833 main::scheduler::todo: Set("b", "c"),2834 main::scheduler::wasFinished: false,2835 main::scheduler::workers:2836 Map(2837 0 ->2838 {2839 alive: true,2840 heap: 1300,2841 job: "",2842 phase: Idle,2843 rss: 1300,2844 startRss: 3002845 },2846 1 ->2847 {2848 alive: true,2849 heap: 300,2850 job: "huge",2851 phase: Killed,2852 rss: 5300,2853 startRss: 3002854 },2855 2 ->2856 {2857 alive: true,2858 heap: 350,2859 job: "",2860 phase: Idle,2861 rss: 350,2862 startRss: 3002863 }2864 )2865}28662867[State 78]2868{2869 main::scheduler::done: Set("a", "fat"),2870 main::scheduler::errored: Set(),2871 main::scheduler::estimate: 5000,2872 main::scheduler::externalKills: 2,2873 main::scheduler::mode: Parallel,2874 main::scheduler::solo: [],2875 main::scheduler::todo: Set("b", "c"),2876 main::scheduler::wasFinished: false,2877 main::scheduler::workers:2878 Map(2879 0 ->2880 {2881 alive: true,2882 heap: 1300,2883 job: "",2884 phase: Idle,2885 rss: 1300,2886 startRss: 3002887 },2888 1 ->2889 {2890 alive: true,2891 heap: 300,2892 job: "huge",2893 phase: Killed,2894 rss: 5300,2895 startRss: 3002896 },2897 2 ->2898 {2899 alive: true,2900 heap: 350,2901 job: "",2902 phase: Idle,2903 rss: 350,2904 startRss: 3002905 }2906 )2907}29082909[State 79]2910{2911 main::scheduler::done: Set("a", "fat"),2912 main::scheduler::errored: Set(),2913 main::scheduler::estimate: 5000,2914 main::scheduler::externalKills: 2,2915 main::scheduler::mode: Parallel,2916 main::scheduler::solo: [],2917 main::scheduler::todo: Set("b", "c"),2918 main::scheduler::wasFinished: false,2919 main::scheduler::workers:2920 Map(2921 0 ->2922 {2923 alive: true,2924 heap: 1300,2925 job: "",2926 phase: Idle,2927 rss: 1300,2928 startRss: 3002929 },2930 1 ->2931 {2932 alive: true,2933 heap: 300,2934 job: "huge",2935 phase: Killed,2936 rss: 5300,2937 startRss: 3002938 },2939 2 ->2940 {2941 alive: true,2942 heap: 350,2943 job: "",2944 phase: Idle,2945 rss: 350,2946 startRss: 3002947 }2948 )2949}29502951[State 80]2952{2953 main::scheduler::done: Set("a", "fat"),2954 main::scheduler::errored: Set(),2955 main::scheduler::estimate: 5000,2956 main::scheduler::externalKills: 2,2957 main::scheduler::mode: Parallel,2958 main::scheduler::solo: ["huge"],2959 main::scheduler::todo: Set("b", "c"),2960 main::scheduler::wasFinished: false,2961 main::scheduler::workers:2962 Map(2963 0 ->2964 {2965 alive: true,2966 heap: 1300,2967 job: "",2968 phase: Idle,2969 rss: 1300,2970 startRss: 3002971 },2972 1 ->2973 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2974 2 ->2975 {2976 alive: true,2977 heap: 350,2978 job: "",2979 phase: Idle,2980 rss: 350,2981 startRss: 3002982 }2983 )2984}29852986[State 81]2987{2988 main::scheduler::done: Set("a", "fat"),2989 main::scheduler::errored: Set(),2990 main::scheduler::estimate: 5000,2991 main::scheduler::externalKills: 2,2992 main::scheduler::mode: Parallel,2993 main::scheduler::solo: ["huge"],2994 main::scheduler::todo: Set("b", "c"),2995 main::scheduler::wasFinished: false,2996 main::scheduler::workers:2997 Map(2998 0 ->2999 {3000 alive: true,3001 heap: 1300,3002 job: "",3003 phase: Idle,3004 rss: 1300,3005 startRss: 3003006 },3007 1 ->3008 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3009 2 ->3010 {3011 alive: true,3012 heap: 350,3013 job: "",3014 phase: Idle,3015 rss: 350,3016 startRss: 3003017 }3018 )3019}30203021[State 82]3022{3023 main::scheduler::done: Set("a", "fat"),3024 main::scheduler::errored: Set(),3025 main::scheduler::estimate: 5000,3026 main::scheduler::externalKills: 2,3027 main::scheduler::mode: Solo,3028 main::scheduler::solo: ["huge"],3029 main::scheduler::todo: Set("b", "c"),3030 main::scheduler::wasFinished: false,3031 main::scheduler::workers:3032 Map(3033 0 ->3034 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3035 1 ->3036 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3037 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3038 )3039}30403041[State 83]3042{3043 main::scheduler::done: Set("a", "fat"),3044 main::scheduler::errored: Set(),3045 main::scheduler::estimate: 5000,3046 main::scheduler::externalKills: 2,3047 main::scheduler::mode: Solo,3048 main::scheduler::solo: ["huge"],3049 main::scheduler::todo: Set("b", "c"),3050 main::scheduler::wasFinished: false,3051 main::scheduler::workers:3052 Map(3053 0 ->3054 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3055 1 ->3056 {3057 alive: true,3058 heap: 300,3059 job: "",3060 phase: Starting,3061 rss: 300,3062 startRss: 03063 },3064 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3065 )3066}30673068[State 84]3069{3070 main::scheduler::done: Set("a", "fat"),3071 main::scheduler::errored: Set(),3072 main::scheduler::estimate: 5000,3073 main::scheduler::externalKills: 2,3074 main::scheduler::mode: Solo,3075 main::scheduler::solo: ["huge"],3076 main::scheduler::todo: Set("b", "c"),3077 main::scheduler::wasFinished: false,3078 main::scheduler::workers:3079 Map(3080 0 ->3081 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3082 1 ->3083 {3084 alive: true,3085 heap: 300,3086 job: "",3087 phase: Starting,3088 rss: 300,3089 startRss: 03090 },3091 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3092 )3093}30943095[State 85]3096{3097 main::scheduler::done: Set("a", "fat"),3098 main::scheduler::errored: Set(),3099 main::scheduler::estimate: 5000,3100 main::scheduler::externalKills: 2,3101 main::scheduler::mode: Solo,3102 main::scheduler::solo: ["huge"],3103 main::scheduler::todo: Set("b", "c"),3104 main::scheduler::wasFinished: false,3105 main::scheduler::workers:3106 Map(3107 0 ->3108 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3109 1 ->3110 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3111 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3112 )3113}31143115[State 86]3116{3117 main::scheduler::done: Set("a", "fat"),3118 main::scheduler::errored: Set(),3119 main::scheduler::estimate: 5000,3120 main::scheduler::externalKills: 2,3121 main::scheduler::mode: Solo,3122 main::scheduler::solo: ["huge"],3123 main::scheduler::todo: Set("b", "c"),3124 main::scheduler::wasFinished: false,3125 main::scheduler::workers:3126 Map(3127 0 ->3128 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3129 1 ->3130 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3131 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3132 )3133}31343135[State 87]3136{3137 main::scheduler::done: Set("a", "fat"),3138 main::scheduler::errored: Set(),3139 main::scheduler::estimate: 5000,3140 main::scheduler::externalKills: 2,3141 main::scheduler::mode: Solo,3142 main::scheduler::solo: [],3143 main::scheduler::todo: Set("b", "c"),3144 main::scheduler::wasFinished: false,3145 main::scheduler::workers:3146 Map(3147 0 ->3148 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3149 1 ->3150 {3151 alive: true,3152 heap: 300,3153 job: "huge",3154 phase: Busy,3155 rss: 300,3156 startRss: 3003157 },3158 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3159 )3160}31613162[State 88]3163{3164 main::scheduler::done: Set("a", "fat"),3165 main::scheduler::errored: Set(),3166 main::scheduler::estimate: 5000,3167 main::scheduler::externalKills: 2,3168 main::scheduler::mode: Solo,3169 main::scheduler::solo: [],3170 main::scheduler::todo: Set("b", "c"),3171 main::scheduler::wasFinished: false,3172 main::scheduler::workers:3173 Map(3174 0 ->3175 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3176 1 ->3177 {3178 alive: true,3179 heap: 300,3180 job: "huge",3181 phase: Busy,3182 rss: 300,3183 startRss: 3003184 },3185 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3186 )3187}31883189[State 89]3190{3191 main::scheduler::done: Set("a", "fat"),3192 main::scheduler::errored: Set(),3193 main::scheduler::estimate: 5000,3194 main::scheduler::externalKills: 2,3195 main::scheduler::mode: Solo,3196 main::scheduler::solo: [],3197 main::scheduler::todo: Set("b", "c"),3198 main::scheduler::wasFinished: false,3199 main::scheduler::workers:3200 Map(3201 0 ->3202 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3203 1 ->3204 {3205 alive: true,3206 heap: 300,3207 job: "huge",3208 phase: Busy,3209 rss: 300,3210 startRss: 3003211 },3212 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3213 )3214}32153216[State 90]3217{3218 main::scheduler::done: Set("a", "fat"),3219 main::scheduler::errored: Set(),3220 main::scheduler::estimate: 5000,3221 main::scheduler::externalKills: 2,3222 main::scheduler::mode: Solo,3223 main::scheduler::solo: [],3224 main::scheduler::todo: Set("b", "c"),3225 main::scheduler::wasFinished: false,3226 main::scheduler::workers:3227 Map(3228 0 ->3229 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3230 1 ->3231 {3232 alive: true,3233 heap: 300,3234 job: "huge",3235 phase: Busy,3236 rss: 300,3237 startRss: 3003238 },3239 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3240 )3241}32423243[State 91]3244{3245 main::scheduler::done: Set("a", "fat"),3246 main::scheduler::errored: Set(),3247 main::scheduler::estimate: 5000,3248 main::scheduler::externalKills: 2,3249 main::scheduler::mode: Solo,3250 main::scheduler::solo: [],3251 main::scheduler::todo: Set("b", "c"),3252 main::scheduler::wasFinished: false,3253 main::scheduler::workers:3254 Map(3255 0 ->3256 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3257 1 ->3258 {3259 alive: true,3260 heap: 300,3261 job: "huge",3262 phase: Busy,3263 rss: 5300,3264 startRss: 3003265 },3266 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3267 )3268}32693270[State 92]3271{3272 main::scheduler::done: Set("a", "fat"),3273 main::scheduler::errored: Set(),3274 main::scheduler::estimate: 5000,3275 main::scheduler::externalKills: 2,3276 main::scheduler::mode: Solo,3277 main::scheduler::solo: [],3278 main::scheduler::todo: Set("b", "c"),3279 main::scheduler::wasFinished: false,3280 main::scheduler::workers:3281 Map(3282 0 ->3283 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3284 1 ->3285 {3286 alive: true,3287 heap: 300,3288 job: "huge",3289 phase: Killed,3290 rss: 5300,3291 startRss: 3003292 },3293 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3294 )3295}32963297[State 93]3298{3299 main::scheduler::done: Set("a", "fat"),3300 main::scheduler::errored: Set(),3301 main::scheduler::estimate: 5000,3302 main::scheduler::externalKills: 2,3303 main::scheduler::mode: Solo,3304 main::scheduler::solo: [],3305 main::scheduler::todo: Set("b", "c"),3306 main::scheduler::wasFinished: false,3307 main::scheduler::workers:3308 Map(3309 0 ->3310 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3311 1 ->3312 {3313 alive: true,3314 heap: 300,3315 job: "huge",3316 phase: Killed,3317 rss: 5300,3318 startRss: 3003319 },3320 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3321 )3322}33233324[State 94]3325{3326 main::scheduler::done: Set("a", "fat"),3327 main::scheduler::errored: Set(),3328 main::scheduler::estimate: 5000,3329 main::scheduler::externalKills: 2,3330 main::scheduler::mode: Solo,3331 main::scheduler::solo: [],3332 main::scheduler::todo: Set("b", "c"),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 {3340 alive: true,3341 heap: 300,3342 job: "huge",3343 phase: Killed,3344 rss: 5300,3345 startRss: 3003346 },3347 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3348 )3349}33503351[State 95]3352{3353 main::scheduler::done: Set("a", "fat"),3354 main::scheduler::errored: Set(),3355 main::scheduler::estimate: 5000,3356 main::scheduler::externalKills: 2,3357 main::scheduler::mode: Solo,3358 main::scheduler::solo: [],3359 main::scheduler::todo: Set("b", "c"),3360 main::scheduler::wasFinished: false,3361 main::scheduler::workers:3362 Map(3363 0 ->3364 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3365 1 ->3366 {3367 alive: true,3368 heap: 300,3369 job: "huge",3370 phase: Killed,3371 rss: 5300,3372 startRss: 3003373 },3374 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3375 )3376}33773378[State 96]3379{3380 main::scheduler::done: Set("a", "fat"),3381 main::scheduler::errored: Set("huge"),3382 main::scheduler::estimate: 5000,3383 main::scheduler::externalKills: 2,3384 main::scheduler::mode: Parallel,3385 main::scheduler::solo: [],3386 main::scheduler::todo: Set("b", "c"),3387 main::scheduler::wasFinished: false,3388 main::scheduler::workers:3389 Map(3390 0 ->3391 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3392 1 ->3393 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3394 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3395 )3396}33973398[State 97]3399{3400 main::scheduler::done: Set("a", "fat"),3401 main::scheduler::errored: Set("huge"),3402 main::scheduler::estimate: 5000,3403 main::scheduler::externalKills: 2,3404 main::scheduler::mode: Parallel,3405 main::scheduler::solo: [],3406 main::scheduler::todo: Set("b", "c"),3407 main::scheduler::wasFinished: false,3408 main::scheduler::workers:3409 Map(3410 0 ->3411 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3412 1 ->3413 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3414 2 ->3415 {3416 alive: true,3417 heap: 300,3418 job: "",3419 phase: Starting,3420 rss: 300,3421 startRss: 03422 }3423 )3424}34253426[State 98]3427{3428 main::scheduler::done: Set("a", "fat"),3429 main::scheduler::errored: Set("huge"),3430 main::scheduler::estimate: 5000,3431 main::scheduler::externalKills: 2,3432 main::scheduler::mode: Parallel,3433 main::scheduler::solo: [],3434 main::scheduler::todo: Set("b", "c"),3435 main::scheduler::wasFinished: false,3436 main::scheduler::workers:3437 Map(3438 0 ->3439 {3440 alive: true,3441 heap: 300,3442 job: "",3443 phase: Starting,3444 rss: 300,3445 startRss: 03446 },3447 1 ->3448 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3449 2 ->3450 {3451 alive: true,3452 heap: 300,3453 job: "",3454 phase: Starting,3455 rss: 300,3456 startRss: 03457 }3458 )3459}34603461[State 99]3462{3463 main::scheduler::done: Set("a", "fat"),3464 main::scheduler::errored: Set("huge"),3465 main::scheduler::estimate: 5000,3466 main::scheduler::externalKills: 2,3467 main::scheduler::mode: Parallel,3468 main::scheduler::solo: [],3469 main::scheduler::todo: Set("b", "c"),3470 main::scheduler::wasFinished: false,3471 main::scheduler::workers:3472 Map(3473 0 ->3474 {3475 alive: true,3476 heap: 300,3477 job: "",3478 phase: Starting,3479 rss: 300,3480 startRss: 03481 },3482 1 ->3483 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3484 2 ->3485 {3486 alive: true,3487 heap: 300,3488 job: "",3489 phase: Starting,3490 rss: 300,3491 startRss: 03492 }3493 )3494}34953496[State 100]3497{3498 main::scheduler::done: Set("a", "fat"),3499 main::scheduler::errored: Set("huge"),3500 main::scheduler::estimate: 5000,3501 main::scheduler::externalKills: 2,3502 main::scheduler::mode: Parallel,3503 main::scheduler::solo: [],3504 main::scheduler::todo: Set("b", "c"),3505 main::scheduler::wasFinished: false,3506 main::scheduler::workers:3507 Map(3508 0 ->3509 {3510 alive: true,3511 heap: 300,3512 job: "",3513 phase: Starting,3514 rss: 300,3515 startRss: 03516 },3517 1 ->3518 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3519 2 ->3520 {3521 alive: true,3522 heap: 300,3523 job: "",3524 phase: Starting,3525 rss: 300,3526 startRss: 03527 }3528 )3529}35303531[State 101]3532{3533 main::scheduler::done: Set("a", "fat"),3534 main::scheduler::errored: Set("huge"),3535 main::scheduler::estimate: 5000,3536 main::scheduler::externalKills: 2,3537 main::scheduler::mode: Parallel,3538 main::scheduler::solo: [],3539 main::scheduler::todo: Set("b", "c"),3540 main::scheduler::wasFinished: false,3541 main::scheduler::workers:3542 Map(3543 0 ->3544 {3545 alive: true,3546 heap: 300,3547 job: "",3548 phase: Starting,3549 rss: 300,3550 startRss: 03551 },3552 1 ->3553 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3554 2 ->3555 {3556 alive: true,3557 heap: 300,3558 job: "",3559 phase: Starting,3560 rss: 300,3561 startRss: 03562 }3563 )3564}35653566[State 102]3567{3568 main::scheduler::done: Set("a", "fat"),3569 main::scheduler::errored: Set("huge"),3570 main::scheduler::estimate: 5000,3571 main::scheduler::externalKills: 2,3572 main::scheduler::mode: Parallel,3573 main::scheduler::solo: [],3574 main::scheduler::todo: Set("b", "c"),3575 main::scheduler::wasFinished: false,3576 main::scheduler::workers:3577 Map(3578 0 ->3579 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3580 1 ->3581 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3582 2 ->3583 {3584 alive: true,3585 heap: 300,3586 job: "",3587 phase: Starting,3588 rss: 300,3589 startRss: 03590 }3591 )3592}35933594[State 103]3595{3596 main::scheduler::done: Set("a", "fat"),3597 main::scheduler::errored: Set("huge"),3598 main::scheduler::estimate: 5000,3599 main::scheduler::externalKills: 2,3600 main::scheduler::mode: Parallel,3601 main::scheduler::solo: [],3602 main::scheduler::todo: Set("b", "c"),3603 main::scheduler::wasFinished: false,3604 main::scheduler::workers:3605 Map(3606 0 ->3607 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3608 1 ->3609 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3610 2 ->3611 {3612 alive: true,3613 heap: 300,3614 job: "",3615 phase: Starting,3616 rss: 300,3617 startRss: 03618 }3619 )3620}36213622[State 104]3623{3624 main::scheduler::done: Set("a", "fat"),3625 main::scheduler::errored: Set("huge"),3626 main::scheduler::estimate: 5000,3627 main::scheduler::externalKills: 2,3628 main::scheduler::mode: Parallel,3629 main::scheduler::solo: [],3630 main::scheduler::todo: Set("b", "c"),3631 main::scheduler::wasFinished: false,3632 main::scheduler::workers:3633 Map(3634 0 ->3635 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3636 1 ->3637 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3638 2 ->3639 {3640 alive: true,3641 heap: 300,3642 job: "",3643 phase: Starting,3644 rss: 300,3645 startRss: 03646 }3647 )3648}36493650[State 105]3651{3652 main::scheduler::done: Set("a", "fat"),3653 main::scheduler::errored: Set("huge"),3654 main::scheduler::estimate: 5000,3655 main::scheduler::externalKills: 2,3656 main::scheduler::mode: Parallel,3657 main::scheduler::solo: [],3658 main::scheduler::todo: Set("b", "c"),3659 main::scheduler::wasFinished: false,3660 main::scheduler::workers:3661 Map(3662 0 ->3663 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3664 1 ->3665 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3666 2 ->3667 {3668 alive: true,3669 heap: 300,3670 job: "",3671 phase: Starting,3672 rss: 300,3673 startRss: 03674 }3675 )3676}36773678[State 106]3679{3680 main::scheduler::done: Set("a", "fat"),3681 main::scheduler::errored: Set("huge"),3682 main::scheduler::estimate: 5000,3683 main::scheduler::externalKills: 2,3684 main::scheduler::mode: Parallel,3685 main::scheduler::solo: [],3686 main::scheduler::todo: Set("b"),3687 main::scheduler::wasFinished: false,3688 main::scheduler::workers:3689 Map(3690 0 ->3691 {3692 alive: true,3693 heap: 300,3694 job: "c",3695 phase: Busy,3696 rss: 300,3697 startRss: 3003698 },3699 1 ->3700 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3701 2 ->3702 {3703 alive: true,3704 heap: 300,3705 job: "",3706 phase: Starting,3707 rss: 300,3708 startRss: 03709 }3710 )3711}37123713[State 107]3714{3715 main::scheduler::done: Set("a", "fat"),3716 main::scheduler::errored: Set("huge"),3717 main::scheduler::estimate: 5000,3718 main::scheduler::externalKills: 2,3719 main::scheduler::mode: Parallel,3720 main::scheduler::solo: [],3721 main::scheduler::todo: Set("b"),3722 main::scheduler::wasFinished: false,3723 main::scheduler::workers:3724 Map(3725 0 ->3726 {3727 alive: true,3728 heap: 300,3729 job: "c",3730 phase: Busy,3731 rss: 300,3732 startRss: 3003733 },3734 1 ->3735 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3736 2 ->3737 {3738 alive: true,3739 heap: 300,3740 job: "",3741 phase: Starting,3742 rss: 300,3743 startRss: 03744 }3745 )3746}37473748[State 108]3749{3750 main::scheduler::done: Set("a", "fat"),3751 main::scheduler::errored: Set("huge"),3752 main::scheduler::estimate: 5000,3753 main::scheduler::externalKills: 2,3754 main::scheduler::mode: Parallel,3755 main::scheduler::solo: [],3756 main::scheduler::todo: Set("b"),3757 main::scheduler::wasFinished: false,3758 main::scheduler::workers:3759 Map(3760 0 ->3761 {3762 alive: true,3763 heap: 300,3764 job: "c",3765 phase: Busy,3766 rss: 300,3767 startRss: 3003768 },3769 1 ->3770 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3771 2 ->3772 {3773 alive: true,3774 heap: 300,3775 job: "",3776 phase: Starting,3777 rss: 300,3778 startRss: 03779 }3780 )3781}37823783[State 109]3784{3785 main::scheduler::done: Set("a", "fat"),3786 main::scheduler::errored: Set("huge"),3787 main::scheduler::estimate: 5000,3788 main::scheduler::externalKills: 2,3789 main::scheduler::mode: Parallel,3790 main::scheduler::solo: [],3791 main::scheduler::todo: Set("b"),3792 main::scheduler::wasFinished: false,3793 main::scheduler::workers:3794 Map(3795 0 ->3796 {3797 alive: true,3798 heap: 300,3799 job: "c",3800 phase: Busy,3801 rss: 300,3802 startRss: 3003803 },3804 1 ->3805 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3806 2 ->3807 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3808 )3809}38103811[State 110]3812{3813 main::scheduler::done: Set("a", "fat"),3814 main::scheduler::errored: Set("huge"),3815 main::scheduler::estimate: 5000,3816 main::scheduler::externalKills: 2,3817 main::scheduler::mode: Parallel,3818 main::scheduler::solo: [],3819 main::scheduler::todo: Set("b"),3820 main::scheduler::wasFinished: false,3821 main::scheduler::workers:3822 Map(3823 0 ->3824 {3825 alive: true,3826 heap: 300,3827 job: "c",3828 phase: Busy,3829 rss: 1100,3830 startRss: 3003831 },3832 1 ->3833 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3834 2 ->3835 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3836 )3837}38383839[State 111]3840{3841 main::scheduler::done: Set("a", "fat"),3842 main::scheduler::errored: Set("huge"),3843 main::scheduler::estimate: 5000,3844 main::scheduler::externalKills: 2,3845 main::scheduler::mode: Parallel,3846 main::scheduler::solo: [],3847 main::scheduler::todo: Set("b"),3848 main::scheduler::wasFinished: false,3849 main::scheduler::workers:3850 Map(3851 0 ->3852 {3853 alive: true,3854 heap: 300,3855 job: "c",3856 phase: Busy,3857 rss: 1100,3858 startRss: 3003859 },3860 1 ->3861 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3862 2 ->3863 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3864 )3865}38663867[State 112]3868{3869 main::scheduler::done: Set("a", "fat"),3870 main::scheduler::errored: Set("huge"),3871 main::scheduler::estimate: 5000,3872 main::scheduler::externalKills: 2,3873 main::scheduler::mode: Parallel,3874 main::scheduler::solo: [],3875 main::scheduler::todo: Set("b"),3876 main::scheduler::wasFinished: false,3877 main::scheduler::workers:3878 Map(3879 0 ->3880 {3881 alive: true,3882 heap: 300,3883 job: "c",3884 phase: Busy,3885 rss: 1100,3886 startRss: 3003887 },3888 1 ->3889 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3890 2 ->3891 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3892 )3893}38943895[State 113]3896{3897 main::scheduler::done: Set("a", "fat"),3898 main::scheduler::errored: Set("huge"),3899 main::scheduler::estimate: 5000,3900 main::scheduler::externalKills: 2,3901 main::scheduler::mode: Parallel,3902 main::scheduler::solo: [],3903 main::scheduler::todo: Set("b"),3904 main::scheduler::wasFinished: false,3905 main::scheduler::workers:3906 Map(3907 0 ->3908 {3909 alive: true,3910 heap: 300,3911 job: "c",3912 phase: Busy,3913 rss: 1100,3914 startRss: 3003915 },3916 1 ->3917 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3918 2 ->3919 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3920 )3921}39223923[State 114]3924{3925 main::scheduler::done: Set("a", "c", "fat"),3926 main::scheduler::errored: Set("huge"),3927 main::scheduler::estimate: 4900,3928 main::scheduler::externalKills: 2,3929 main::scheduler::mode: Parallel,3930 main::scheduler::solo: [],3931 main::scheduler::todo: Set("b"),3932 main::scheduler::wasFinished: false,3933 main::scheduler::workers:3934 Map(3935 0 ->3936 {3937 alive: true,3938 heap: 700,3939 job: "",3940 phase: Starting,3941 rss: 700,3942 startRss: 3003943 },3944 1 ->3945 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3946 2 ->3947 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3948 )3949}39503951[State 115]3952{3953 main::scheduler::done: Set("a", "c", "fat"),3954 main::scheduler::errored: Set("huge"),3955 main::scheduler::estimate: 4900,3956 main::scheduler::externalKills: 2,3957 main::scheduler::mode: Parallel,3958 main::scheduler::solo: [],3959 main::scheduler::todo: Set("b"),3960 main::scheduler::wasFinished: false,3961 main::scheduler::workers:3962 Map(3963 0 ->3964 {3965 alive: true,3966 heap: 700,3967 job: "",3968 phase: Idle,3969 rss: 700,3970 startRss: 3003971 },3972 1 ->3973 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3974 2 ->3975 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3976 )3977}39783979[State 116]3980{3981 main::scheduler::done: Set("a", "c", "fat"),3982 main::scheduler::errored: Set("huge"),3983 main::scheduler::estimate: 4900,3984 main::scheduler::externalKills: 2,3985 main::scheduler::mode: Parallel,3986 main::scheduler::solo: [],3987 main::scheduler::todo: Set(),3988 main::scheduler::wasFinished: false,3989 main::scheduler::workers:3990 Map(3991 0 ->3992 {3993 alive: true,3994 heap: 700,3995 job: "b",3996 phase: Busy,3997 rss: 700,3998 startRss: 7003999 },4000 1 ->4001 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4002 2 ->4003 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4004 )4005}40064007[State 117]4008{4009 main::scheduler::done: Set("a", "c", "fat"),4010 main::scheduler::errored: Set("huge"),4011 main::scheduler::estimate: 4900,4012 main::scheduler::externalKills: 2,4013 main::scheduler::mode: Parallel,4014 main::scheduler::solo: [],4015 main::scheduler::todo: Set(),4016 main::scheduler::wasFinished: false,4017 main::scheduler::workers:4018 Map(4019 0 ->4020 {4021 alive: true,4022 heap: 700,4023 job: "b",4024 phase: Busy,4025 rss: 700,4026 startRss: 7004027 },4028 1 ->4029 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4030 2 ->4031 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4032 )4033}40344035[State 118]4036{4037 main::scheduler::done: Set("a", "c", "fat"),4038 main::scheduler::errored: Set("huge"),4039 main::scheduler::estimate: 4900,4040 main::scheduler::externalKills: 2,4041 main::scheduler::mode: Parallel,4042 main::scheduler::solo: [],4043 main::scheduler::todo: Set(),4044 main::scheduler::wasFinished: false,4045 main::scheduler::workers:4046 Map(4047 0 ->4048 {4049 alive: true,4050 heap: 700,4051 job: "b",4052 phase: Busy,4053 rss: 700,4054 startRss: 7004055 },4056 1 ->4057 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4058 2 ->4059 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4060 )4061}40624063[State 119]4064{4065 main::scheduler::done: Set("a", "c", "fat"),4066 main::scheduler::errored: Set("huge"),4067 main::scheduler::estimate: 4900,4068 main::scheduler::externalKills: 2,4069 main::scheduler::mode: Parallel,4070 main::scheduler::solo: [],4071 main::scheduler::todo: Set(),4072 main::scheduler::wasFinished: false,4073 main::scheduler::workers:4074 Map(4075 0 ->4076 {4077 alive: true,4078 heap: 700,4079 job: "b",4080 phase: Busy,4081 rss: 700,4082 startRss: 7004083 },4084 1 ->4085 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4086 2 ->4087 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4088 )4089}40904091[State 120]4092{4093 main::scheduler::done: Set("a", "c", "fat"),4094 main::scheduler::errored: Set("huge"),4095 main::scheduler::estimate: 4900,4096 main::scheduler::externalKills: 2,4097 main::scheduler::mode: Parallel,4098 main::scheduler::solo: [],4099 main::scheduler::todo: Set(),4100 main::scheduler::wasFinished: false,4101 main::scheduler::workers:4102 Map(4103 0 ->4104 {4105 alive: true,4106 heap: 700,4107 job: "b",4108 phase: Busy,4109 rss: 700,4110 startRss: 7004111 },4112 1 ->4113 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4114 2 ->4115 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4116 )4117}41184119[State 121]4120{4121 main::scheduler::done: Set("a", "c", "fat"),4122 main::scheduler::errored: Set("huge"),4123 main::scheduler::estimate: 4900,4124 main::scheduler::externalKills: 2,4125 main::scheduler::mode: Parallel,4126 main::scheduler::solo: [],4127 main::scheduler::todo: Set(),4128 main::scheduler::wasFinished: false,4129 main::scheduler::workers:4130 Map(4131 0 ->4132 {4133 alive: true,4134 heap: 700,4135 job: "b",4136 phase: Busy,4137 rss: 700,4138 startRss: 7004139 },4140 1 ->4141 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4142 2 ->4143 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4144 )4145}41464147[State 122]4148{4149 main::scheduler::done: Set("a", "c", "fat"),4150 main::scheduler::errored: Set("huge"),4151 main::scheduler::estimate: 4900,4152 main::scheduler::externalKills: 2,4153 main::scheduler::mode: Parallel,4154 main::scheduler::solo: [],4155 main::scheduler::todo: Set(),4156 main::scheduler::wasFinished: false,4157 main::scheduler::workers:4158 Map(4159 0 ->4160 {4161 alive: true,4162 heap: 700,4163 job: "b",4164 phase: Busy,4165 rss: 700,4166 startRss: 7004167 },4168 1 ->4169 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4170 2 ->4171 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4172 )4173}41744175[State 123]4176{4177 main::scheduler::done: Set("a", "c", "fat"),4178 main::scheduler::errored: Set("huge"),4179 main::scheduler::estimate: 4900,4180 main::scheduler::externalKills: 2,4181 main::scheduler::mode: Parallel,4182 main::scheduler::solo: [],4183 main::scheduler::todo: Set(),4184 main::scheduler::wasFinished: false,4185 main::scheduler::workers:4186 Map(4187 0 ->4188 {4189 alive: true,4190 heap: 700,4191 job: "b",4192 phase: Busy,4193 rss: 700,4194 startRss: 7004195 },4196 1 ->4197 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4198 2 ->4199 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4200 )4201}42024203[State 124]4204{4205 main::scheduler::done: Set("a", "c", "fat"),4206 main::scheduler::errored: Set("huge"),4207 main::scheduler::estimate: 4900,4208 main::scheduler::externalKills: 2,4209 main::scheduler::mode: Parallel,4210 main::scheduler::solo: [],4211 main::scheduler::todo: Set(),4212 main::scheduler::wasFinished: false,4213 main::scheduler::workers:4214 Map(4215 0 ->4216 {4217 alive: true,4218 heap: 700,4219 job: "b",4220 phase: Busy,4221 rss: 700,4222 startRss: 7004223 },4224 1 ->4225 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4226 2 ->4227 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4228 )4229}42304231[State 125]4232{4233 main::scheduler::done: Set("a", "c", "fat"),4234 main::scheduler::errored: Set("huge"),4235 main::scheduler::estimate: 4900,4236 main::scheduler::externalKills: 2,4237 main::scheduler::mode: Parallel,4238 main::scheduler::solo: [],4239 main::scheduler::todo: Set(),4240 main::scheduler::wasFinished: false,4241 main::scheduler::workers:4242 Map(4243 0 ->4244 {4245 alive: true,4246 heap: 700,4247 job: "b",4248 phase: Busy,4249 rss: 700,4250 startRss: 7004251 },4252 1 ->4253 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4254 2 ->4255 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4256 )4257}42584259[State 126]4260{4261 main::scheduler::done: Set("a", "c", "fat"),4262 main::scheduler::errored: Set("huge"),4263 main::scheduler::estimate: 4900,4264 main::scheduler::externalKills: 2,4265 main::scheduler::mode: Parallel,4266 main::scheduler::solo: [],4267 main::scheduler::todo: Set(),4268 main::scheduler::wasFinished: false,4269 main::scheduler::workers:4270 Map(4271 0 ->4272 {4273 alive: true,4274 heap: 700,4275 job: "b",4276 phase: Busy,4277 rss: 700,4278 startRss: 7004279 },4280 1 ->4281 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4282 2 ->4283 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4284 )4285}42864287[State 127]4288{4289 main::scheduler::done: Set("a", "c", "fat"),4290 main::scheduler::errored: Set("huge"),4291 main::scheduler::estimate: 4900,4292 main::scheduler::externalKills: 2,4293 main::scheduler::mode: Parallel,4294 main::scheduler::solo: [],4295 main::scheduler::todo: Set(),4296 main::scheduler::wasFinished: false,4297 main::scheduler::workers:4298 Map(4299 0 ->4300 {4301 alive: true,4302 heap: 700,4303 job: "b",4304 phase: Busy,4305 rss: 1100,4306 startRss: 7004307 },4308 1 ->4309 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4310 2 ->4311 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4312 )4313}43144315[State 128]4316{4317 main::scheduler::done: Set("a", "b", "c", "fat"),4318 main::scheduler::errored: Set("huge"),4319 main::scheduler::estimate: 4802,4320 main::scheduler::externalKills: 2,4321 main::scheduler::mode: Parallel,4322 main::scheduler::solo: [],4323 main::scheduler::todo: Set(),4324 main::scheduler::wasFinished: false,4325 main::scheduler::workers:4326 Map(4327 0 ->4328 {4329 alive: true,4330 heap: 900,4331 job: "",4332 phase: Starting,4333 rss: 900,4334 startRss: 7004335 },4336 1 ->4337 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4338 2 ->4339 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4340 )4341}43424343[State 129]4344{4345 main::scheduler::done: Set("a", "b", "c", "fat"),4346 main::scheduler::errored: Set("huge"),4347 main::scheduler::estimate: 4802,4348 main::scheduler::externalKills: 2,4349 main::scheduler::mode: Parallel,4350 main::scheduler::solo: [],4351 main::scheduler::todo: Set(),4352 main::scheduler::wasFinished: true,4353 main::scheduler::workers:4354 Map(4355 0 ->4356 {4357 alive: true,4358 heap: 900,4359 job: "",4360 phase: Starting,4361 rss: 900,4362 startRss: 7004363 },4364 1 ->4365 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4366 2 ->4367 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4368 )4369}43704371[State 130]4372{4373 main::scheduler::done: Set("a", "b", "c", "fat"),4374 main::scheduler::errored: Set("huge"),4375 main::scheduler::estimate: 4802,4376 main::scheduler::externalKills: 2,4377 main::scheduler::mode: Parallel,4378 main::scheduler::solo: [],4379 main::scheduler::todo: Set(),4380 main::scheduler::wasFinished: true,4381 main::scheduler::workers:4382 Map(4383 0 ->4384 {4385 alive: true,4386 heap: 900,4387 job: "",4388 phase: Starting,4389 rss: 900,4390 startRss: 7004391 },4392 1 ->4393 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4394 2 ->4395 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4396 )4397}43984399[State 131]4400{4401 main::scheduler::done: Set("a", "b", "c", "fat"),4402 main::scheduler::errored: Set("huge"),4403 main::scheduler::estimate: 4802,4404 main::scheduler::externalKills: 2,4405 main::scheduler::mode: Parallel,4406 main::scheduler::solo: [],4407 main::scheduler::todo: Set(),4408 main::scheduler::wasFinished: true,4409 main::scheduler::workers:4410 Map(4411 0 ->4412 {4413 alive: true,4414 heap: 900,4415 job: "",4416 phase: Starting,4417 rss: 900,4418 startRss: 7004419 },4420 1 ->4421 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4422 2 ->4423 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }4424 )4425}44264427[State 132]4428{4429 main::scheduler::done: Set("a", "b", "c", "fat"),4430 main::scheduler::errored: Set("huge"),4431 main::scheduler::estimate: 4802,4432 main::scheduler::externalKills: 2,4433 main::scheduler::mode: Parallel,4434 main::scheduler::solo: [],4435 main::scheduler::todo: Set(),4436 main::scheduler::wasFinished: true,4437 main::scheduler::workers:4438 Map(4439 0 ->4440 {4441 alive: true,4442 heap: 900,4443 job: "",4444 phase: Starting,4445 rss: 900,4446 startRss: 7004447 },4448 1 ->4449 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4450 2 ->4451 {4452 alive: true,4453 heap: 300,4454 job: "",4455 phase: Exiting,4456 rss: 300,4457 startRss: 04458 }4459 )4460}44614462[State 133]4463{4464 main::scheduler::done: Set("a", "b", "c", "fat"),4465 main::scheduler::errored: Set("huge"),4466 main::scheduler::estimate: 4802,4467 main::scheduler::externalKills: 2,4468 main::scheduler::mode: Parallel,4469 main::scheduler::solo: [],4470 main::scheduler::todo: Set(),4471 main::scheduler::wasFinished: true,4472 main::scheduler::workers:4473 Map(4474 0 ->4475 {4476 alive: true,4477 heap: 900,4478 job: "",4479 phase: Starting,4480 rss: 900,4481 startRss: 7004482 },4483 1 ->4484 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4485 2 ->4486 {4487 alive: true,4488 heap: 300,4489 job: "",4490 phase: Exiting,4491 rss: 300,4492 startRss: 04493 }4494 )4495}44964497[State 134]4498{4499 main::scheduler::done: Set("a", "b", "c", "fat"),4500 main::scheduler::errored: Set("huge"),4501 main::scheduler::estimate: 4802,4502 main::scheduler::externalKills: 2,4503 main::scheduler::mode: Parallel,4504 main::scheduler::solo: [],4505 main::scheduler::todo: Set(),4506 main::scheduler::wasFinished: true,4507 main::scheduler::workers:4508 Map(4509 0 ->4510 {4511 alive: true,4512 heap: 900,4513 job: "",4514 phase: Starting,4515 rss: 900,4516 startRss: 7004517 },4518 1 ->4519 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4520 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4521 )4522}45234524[State 135]4525{4526 main::scheduler::done: Set("a", "b", "c", "fat"),4527 main::scheduler::errored: Set("huge"),4528 main::scheduler::estimate: 4802,4529 main::scheduler::externalKills: 2,4530 main::scheduler::mode: Parallel,4531 main::scheduler::solo: [],4532 main::scheduler::todo: Set(),4533 main::scheduler::wasFinished: true,4534 main::scheduler::workers:4535 Map(4536 0 ->4537 {4538 alive: true,4539 heap: 900,4540 job: "",4541 phase: Starting,4542 rss: 900,4543 startRss: 7004544 },4545 1 ->4546 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4547 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4548 )4549}45504551[State 136]4552{4553 main::scheduler::done: Set("a", "b", "c", "fat"),4554 main::scheduler::errored: Set("huge"),4555 main::scheduler::estimate: 4802,4556 main::scheduler::externalKills: 2,4557 main::scheduler::mode: Parallel,4558 main::scheduler::solo: [],4559 main::scheduler::todo: Set(),4560 main::scheduler::wasFinished: true,4561 main::scheduler::workers:4562 Map(4563 0 ->4564 {4565 alive: true,4566 heap: 900,4567 job: "",4568 phase: Starting,4569 rss: 900,4570 startRss: 7004571 },4572 1 ->4573 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4574 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4575 )4576}45774578[State 137]4579{4580 main::scheduler::done: Set("a", "b", "c", "fat"),4581 main::scheduler::errored: Set("huge"),4582 main::scheduler::estimate: 4802,4583 main::scheduler::externalKills: 2,4584 main::scheduler::mode: Parallel,4585 main::scheduler::solo: [],4586 main::scheduler::todo: Set(),4587 main::scheduler::wasFinished: true,4588 main::scheduler::workers:4589 Map(4590 0 ->4591 {4592 alive: true,4593 heap: 900,4594 job: "",4595 phase: Starting,4596 rss: 900,4597 startRss: 7004598 },4599 1 ->4600 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4601 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4602 )4603}46044605[State 138]4606{4607 main::scheduler::done: Set("a", "b", "c", "fat"),4608 main::scheduler::errored: Set("huge"),4609 main::scheduler::estimate: 4802,4610 main::scheduler::externalKills: 2,4611 main::scheduler::mode: Parallel,4612 main::scheduler::solo: [],4613 main::scheduler::todo: Set(),4614 main::scheduler::wasFinished: true,4615 main::scheduler::workers:4616 Map(4617 0 ->4618 {4619 alive: true,4620 heap: 900,4621 job: "",4622 phase: Idle,4623 rss: 900,4624 startRss: 7004625 },4626 1 ->4627 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4628 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4629 )4630}46314632[State 139]4633{4634 main::scheduler::done: Set("a", "b", "c", "fat"),4635 main::scheduler::errored: Set("huge"),4636 main::scheduler::estimate: 4802,4637 main::scheduler::externalKills: 2,4638 main::scheduler::mode: Parallel,4639 main::scheduler::solo: [],4640 main::scheduler::todo: Set(),4641 main::scheduler::wasFinished: true,4642 main::scheduler::workers:4643 Map(4644 0 ->4645 {4646 alive: true,4647 heap: 900,4648 job: "",4649 phase: Exiting,4650 rss: 900,4651 startRss: 7004652 },4653 1 ->4654 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4655 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4656 )4657}46584659[State 140]4660{4661 main::scheduler::done: Set("a", "b", "c", "fat"),4662 main::scheduler::errored: Set("huge"),4663 main::scheduler::estimate: 4802,4664 main::scheduler::externalKills: 2,4665 main::scheduler::mode: Parallel,4666 main::scheduler::solo: [],4667 main::scheduler::todo: Set(),4668 main::scheduler::wasFinished: true,4669 main::scheduler::workers:4670 Map(4671 0 ->4672 {4673 alive: true,4674 heap: 900,4675 job: "",4676 phase: Exiting,4677 rss: 900,4678 startRss: 7004679 },4680 1 ->4681 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4682 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4683 )4684}46854686[State 141]4687{4688 main::scheduler::done: Set("a", "b", "c", "fat"),4689 main::scheduler::errored: Set("huge"),4690 main::scheduler::estimate: 4802,4691 main::scheduler::externalKills: 2,4692 main::scheduler::mode: Parallel,4693 main::scheduler::solo: [],4694 main::scheduler::todo: Set(),4695 main::scheduler::wasFinished: true,4696 main::scheduler::workers:4697 Map(4698 0 ->4699 {4700 alive: true,4701 heap: 900,4702 job: "",4703 phase: Exiting,4704 rss: 900,4705 startRss: 7004706 },4707 1 ->4708 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4709 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4710 )4711}47124713[State 142]4714{4715 main::scheduler::done: Set("a", "b", "c", "fat"),4716 main::scheduler::errored: Set("huge"),4717 main::scheduler::estimate: 4802,4718 main::scheduler::externalKills: 2,4719 main::scheduler::mode: Parallel,4720 main::scheduler::solo: [],4721 main::scheduler::todo: Set(),4722 main::scheduler::wasFinished: true,4723 main::scheduler::workers:4724 Map(4725 0 ->4726 {4727 alive: true,4728 heap: 900,4729 job: "",4730 phase: Exiting,4731 rss: 900,4732 startRss: 7004733 },4734 1 ->4735 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4736 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4737 )4738}47394740[State 143]4741{4742 main::scheduler::done: Set("a", "b", "c", "fat"),4743 main::scheduler::errored: Set("huge"),4744 main::scheduler::estimate: 4802,4745 main::scheduler::externalKills: 2,4746 main::scheduler::mode: Parallel,4747 main::scheduler::solo: [],4748 main::scheduler::todo: Set(),4749 main::scheduler::wasFinished: true,4750 main::scheduler::workers:4751 Map(4752 0 ->4753 {4754 alive: true,4755 heap: 900,4756 job: "",4757 phase: Exiting,4758 rss: 900,4759 startRss: 7004760 },4761 1 ->4762 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4763 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4764 )4765}47664767[State 144]4768{4769 main::scheduler::done: Set("a", "b", "c", "fat"),4770 main::scheduler::errored: Set("huge"),4771 main::scheduler::estimate: 4802,4772 main::scheduler::externalKills: 2,4773 main::scheduler::mode: Parallel,4774 main::scheduler::solo: [],4775 main::scheduler::todo: Set(),4776 main::scheduler::wasFinished: true,4777 main::scheduler::workers:4778 Map(4779 0 ->4780 {4781 alive: true,4782 heap: 900,4783 job: "",4784 phase: Exiting,4785 rss: 900,4786 startRss: 7004787 },4788 1 ->4789 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4790 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4791 )4792}47934794[State 145]4795{4796 main::scheduler::done: Set("a", "b", "c", "fat"),4797 main::scheduler::errored: Set("huge"),4798 main::scheduler::estimate: 4802,4799 main::scheduler::externalKills: 2,4800 main::scheduler::mode: Parallel,4801 main::scheduler::solo: [],4802 main::scheduler::todo: Set(),4803 main::scheduler::wasFinished: true,4804 main::scheduler::workers:4805 Map(4806 0 ->4807 {4808 alive: true,4809 heap: 900,4810 job: "",4811 phase: Exiting,4812 rss: 900,4813 startRss: 7004814 },4815 1 ->4816 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4817 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4818 )4819}48204821[State 146]4822{4823 main::scheduler::done: Set("a", "b", "c", "fat"),4824 main::scheduler::errored: Set("huge"),4825 main::scheduler::estimate: 4802,4826 main::scheduler::externalKills: 2,4827 main::scheduler::mode: Parallel,4828 main::scheduler::solo: [],4829 main::scheduler::todo: Set(),4830 main::scheduler::wasFinished: true,4831 main::scheduler::workers:4832 Map(4833 0 ->4834 {4835 alive: true,4836 heap: 900,4837 job: "",4838 phase: Exiting,4839 rss: 900,4840 startRss: 7004841 },4842 1 ->4843 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4844 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4845 )4846}48474848[State 147]4849{4850 main::scheduler::done: Set("a", "b", "c", "fat"),4851 main::scheduler::errored: Set("huge"),4852 main::scheduler::estimate: 4802,4853 main::scheduler::externalKills: 2,4854 main::scheduler::mode: Parallel,4855 main::scheduler::solo: [],4856 main::scheduler::todo: Set(),4857 main::scheduler::wasFinished: true,4858 main::scheduler::workers:4859 Map(4860 0 ->4861 {4862 alive: true,4863 heap: 900,4864 job: "",4865 phase: Exiting,4866 rss: 900,4867 startRss: 7004868 },4869 1 ->4870 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4871 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4872 )4873}48744875[State 148]4876{4877 main::scheduler::done: Set("a", "b", "c", "fat"),4878 main::scheduler::errored: Set("huge"),4879 main::scheduler::estimate: 4802,4880 main::scheduler::externalKills: 2,4881 main::scheduler::mode: Parallel,4882 main::scheduler::solo: [],4883 main::scheduler::todo: Set(),4884 main::scheduler::wasFinished: true,4885 main::scheduler::workers:4886 Map(4887 0 ->4888 {4889 alive: true,4890 heap: 900,4891 job: "",4892 phase: Exiting,4893 rss: 900,4894 startRss: 7004895 },4896 1 ->4897 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4898 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4899 )4900}49014902[State 149]4903{4904 main::scheduler::done: Set("a", "b", "c", "fat"),4905 main::scheduler::errored: Set("huge"),4906 main::scheduler::estimate: 4802,4907 main::scheduler::externalKills: 2,4908 main::scheduler::mode: Parallel,4909 main::scheduler::solo: [],4910 main::scheduler::todo: Set(),4911 main::scheduler::wasFinished: true,4912 main::scheduler::workers:4913 Map(4914 0 ->4915 {4916 alive: true,4917 heap: 900,4918 job: "",4919 phase: Exiting,4920 rss: 900,4921 startRss: 7004922 },4923 1 ->4924 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4925 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4926 )4927}49284929[State 150]4930{4931 main::scheduler::done: Set("a", "b", "c", "fat"),4932 main::scheduler::errored: Set("huge"),4933 main::scheduler::estimate: 4802,4934 main::scheduler::externalKills: 2,4935 main::scheduler::mode: Parallel,4936 main::scheduler::solo: [],4937 main::scheduler::todo: Set(),4938 main::scheduler::wasFinished: true,4939 main::scheduler::workers:4940 Map(4941 0 ->4942 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4943 1 ->4944 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4945 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4946 )4947}49484949[ok] No violation found (1023ms at 1955 traces/second).4950Trace length statistics: max=151, min=97, average=119.004951You may increase --max-samples and --max-steps.4952Use --verbosity to produce more (or less) output.4953Use --seed=0x8cf309fcb52bb5a7 --backend=rust to reproduce.49544955 noOomKiller4956 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)4957 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)49584959 2 passing (5132ms)49604961 main4962 ok main::scheduler::terminatesTest passed 200 test(s)49634964 1 passing (1986ms)