nix-eval-jobs-scheduler-spec
checks.aarch64-darwin.scheduler-spec
· build #73
· raw
1Running... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [■■■■■■■■■■■■■■ ] 34% | ETA: 2s | 684/2000 samples | 1305 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 1s | 1075/2000 samples | 1649 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 1s | 1075/2000 samples | 1649 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 1s | 1579/2000 samples | 1928 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 1940/2000 samples | 2068 samples/sAn example execution:23[State 0]4{5 main::scheduler::done: Set(),6 main::scheduler::errored: Set(),7 main::scheduler::estimate: 512,8 main::scheduler::externalKills: 0,9 main::scheduler::mode: Parallel,10 main::scheduler::solo: [],11 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),12 main::scheduler::workers:13 Map(14 0 ->15 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },16 1 ->17 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }19 )20}2122[State 1]23{24 main::scheduler::done: Set(),25 main::scheduler::errored: Set(),26 main::scheduler::estimate: 512,27 main::scheduler::externalKills: 0,28 main::scheduler::mode: Parallel,29 main::scheduler::solo: [],30 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),31 main::scheduler::workers:32 Map(33 0 ->34 {35 alive: true,36 heap: 300,37 job: "",38 phase: Starting,39 rss: 300,40 startRss: 041 },42 1 ->43 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },44 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }45 )46}4748[State 2]49{50 main::scheduler::done: Set(),51 main::scheduler::errored: Set(),52 main::scheduler::estimate: 512,53 main::scheduler::externalKills: 0,54 main::scheduler::mode: Parallel,55 main::scheduler::solo: [],56 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),57 main::scheduler::workers:58 Map(59 0 ->60 {61 alive: true,62 heap: 300,63 job: "",64 phase: Starting,65 rss: 300,66 startRss: 067 },68 1 ->69 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },70 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }71 )72}7374[State 3]75{76 main::scheduler::done: Set(),77 main::scheduler::errored: Set(),78 main::scheduler::estimate: 512,79 main::scheduler::externalKills: 0,80 main::scheduler::mode: Parallel,81 main::scheduler::solo: [],82 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),83 main::scheduler::workers:84 Map(85 0 ->86 {87 alive: true,88 heap: 300,89 job: "",90 phase: Starting,91 rss: 300,92 startRss: 093 },94 1 ->95 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },96 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }97 )98}99100[State 4]101{102 main::scheduler::done: Set(),103 main::scheduler::errored: Set(),104 main::scheduler::estimate: 512,105 main::scheduler::externalKills: 0,106 main::scheduler::mode: Parallel,107 main::scheduler::solo: [],108 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),109 main::scheduler::workers:110 Map(111 0 ->112 {113 alive: true,114 heap: 300,115 job: "",116 phase: Starting,117 rss: 300,118 startRss: 0119 },120 1 ->121 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },122 2 ->123 {124 alive: true,125 heap: 300,126 job: "",127 phase: Starting,128 rss: 300,129 startRss: 0130 }131 )132}133134[State 5]135{136 main::scheduler::done: Set(),137 main::scheduler::errored: Set(),138 main::scheduler::estimate: 512,139 main::scheduler::externalKills: 0,140 main::scheduler::mode: Parallel,141 main::scheduler::solo: [],142 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),143 main::scheduler::workers:144 Map(145 0 ->146 {147 alive: true,148 heap: 300,149 job: "",150 phase: Starting,151 rss: 300,152 startRss: 0153 },154 1 ->155 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },156 2 ->157 {158 alive: true,159 heap: 300,160 job: "",161 phase: Starting,162 rss: 300,163 startRss: 0164 }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: 0,174 main::scheduler::mode: Parallel,175 main::scheduler::solo: [],176 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),177 main::scheduler::workers:178 Map(179 0 ->180 {181 alive: true,182 heap: 300,183 job: "",184 phase: Starting,185 rss: 300,186 startRss: 0187 },188 1 ->189 {190 alive: true,191 heap: 300,192 job: "",193 phase: Starting,194 rss: 300,195 startRss: 0196 },197 2 ->198 {199 alive: true,200 heap: 300,201 job: "",202 phase: Starting,203 rss: 300,204 startRss: 0205 }206 )207}208209[State 7]210{211 main::scheduler::done: Set(),212 main::scheduler::errored: Set(),213 main::scheduler::estimate: 512,214 main::scheduler::externalKills: 1,215 main::scheduler::mode: Parallel,216 main::scheduler::solo: [],217 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),218 main::scheduler::workers:219 Map(220 0 ->221 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },222 1 ->223 {224 alive: true,225 heap: 300,226 job: "",227 phase: Starting,228 rss: 300,229 startRss: 0230 },231 2 ->232 {233 alive: true,234 heap: 300,235 job: "",236 phase: Starting,237 rss: 300,238 startRss: 0239 }240 )241}242243[State 8]244{245 main::scheduler::done: Set(),246 main::scheduler::errored: Set(),247 main::scheduler::estimate: 512,248 main::scheduler::externalKills: 2,249 main::scheduler::mode: Parallel,250 main::scheduler::solo: [],251 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),252 main::scheduler::workers:253 Map(254 0 ->255 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },256 1 ->257 {258 alive: true,259 heap: 300,260 job: "",261 phase: Starting,262 rss: 300,263 startRss: 0264 },265 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }266 )267}268269[State 9]270{271 main::scheduler::done: Set(),272 main::scheduler::errored: Set(),273 main::scheduler::estimate: 512,274 main::scheduler::externalKills: 2,275 main::scheduler::mode: Parallel,276 main::scheduler::solo: [],277 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),278 main::scheduler::workers:279 Map(280 0 ->281 {282 alive: true,283 heap: 300,284 job: "",285 phase: Starting,286 rss: 300,287 startRss: 0288 },289 1 ->290 {291 alive: true,292 heap: 300,293 job: "",294 phase: Starting,295 rss: 300,296 startRss: 0297 },298 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }299 )300}301302[State 10]303{304 main::scheduler::done: Set(),305 main::scheduler::errored: Set(),306 main::scheduler::estimate: 512,307 main::scheduler::externalKills: 2,308 main::scheduler::mode: Parallel,309 main::scheduler::solo: [],310 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),311 main::scheduler::workers:312 Map(313 0 ->314 {315 alive: true,316 heap: 300,317 job: "",318 phase: Starting,319 rss: 300,320 startRss: 0321 },322 1 ->323 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },324 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }325 )326}327328[State 11]329{330 main::scheduler::done: Set(),331 main::scheduler::errored: Set(),332 main::scheduler::estimate: 512,333 main::scheduler::externalKills: 2,334 main::scheduler::mode: Parallel,335 main::scheduler::solo: [],336 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),337 main::scheduler::workers:338 Map(339 0 ->340 {341 alive: true,342 heap: 300,343 job: "",344 phase: Starting,345 rss: 300,346 startRss: 0347 },348 1 ->349 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },350 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }351 )352}353354[State 12]355{356 main::scheduler::done: Set(),357 main::scheduler::errored: Set(),358 main::scheduler::estimate: 512,359 main::scheduler::externalKills: 2,360 main::scheduler::mode: Parallel,361 main::scheduler::solo: [],362 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),363 main::scheduler::workers:364 Map(365 0 ->366 {367 alive: true,368 heap: 300,369 job: "",370 phase: Starting,371 rss: 300,372 startRss: 0373 },374 1 ->375 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },376 2 ->377 {378 alive: true,379 heap: 300,380 job: "",381 phase: Starting,382 rss: 300,383 startRss: 0384 }385 )386}387388[State 13]389{390 main::scheduler::done: Set(),391 main::scheduler::errored: Set(),392 main::scheduler::estimate: 512,393 main::scheduler::externalKills: 2,394 main::scheduler::mode: Parallel,395 main::scheduler::solo: [],396 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),397 main::scheduler::workers:398 Map(399 0 ->400 {401 alive: true,402 heap: 300,403 job: "",404 phase: Starting,405 rss: 300,406 startRss: 0407 },408 1 ->409 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },410 2 ->411 {412 alive: true,413 heap: 300,414 job: "",415 phase: Starting,416 rss: 300,417 startRss: 0418 }419 )420}421422[State 14]423{424 main::scheduler::done: Set(),425 main::scheduler::errored: Set(),426 main::scheduler::estimate: 512,427 main::scheduler::externalKills: 2,428 main::scheduler::mode: Parallel,429 main::scheduler::solo: [],430 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),431 main::scheduler::workers:432 Map(433 0 ->434 {435 alive: true,436 heap: 300,437 job: "",438 phase: Starting,439 rss: 300,440 startRss: 0441 },442 1 ->443 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },444 2 ->445 {446 alive: true,447 heap: 300,448 job: "",449 phase: Starting,450 rss: 300,451 startRss: 0452 }453 )454}455456[State 15]457{458 main::scheduler::done: Set(),459 main::scheduler::errored: Set(),460 main::scheduler::estimate: 512,461 main::scheduler::externalKills: 2,462 main::scheduler::mode: Parallel,463 main::scheduler::solo: [],464 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),465 main::scheduler::workers:466 Map(467 0 ->468 {469 alive: true,470 heap: 300,471 job: "",472 phase: Starting,473 rss: 300,474 startRss: 0475 },476 1 ->477 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },478 2 ->479 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }480 )481}482483[State 16]484{485 main::scheduler::done: Set(),486 main::scheduler::errored: Set(),487 main::scheduler::estimate: 512,488 main::scheduler::externalKills: 2,489 main::scheduler::mode: Parallel,490 main::scheduler::solo: [],491 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),492 main::scheduler::workers:493 Map(494 0 ->495 {496 alive: true,497 heap: 300,498 job: "",499 phase: Starting,500 rss: 300,501 startRss: 0502 },503 1 ->504 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },505 2 ->506 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }507 )508}509510[State 17]511{512 main::scheduler::done: Set(),513 main::scheduler::errored: Set(),514 main::scheduler::estimate: 512,515 main::scheduler::externalKills: 2,516 main::scheduler::mode: Parallel,517 main::scheduler::solo: [],518 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),519 main::scheduler::workers:520 Map(521 0 ->522 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },523 1 ->524 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },525 2 ->526 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }527 )528}529530[State 18]531{532 main::scheduler::done: Set(),533 main::scheduler::errored: Set(),534 main::scheduler::estimate: 512,535 main::scheduler::externalKills: 2,536 main::scheduler::mode: Parallel,537 main::scheduler::solo: [],538 main::scheduler::todo: Set("a", "b", "c", "fat", "huge"),539 main::scheduler::workers:540 Map(541 0 ->542 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },543 1 ->544 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },545 2 ->546 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }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", "fat", "huge"),559 main::scheduler::workers:560 Map(561 0 ->562 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },563 1 ->564 {565 alive: true,566 heap: 300,567 job: "c",568 phase: Busy,569 rss: 300,570 startRss: 300571 },572 2 ->573 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }574 )575}576577[State 20]578{579 main::scheduler::done: Set(),580 main::scheduler::errored: Set(),581 main::scheduler::estimate: 512,582 main::scheduler::externalKills: 2,583 main::scheduler::mode: Parallel,584 main::scheduler::solo: [],585 main::scheduler::todo: Set("b", "fat", "huge"),586 main::scheduler::workers:587 Map(588 0 ->589 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },590 1 ->591 {592 alive: true,593 heap: 300,594 job: "c",595 phase: Busy,596 rss: 300,597 startRss: 300598 },599 2 ->600 {601 alive: true,602 heap: 300,603 job: "a",604 phase: Busy,605 rss: 300,606 startRss: 300607 }608 )609}610611[State 21]612{613 main::scheduler::done: Set(),614 main::scheduler::errored: Set(),615 main::scheduler::estimate: 512,616 main::scheduler::externalKills: 2,617 main::scheduler::mode: Parallel,618 main::scheduler::solo: [],619 main::scheduler::todo: Set("b", "fat", "huge"),620 main::scheduler::workers:621 Map(622 0 ->623 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },624 1 ->625 {626 alive: true,627 heap: 300,628 job: "c",629 phase: Busy,630 rss: 1100,631 startRss: 300632 },633 2 ->634 {635 alive: true,636 heap: 300,637 job: "a",638 phase: Busy,639 rss: 300,640 startRss: 300641 }642 )643}644645[State 22]646{647 main::scheduler::done: Set(),648 main::scheduler::errored: Set(),649 main::scheduler::estimate: 512,650 main::scheduler::externalKills: 2,651 main::scheduler::mode: Parallel,652 main::scheduler::solo: [],653 main::scheduler::todo: Set("b", "fat", "huge"),654 main::scheduler::workers:655 Map(656 0 ->657 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },658 1 ->659 {660 alive: true,661 heap: 300,662 job: "c",663 phase: Busy,664 rss: 1100,665 startRss: 300666 },667 2 ->668 {669 alive: true,670 heap: 300,671 job: "a",672 phase: Busy,673 rss: 400,674 startRss: 300675 }676 )677}678679[State 23]680{681 main::scheduler::done: Set("a"),682 main::scheduler::errored: Set(),683 main::scheduler::estimate: 501,684 main::scheduler::externalKills: 2,685 main::scheduler::mode: Parallel,686 main::scheduler::solo: [],687 main::scheduler::todo: Set("b", "fat", "huge"),688 main::scheduler::workers:689 Map(690 0 ->691 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },692 1 ->693 {694 alive: true,695 heap: 300,696 job: "c",697 phase: Busy,698 rss: 1100,699 startRss: 300700 },701 2 ->702 {703 alive: true,704 heap: 350,705 job: "",706 phase: Starting,707 rss: 350,708 startRss: 300709 }710 )711}712713[State 24]714{715 main::scheduler::done: Set("a"),716 main::scheduler::errored: Set(),717 main::scheduler::estimate: 501,718 main::scheduler::externalKills: 2,719 main::scheduler::mode: Parallel,720 main::scheduler::solo: [],721 main::scheduler::todo: Set("b", "huge"),722 main::scheduler::workers:723 Map(724 0 ->725 {726 alive: true,727 heap: 300,728 job: "fat",729 phase: Busy,730 rss: 300,731 startRss: 300732 },733 1 ->734 {735 alive: true,736 heap: 300,737 job: "c",738 phase: Busy,739 rss: 1100,740 startRss: 300741 },742 2 ->743 {744 alive: true,745 heap: 350,746 job: "",747 phase: Starting,748 rss: 350,749 startRss: 300750 }751 )752}753754[State 25]755{756 main::scheduler::done: Set("a"),757 main::scheduler::errored: Set(),758 main::scheduler::estimate: 800,759 main::scheduler::externalKills: 2,760 main::scheduler::mode: Parallel,761 main::scheduler::solo: [],762 main::scheduler::todo: Set("b", "huge"),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 {776 alive: true,777 heap: 300,778 job: "c",779 phase: Busy,780 rss: 1100,781 startRss: 300782 },783 2 ->784 {785 alive: true,786 heap: 350,787 job: "",788 phase: Starting,789 rss: 350,790 startRss: 300791 }792 )793}794795[State 26]796{797 main::scheduler::done: Set("a"),798 main::scheduler::errored: Set(),799 main::scheduler::estimate: 800,800 main::scheduler::externalKills: 2,801 main::scheduler::mode: Parallel,802 main::scheduler::solo: [],803 main::scheduler::todo: Set("b", "huge"),804 main::scheduler::workers:805 Map(806 0 ->807 {808 alive: true,809 heap: 300,810 job: "fat",811 phase: Busy,812 rss: 300,813 startRss: 300814 },815 1 ->816 {817 alive: true,818 heap: 300,819 job: "c",820 phase: Busy,821 rss: 1100,822 startRss: 300823 },824 2 ->825 {826 alive: true,827 heap: 350,828 job: "",829 phase: Idle,830 rss: 350,831 startRss: 300832 }833 )834}835836[State 27]837{838 main::scheduler::done: Set("a"),839 main::scheduler::errored: Set(),840 main::scheduler::estimate: 800,841 main::scheduler::externalKills: 2,842 main::scheduler::mode: Parallel,843 main::scheduler::solo: [],844 main::scheduler::todo: Set("b", "huge"),845 main::scheduler::workers:846 Map(847 0 ->848 {849 alive: true,850 heap: 300,851 job: "fat",852 phase: Busy,853 rss: 2300,854 startRss: 300855 },856 1 ->857 {858 alive: true,859 heap: 300,860 job: "c",861 phase: Busy,862 rss: 1100,863 startRss: 300864 },865 2 ->866 {867 alive: true,868 heap: 350,869 job: "",870 phase: Idle,871 rss: 350,872 startRss: 300873 }874 )875}876877[State 28]878{879 main::scheduler::done: Set("a"),880 main::scheduler::errored: Set(),881 main::scheduler::estimate: 2000,882 main::scheduler::externalKills: 2,883 main::scheduler::mode: Parallel,884 main::scheduler::solo: [],885 main::scheduler::todo: Set("b", "huge"),886 main::scheduler::workers:887 Map(888 0 ->889 {890 alive: true,891 heap: 300,892 job: "fat",893 phase: Killed,894 rss: 2300,895 startRss: 300896 },897 1 ->898 {899 alive: true,900 heap: 300,901 job: "c",902 phase: Busy,903 rss: 1100,904 startRss: 300905 },906 2 ->907 {908 alive: true,909 heap: 350,910 job: "",911 phase: Idle,912 rss: 350,913 startRss: 300914 }915 )916}917918[State 29]919{920 main::scheduler::done: Set("a"),921 main::scheduler::errored: Set(),922 main::scheduler::estimate: 2000,923 main::scheduler::externalKills: 2,924 main::scheduler::mode: Parallel,925 main::scheduler::solo: [],926 main::scheduler::todo: Set("b", "huge"),927 main::scheduler::workers:928 Map(929 0 ->930 {931 alive: true,932 heap: 300,933 job: "fat",934 phase: Killed,935 rss: 2300,936 startRss: 300937 },938 1 ->939 {940 alive: true,941 heap: 300,942 job: "c",943 phase: Killed,944 rss: 1100,945 startRss: 300946 },947 2 ->948 {949 alive: true,950 heap: 350,951 job: "",952 phase: Idle,953 rss: 350,954 startRss: 300955 }956 )957}958959[State 30]960{961 main::scheduler::done: Set("a"),962 main::scheduler::errored: Set(),963 main::scheduler::estimate: 2000,964 main::scheduler::externalKills: 2,965 main::scheduler::mode: Parallel,966 main::scheduler::solo: ["fat"],967 main::scheduler::todo: Set("b", "huge"),968 main::scheduler::workers:969 Map(970 0 ->971 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },972 1 ->973 {974 alive: true,975 heap: 300,976 job: "c",977 phase: Killed,978 rss: 1100,979 startRss: 300980 },981 2 ->982 {983 alive: true,984 heap: 350,985 job: "",986 phase: Idle,987 rss: 350,988 startRss: 300989 }990 )991}992993[State 31]994{995 main::scheduler::done: Set("a"),996 main::scheduler::errored: Set(),997 main::scheduler::estimate: 2000,998 main::scheduler::externalKills: 2,999 main::scheduler::mode: Parallel,1000 main::scheduler::solo: ["fat"],1001 main::scheduler::todo: Set("b", "huge"),1002 main::scheduler::workers:1003 Map(1004 0 ->1005 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1006 1 ->1007 {1008 alive: true,1009 heap: 300,1010 job: "c",1011 phase: Killed,1012 rss: 1100,1013 startRss: 3001014 },1015 2 ->1016 {1017 alive: true,1018 heap: 350,1019 job: "",1020 phase: Idle,1021 rss: 350,1022 startRss: 3001023 }1024 )1025}10261027[State 32]1028{1029 main::scheduler::done: Set("a"),1030 main::scheduler::errored: Set(),1031 main::scheduler::estimate: 2000,1032 main::scheduler::externalKills: 2,1033 main::scheduler::mode: Parallel,1034 main::scheduler::solo: ["fat"],1035 main::scheduler::todo: Set("b", "huge"),1036 main::scheduler::workers:1037 Map(1038 0 ->1039 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1040 1 ->1041 {1042 alive: true,1043 heap: 300,1044 job: "c",1045 phase: Killed,1046 rss: 1100,1047 startRss: 3001048 },1049 2 ->1050 {1051 alive: true,1052 heap: 350,1053 job: "",1054 phase: Idle,1055 rss: 350,1056 startRss: 3001057 }1058 )1059}10601061[State 33]1062{1063 main::scheduler::done: Set("a"),1064 main::scheduler::errored: Set(),1065 main::scheduler::estimate: 2000,1066 main::scheduler::externalKills: 2,1067 main::scheduler::mode: Parallel,1068 main::scheduler::solo: ["fat"],1069 main::scheduler::todo: Set("b", "huge"),1070 main::scheduler::workers:1071 Map(1072 0 ->1073 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1074 1 ->1075 {1076 alive: true,1077 heap: 300,1078 job: "c",1079 phase: Killed,1080 rss: 1100,1081 startRss: 3001082 },1083 2 ->1084 {1085 alive: true,1086 heap: 350,1087 job: "",1088 phase: Idle,1089 rss: 350,1090 startRss: 3001091 }1092 )1093}10941095[State 34]1096{1097 main::scheduler::done: Set("a"),1098 main::scheduler::errored: Set(),1099 main::scheduler::estimate: 2000,1100 main::scheduler::externalKills: 2,1101 main::scheduler::mode: Parallel,1102 main::scheduler::solo: ["fat"],1103 main::scheduler::todo: Set("b", "huge"),1104 main::scheduler::workers:1105 Map(1106 0 ->1107 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1108 1 ->1109 {1110 alive: true,1111 heap: 300,1112 job: "c",1113 phase: Killed,1114 rss: 1100,1115 startRss: 3001116 },1117 2 ->1118 {1119 alive: true,1120 heap: 350,1121 job: "",1122 phase: Idle,1123 rss: 350,1124 startRss: 3001125 }1126 )1127}11281129[State 35]1130{1131 main::scheduler::done: Set("a"),1132 main::scheduler::errored: Set(),1133 main::scheduler::estimate: 2000,1134 main::scheduler::externalKills: 2,1135 main::scheduler::mode: Parallel,1136 main::scheduler::solo: ["fat"],1137 main::scheduler::todo: Set("b", "huge"),1138 main::scheduler::workers:1139 Map(1140 0 ->1141 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1142 1 ->1143 {1144 alive: true,1145 heap: 300,1146 job: "c",1147 phase: Killed,1148 rss: 1100,1149 startRss: 3001150 },1151 2 ->1152 {1153 alive: true,1154 heap: 350,1155 job: "",1156 phase: Idle,1157 rss: 350,1158 startRss: 3001159 }1160 )1161}11621163[State 36]1164{1165 main::scheduler::done: Set("a"),1166 main::scheduler::errored: Set(),1167 main::scheduler::estimate: 2000,1168 main::scheduler::externalKills: 2,1169 main::scheduler::mode: Parallel,1170 main::scheduler::solo: ["fat"],1171 main::scheduler::todo: Set("b", "huge"),1172 main::scheduler::workers:1173 Map(1174 0 ->1175 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1176 1 ->1177 {1178 alive: true,1179 heap: 300,1180 job: "c",1181 phase: Killed,1182 rss: 1100,1183 startRss: 3001184 },1185 2 ->1186 {1187 alive: true,1188 heap: 350,1189 job: "",1190 phase: Idle,1191 rss: 350,1192 startRss: 3001193 }1194 )1195}11961197[State 37]1198{1199 main::scheduler::done: Set("a"),1200 main::scheduler::errored: Set(),1201 main::scheduler::estimate: 2000,1202 main::scheduler::externalKills: 2,1203 main::scheduler::mode: Parallel,1204 main::scheduler::solo: ["fat"],1205 main::scheduler::todo: Set("b", "huge"),1206 main::scheduler::workers:1207 Map(1208 0 ->1209 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1210 1 ->1211 {1212 alive: true,1213 heap: 300,1214 job: "c",1215 phase: Killed,1216 rss: 1100,1217 startRss: 3001218 },1219 2 ->1220 {1221 alive: true,1222 heap: 350,1223 job: "",1224 phase: Idle,1225 rss: 350,1226 startRss: 3001227 }1228 )1229}12301231[State 38]1232{1233 main::scheduler::done: Set("a"),1234 main::scheduler::errored: Set(),1235 main::scheduler::estimate: 2000,1236 main::scheduler::externalKills: 2,1237 main::scheduler::mode: Parallel,1238 main::scheduler::solo: ["fat"],1239 main::scheduler::todo: Set("b", "huge"),1240 main::scheduler::workers:1241 Map(1242 0 ->1243 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1244 1 ->1245 {1246 alive: true,1247 heap: 300,1248 job: "c",1249 phase: Killed,1250 rss: 1100,1251 startRss: 3001252 },1253 2 ->1254 {1255 alive: true,1256 heap: 350,1257 job: "",1258 phase: Idle,1259 rss: 350,1260 startRss: 3001261 }1262 )1263}12641265[State 39]1266{1267 main::scheduler::done: Set("a"),1268 main::scheduler::errored: Set(),1269 main::scheduler::estimate: 2000,1270 main::scheduler::externalKills: 2,1271 main::scheduler::mode: Parallel,1272 main::scheduler::solo: ["fat", "c"],1273 main::scheduler::todo: Set("b", "huge"),1274 main::scheduler::workers:1275 Map(1276 0 ->1277 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1278 1 ->1279 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1280 2 ->1281 {1282 alive: true,1283 heap: 350,1284 job: "",1285 phase: Idle,1286 rss: 350,1287 startRss: 3001288 }1289 )1290}12911292[State 40]1293{1294 main::scheduler::done: Set("a"),1295 main::scheduler::errored: Set(),1296 main::scheduler::estimate: 2000,1297 main::scheduler::externalKills: 2,1298 main::scheduler::mode: Parallel,1299 main::scheduler::solo: ["fat", "c"],1300 main::scheduler::todo: Set("b", "huge"),1301 main::scheduler::workers:1302 Map(1303 0 ->1304 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1305 1 ->1306 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1307 2 ->1308 {1309 alive: true,1310 heap: 350,1311 job: "",1312 phase: Idle,1313 rss: 350,1314 startRss: 3001315 }1316 )1317}13181319[State 41]1320{1321 main::scheduler::done: Set("a"),1322 main::scheduler::errored: Set(),1323 main::scheduler::estimate: 2000,1324 main::scheduler::externalKills: 2,1325 main::scheduler::mode: Parallel,1326 main::scheduler::solo: ["fat", "c"],1327 main::scheduler::todo: Set("b", "huge"),1328 main::scheduler::workers:1329 Map(1330 0 ->1331 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1332 1 ->1333 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1334 2 ->1335 {1336 alive: true,1337 heap: 350,1338 job: "",1339 phase: Idle,1340 rss: 350,1341 startRss: 3001342 }1343 )1344}13451346[State 42]1347{1348 main::scheduler::done: Set("a"),1349 main::scheduler::errored: Set(),1350 main::scheduler::estimate: 2000,1351 main::scheduler::externalKills: 2,1352 main::scheduler::mode: Solo,1353 main::scheduler::solo: ["fat", "c"],1354 main::scheduler::todo: Set("b", "huge"),1355 main::scheduler::workers:1356 Map(1357 0 ->1358 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1359 1 ->1360 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1361 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1362 )1363}13641365[State 43]1366{1367 main::scheduler::done: Set("a"),1368 main::scheduler::errored: Set(),1369 main::scheduler::estimate: 2000,1370 main::scheduler::externalKills: 2,1371 main::scheduler::mode: Solo,1372 main::scheduler::solo: ["fat", "c"],1373 main::scheduler::todo: Set("b", "huge"),1374 main::scheduler::workers:1375 Map(1376 0 ->1377 {1378 alive: true,1379 heap: 300,1380 job: "",1381 phase: Starting,1382 rss: 300,1383 startRss: 01384 },1385 1 ->1386 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1387 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1388 )1389}13901391[State 44]1392{1393 main::scheduler::done: Set("a"),1394 main::scheduler::errored: Set(),1395 main::scheduler::estimate: 2000,1396 main::scheduler::externalKills: 2,1397 main::scheduler::mode: Solo,1398 main::scheduler::solo: ["fat", "c"],1399 main::scheduler::todo: Set("b", "huge"),1400 main::scheduler::workers:1401 Map(1402 0 ->1403 {1404 alive: true,1405 heap: 300,1406 job: "",1407 phase: Starting,1408 rss: 300,1409 startRss: 01410 },1411 1 ->1412 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1413 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1414 )1415}14161417[State 45]1418{1419 main::scheduler::done: Set("a"),1420 main::scheduler::errored: Set(),1421 main::scheduler::estimate: 2000,1422 main::scheduler::externalKills: 2,1423 main::scheduler::mode: Solo,1424 main::scheduler::solo: ["fat", "c"],1425 main::scheduler::todo: Set("b", "huge"),1426 main::scheduler::workers:1427 Map(1428 0 ->1429 {1430 alive: true,1431 heap: 300,1432 job: "",1433 phase: Starting,1434 rss: 300,1435 startRss: 01436 },1437 1 ->1438 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1439 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1440 )1441}14421443[State 46]1444{1445 main::scheduler::done: Set("a"),1446 main::scheduler::errored: Set(),1447 main::scheduler::estimate: 2000,1448 main::scheduler::externalKills: 2,1449 main::scheduler::mode: Solo,1450 main::scheduler::solo: ["fat", "c"],1451 main::scheduler::todo: Set("b", "huge"),1452 main::scheduler::workers:1453 Map(1454 0 ->1455 {1456 alive: true,1457 heap: 300,1458 job: "",1459 phase: Starting,1460 rss: 300,1461 startRss: 01462 },1463 1 ->1464 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1465 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1466 )1467}14681469[State 47]1470{1471 main::scheduler::done: Set("a"),1472 main::scheduler::errored: Set(),1473 main::scheduler::estimate: 2000,1474 main::scheduler::externalKills: 2,1475 main::scheduler::mode: Solo,1476 main::scheduler::solo: ["fat", "c"],1477 main::scheduler::todo: Set("b", "huge"),1478 main::scheduler::workers:1479 Map(1480 0 ->1481 {1482 alive: true,1483 heap: 300,1484 job: "",1485 phase: Starting,1486 rss: 300,1487 startRss: 01488 },1489 1 ->1490 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1491 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1492 )1493}14941495[State 48]1496{1497 main::scheduler::done: Set("a"),1498 main::scheduler::errored: Set(),1499 main::scheduler::estimate: 2000,1500 main::scheduler::externalKills: 2,1501 main::scheduler::mode: Solo,1502 main::scheduler::solo: ["fat", "c"],1503 main::scheduler::todo: Set("b", "huge"),1504 main::scheduler::workers:1505 Map(1506 0 ->1507 {1508 alive: true,1509 heap: 300,1510 job: "",1511 phase: Starting,1512 rss: 300,1513 startRss: 01514 },1515 1 ->1516 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1517 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1518 )1519}15201521[State 49]1522{1523 main::scheduler::done: Set("a"),1524 main::scheduler::errored: Set(),1525 main::scheduler::estimate: 2000,1526 main::scheduler::externalKills: 2,1527 main::scheduler::mode: Solo,1528 main::scheduler::solo: ["fat", "c"],1529 main::scheduler::todo: Set("b", "huge"),1530 main::scheduler::workers:1531 Map(1532 0 ->1533 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1534 1 ->1535 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1536 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1537 )1538}15391540[State 50]1541{1542 main::scheduler::done: Set("a"),1543 main::scheduler::errored: Set(),1544 main::scheduler::estimate: 2000,1545 main::scheduler::externalKills: 2,1546 main::scheduler::mode: Solo,1547 main::scheduler::solo: ["fat", "c"],1548 main::scheduler::todo: Set("b", "huge"),1549 main::scheduler::workers:1550 Map(1551 0 ->1552 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1553 1 ->1554 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1555 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1556 )1557}15581559[State 51]1560{1561 main::scheduler::done: Set("a"),1562 main::scheduler::errored: Set(),1563 main::scheduler::estimate: 2000,1564 main::scheduler::externalKills: 2,1565 main::scheduler::mode: Solo,1566 main::scheduler::solo: ["fat"],1567 main::scheduler::todo: Set("b", "huge"),1568 main::scheduler::workers:1569 Map(1570 0 ->1571 {1572 alive: true,1573 heap: 300,1574 job: "c",1575 phase: Busy,1576 rss: 300,1577 startRss: 3001578 },1579 1 ->1580 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1581 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1582 )1583}15841585[State 52]1586{1587 main::scheduler::done: Set("a"),1588 main::scheduler::errored: Set(),1589 main::scheduler::estimate: 2000,1590 main::scheduler::externalKills: 2,1591 main::scheduler::mode: Solo,1592 main::scheduler::solo: ["fat"],1593 main::scheduler::todo: Set("b", "huge"),1594 main::scheduler::workers:1595 Map(1596 0 ->1597 {1598 alive: true,1599 heap: 300,1600 job: "c",1601 phase: Busy,1602 rss: 300,1603 startRss: 3001604 },1605 1 ->1606 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1607 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1608 )1609}16101611[State 53]1612{1613 main::scheduler::done: Set("a"),1614 main::scheduler::errored: Set(),1615 main::scheduler::estimate: 2000,1616 main::scheduler::externalKills: 2,1617 main::scheduler::mode: Solo,1618 main::scheduler::solo: ["fat"],1619 main::scheduler::todo: Set("b", "huge"),1620 main::scheduler::workers:1621 Map(1622 0 ->1623 {1624 alive: true,1625 heap: 300,1626 job: "c",1627 phase: Busy,1628 rss: 1100,1629 startRss: 3001630 },1631 1 ->1632 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1633 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1634 )1635}16361637[State 54]1638{1639 main::scheduler::done: Set("a"),1640 main::scheduler::errored: Set(),1641 main::scheduler::estimate: 2000,1642 main::scheduler::externalKills: 2,1643 main::scheduler::mode: Solo,1644 main::scheduler::solo: ["fat"],1645 main::scheduler::todo: Set("b", "huge"),1646 main::scheduler::workers:1647 Map(1648 0 ->1649 {1650 alive: true,1651 heap: 300,1652 job: "c",1653 phase: Busy,1654 rss: 1100,1655 startRss: 3001656 },1657 1 ->1658 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1659 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1660 )1661}16621663[State 55]1664{1665 main::scheduler::done: Set("a"),1666 main::scheduler::errored: Set(),1667 main::scheduler::estimate: 2000,1668 main::scheduler::externalKills: 2,1669 main::scheduler::mode: Solo,1670 main::scheduler::solo: ["fat"],1671 main::scheduler::todo: Set("b", "huge"),1672 main::scheduler::workers:1673 Map(1674 0 ->1675 {1676 alive: true,1677 heap: 300,1678 job: "c",1679 phase: Busy,1680 rss: 1100,1681 startRss: 3001682 },1683 1 ->1684 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1685 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1686 )1687}16881689[State 56]1690{1691 main::scheduler::done: Set("a"),1692 main::scheduler::errored: Set(),1693 main::scheduler::estimate: 2000,1694 main::scheduler::externalKills: 2,1695 main::scheduler::mode: Solo,1696 main::scheduler::solo: ["fat"],1697 main::scheduler::todo: Set("b", "huge"),1698 main::scheduler::workers:1699 Map(1700 0 ->1701 {1702 alive: true,1703 heap: 300,1704 job: "c",1705 phase: Busy,1706 rss: 1100,1707 startRss: 3001708 },1709 1 ->1710 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1711 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1712 )1713}17141715[State 57]1716{1717 main::scheduler::done: Set("a"),1718 main::scheduler::errored: Set(),1719 main::scheduler::estimate: 2000,1720 main::scheduler::externalKills: 2,1721 main::scheduler::mode: Solo,1722 main::scheduler::solo: ["fat"],1723 main::scheduler::todo: Set("b", "huge"),1724 main::scheduler::workers:1725 Map(1726 0 ->1727 {1728 alive: true,1729 heap: 300,1730 job: "c",1731 phase: Busy,1732 rss: 1100,1733 startRss: 3001734 },1735 1 ->1736 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1737 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1738 )1739}17401741[State 58]1742{1743 main::scheduler::done: Set("a"),1744 main::scheduler::errored: Set(),1745 main::scheduler::estimate: 2000,1746 main::scheduler::externalKills: 2,1747 main::scheduler::mode: Solo,1748 main::scheduler::solo: ["fat"],1749 main::scheduler::todo: Set("b", "huge"),1750 main::scheduler::workers:1751 Map(1752 0 ->1753 {1754 alive: true,1755 heap: 300,1756 job: "c",1757 phase: Busy,1758 rss: 1100,1759 startRss: 3001760 },1761 1 ->1762 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1763 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1764 )1765}17661767[State 59]1768{1769 main::scheduler::done: Set("a"),1770 main::scheduler::errored: Set(),1771 main::scheduler::estimate: 2000,1772 main::scheduler::externalKills: 2,1773 main::scheduler::mode: Solo,1774 main::scheduler::solo: ["fat"],1775 main::scheduler::todo: Set("b", "huge"),1776 main::scheduler::workers:1777 Map(1778 0 ->1779 {1780 alive: true,1781 heap: 300,1782 job: "c",1783 phase: Busy,1784 rss: 1100,1785 startRss: 3001786 },1787 1 ->1788 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1789 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1790 )1791}17921793[State 60]1794{1795 main::scheduler::done: Set("a"),1796 main::scheduler::errored: Set(),1797 main::scheduler::estimate: 2000,1798 main::scheduler::externalKills: 2,1799 main::scheduler::mode: Solo,1800 main::scheduler::solo: ["fat"],1801 main::scheduler::todo: Set("b", "huge"),1802 main::scheduler::workers:1803 Map(1804 0 ->1805 {1806 alive: true,1807 heap: 300,1808 job: "c",1809 phase: Busy,1810 rss: 1100,1811 startRss: 3001812 },1813 1 ->1814 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1815 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1816 )1817}18181819[State 61]1820{1821 main::scheduler::done: Set("a"),1822 main::scheduler::errored: Set(),1823 main::scheduler::estimate: 2000,1824 main::scheduler::externalKills: 2,1825 main::scheduler::mode: Solo,1826 main::scheduler::solo: ["fat"],1827 main::scheduler::todo: Set("b", "huge"),1828 main::scheduler::workers:1829 Map(1830 0 ->1831 {1832 alive: true,1833 heap: 300,1834 job: "c",1835 phase: Busy,1836 rss: 1100,1837 startRss: 3001838 },1839 1 ->1840 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1841 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1842 )1843}18441845[State 62]1846{1847 main::scheduler::done: Set("a"),1848 main::scheduler::errored: Set(),1849 main::scheduler::estimate: 2000,1850 main::scheduler::externalKills: 2,1851 main::scheduler::mode: Solo,1852 main::scheduler::solo: ["fat"],1853 main::scheduler::todo: Set("b", "huge"),1854 main::scheduler::workers:1855 Map(1856 0 ->1857 {1858 alive: true,1859 heap: 300,1860 job: "c",1861 phase: Busy,1862 rss: 1100,1863 startRss: 3001864 },1865 1 ->1866 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1867 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1868 )1869}18701871[State 63]1872{1873 main::scheduler::done: Set("a"),1874 main::scheduler::errored: Set(),1875 main::scheduler::estimate: 2000,1876 main::scheduler::externalKills: 2,1877 main::scheduler::mode: Solo,1878 main::scheduler::solo: ["fat"],1879 main::scheduler::todo: Set("b", "huge"),1880 main::scheduler::workers:1881 Map(1882 0 ->1883 {1884 alive: true,1885 heap: 300,1886 job: "c",1887 phase: Busy,1888 rss: 1100,1889 startRss: 3001890 },1891 1 ->1892 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1893 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1894 )1895}18961897[State 64]1898{1899 main::scheduler::done: Set("a"),1900 main::scheduler::errored: Set(),1901 main::scheduler::estimate: 2000,1902 main::scheduler::externalKills: 2,1903 main::scheduler::mode: Solo,1904 main::scheduler::solo: ["fat"],1905 main::scheduler::todo: Set("b", "huge"),1906 main::scheduler::workers:1907 Map(1908 0 ->1909 {1910 alive: true,1911 heap: 300,1912 job: "c",1913 phase: Busy,1914 rss: 1100,1915 startRss: 3001916 },1917 1 ->1918 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1919 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1920 )1921}19221923[State 65]1924{1925 main::scheduler::done: Set("a"),1926 main::scheduler::errored: Set(),1927 main::scheduler::estimate: 2000,1928 main::scheduler::externalKills: 2,1929 main::scheduler::mode: Solo,1930 main::scheduler::solo: ["fat"],1931 main::scheduler::todo: Set("b", "huge"),1932 main::scheduler::workers:1933 Map(1934 0 ->1935 {1936 alive: true,1937 heap: 300,1938 job: "c",1939 phase: Busy,1940 rss: 1100,1941 startRss: 3001942 },1943 1 ->1944 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1945 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1946 )1947}19481949[State 66]1950{1951 main::scheduler::done: Set("a"),1952 main::scheduler::errored: Set(),1953 main::scheduler::estimate: 2000,1954 main::scheduler::externalKills: 2,1955 main::scheduler::mode: Solo,1956 main::scheduler::solo: ["fat"],1957 main::scheduler::todo: Set("b", "huge"),1958 main::scheduler::workers:1959 Map(1960 0 ->1961 {1962 alive: true,1963 heap: 300,1964 job: "c",1965 phase: Busy,1966 rss: 1100,1967 startRss: 3001968 },1969 1 ->1970 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1971 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1972 )1973}19741975[State 67]1976{1977 main::scheduler::done: Set("a"),1978 main::scheduler::errored: Set(),1979 main::scheduler::estimate: 2000,1980 main::scheduler::externalKills: 2,1981 main::scheduler::mode: Solo,1982 main::scheduler::solo: ["fat"],1983 main::scheduler::todo: Set("b", "huge"),1984 main::scheduler::workers:1985 Map(1986 0 ->1987 {1988 alive: true,1989 heap: 300,1990 job: "c",1991 phase: Busy,1992 rss: 1100,1993 startRss: 3001994 },1995 1 ->1996 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1997 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1998 )1999}20002001[State 68]2002{2003 main::scheduler::done: Set("a"),2004 main::scheduler::errored: Set(),2005 main::scheduler::estimate: 2000,2006 main::scheduler::externalKills: 2,2007 main::scheduler::mode: Solo,2008 main::scheduler::solo: ["fat"],2009 main::scheduler::todo: Set("b", "huge"),2010 main::scheduler::workers:2011 Map(2012 0 ->2013 {2014 alive: true,2015 heap: 300,2016 job: "c",2017 phase: Busy,2018 rss: 1100,2019 startRss: 3002020 },2021 1 ->2022 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2023 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2024 )2025}20262027[State 69]2028{2029 main::scheduler::done: Set("a"),2030 main::scheduler::errored: Set(),2031 main::scheduler::estimate: 2000,2032 main::scheduler::externalKills: 2,2033 main::scheduler::mode: Solo,2034 main::scheduler::solo: ["fat"],2035 main::scheduler::todo: Set("b", "huge"),2036 main::scheduler::workers:2037 Map(2038 0 ->2039 {2040 alive: true,2041 heap: 300,2042 job: "c",2043 phase: Busy,2044 rss: 1100,2045 startRss: 3002046 },2047 1 ->2048 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2049 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2050 )2051}20522053[State 70]2054{2055 main::scheduler::done: Set("a"),2056 main::scheduler::errored: Set(),2057 main::scheduler::estimate: 2000,2058 main::scheduler::externalKills: 2,2059 main::scheduler::mode: Solo,2060 main::scheduler::solo: ["fat"],2061 main::scheduler::todo: Set("b", "huge"),2062 main::scheduler::workers:2063 Map(2064 0 ->2065 {2066 alive: true,2067 heap: 300,2068 job: "c",2069 phase: Busy,2070 rss: 1100,2071 startRss: 3002072 },2073 1 ->2074 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2075 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2076 )2077}20782079[State 71]2080{2081 main::scheduler::done: Set("a"),2082 main::scheduler::errored: Set(),2083 main::scheduler::estimate: 2000,2084 main::scheduler::externalKills: 2,2085 main::scheduler::mode: Solo,2086 main::scheduler::solo: ["fat"],2087 main::scheduler::todo: Set("b", "huge"),2088 main::scheduler::workers:2089 Map(2090 0 ->2091 {2092 alive: true,2093 heap: 300,2094 job: "c",2095 phase: Busy,2096 rss: 1100,2097 startRss: 3002098 },2099 1 ->2100 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2101 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2102 )2103}21042105[State 72]2106{2107 main::scheduler::done: Set("a"),2108 main::scheduler::errored: Set(),2109 main::scheduler::estimate: 2000,2110 main::scheduler::externalKills: 2,2111 main::scheduler::mode: Solo,2112 main::scheduler::solo: ["fat"],2113 main::scheduler::todo: Set("b", "huge"),2114 main::scheduler::workers:2115 Map(2116 0 ->2117 {2118 alive: true,2119 heap: 300,2120 job: "c",2121 phase: Busy,2122 rss: 1100,2123 startRss: 3002124 },2125 1 ->2126 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2127 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2128 )2129}21302131[State 73]2132{2133 main::scheduler::done: Set("a", "c"),2134 main::scheduler::errored: Set(),2135 main::scheduler::estimate: 1960,2136 main::scheduler::externalKills: 2,2137 main::scheduler::mode: Parallel,2138 main::scheduler::solo: ["fat"],2139 main::scheduler::todo: Set("b", "huge"),2140 main::scheduler::workers:2141 Map(2142 0 ->2143 {2144 alive: true,2145 heap: 700,2146 job: "",2147 phase: Starting,2148 rss: 700,2149 startRss: 3002150 },2151 1 ->2152 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2153 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2154 )2155}21562157[State 74]2158{2159 main::scheduler::done: Set("a", "c"),2160 main::scheduler::errored: Set(),2161 main::scheduler::estimate: 1960,2162 main::scheduler::externalKills: 2,2163 main::scheduler::mode: Solo,2164 main::scheduler::solo: ["fat"],2165 main::scheduler::todo: Set("b", "huge"),2166 main::scheduler::workers:2167 Map(2168 0 ->2169 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2170 1 ->2171 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2172 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2173 )2174}21752176[State 75]2177{2178 main::scheduler::done: Set("a", "c"),2179 main::scheduler::errored: Set(),2180 main::scheduler::estimate: 1960,2181 main::scheduler::externalKills: 2,2182 main::scheduler::mode: Solo,2183 main::scheduler::solo: ["fat"],2184 main::scheduler::todo: Set("b", "huge"),2185 main::scheduler::workers:2186 Map(2187 0 ->2188 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2189 1 ->2190 {2191 alive: true,2192 heap: 300,2193 job: "",2194 phase: Starting,2195 rss: 300,2196 startRss: 02197 },2198 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2199 )2200}22012202[State 76]2203{2204 main::scheduler::done: Set("a", "c"),2205 main::scheduler::errored: Set(),2206 main::scheduler::estimate: 1960,2207 main::scheduler::externalKills: 2,2208 main::scheduler::mode: Solo,2209 main::scheduler::solo: ["fat"],2210 main::scheduler::todo: Set("b", "huge"),2211 main::scheduler::workers:2212 Map(2213 0 ->2214 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2215 1 ->2216 {2217 alive: true,2218 heap: 300,2219 job: "",2220 phase: Starting,2221 rss: 300,2222 startRss: 02223 },2224 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2225 )2226}22272228[State 77]2229{2230 main::scheduler::done: Set("a", "c"),2231 main::scheduler::errored: Set(),2232 main::scheduler::estimate: 1960,2233 main::scheduler::externalKills: 2,2234 main::scheduler::mode: Solo,2235 main::scheduler::solo: ["fat"],2236 main::scheduler::todo: Set("b", "huge"),2237 main::scheduler::workers:2238 Map(2239 0 ->2240 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2241 1 ->2242 {2243 alive: true,2244 heap: 300,2245 job: "",2246 phase: Starting,2247 rss: 300,2248 startRss: 02249 },2250 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2251 )2252}22532254[State 78]2255{2256 main::scheduler::done: Set("a", "c"),2257 main::scheduler::errored: Set(),2258 main::scheduler::estimate: 1960,2259 main::scheduler::externalKills: 2,2260 main::scheduler::mode: Solo,2261 main::scheduler::solo: ["fat"],2262 main::scheduler::todo: Set("b", "huge"),2263 main::scheduler::workers:2264 Map(2265 0 ->2266 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2267 1 ->2268 {2269 alive: true,2270 heap: 300,2271 job: "",2272 phase: Starting,2273 rss: 300,2274 startRss: 02275 },2276 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2277 )2278}22792280[State 79]2281{2282 main::scheduler::done: Set("a", "c"),2283 main::scheduler::errored: Set(),2284 main::scheduler::estimate: 1960,2285 main::scheduler::externalKills: 2,2286 main::scheduler::mode: Solo,2287 main::scheduler::solo: ["fat"],2288 main::scheduler::todo: Set("b", "huge"),2289 main::scheduler::workers:2290 Map(2291 0 ->2292 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2293 1 ->2294 {2295 alive: true,2296 heap: 300,2297 job: "",2298 phase: Starting,2299 rss: 300,2300 startRss: 02301 },2302 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2303 )2304}23052306[State 80]2307{2308 main::scheduler::done: Set("a", "c"),2309 main::scheduler::errored: Set(),2310 main::scheduler::estimate: 1960,2311 main::scheduler::externalKills: 2,2312 main::scheduler::mode: Solo,2313 main::scheduler::solo: ["fat"],2314 main::scheduler::todo: Set("b", "huge"),2315 main::scheduler::workers:2316 Map(2317 0 ->2318 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2319 1 ->2320 {2321 alive: true,2322 heap: 300,2323 job: "",2324 phase: Starting,2325 rss: 300,2326 startRss: 02327 },2328 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2329 )2330}23312332[State 81]2333{2334 main::scheduler::done: Set("a", "c"),2335 main::scheduler::errored: Set(),2336 main::scheduler::estimate: 1960,2337 main::scheduler::externalKills: 2,2338 main::scheduler::mode: Solo,2339 main::scheduler::solo: ["fat"],2340 main::scheduler::todo: Set("b", "huge"),2341 main::scheduler::workers:2342 Map(2343 0 ->2344 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2345 1 ->2346 {2347 alive: true,2348 heap: 300,2349 job: "",2350 phase: Starting,2351 rss: 300,2352 startRss: 02353 },2354 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2355 )2356}23572358[State 82]2359{2360 main::scheduler::done: Set("a", "c"),2361 main::scheduler::errored: Set(),2362 main::scheduler::estimate: 1960,2363 main::scheduler::externalKills: 2,2364 main::scheduler::mode: Solo,2365 main::scheduler::solo: ["fat"],2366 main::scheduler::todo: Set("b", "huge"),2367 main::scheduler::workers:2368 Map(2369 0 ->2370 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2371 1 ->2372 {2373 alive: true,2374 heap: 300,2375 job: "",2376 phase: Starting,2377 rss: 300,2378 startRss: 02379 },2380 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2381 )2382}23832384[State 83]2385{2386 main::scheduler::done: Set("a", "c"),2387 main::scheduler::errored: Set(),2388 main::scheduler::estimate: 1960,2389 main::scheduler::externalKills: 2,2390 main::scheduler::mode: Solo,2391 main::scheduler::solo: ["fat"],2392 main::scheduler::todo: Set("b", "huge"),2393 main::scheduler::workers:2394 Map(2395 0 ->2396 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2397 1 ->2398 {2399 alive: true,2400 heap: 300,2401 job: "",2402 phase: Starting,2403 rss: 300,2404 startRss: 02405 },2406 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2407 )2408}24092410[State 84]2411{2412 main::scheduler::done: Set("a", "c"),2413 main::scheduler::errored: Set(),2414 main::scheduler::estimate: 1960,2415 main::scheduler::externalKills: 2,2416 main::scheduler::mode: Solo,2417 main::scheduler::solo: ["fat"],2418 main::scheduler::todo: Set("b", "huge"),2419 main::scheduler::workers:2420 Map(2421 0 ->2422 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2423 1 ->2424 {2425 alive: true,2426 heap: 300,2427 job: "",2428 phase: Starting,2429 rss: 300,2430 startRss: 02431 },2432 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2433 )2434}24352436[State 85]2437{2438 main::scheduler::done: Set("a", "c"),2439 main::scheduler::errored: Set(),2440 main::scheduler::estimate: 1960,2441 main::scheduler::externalKills: 2,2442 main::scheduler::mode: Solo,2443 main::scheduler::solo: ["fat"],2444 main::scheduler::todo: Set("b", "huge"),2445 main::scheduler::workers:2446 Map(2447 0 ->2448 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2449 1 ->2450 {2451 alive: true,2452 heap: 300,2453 job: "",2454 phase: Starting,2455 rss: 300,2456 startRss: 02457 },2458 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2459 )2460}24612462[State 86]2463{2464 main::scheduler::done: Set("a", "c"),2465 main::scheduler::errored: Set(),2466 main::scheduler::estimate: 1960,2467 main::scheduler::externalKills: 2,2468 main::scheduler::mode: Solo,2469 main::scheduler::solo: ["fat"],2470 main::scheduler::todo: Set("b", "huge"),2471 main::scheduler::workers:2472 Map(2473 0 ->2474 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2475 1 ->2476 {2477 alive: true,2478 heap: 300,2479 job: "",2480 phase: Starting,2481 rss: 300,2482 startRss: 02483 },2484 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2485 )2486}24872488[State 87]2489{2490 main::scheduler::done: Set("a", "c"),2491 main::scheduler::errored: Set(),2492 main::scheduler::estimate: 1960,2493 main::scheduler::externalKills: 2,2494 main::scheduler::mode: Solo,2495 main::scheduler::solo: ["fat"],2496 main::scheduler::todo: Set("b", "huge"),2497 main::scheduler::workers:2498 Map(2499 0 ->2500 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2501 1 ->2502 {2503 alive: true,2504 heap: 300,2505 job: "",2506 phase: Starting,2507 rss: 300,2508 startRss: 02509 },2510 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2511 )2512}25132514[State 88]2515{2516 main::scheduler::done: Set("a", "c"),2517 main::scheduler::errored: Set(),2518 main::scheduler::estimate: 1960,2519 main::scheduler::externalKills: 2,2520 main::scheduler::mode: Solo,2521 main::scheduler::solo: ["fat"],2522 main::scheduler::todo: Set("b", "huge"),2523 main::scheduler::workers:2524 Map(2525 0 ->2526 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2527 1 ->2528 {2529 alive: true,2530 heap: 300,2531 job: "",2532 phase: Starting,2533 rss: 300,2534 startRss: 02535 },2536 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2537 )2538}25392540[State 89]2541{2542 main::scheduler::done: Set("a", "c"),2543 main::scheduler::errored: Set(),2544 main::scheduler::estimate: 1960,2545 main::scheduler::externalKills: 2,2546 main::scheduler::mode: Solo,2547 main::scheduler::solo: ["fat"],2548 main::scheduler::todo: Set("b", "huge"),2549 main::scheduler::workers:2550 Map(2551 0 ->2552 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2553 1 ->2554 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2555 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2556 )2557}25582559[State 90]2560{2561 main::scheduler::done: Set("a", "c"),2562 main::scheduler::errored: Set(),2563 main::scheduler::estimate: 1960,2564 main::scheduler::externalKills: 2,2565 main::scheduler::mode: Solo,2566 main::scheduler::solo: ["fat"],2567 main::scheduler::todo: Set("b", "huge"),2568 main::scheduler::workers:2569 Map(2570 0 ->2571 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2572 1 ->2573 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2574 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2575 )2576}25772578[State 91]2579{2580 main::scheduler::done: Set("a", "c"),2581 main::scheduler::errored: Set(),2582 main::scheduler::estimate: 1960,2583 main::scheduler::externalKills: 2,2584 main::scheduler::mode: Solo,2585 main::scheduler::solo: ["fat"],2586 main::scheduler::todo: Set("b", "huge"),2587 main::scheduler::workers:2588 Map(2589 0 ->2590 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2591 1 ->2592 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2593 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2594 )2595}25962597[State 92]2598{2599 main::scheduler::done: Set("a", "c"),2600 main::scheduler::errored: Set(),2601 main::scheduler::estimate: 1960,2602 main::scheduler::externalKills: 2,2603 main::scheduler::mode: Solo,2604 main::scheduler::solo: ["fat"],2605 main::scheduler::todo: Set("b", "huge"),2606 main::scheduler::workers:2607 Map(2608 0 ->2609 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2610 1 ->2611 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2612 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2613 )2614}26152616[State 93]2617{2618 main::scheduler::done: Set("a", "c"),2619 main::scheduler::errored: Set(),2620 main::scheduler::estimate: 1960,2621 main::scheduler::externalKills: 2,2622 main::scheduler::mode: Solo,2623 main::scheduler::solo: [],2624 main::scheduler::todo: Set("b", "huge"),2625 main::scheduler::workers:2626 Map(2627 0 ->2628 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2629 1 ->2630 {2631 alive: true,2632 heap: 300,2633 job: "fat",2634 phase: Busy,2635 rss: 300,2636 startRss: 3002637 },2638 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2639 )2640}26412642[State 94]2643{2644 main::scheduler::done: Set("a", "c"),2645 main::scheduler::errored: Set(),2646 main::scheduler::estimate: 1960,2647 main::scheduler::externalKills: 2,2648 main::scheduler::mode: Solo,2649 main::scheduler::solo: [],2650 main::scheduler::todo: Set("b", "huge"),2651 main::scheduler::workers:2652 Map(2653 0 ->2654 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2655 1 ->2656 {2657 alive: true,2658 heap: 300,2659 job: "fat",2660 phase: Busy,2661 rss: 300,2662 startRss: 3002663 },2664 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2665 )2666}26672668[State 95]2669{2670 main::scheduler::done: Set("a", "c"),2671 main::scheduler::errored: Set(),2672 main::scheduler::estimate: 1960,2673 main::scheduler::externalKills: 2,2674 main::scheduler::mode: Solo,2675 main::scheduler::solo: [],2676 main::scheduler::todo: Set("b", "huge"),2677 main::scheduler::workers:2678 Map(2679 0 ->2680 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2681 1 ->2682 {2683 alive: true,2684 heap: 300,2685 job: "fat",2686 phase: Busy,2687 rss: 300,2688 startRss: 3002689 },2690 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2691 )2692}26932694[State 96]2695{2696 main::scheduler::done: Set("a", "c"),2697 main::scheduler::errored: Set(),2698 main::scheduler::estimate: 1960,2699 main::scheduler::externalKills: 2,2700 main::scheduler::mode: Solo,2701 main::scheduler::solo: [],2702 main::scheduler::todo: Set("b", "huge"),2703 main::scheduler::workers:2704 Map(2705 0 ->2706 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2707 1 ->2708 {2709 alive: true,2710 heap: 300,2711 job: "fat",2712 phase: Busy,2713 rss: 300,2714 startRss: 3002715 },2716 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2717 )2718}27192720[State 97]2721{2722 main::scheduler::done: Set("a", "c"),2723 main::scheduler::errored: Set(),2724 main::scheduler::estimate: 1960,2725 main::scheduler::externalKills: 2,2726 main::scheduler::mode: Solo,2727 main::scheduler::solo: [],2728 main::scheduler::todo: Set("b", "huge"),2729 main::scheduler::workers:2730 Map(2731 0 ->2732 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2733 1 ->2734 {2735 alive: true,2736 heap: 300,2737 job: "fat",2738 phase: Busy,2739 rss: 2300,2740 startRss: 3002741 },2742 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2743 )2744}27452746[State 98]2747{2748 main::scheduler::done: Set("a", "c", "fat"),2749 main::scheduler::errored: Set(),2750 main::scheduler::estimate: 1920,2751 main::scheduler::externalKills: 2,2752 main::scheduler::mode: Parallel,2753 main::scheduler::solo: [],2754 main::scheduler::todo: Set("b", "huge"),2755 main::scheduler::workers:2756 Map(2757 0 ->2758 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2759 1 ->2760 {2761 alive: true,2762 heap: 1300,2763 job: "",2764 phase: Starting,2765 rss: 1300,2766 startRss: 3002767 },2768 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2769 )2770}27712772[State 99]2773{2774 main::scheduler::done: Set("a", "c", "fat"),2775 main::scheduler::errored: Set(),2776 main::scheduler::estimate: 1920,2777 main::scheduler::externalKills: 2,2778 main::scheduler::mode: Parallel,2779 main::scheduler::solo: [],2780 main::scheduler::todo: Set("b", "huge"),2781 main::scheduler::workers:2782 Map(2783 0 ->2784 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2785 1 ->2786 {2787 alive: true,2788 heap: 1300,2789 job: "",2790 phase: Starting,2791 rss: 1300,2792 startRss: 3002793 },2794 2 ->2795 {2796 alive: true,2797 heap: 300,2798 job: "",2799 phase: Starting,2800 rss: 300,2801 startRss: 02802 }2803 )2804}28052806[State 100]2807{2808 main::scheduler::done: Set("a", "c", "fat"),2809 main::scheduler::errored: Set(),2810 main::scheduler::estimate: 1920,2811 main::scheduler::externalKills: 2,2812 main::scheduler::mode: Parallel,2813 main::scheduler::solo: [],2814 main::scheduler::todo: Set("b", "huge"),2815 main::scheduler::workers:2816 Map(2817 0 ->2818 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2819 1 ->2820 {2821 alive: true,2822 heap: 1300,2823 job: "",2824 phase: Starting,2825 rss: 1300,2826 startRss: 3002827 },2828 2 ->2829 {2830 alive: true,2831 heap: 300,2832 job: "",2833 phase: Starting,2834 rss: 300,2835 startRss: 02836 }2837 )2838}28392840[State 101]2841{2842 main::scheduler::done: Set("a", "c", "fat"),2843 main::scheduler::errored: Set(),2844 main::scheduler::estimate: 1920,2845 main::scheduler::externalKills: 2,2846 main::scheduler::mode: Parallel,2847 main::scheduler::solo: [],2848 main::scheduler::todo: Set("b", "huge"),2849 main::scheduler::workers:2850 Map(2851 0 ->2852 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2853 1 ->2854 {2855 alive: true,2856 heap: 1300,2857 job: "",2858 phase: Starting,2859 rss: 1300,2860 startRss: 3002861 },2862 2 ->2863 {2864 alive: true,2865 heap: 300,2866 job: "",2867 phase: Starting,2868 rss: 300,2869 startRss: 02870 }2871 )2872}28732874[State 102]2875{2876 main::scheduler::done: Set("a", "c", "fat"),2877 main::scheduler::errored: Set(),2878 main::scheduler::estimate: 1920,2879 main::scheduler::externalKills: 2,2880 main::scheduler::mode: Parallel,2881 main::scheduler::solo: [],2882 main::scheduler::todo: Set("b", "huge"),2883 main::scheduler::workers:2884 Map(2885 0 ->2886 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2887 1 ->2888 {2889 alive: true,2890 heap: 1300,2891 job: "",2892 phase: Starting,2893 rss: 1300,2894 startRss: 3002895 },2896 2 ->2897 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2898 )2899}29002901[State 103]2902{2903 main::scheduler::done: Set("a", "c", "fat"),2904 main::scheduler::errored: Set(),2905 main::scheduler::estimate: 1920,2906 main::scheduler::externalKills: 2,2907 main::scheduler::mode: Parallel,2908 main::scheduler::solo: [],2909 main::scheduler::todo: Set("b", "huge"),2910 main::scheduler::workers:2911 Map(2912 0 ->2913 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2914 1 ->2915 {2916 alive: true,2917 heap: 1300,2918 job: "",2919 phase: Starting,2920 rss: 1300,2921 startRss: 3002922 },2923 2 ->2924 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2925 )2926}29272928[State 104]2929{2930 main::scheduler::done: Set("a", "c", "fat"),2931 main::scheduler::errored: Set(),2932 main::scheduler::estimate: 1920,2933 main::scheduler::externalKills: 2,2934 main::scheduler::mode: Parallel,2935 main::scheduler::solo: [],2936 main::scheduler::todo: Set("b", "huge"),2937 main::scheduler::workers:2938 Map(2939 0 ->2940 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2941 1 ->2942 {2943 alive: true,2944 heap: 1300,2945 job: "",2946 phase: Starting,2947 rss: 1300,2948 startRss: 3002949 },2950 2 ->2951 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2952 )2953}29542955[State 105]2956{2957 main::scheduler::done: Set("a", "c", "fat"),2958 main::scheduler::errored: Set(),2959 main::scheduler::estimate: 1920,2960 main::scheduler::externalKills: 2,2961 main::scheduler::mode: Parallel,2962 main::scheduler::solo: [],2963 main::scheduler::todo: Set("b", "huge"),2964 main::scheduler::workers:2965 Map(2966 0 ->2967 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2968 1 ->2969 {2970 alive: true,2971 heap: 1300,2972 job: "",2973 phase: Starting,2974 rss: 1300,2975 startRss: 3002976 },2977 2 ->2978 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2979 )2980}29812982[State 106]2983{2984 main::scheduler::done: Set("a", "c", "fat"),2985 main::scheduler::errored: Set(),2986 main::scheduler::estimate: 1920,2987 main::scheduler::externalKills: 2,2988 main::scheduler::mode: Parallel,2989 main::scheduler::solo: [],2990 main::scheduler::todo: Set("b", "huge"),2991 main::scheduler::workers:2992 Map(2993 0 ->2994 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2995 1 ->2996 {2997 alive: true,2998 heap: 1300,2999 job: "",3000 phase: Starting,3001 rss: 1300,3002 startRss: 3003003 },3004 2 ->3005 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3006 )3007}30083009[State 107]3010{3011 main::scheduler::done: Set("a", "c", "fat"),3012 main::scheduler::errored: Set(),3013 main::scheduler::estimate: 1920,3014 main::scheduler::externalKills: 2,3015 main::scheduler::mode: Parallel,3016 main::scheduler::solo: [],3017 main::scheduler::todo: Set("b", "huge"),3018 main::scheduler::workers:3019 Map(3020 0 ->3021 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3022 1 ->3023 {3024 alive: true,3025 heap: 1300,3026 job: "",3027 phase: Starting,3028 rss: 1300,3029 startRss: 3003030 },3031 2 ->3032 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }3033 )3034}30353036[State 108]3037{3038 main::scheduler::done: Set("a", "c", "fat"),3039 main::scheduler::errored: Set(),3040 main::scheduler::estimate: 1920,3041 main::scheduler::externalKills: 2,3042 main::scheduler::mode: Parallel,3043 main::scheduler::solo: [],3044 main::scheduler::todo: Set("b"),3045 main::scheduler::workers:3046 Map(3047 0 ->3048 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3049 1 ->3050 {3051 alive: true,3052 heap: 1300,3053 job: "",3054 phase: Starting,3055 rss: 1300,3056 startRss: 3003057 },3058 2 ->3059 {3060 alive: true,3061 heap: 300,3062 job: "huge",3063 phase: Busy,3064 rss: 300,3065 startRss: 3003066 }3067 )3068}30693070[State 109]3071{3072 main::scheduler::done: Set("a", "c", "fat"),3073 main::scheduler::errored: Set(),3074 main::scheduler::estimate: 1920,3075 main::scheduler::externalKills: 2,3076 main::scheduler::mode: Parallel,3077 main::scheduler::solo: [],3078 main::scheduler::todo: Set("b"),3079 main::scheduler::workers:3080 Map(3081 0 ->3082 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3083 1 ->3084 {3085 alive: true,3086 heap: 1300,3087 job: "",3088 phase: Starting,3089 rss: 1300,3090 startRss: 3003091 },3092 2 ->3093 {3094 alive: true,3095 heap: 300,3096 job: "huge",3097 phase: Busy,3098 rss: 300,3099 startRss: 3003100 }3101 )3102}31033104[State 110]3105{3106 main::scheduler::done: Set("a", "c", "fat"),3107 main::scheduler::errored: Set(),3108 main::scheduler::estimate: 1920,3109 main::scheduler::externalKills: 2,3110 main::scheduler::mode: Parallel,3111 main::scheduler::solo: [],3112 main::scheduler::todo: Set("b"),3113 main::scheduler::workers:3114 Map(3115 0 ->3116 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3117 1 ->3118 {3119 alive: true,3120 heap: 1300,3121 job: "",3122 phase: Starting,3123 rss: 1300,3124 startRss: 3003125 },3126 2 ->3127 {3128 alive: true,3129 heap: 300,3130 job: "huge",3131 phase: Busy,3132 rss: 300,3133 startRss: 3003134 }3135 )3136}31373138[State 111]3139{3140 main::scheduler::done: Set("a", "c", "fat"),3141 main::scheduler::errored: Set(),3142 main::scheduler::estimate: 1920,3143 main::scheduler::externalKills: 2,3144 main::scheduler::mode: Parallel,3145 main::scheduler::solo: [],3146 main::scheduler::todo: Set("b"),3147 main::scheduler::workers:3148 Map(3149 0 ->3150 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3151 1 ->3152 {3153 alive: true,3154 heap: 1300,3155 job: "",3156 phase: Idle,3157 rss: 1300,3158 startRss: 3003159 },3160 2 ->3161 {3162 alive: true,3163 heap: 300,3164 job: "huge",3165 phase: Busy,3166 rss: 300,3167 startRss: 3003168 }3169 )3170}31713172[State 112]3173{3174 main::scheduler::done: Set("a", "c", "fat"),3175 main::scheduler::errored: Set(),3176 main::scheduler::estimate: 1920,3177 main::scheduler::externalKills: 2,3178 main::scheduler::mode: Parallel,3179 main::scheduler::solo: [],3180 main::scheduler::todo: Set("b"),3181 main::scheduler::workers:3182 Map(3183 0 ->3184 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3185 1 ->3186 {3187 alive: true,3188 heap: 1300,3189 job: "",3190 phase: Idle,3191 rss: 1300,3192 startRss: 3003193 },3194 2 ->3195 {3196 alive: true,3197 heap: 300,3198 job: "huge",3199 phase: Busy,3200 rss: 300,3201 startRss: 3003202 }3203 )3204}32053206[State 113]3207{3208 main::scheduler::done: Set("a", "c", "fat"),3209 main::scheduler::errored: Set(),3210 main::scheduler::estimate: 1920,3211 main::scheduler::externalKills: 2,3212 main::scheduler::mode: Parallel,3213 main::scheduler::solo: [],3214 main::scheduler::todo: Set("b"),3215 main::scheduler::workers:3216 Map(3217 0 ->3218 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3219 1 ->3220 {3221 alive: true,3222 heap: 1300,3223 job: "",3224 phase: Idle,3225 rss: 1300,3226 startRss: 3003227 },3228 2 ->3229 {3230 alive: true,3231 heap: 300,3232 job: "huge",3233 phase: Busy,3234 rss: 300,3235 startRss: 3003236 }3237 )3238}32393240[State 114]3241{3242 main::scheduler::done: Set("a", "c", "fat"),3243 main::scheduler::errored: Set(),3244 main::scheduler::estimate: 1920,3245 main::scheduler::externalKills: 2,3246 main::scheduler::mode: Parallel,3247 main::scheduler::solo: [],3248 main::scheduler::todo: Set("b"),3249 main::scheduler::workers:3250 Map(3251 0 ->3252 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3253 1 ->3254 {3255 alive: true,3256 heap: 1300,3257 job: "",3258 phase: Idle,3259 rss: 1300,3260 startRss: 3003261 },3262 2 ->3263 {3264 alive: true,3265 heap: 300,3266 job: "huge",3267 phase: Busy,3268 rss: 300,3269 startRss: 3003270 }3271 )3272}32733274[State 115]3275{3276 main::scheduler::done: Set("a", "c", "fat"),3277 main::scheduler::errored: Set(),3278 main::scheduler::estimate: 1920,3279 main::scheduler::externalKills: 2,3280 main::scheduler::mode: Parallel,3281 main::scheduler::solo: [],3282 main::scheduler::todo: Set("b"),3283 main::scheduler::workers:3284 Map(3285 0 ->3286 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3287 1 ->3288 {3289 alive: true,3290 heap: 1300,3291 job: "",3292 phase: Idle,3293 rss: 1300,3294 startRss: 3003295 },3296 2 ->3297 {3298 alive: true,3299 heap: 300,3300 job: "huge",3301 phase: Busy,3302 rss: 300,3303 startRss: 3003304 }3305 )3306}33073308[State 116]3309{3310 main::scheduler::done: Set("a", "c", "fat"),3311 main::scheduler::errored: Set(),3312 main::scheduler::estimate: 1920,3313 main::scheduler::externalKills: 2,3314 main::scheduler::mode: Parallel,3315 main::scheduler::solo: [],3316 main::scheduler::todo: Set("b"),3317 main::scheduler::workers:3318 Map(3319 0 ->3320 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3321 1 ->3322 {3323 alive: true,3324 heap: 1300,3325 job: "",3326 phase: Idle,3327 rss: 1300,3328 startRss: 3003329 },3330 2 ->3331 {3332 alive: true,3333 heap: 300,3334 job: "huge",3335 phase: Busy,3336 rss: 300,3337 startRss: 3003338 }3339 )3340}33413342[State 117]3343{3344 main::scheduler::done: Set("a", "c", "fat"),3345 main::scheduler::errored: Set(),3346 main::scheduler::estimate: 1920,3347 main::scheduler::externalKills: 2,3348 main::scheduler::mode: Parallel,3349 main::scheduler::solo: [],3350 main::scheduler::todo: Set("b"),3351 main::scheduler::workers:3352 Map(3353 0 ->3354 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3355 1 ->3356 {3357 alive: true,3358 heap: 1300,3359 job: "",3360 phase: Idle,3361 rss: 1300,3362 startRss: 3003363 },3364 2 ->3365 {3366 alive: true,3367 heap: 300,3368 job: "huge",3369 phase: Busy,3370 rss: 5300,3371 startRss: 3003372 }3373 )3374}33753376[State 118]3377{3378 main::scheduler::done: Set("a", "c", "fat"),3379 main::scheduler::errored: Set(),3380 main::scheduler::estimate: 5000,3381 main::scheduler::externalKills: 2,3382 main::scheduler::mode: Parallel,3383 main::scheduler::solo: [],3384 main::scheduler::todo: Set("b"),3385 main::scheduler::workers:3386 Map(3387 0 ->3388 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3389 1 ->3390 {3391 alive: true,3392 heap: 1300,3393 job: "",3394 phase: Idle,3395 rss: 1300,3396 startRss: 3003397 },3398 2 ->3399 {3400 alive: true,3401 heap: 300,3402 job: "huge",3403 phase: Killed,3404 rss: 5300,3405 startRss: 3003406 }3407 )3408}34093410[State 119]3411{3412 main::scheduler::done: Set("a", "c", "fat"),3413 main::scheduler::errored: Set(),3414 main::scheduler::estimate: 5000,3415 main::scheduler::externalKills: 2,3416 main::scheduler::mode: Parallel,3417 main::scheduler::solo: [],3418 main::scheduler::todo: Set("b"),3419 main::scheduler::workers:3420 Map(3421 0 ->3422 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3423 1 ->3424 {3425 alive: true,3426 heap: 1300,3427 job: "",3428 phase: Idle,3429 rss: 1300,3430 startRss: 3003431 },3432 2 ->3433 {3434 alive: true,3435 heap: 300,3436 job: "huge",3437 phase: Killed,3438 rss: 5300,3439 startRss: 3003440 }3441 )3442}34433444[State 120]3445{3446 main::scheduler::done: Set("a", "c", "fat"),3447 main::scheduler::errored: Set(),3448 main::scheduler::estimate: 5000,3449 main::scheduler::externalKills: 2,3450 main::scheduler::mode: Parallel,3451 main::scheduler::solo: [],3452 main::scheduler::todo: Set("b"),3453 main::scheduler::workers:3454 Map(3455 0 ->3456 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3457 1 ->3458 {3459 alive: true,3460 heap: 1300,3461 job: "",3462 phase: Idle,3463 rss: 1300,3464 startRss: 3003465 },3466 2 ->3467 {3468 alive: true,3469 heap: 300,3470 job: "huge",3471 phase: Killed,3472 rss: 5300,3473 startRss: 3003474 }3475 )3476}34773478[State 121]3479{3480 main::scheduler::done: Set("a", "c", "fat"),3481 main::scheduler::errored: Set(),3482 main::scheduler::estimate: 5000,3483 main::scheduler::externalKills: 2,3484 main::scheduler::mode: Parallel,3485 main::scheduler::solo: [],3486 main::scheduler::todo: Set("b"),3487 main::scheduler::workers:3488 Map(3489 0 ->3490 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3491 1 ->3492 {3493 alive: true,3494 heap: 1300,3495 job: "",3496 phase: Idle,3497 rss: 1300,3498 startRss: 3003499 },3500 2 ->3501 {3502 alive: true,3503 heap: 300,3504 job: "huge",3505 phase: Killed,3506 rss: 5300,3507 startRss: 3003508 }3509 )3510}35113512[State 122]3513{3514 main::scheduler::done: Set("a", "c", "fat"),3515 main::scheduler::errored: Set(),3516 main::scheduler::estimate: 5000,3517 main::scheduler::externalKills: 2,3518 main::scheduler::mode: Parallel,3519 main::scheduler::solo: [],3520 main::scheduler::todo: Set("b"),3521 main::scheduler::workers:3522 Map(3523 0 ->3524 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3525 1 ->3526 {3527 alive: true,3528 heap: 1300,3529 job: "",3530 phase: Idle,3531 rss: 1300,3532 startRss: 3003533 },3534 2 ->3535 {3536 alive: true,3537 heap: 300,3538 job: "huge",3539 phase: Killed,3540 rss: 5300,3541 startRss: 3003542 }3543 )3544}35453546[State 123]3547{3548 main::scheduler::done: Set("a", "c", "fat"),3549 main::scheduler::errored: Set(),3550 main::scheduler::estimate: 5000,3551 main::scheduler::externalKills: 2,3552 main::scheduler::mode: Parallel,3553 main::scheduler::solo: [],3554 main::scheduler::todo: Set("b"),3555 main::scheduler::workers:3556 Map(3557 0 ->3558 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3559 1 ->3560 {3561 alive: true,3562 heap: 1300,3563 job: "",3564 phase: Idle,3565 rss: 1300,3566 startRss: 3003567 },3568 2 ->3569 {3570 alive: true,3571 heap: 300,3572 job: "huge",3573 phase: Killed,3574 rss: 5300,3575 startRss: 3003576 }3577 )3578}35793580[State 124]3581{3582 main::scheduler::done: Set("a", "c", "fat"),3583 main::scheduler::errored: Set(),3584 main::scheduler::estimate: 5000,3585 main::scheduler::externalKills: 2,3586 main::scheduler::mode: Parallel,3587 main::scheduler::solo: ["huge"],3588 main::scheduler::todo: Set("b"),3589 main::scheduler::workers:3590 Map(3591 0 ->3592 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3593 1 ->3594 {3595 alive: true,3596 heap: 1300,3597 job: "",3598 phase: Idle,3599 rss: 1300,3600 startRss: 3003601 },3602 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3603 )3604}36053606[State 125]3607{3608 main::scheduler::done: Set("a", "c", "fat"),3609 main::scheduler::errored: Set(),3610 main::scheduler::estimate: 5000,3611 main::scheduler::externalKills: 2,3612 main::scheduler::mode: Parallel,3613 main::scheduler::solo: ["huge"],3614 main::scheduler::todo: Set("b"),3615 main::scheduler::workers:3616 Map(3617 0 ->3618 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3619 1 ->3620 {3621 alive: true,3622 heap: 1300,3623 job: "",3624 phase: Idle,3625 rss: 1300,3626 startRss: 3003627 },3628 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3629 )3630}36313632[State 126]3633{3634 main::scheduler::done: Set("a", "c", "fat"),3635 main::scheduler::errored: Set(),3636 main::scheduler::estimate: 5000,3637 main::scheduler::externalKills: 2,3638 main::scheduler::mode: Solo,3639 main::scheduler::solo: ["huge"],3640 main::scheduler::todo: Set("b"),3641 main::scheduler::workers:3642 Map(3643 0 ->3644 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3645 1 ->3646 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3647 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3648 )3649}36503651[State 127]3652{3653 main::scheduler::done: Set("a", "c", "fat"),3654 main::scheduler::errored: Set(),3655 main::scheduler::estimate: 5000,3656 main::scheduler::externalKills: 2,3657 main::scheduler::mode: Solo,3658 main::scheduler::solo: ["huge"],3659 main::scheduler::todo: Set("b"),3660 main::scheduler::workers:3661 Map(3662 0 ->3663 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3664 1 ->3665 {3666 alive: true,3667 heap: 300,3668 job: "",3669 phase: Starting,3670 rss: 300,3671 startRss: 03672 },3673 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3674 )3675}36763677[State 128]3678{3679 main::scheduler::done: Set("a", "c", "fat"),3680 main::scheduler::errored: Set(),3681 main::scheduler::estimate: 5000,3682 main::scheduler::externalKills: 2,3683 main::scheduler::mode: Solo,3684 main::scheduler::solo: ["huge"],3685 main::scheduler::todo: Set("b"),3686 main::scheduler::workers:3687 Map(3688 0 ->3689 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3690 1 ->3691 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3692 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3693 )3694}36953696[State 129]3697{3698 main::scheduler::done: Set("a", "c", "fat"),3699 main::scheduler::errored: Set(),3700 main::scheduler::estimate: 5000,3701 main::scheduler::externalKills: 2,3702 main::scheduler::mode: Solo,3703 main::scheduler::solo: ["huge"],3704 main::scheduler::todo: Set("b"),3705 main::scheduler::workers:3706 Map(3707 0 ->3708 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3709 1 ->3710 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3711 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3712 )3713}37143715[State 130]3716{3717 main::scheduler::done: Set("a", "c", "fat"),3718 main::scheduler::errored: Set(),3719 main::scheduler::estimate: 5000,3720 main::scheduler::externalKills: 2,3721 main::scheduler::mode: Solo,3722 main::scheduler::solo: [],3723 main::scheduler::todo: Set("b"),3724 main::scheduler::workers:3725 Map(3726 0 ->3727 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3728 1 ->3729 {3730 alive: true,3731 heap: 300,3732 job: "huge",3733 phase: Busy,3734 rss: 300,3735 startRss: 3003736 },3737 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3738 )3739}37403741[State 131]3742{3743 main::scheduler::done: Set("a", "c", "fat"),3744 main::scheduler::errored: Set(),3745 main::scheduler::estimate: 5000,3746 main::scheduler::externalKills: 2,3747 main::scheduler::mode: Solo,3748 main::scheduler::solo: [],3749 main::scheduler::todo: Set("b"),3750 main::scheduler::workers:3751 Map(3752 0 ->3753 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3754 1 ->3755 {3756 alive: true,3757 heap: 300,3758 job: "huge",3759 phase: Busy,3760 rss: 300,3761 startRss: 3003762 },3763 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3764 )3765}37663767[State 132]3768{3769 main::scheduler::done: Set("a", "c", "fat"),3770 main::scheduler::errored: Set(),3771 main::scheduler::estimate: 5000,3772 main::scheduler::externalKills: 2,3773 main::scheduler::mode: Solo,3774 main::scheduler::solo: [],3775 main::scheduler::todo: Set("b"),3776 main::scheduler::workers:3777 Map(3778 0 ->3779 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3780 1 ->3781 {3782 alive: true,3783 heap: 300,3784 job: "huge",3785 phase: Busy,3786 rss: 300,3787 startRss: 3003788 },3789 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3790 )3791}37923793[State 133]3794{3795 main::scheduler::done: Set("a", "c", "fat"),3796 main::scheduler::errored: Set(),3797 main::scheduler::estimate: 5000,3798 main::scheduler::externalKills: 2,3799 main::scheduler::mode: Solo,3800 main::scheduler::solo: [],3801 main::scheduler::todo: Set("b"),3802 main::scheduler::workers:3803 Map(3804 0 ->3805 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3806 1 ->3807 {3808 alive: true,3809 heap: 300,3810 job: "huge",3811 phase: Busy,3812 rss: 300,3813 startRss: 3003814 },3815 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3816 )3817}38183819[State 134]3820{3821 main::scheduler::done: Set("a", "c", "fat"),3822 main::scheduler::errored: Set(),3823 main::scheduler::estimate: 5000,3824 main::scheduler::externalKills: 2,3825 main::scheduler::mode: Solo,3826 main::scheduler::solo: [],3827 main::scheduler::todo: Set("b"),3828 main::scheduler::workers:3829 Map(3830 0 ->3831 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3832 1 ->3833 {3834 alive: true,3835 heap: 300,3836 job: "huge",3837 phase: Busy,3838 rss: 300,3839 startRss: 3003840 },3841 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3842 )3843}38443845[State 135]3846{3847 main::scheduler::done: Set("a", "c", "fat"),3848 main::scheduler::errored: Set(),3849 main::scheduler::estimate: 5000,3850 main::scheduler::externalKills: 2,3851 main::scheduler::mode: Solo,3852 main::scheduler::solo: [],3853 main::scheduler::todo: Set("b"),3854 main::scheduler::workers:3855 Map(3856 0 ->3857 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3858 1 ->3859 {3860 alive: true,3861 heap: 300,3862 job: "huge",3863 phase: Busy,3864 rss: 300,3865 startRss: 3003866 },3867 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3868 )3869}38703871[State 136]3872{3873 main::scheduler::done: Set("a", "c", "fat"),3874 main::scheduler::errored: Set(),3875 main::scheduler::estimate: 5000,3876 main::scheduler::externalKills: 2,3877 main::scheduler::mode: Solo,3878 main::scheduler::solo: [],3879 main::scheduler::todo: Set("b"),3880 main::scheduler::workers:3881 Map(3882 0 ->3883 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3884 1 ->3885 {3886 alive: true,3887 heap: 300,3888 job: "huge",3889 phase: Busy,3890 rss: 5300,3891 startRss: 3003892 },3893 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3894 )3895}38963897[State 137]3898{3899 main::scheduler::done: Set("a", "c", "fat"),3900 main::scheduler::errored: Set(),3901 main::scheduler::estimate: 5000,3902 main::scheduler::externalKills: 2,3903 main::scheduler::mode: Solo,3904 main::scheduler::solo: [],3905 main::scheduler::todo: Set("b"),3906 main::scheduler::workers:3907 Map(3908 0 ->3909 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3910 1 ->3911 {3912 alive: true,3913 heap: 300,3914 job: "huge",3915 phase: Killed,3916 rss: 5300,3917 startRss: 3003918 },3919 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3920 )3921}39223923[State 138]3924{3925 main::scheduler::done: Set("a", "c", "fat"),3926 main::scheduler::errored: Set("huge"),3927 main::scheduler::estimate: 5000,3928 main::scheduler::externalKills: 2,3929 main::scheduler::mode: Parallel,3930 main::scheduler::solo: [],3931 main::scheduler::todo: Set("b"),3932 main::scheduler::workers:3933 Map(3934 0 ->3935 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3936 1 ->3937 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3938 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3939 )3940}39413942[State 139]3943{3944 main::scheduler::done: Set("a", "c", "fat"),3945 main::scheduler::errored: Set("huge"),3946 main::scheduler::estimate: 5000,3947 main::scheduler::externalKills: 2,3948 main::scheduler::mode: Parallel,3949 main::scheduler::solo: [],3950 main::scheduler::todo: Set("b"),3951 main::scheduler::workers:3952 Map(3953 0 ->3954 {3955 alive: true,3956 heap: 300,3957 job: "",3958 phase: Starting,3959 rss: 300,3960 startRss: 03961 },3962 1 ->3963 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3964 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3965 )3966}39673968[State 140]3969{3970 main::scheduler::done: Set("a", "c", "fat"),3971 main::scheduler::errored: Set("huge"),3972 main::scheduler::estimate: 5000,3973 main::scheduler::externalKills: 2,3974 main::scheduler::mode: Parallel,3975 main::scheduler::solo: [],3976 main::scheduler::todo: Set("b"),3977 main::scheduler::workers:3978 Map(3979 0 ->3980 {3981 alive: true,3982 heap: 300,3983 job: "",3984 phase: Starting,3985 rss: 300,3986 startRss: 03987 },3988 1 ->3989 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3990 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3991 )3992}39933994[State 141]3995{3996 main::scheduler::done: Set("a", "c", "fat"),3997 main::scheduler::errored: Set("huge"),3998 main::scheduler::estimate: 5000,3999 main::scheduler::externalKills: 2,4000 main::scheduler::mode: Parallel,4001 main::scheduler::solo: [],4002 main::scheduler::todo: Set("b"),4003 main::scheduler::workers:4004 Map(4005 0 ->4006 {4007 alive: true,4008 heap: 300,4009 job: "",4010 phase: Starting,4011 rss: 300,4012 startRss: 04013 },4014 1 ->4015 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4016 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4017 )4018}40194020[State 142]4021{4022 main::scheduler::done: Set("a", "c", "fat"),4023 main::scheduler::errored: Set("huge"),4024 main::scheduler::estimate: 5000,4025 main::scheduler::externalKills: 2,4026 main::scheduler::mode: Parallel,4027 main::scheduler::solo: [],4028 main::scheduler::todo: Set("b"),4029 main::scheduler::workers:4030 Map(4031 0 ->4032 {4033 alive: true,4034 heap: 300,4035 job: "",4036 phase: Starting,4037 rss: 300,4038 startRss: 04039 },4040 1 ->4041 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4042 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4043 )4044}40454046[State 143]4047{4048 main::scheduler::done: Set("a", "c", "fat"),4049 main::scheduler::errored: Set("huge"),4050 main::scheduler::estimate: 5000,4051 main::scheduler::externalKills: 2,4052 main::scheduler::mode: Parallel,4053 main::scheduler::solo: [],4054 main::scheduler::todo: Set("b"),4055 main::scheduler::workers:4056 Map(4057 0 ->4058 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4059 1 ->4060 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4061 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4062 )4063}40644065[State 144]4066{4067 main::scheduler::done: Set("a", "c", "fat"),4068 main::scheduler::errored: Set("huge"),4069 main::scheduler::estimate: 5000,4070 main::scheduler::externalKills: 2,4071 main::scheduler::mode: Parallel,4072 main::scheduler::solo: [],4073 main::scheduler::todo: Set("b"),4074 main::scheduler::workers:4075 Map(4076 0 ->4077 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4078 1 ->4079 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4080 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4081 )4082}40834084[State 145]4085{4086 main::scheduler::done: Set("a", "c", "fat"),4087 main::scheduler::errored: Set("huge"),4088 main::scheduler::estimate: 5000,4089 main::scheduler::externalKills: 2,4090 main::scheduler::mode: Parallel,4091 main::scheduler::solo: [],4092 main::scheduler::todo: Set("b"),4093 main::scheduler::workers:4094 Map(4095 0 ->4096 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4097 1 ->4098 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4099 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4100 )4101}41024103[State 146]4104{4105 main::scheduler::done: Set("a", "c", "fat"),4106 main::scheduler::errored: Set("huge"),4107 main::scheduler::estimate: 5000,4108 main::scheduler::externalKills: 2,4109 main::scheduler::mode: Parallel,4110 main::scheduler::solo: [],4111 main::scheduler::todo: Set("b"),4112 main::scheduler::workers:4113 Map(4114 0 ->4115 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4116 1 ->4117 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4118 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4119 )4120}41214122[State 147]4123{4124 main::scheduler::done: Set("a", "c", "fat"),4125 main::scheduler::errored: Set("huge"),4126 main::scheduler::estimate: 5000,4127 main::scheduler::externalKills: 2,4128 main::scheduler::mode: Parallel,4129 main::scheduler::solo: [],4130 main::scheduler::todo: Set("b"),4131 main::scheduler::workers:4132 Map(4133 0 ->4134 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4135 1 ->4136 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4137 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4138 )4139}41404141[State 148]4142{4143 main::scheduler::done: Set("a", "c", "fat"),4144 main::scheduler::errored: Set("huge"),4145 main::scheduler::estimate: 5000,4146 main::scheduler::externalKills: 2,4147 main::scheduler::mode: Parallel,4148 main::scheduler::solo: [],4149 main::scheduler::todo: Set("b"),4150 main::scheduler::workers:4151 Map(4152 0 ->4153 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4154 1 ->4155 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4156 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4157 )4158}41594160[State 149]4161{4162 main::scheduler::done: Set("a", "c", "fat"),4163 main::scheduler::errored: Set("huge"),4164 main::scheduler::estimate: 5000,4165 main::scheduler::externalKills: 2,4166 main::scheduler::mode: Parallel,4167 main::scheduler::solo: [],4168 main::scheduler::todo: Set("b"),4169 main::scheduler::workers:4170 Map(4171 0 ->4172 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4173 1 ->4174 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4175 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4176 )4177}41784179[State 150]4180{4181 main::scheduler::done: Set("a", "c", "fat"),4182 main::scheduler::errored: Set("huge"),4183 main::scheduler::estimate: 5000,4184 main::scheduler::externalKills: 2,4185 main::scheduler::mode: Parallel,4186 main::scheduler::solo: [],4187 main::scheduler::todo: Set("b"),4188 main::scheduler::workers:4189 Map(4190 0 ->4191 { alive: true, heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },4192 1 ->4193 { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },4194 2 -> { alive: false, heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }4195 )4196}41974198[ok] No violation found (983ms at 2035 traces/second).4199Trace length statistics: max=151, min=67, average=133.584200You may increase --max-samples and --max-steps.4201Use --verbosity to produce more (or less) output.4202Use --seed=0x8a7a987df6559a43 --backend=rust to reproduce.42034204 noOomKiller4205 noOomKiller::scheduler::onlyHugeErrorsTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■ ] 12% | ETA: 1s | 24/200 samples | 247 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■ ] 25% | ETA: 1s | 50/200 samples | 254 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■ ] 37% | ETA: 1s | 75/200 samples | 253 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 1s | 101/200 samples | 253 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 1s | 127/200 samples | 255 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 1s | 153/200 samples | 255 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 179/200 samples | 256 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 257 samples/s ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)42064207 1 passing (794ms)