nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #103
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 main::scheduler::st:7 {8 done: Set(),9 errored: Set(),10 estimate: 512,11 externalKills: 0,12 mode: Parallel,13 solo: [],14 todo: Set("a", "b", "c", "fat", "huge"),15 workers:16 Map(17 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },19 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }20 )21 },22 main::scheduler::wasFinished: false23}2425[State 1]26{27 main::scheduler::st:28 {29 done: Set(),30 errored: Set(),31 estimate: 512,32 externalKills: 0,33 mode: Parallel,34 solo: [],35 todo: Set("a", "b", "c", "fat", "huge"),36 workers:37 Map(38 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },39 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },40 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }41 )42 },43 main::scheduler::wasFinished: false44}4546[State 2]47{48 main::scheduler::st:49 {50 done: Set(),51 errored: Set(),52 estimate: 512,53 externalKills: 1,54 mode: Parallel,55 solo: [],56 todo: Set("a", "b", "c", "fat", "huge"),57 workers:58 Map(59 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },60 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },61 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }62 )63 },64 main::scheduler::wasFinished: false65}6667[State 3]68{69 main::scheduler::st:70 {71 done: Set(),72 errored: Set(),73 estimate: 512,74 externalKills: 1,75 mode: Parallel,76 solo: [],77 todo: Set("a", "b", "c", "fat", "huge"),78 workers:79 Map(80 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },81 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },82 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }83 )84 },85 main::scheduler::wasFinished: false86}8788[State 4]89{90 main::scheduler::st:91 {92 done: Set(),93 errored: Set(),94 estimate: 512,95 externalKills: 1,96 mode: Parallel,97 solo: [],98 todo: Set("a", "b", "c", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },102 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },103 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }104 )105 },106 main::scheduler::wasFinished: false107}108109[State 5]110{111 main::scheduler::st:112 {113 done: Set(),114 errored: Set(),115 estimate: 512,116 externalKills: 1,117 mode: Parallel,118 solo: [],119 todo: Set("a", "b", "c", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },123 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },124 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }125 )126 },127 main::scheduler::wasFinished: false128}129130[State 6]131{132 main::scheduler::st:133 {134 done: Set(),135 errored: Set(),136 estimate: 512,137 externalKills: 1,138 mode: Parallel,139 solo: [],140 todo: Set("a", "b", "c", "huge"),141 workers:142 Map(143 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },144 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },145 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }146 )147 },148 main::scheduler::wasFinished: false149}150151[State 7]152{153 main::scheduler::st:154 {155 done: Set(),156 errored: Set(),157 estimate: 512,158 externalKills: 1,159 mode: Parallel,160 solo: [],161 todo: Set("a", "b", "c", "huge"),162 workers:163 Map(164 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },165 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },166 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }167 )168 },169 main::scheduler::wasFinished: false170}171172[State 8]173{174 main::scheduler::st:175 {176 done: Set(),177 errored: Set(),178 estimate: 512,179 externalKills: 1,180 mode: Parallel,181 solo: [],182 todo: Set("a", "b", "c", "huge"),183 workers:184 Map(185 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },186 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },187 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }188 )189 },190 main::scheduler::wasFinished: false191}192193[State 9]194{195 main::scheduler::st:196 {197 done: Set(),198 errored: Set(),199 estimate: 512,200 externalKills: 1,201 mode: Parallel,202 solo: [],203 todo: Set("a", "b", "c", "huge"),204 workers:205 Map(206 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },207 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },208 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }209 )210 },211 main::scheduler::wasFinished: false212}213214[State 10]215{216 main::scheduler::st:217 {218 done: Set(),219 errored: Set(),220 estimate: 512,221 externalKills: 1,222 mode: Parallel,223 solo: [],224 todo: Set("a", "b", "c", "huge"),225 workers:226 Map(227 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },228 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },229 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }230 )231 },232 main::scheduler::wasFinished: false233}234235[State 11]236{237 main::scheduler::st:238 {239 done: Set(),240 errored: Set(),241 estimate: 512,242 externalKills: 2,243 mode: Parallel,244 solo: [],245 todo: Set("a", "b", "c", "huge"),246 workers:247 Map(248 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },249 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },250 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }251 )252 },253 main::scheduler::wasFinished: false254}255256[State 12]257{258 main::scheduler::st:259 {260 done: Set(),261 errored: Set(),262 estimate: 512,263 externalKills: 2,264 mode: Parallel,265 solo: [],266 todo: Set("a", "b", "c", "huge"),267 workers:268 Map(269 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },270 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },271 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }272 )273 },274 main::scheduler::wasFinished: false275}276277[State 13]278{279 main::scheduler::st:280 {281 done: Set(),282 errored: Set(),283 estimate: 512,284 externalKills: 2,285 mode: Parallel,286 solo: [],287 todo: Set("a", "b", "c", "huge"),288 workers:289 Map(290 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },291 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },292 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }293 )294 },295 main::scheduler::wasFinished: false296}297298[State 14]299{300 main::scheduler::st:301 {302 done: Set(),303 errored: Set(),304 estimate: 2000,305 externalKills: 2,306 mode: Parallel,307 solo: [],308 todo: Set("a", "b", "c", "huge"),309 workers:310 Map(311 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },312 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },313 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }314 )315 },316 main::scheduler::wasFinished: false317}318319[State 15]320{321 main::scheduler::st:322 {323 done: Set(),324 errored: Set(),325 estimate: 2000,326 externalKills: 2,327 mode: Parallel,328 solo: [],329 todo: Set("a", "b", "c", "huge"),330 workers:331 Map(332 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },333 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },334 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }335 )336 },337 main::scheduler::wasFinished: false338}339340[State 16]341{342 main::scheduler::st:343 {344 done: Set(),345 errored: Set(),346 estimate: 2000,347 externalKills: 2,348 mode: Parallel,349 solo: [],350 todo: Set("a", "b", "c", "huge"),351 workers:352 Map(353 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },354 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },355 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }356 )357 },358 main::scheduler::wasFinished: false359}360361[State 17]362{363 main::scheduler::st:364 {365 done: Set("fat"),366 errored: Set(),367 estimate: 1960,368 externalKills: 2,369 mode: Parallel,370 solo: [],371 todo: Set("a", "b", "c", "huge"),372 workers:373 Map(374 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },375 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },376 2 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 }377 )378 },379 main::scheduler::wasFinished: false380}381382[State 18]383{384 main::scheduler::st:385 {386 done: Set("fat"),387 errored: Set(),388 estimate: 1960,389 externalKills: 2,390 mode: Parallel,391 solo: [],392 todo: Set("a", "b", "c", "huge"),393 workers:394 Map(395 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },396 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },397 2 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 }398 )399 },400 main::scheduler::wasFinished: false401}402403[State 19]404{405 main::scheduler::st:406 {407 done: Set("fat"),408 errored: Set(),409 estimate: 1960,410 externalKills: 2,411 mode: Parallel,412 solo: [],413 todo: Set("a", "b", "c", "huge"),414 workers:415 Map(416 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },417 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },418 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }419 )420 },421 main::scheduler::wasFinished: false422}423424[State 20]425{426 main::scheduler::st:427 {428 done: Set("fat"),429 errored: Set(),430 estimate: 1960,431 externalKills: 2,432 mode: Parallel,433 solo: [],434 todo: Set("a", "b", "c", "huge"),435 workers:436 Map(437 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },438 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },439 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }440 )441 },442 main::scheduler::wasFinished: false443}444445[State 21]446{447 main::scheduler::st:448 {449 done: Set("fat"),450 errored: Set(),451 estimate: 1960,452 externalKills: 2,453 mode: Parallel,454 solo: [],455 todo: Set("a", "c", "huge"),456 workers:457 Map(458 0 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },459 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },460 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }461 )462 },463 main::scheduler::wasFinished: false464}465466[State 22]467{468 main::scheduler::st:469 {470 done: Set("fat"),471 errored: Set(),472 estimate: 1960,473 externalKills: 2,474 mode: Parallel,475 solo: [],476 todo: Set("a", "c", "huge"),477 workers:478 Map(479 0 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },480 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },481 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }482 )483 },484 main::scheduler::wasFinished: false485}486487[State 23]488{489 main::scheduler::st:490 {491 done: Set("fat"),492 errored: Set(),493 estimate: 1960,494 externalKills: 2,495 mode: Parallel,496 solo: [],497 todo: Set("a", "c", "huge"),498 workers:499 Map(500 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },501 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },502 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }503 )504 },505 main::scheduler::wasFinished: false506}507508[State 24]509{510 main::scheduler::st:511 {512 done: Set("b", "fat"),513 errored: Set(),514 estimate: 1920,515 externalKills: 2,516 mode: Parallel,517 solo: [],518 todo: Set("a", "c", "huge"),519 workers:520 Map(521 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },522 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },523 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }524 )525 },526 main::scheduler::wasFinished: false527}528529[State 25]530{531 main::scheduler::st:532 {533 done: Set("b", "fat"),534 errored: Set(),535 estimate: 1920,536 externalKills: 2,537 mode: Parallel,538 solo: [],539 todo: Set("a", "c", "huge"),540 workers:541 Map(542 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },543 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },544 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }545 )546 },547 main::scheduler::wasFinished: false548}549550[State 26]551{552 main::scheduler::st:553 {554 done: Set("b", "fat"),555 errored: Set(),556 estimate: 1920,557 externalKills: 2,558 mode: Parallel,559 solo: [],560 todo: Set("a", "c", "huge"),561 workers:562 Map(563 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },564 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },565 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }566 )567 },568 main::scheduler::wasFinished: false569}570571[State 27]572{573 main::scheduler::st:574 {575 done: Set("b", "fat"),576 errored: Set(),577 estimate: 1920,578 externalKills: 2,579 mode: Parallel,580 solo: [],581 todo: Set("a", "c", "huge"),582 workers:583 Map(584 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },585 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },586 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }587 )588 },589 main::scheduler::wasFinished: false590}591592[State 28]593{594 main::scheduler::st:595 {596 done: Set("b", "fat"),597 errored: Set(),598 estimate: 1920,599 externalKills: 2,600 mode: Parallel,601 solo: [],602 todo: Set("a", "c", "huge"),603 workers:604 Map(605 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },606 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },607 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }608 )609 },610 main::scheduler::wasFinished: false611}612613[State 29]614{615 main::scheduler::st:616 {617 done: Set("b", "fat"),618 errored: Set(),619 estimate: 1920,620 externalKills: 2,621 mode: Parallel,622 solo: [],623 todo: Set("a", "c", "huge"),624 workers:625 Map(626 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },627 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },628 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }629 )630 },631 main::scheduler::wasFinished: false632}633634[State 30]635{636 main::scheduler::st:637 {638 done: Set("b", "fat"),639 errored: Set(),640 estimate: 1920,641 externalKills: 2,642 mode: Parallel,643 solo: [],644 todo: Set("c", "huge"),645 workers:646 Map(647 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },648 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },649 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }650 )651 },652 main::scheduler::wasFinished: false653}654655[State 31]656{657 main::scheduler::st:658 {659 done: Set("b", "fat"),660 errored: Set(),661 estimate: 1920,662 externalKills: 2,663 mode: Parallel,664 solo: [],665 todo: Set("c", "huge"),666 workers:667 Map(668 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },669 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },670 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }671 )672 },673 main::scheduler::wasFinished: false674}675676[State 32]677{678 main::scheduler::st:679 {680 done: Set("b", "fat"),681 errored: Set(),682 estimate: 1920,683 externalKills: 2,684 mode: Parallel,685 solo: [],686 todo: Set("c", "huge"),687 workers:688 Map(689 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },690 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },691 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }692 )693 },694 main::scheduler::wasFinished: false695}696697[State 33]698{699 main::scheduler::st:700 {701 done: Set("a", "b", "fat"),702 errored: Set(),703 estimate: 1881,704 externalKills: 2,705 mode: Parallel,706 solo: [],707 todo: Set("c", "huge"),708 workers:709 Map(710 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },711 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },712 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }713 )714 },715 main::scheduler::wasFinished: false716}717718[State 34]719{720 main::scheduler::st:721 {722 done: Set("a", "b", "fat"),723 errored: Set(),724 estimate: 1881,725 externalKills: 2,726 mode: Parallel,727 solo: [],728 todo: Set("c", "huge"),729 workers:730 Map(731 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },732 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },733 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }734 )735 },736 main::scheduler::wasFinished: false737}738739[State 35]740{741 main::scheduler::st:742 {743 done: Set("a", "b", "fat"),744 errored: Set(),745 estimate: 1881,746 externalKills: 2,747 mode: Parallel,748 solo: [],749 todo: Set("c", "huge"),750 workers:751 Map(752 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },753 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },754 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }755 )756 },757 main::scheduler::wasFinished: false758}759760[State 36]761{762 main::scheduler::st:763 {764 done: Set("a", "b", "fat"),765 errored: Set(),766 estimate: 1881,767 externalKills: 2,768 mode: Parallel,769 solo: [],770 todo: Set("c", "huge"),771 workers:772 Map(773 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },774 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },775 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }776 )777 },778 main::scheduler::wasFinished: false779}780781[State 37]782{783 main::scheduler::st:784 {785 done: Set("a", "b", "fat"),786 errored: Set(),787 estimate: 1881,788 externalKills: 2,789 mode: Parallel,790 solo: [],791 todo: Set("c", "huge"),792 workers:793 Map(794 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },795 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },796 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }797 )798 },799 main::scheduler::wasFinished: false800}801802[State 38]803{804 main::scheduler::st:805 {806 done: Set("a", "b", "fat"),807 errored: Set(),808 estimate: 1881,809 externalKills: 2,810 mode: Parallel,811 solo: [],812 todo: Set("c", "huge"),813 workers:814 Map(815 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },816 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },817 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }818 )819 },820 main::scheduler::wasFinished: false821}822823[State 39]824{825 main::scheduler::st:826 {827 done: Set("a", "b", "fat"),828 errored: Set(),829 estimate: 1881,830 externalKills: 2,831 mode: Parallel,832 solo: [],833 todo: Set("c", "huge"),834 workers:835 Map(836 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },837 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },838 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }839 )840 },841 main::scheduler::wasFinished: false842}843844[State 40]845{846 main::scheduler::st:847 {848 done: Set("a", "b", "fat"),849 errored: Set(),850 estimate: 1881,851 externalKills: 2,852 mode: Parallel,853 solo: [],854 todo: Set("c"),855 workers:856 Map(857 0 -> { heap: 500, job: "huge", phase: Busy, rss: 500, startRss: 500 },858 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },859 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }860 )861 },862 main::scheduler::wasFinished: false863}864865[State 41]866{867 main::scheduler::st:868 {869 done: Set("a", "b", "fat"),870 errored: Set(),871 estimate: 1881,872 externalKills: 2,873 mode: Parallel,874 solo: [],875 todo: Set("c"),876 workers:877 Map(878 0 -> { heap: 500, job: "huge", phase: Busy, rss: 500, startRss: 500 },879 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },880 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }881 )882 },883 main::scheduler::wasFinished: false884}885886[State 42]887{888 main::scheduler::st:889 {890 done: Set("a", "b", "fat"),891 errored: Set(),892 estimate: 1881,893 externalKills: 2,894 mode: Parallel,895 solo: [],896 todo: Set("c"),897 workers:898 Map(899 0 -> { heap: 500, job: "huge", phase: Busy, rss: 500, startRss: 500 },900 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },901 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }902 )903 },904 main::scheduler::wasFinished: false905}906907[State 43]908{909 main::scheduler::st:910 {911 done: Set("a", "b", "fat"),912 errored: Set(),913 estimate: 1881,914 externalKills: 2,915 mode: Parallel,916 solo: [],917 todo: Set("c"),918 workers:919 Map(920 0 ->921 { heap: 500, job: "huge", phase: Busy, rss: 5500, startRss: 500 },922 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },923 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }924 )925 },926 main::scheduler::wasFinished: false927}928929[State 44]930{931 main::scheduler::st:932 {933 done: Set("a", "b", "fat"),934 errored: Set(),935 estimate: 5000,936 externalKills: 2,937 mode: Parallel,938 solo: [],939 todo: Set("c"),940 workers:941 Map(942 0 ->943 { heap: 500, job: "huge", phase: Killed, rss: 5500, startRss: 500 },944 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },945 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }946 )947 },948 main::scheduler::wasFinished: false949}950951[State 45]952{953 main::scheduler::st:954 {955 done: Set("a", "b", "fat"),956 errored: Set(),957 estimate: 5000,958 externalKills: 2,959 mode: Parallel,960 solo: [],961 todo: Set("c"),962 workers:963 Map(964 0 ->965 { heap: 500, job: "huge", phase: Killed, rss: 5500, startRss: 500 },966 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },967 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }968 )969 },970 main::scheduler::wasFinished: false971}972973[State 46]974{975 main::scheduler::st:976 {977 done: Set("a", "b", "fat"),978 errored: Set(),979 estimate: 5000,980 externalKills: 2,981 mode: Parallel,982 solo: ["huge"],983 todo: Set("c"),984 workers:985 Map(986 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },987 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },988 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }989 )990 },991 main::scheduler::wasFinished: false992}993994[State 47]995{996 main::scheduler::st:997 {998 done: Set("a", "b", "fat"),999 errored: Set(),1000 estimate: 5000,1001 externalKills: 2,1002 mode: Parallel,1003 solo: ["huge"],1004 todo: Set("c"),1005 workers:1006 Map(1007 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1008 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1009 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1010 )1011 },1012 main::scheduler::wasFinished: false1013}10141015[State 48]1016{1017 main::scheduler::st:1018 {1019 done: Set("a", "b", "fat"),1020 errored: Set(),1021 estimate: 5000,1022 externalKills: 2,1023 mode: Parallel,1024 solo: ["huge"],1025 todo: Set("c"),1026 workers:1027 Map(1028 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1029 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1030 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1031 )1032 },1033 main::scheduler::wasFinished: false1034}10351036[State 49]1037{1038 main::scheduler::st:1039 {1040 done: Set("a", "b", "fat"),1041 errored: Set(),1042 estimate: 5000,1043 externalKills: 2,1044 mode: Solo,1045 solo: ["huge"],1046 todo: Set("c"),1047 workers:1048 Map(1049 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1050 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1051 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1052 )1053 },1054 main::scheduler::wasFinished: false1055}10561057[State 50]1058{1059 main::scheduler::st:1060 {1061 done: Set("a", "b", "fat"),1062 errored: Set(),1063 estimate: 5000,1064 externalKills: 2,1065 mode: Solo,1066 solo: ["huge"],1067 todo: Set("c"),1068 workers:1069 Map(1070 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1071 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1072 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1073 )1074 },1075 main::scheduler::wasFinished: false1076}10771078[State 51]1079{1080 main::scheduler::st:1081 {1082 done: Set("a", "b", "fat"),1083 errored: Set(),1084 estimate: 5000,1085 externalKills: 2,1086 mode: Solo,1087 solo: ["huge"],1088 todo: Set("c"),1089 workers:1090 Map(1091 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1092 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1093 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1094 )1095 },1096 main::scheduler::wasFinished: false1097}10981099[State 52]1100{1101 main::scheduler::st:1102 {1103 done: Set("a", "b", "fat"),1104 errored: Set(),1105 estimate: 5000,1106 externalKills: 2,1107 mode: Solo,1108 solo: ["huge"],1109 todo: Set("c"),1110 workers:1111 Map(1112 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1113 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1114 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1115 )1116 },1117 main::scheduler::wasFinished: false1118}11191120[State 53]1121{1122 main::scheduler::st:1123 {1124 done: Set("a", "b", "fat"),1125 errored: Set(),1126 estimate: 5000,1127 externalKills: 2,1128 mode: Solo,1129 solo: ["huge"],1130 todo: Set("c"),1131 workers:1132 Map(1133 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1134 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1135 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1136 )1137 },1138 main::scheduler::wasFinished: false1139}11401141[State 54]1142{1143 main::scheduler::st:1144 {1145 done: Set("a", "b", "fat"),1146 errored: Set(),1147 estimate: 5000,1148 externalKills: 2,1149 mode: Solo,1150 solo: ["huge"],1151 todo: Set("c"),1152 workers:1153 Map(1154 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1155 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1156 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1157 )1158 },1159 main::scheduler::wasFinished: false1160}11611162[State 55]1163{1164 main::scheduler::st:1165 {1166 done: Set("a", "b", "fat"),1167 errored: Set(),1168 estimate: 5000,1169 externalKills: 2,1170 mode: Solo,1171 solo: ["huge"],1172 todo: Set("c"),1173 workers:1174 Map(1175 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1176 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1177 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1178 )1179 },1180 main::scheduler::wasFinished: false1181}11821183[State 56]1184{1185 main::scheduler::st:1186 {1187 done: Set("a", "b", "fat"),1188 errored: Set(),1189 estimate: 5000,1190 externalKills: 2,1191 mode: Solo,1192 solo: ["huge"],1193 todo: Set("c"),1194 workers:1195 Map(1196 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1197 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1198 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1199 )1200 },1201 main::scheduler::wasFinished: false1202}12031204[State 57]1205{1206 main::scheduler::st:1207 {1208 done: Set("a", "b", "fat"),1209 errored: Set(),1210 estimate: 5000,1211 externalKills: 2,1212 mode: Solo,1213 solo: ["huge"],1214 todo: Set("c"),1215 workers:1216 Map(1217 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1218 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1219 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1220 )1221 },1222 main::scheduler::wasFinished: false1223}12241225[State 58]1226{1227 main::scheduler::st:1228 {1229 done: Set("a", "b", "fat"),1230 errored: Set(),1231 estimate: 5000,1232 externalKills: 2,1233 mode: Solo,1234 solo: ["huge"],1235 todo: Set("c"),1236 workers:1237 Map(1238 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1239 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1240 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1241 )1242 },1243 main::scheduler::wasFinished: false1244}12451246[State 59]1247{1248 main::scheduler::st:1249 {1250 done: Set("a", "b", "fat"),1251 errored: Set(),1252 estimate: 5000,1253 externalKills: 2,1254 mode: Solo,1255 solo: ["huge"],1256 todo: Set("c"),1257 workers:1258 Map(1259 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1260 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1261 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1262 )1263 },1264 main::scheduler::wasFinished: false1265}12661267[State 60]1268{1269 main::scheduler::st:1270 {1271 done: Set("a", "b", "fat"),1272 errored: Set(),1273 estimate: 5000,1274 externalKills: 2,1275 mode: Solo,1276 solo: ["huge"],1277 todo: Set("c"),1278 workers:1279 Map(1280 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1281 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1282 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1283 )1284 },1285 main::scheduler::wasFinished: false1286}12871288[State 61]1289{1290 main::scheduler::st:1291 {1292 done: Set("a", "b", "fat"),1293 errored: Set(),1294 estimate: 5000,1295 externalKills: 2,1296 mode: Solo,1297 solo: ["huge"],1298 todo: Set("c"),1299 workers:1300 Map(1301 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1302 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1303 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1304 )1305 },1306 main::scheduler::wasFinished: false1307}13081309[State 62]1310{1311 main::scheduler::st:1312 {1313 done: Set("a", "b", "fat"),1314 errored: Set(),1315 estimate: 5000,1316 externalKills: 2,1317 mode: Solo,1318 solo: ["huge"],1319 todo: Set("c"),1320 workers:1321 Map(1322 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1323 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1324 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1325 )1326 },1327 main::scheduler::wasFinished: false1328}13291330[State 63]1331{1332 main::scheduler::st:1333 {1334 done: Set("a", "b", "fat"),1335 errored: Set(),1336 estimate: 5000,1337 externalKills: 2,1338 mode: Solo,1339 solo: ["huge"],1340 todo: Set("c"),1341 workers:1342 Map(1343 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1344 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1345 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1346 )1347 },1348 main::scheduler::wasFinished: false1349}13501351[State 64]1352{1353 main::scheduler::st:1354 {1355 done: Set("a", "b", "fat"),1356 errored: Set(),1357 estimate: 5000,1358 externalKills: 2,1359 mode: Solo,1360 solo: ["huge"],1361 todo: Set("c"),1362 workers:1363 Map(1364 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1365 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1366 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1367 )1368 },1369 main::scheduler::wasFinished: false1370}13711372[State 65]1373{1374 main::scheduler::st:1375 {1376 done: Set("a", "b", "fat"),1377 errored: Set(),1378 estimate: 5000,1379 externalKills: 2,1380 mode: Solo,1381 solo: ["huge"],1382 todo: Set("c"),1383 workers:1384 Map(1385 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1386 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1387 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1388 )1389 },1390 main::scheduler::wasFinished: false1391}13921393[State 66]1394{1395 main::scheduler::st:1396 {1397 done: Set("a", "b", "fat"),1398 errored: Set(),1399 estimate: 5000,1400 externalKills: 2,1401 mode: Solo,1402 solo: ["huge"],1403 todo: Set("c"),1404 workers:1405 Map(1406 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1407 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1408 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1409 )1410 },1411 main::scheduler::wasFinished: false1412}14131414[State 67]1415{1416 main::scheduler::st:1417 {1418 done: Set("a", "b", "fat"),1419 errored: Set(),1420 estimate: 5000,1421 externalKills: 2,1422 mode: Solo,1423 solo: ["huge"],1424 todo: Set("c"),1425 workers:1426 Map(1427 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1428 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1429 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1430 )1431 },1432 main::scheduler::wasFinished: false1433}14341435[State 68]1436{1437 main::scheduler::st:1438 {1439 done: Set("a", "b", "fat"),1440 errored: Set(),1441 estimate: 5000,1442 externalKills: 2,1443 mode: Solo,1444 solo: ["huge"],1445 todo: Set("c"),1446 workers:1447 Map(1448 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1449 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1450 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1451 )1452 },1453 main::scheduler::wasFinished: false1454}14551456[State 69]1457{1458 main::scheduler::st:1459 {1460 done: Set("a", "b", "fat"),1461 errored: Set(),1462 estimate: 5000,1463 externalKills: 2,1464 mode: Solo,1465 solo: ["huge"],1466 todo: Set("c"),1467 workers:1468 Map(1469 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1470 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1471 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1472 )1473 },1474 main::scheduler::wasFinished: false1475}14761477[State 70]1478{1479 main::scheduler::st:1480 {1481 done: Set("a", "b", "fat"),1482 errored: Set(),1483 estimate: 5000,1484 externalKills: 2,1485 mode: Solo,1486 solo: ["huge"],1487 todo: Set("c"),1488 workers:1489 Map(1490 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1491 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1492 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1493 )1494 },1495 main::scheduler::wasFinished: false1496}14971498[State 71]1499{1500 main::scheduler::st:1501 {1502 done: Set("a", "b", "fat"),1503 errored: Set(),1504 estimate: 5000,1505 externalKills: 2,1506 mode: Solo,1507 solo: ["huge"],1508 todo: Set("c"),1509 workers:1510 Map(1511 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1512 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1513 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1514 )1515 },1516 main::scheduler::wasFinished: false1517}15181519[State 72]1520{1521 main::scheduler::st:1522 {1523 done: Set("a", "b", "fat"),1524 errored: Set(),1525 estimate: 5000,1526 externalKills: 2,1527 mode: Solo,1528 solo: ["huge"],1529 todo: Set("c"),1530 workers:1531 Map(1532 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1533 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1534 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1535 )1536 },1537 main::scheduler::wasFinished: false1538}15391540[State 73]1541{1542 main::scheduler::st:1543 {1544 done: Set("a", "b", "fat"),1545 errored: Set(),1546 estimate: 5000,1547 externalKills: 2,1548 mode: Solo,1549 solo: ["huge"],1550 todo: Set("c"),1551 workers:1552 Map(1553 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1554 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1555 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1556 )1557 },1558 main::scheduler::wasFinished: false1559}15601561[State 74]1562{1563 main::scheduler::st:1564 {1565 done: Set("a", "b", "fat"),1566 errored: Set(),1567 estimate: 5000,1568 externalKills: 2,1569 mode: Solo,1570 solo: ["huge"],1571 todo: Set("c"),1572 workers:1573 Map(1574 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1575 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1576 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1577 )1578 },1579 main::scheduler::wasFinished: false1580}15811582[State 75]1583{1584 main::scheduler::st:1585 {1586 done: Set("a", "b", "fat"),1587 errored: Set(),1588 estimate: 5000,1589 externalKills: 2,1590 mode: Solo,1591 solo: ["huge"],1592 todo: Set("c"),1593 workers:1594 Map(1595 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1596 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1597 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1598 )1599 },1600 main::scheduler::wasFinished: false1601}16021603[State 76]1604{1605 main::scheduler::st:1606 {1607 done: Set("a", "b", "fat"),1608 errored: Set(),1609 estimate: 5000,1610 externalKills: 2,1611 mode: Solo,1612 solo: ["huge"],1613 todo: Set("c"),1614 workers:1615 Map(1616 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1617 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1618 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1619 )1620 },1621 main::scheduler::wasFinished: false1622}16231624[State 77]1625{1626 main::scheduler::st:1627 {1628 done: Set("a", "b", "fat"),1629 errored: Set(),1630 estimate: 5000,1631 externalKills: 2,1632 mode: Solo,1633 solo: ["huge"],1634 todo: Set("c"),1635 workers:1636 Map(1637 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1638 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1639 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1640 )1641 },1642 main::scheduler::wasFinished: false1643}16441645[State 78]1646{1647 main::scheduler::st:1648 {1649 done: Set("a", "b", "fat"),1650 errored: Set(),1651 estimate: 5000,1652 externalKills: 2,1653 mode: Solo,1654 solo: ["huge"],1655 todo: Set("c"),1656 workers:1657 Map(1658 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1659 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1660 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1661 )1662 },1663 main::scheduler::wasFinished: false1664}16651666[State 79]1667{1668 main::scheduler::st:1669 {1670 done: Set("a", "b", "fat"),1671 errored: Set(),1672 estimate: 5000,1673 externalKills: 2,1674 mode: Solo,1675 solo: ["huge"],1676 todo: Set("c"),1677 workers:1678 Map(1679 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1680 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1681 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1682 )1683 },1684 main::scheduler::wasFinished: false1685}16861687[State 80]1688{1689 main::scheduler::st:1690 {1691 done: Set("a", "b", "fat"),1692 errored: Set(),1693 estimate: 5000,1694 externalKills: 2,1695 mode: Solo,1696 solo: ["huge"],1697 todo: Set("c"),1698 workers:1699 Map(1700 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1701 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1702 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1703 )1704 },1705 main::scheduler::wasFinished: false1706}17071708[State 81]1709{1710 main::scheduler::st:1711 {1712 done: Set("a", "b", "fat"),1713 errored: Set(),1714 estimate: 5000,1715 externalKills: 2,1716 mode: Solo,1717 solo: ["huge"],1718 todo: Set("c"),1719 workers:1720 Map(1721 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1722 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1723 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1724 )1725 },1726 main::scheduler::wasFinished: false1727}17281729[State 82]1730{1731 main::scheduler::st:1732 {1733 done: Set("a", "b", "fat"),1734 errored: Set(),1735 estimate: 5000,1736 externalKills: 2,1737 mode: Solo,1738 solo: ["huge"],1739 todo: Set("c"),1740 workers:1741 Map(1742 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1743 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1744 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1745 )1746 },1747 main::scheduler::wasFinished: false1748}17491750[State 83]1751{1752 main::scheduler::st:1753 {1754 done: Set("a", "b", "fat"),1755 errored: Set(),1756 estimate: 5000,1757 externalKills: 2,1758 mode: Solo,1759 solo: ["huge"],1760 todo: Set("c"),1761 workers:1762 Map(1763 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1764 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1765 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1766 )1767 },1768 main::scheduler::wasFinished: false1769}17701771[State 84]1772{1773 main::scheduler::st:1774 {1775 done: Set("a", "b", "fat"),1776 errored: Set(),1777 estimate: 5000,1778 externalKills: 2,1779 mode: Solo,1780 solo: ["huge"],1781 todo: Set("c"),1782 workers:1783 Map(1784 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1785 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1786 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1787 )1788 },1789 main::scheduler::wasFinished: false1790}17911792[State 85]1793{1794 main::scheduler::st:1795 {1796 done: Set("a", "b", "fat"),1797 errored: Set(),1798 estimate: 5000,1799 externalKills: 2,1800 mode: Solo,1801 solo: ["huge"],1802 todo: Set("c"),1803 workers:1804 Map(1805 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1806 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1807 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1808 )1809 },1810 main::scheduler::wasFinished: false1811}18121813[State 86]1814{1815 main::scheduler::st:1816 {1817 done: Set("a", "b", "fat"),1818 errored: Set(),1819 estimate: 5000,1820 externalKills: 2,1821 mode: Solo,1822 solo: ["huge"],1823 todo: Set("c"),1824 workers:1825 Map(1826 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1827 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1828 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1829 )1830 },1831 main::scheduler::wasFinished: false1832}18331834[State 87]1835{1836 main::scheduler::st:1837 {1838 done: Set("a", "b", "fat"),1839 errored: Set(),1840 estimate: 5000,1841 externalKills: 2,1842 mode: Solo,1843 solo: ["huge"],1844 todo: Set("c"),1845 workers:1846 Map(1847 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1848 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1849 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1850 )1851 },1852 main::scheduler::wasFinished: false1853}18541855[State 88]1856{1857 main::scheduler::st:1858 {1859 done: Set("a", "b", "fat"),1860 errored: Set(),1861 estimate: 5000,1862 externalKills: 2,1863 mode: Solo,1864 solo: ["huge"],1865 todo: Set("c"),1866 workers:1867 Map(1868 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1869 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1870 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1871 )1872 },1873 main::scheduler::wasFinished: false1874}18751876[State 89]1877{1878 main::scheduler::st:1879 {1880 done: Set("a", "b", "fat"),1881 errored: Set(),1882 estimate: 5000,1883 externalKills: 2,1884 mode: Solo,1885 solo: ["huge"],1886 todo: Set("c"),1887 workers:1888 Map(1889 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1890 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1891 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1892 )1893 },1894 main::scheduler::wasFinished: false1895}18961897[State 90]1898{1899 main::scheduler::st:1900 {1901 done: Set("a", "b", "fat"),1902 errored: Set(),1903 estimate: 5000,1904 externalKills: 2,1905 mode: Solo,1906 solo: ["huge"],1907 todo: Set("c"),1908 workers:1909 Map(1910 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1911 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1912 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1913 )1914 },1915 main::scheduler::wasFinished: false1916}19171918[State 91]1919{1920 main::scheduler::st:1921 {1922 done: Set("a", "b", "fat"),1923 errored: Set(),1924 estimate: 5000,1925 externalKills: 2,1926 mode: Solo,1927 solo: ["huge"],1928 todo: Set("c"),1929 workers:1930 Map(1931 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1932 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1933 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1934 )1935 },1936 main::scheduler::wasFinished: false1937}19381939[State 92]1940{1941 main::scheduler::st:1942 {1943 done: Set("a", "b", "fat"),1944 errored: Set(),1945 estimate: 5000,1946 externalKills: 2,1947 mode: Solo,1948 solo: ["huge"],1949 todo: Set("c"),1950 workers:1951 Map(1952 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1953 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1954 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1955 )1956 },1957 main::scheduler::wasFinished: false1958}19591960[State 93]1961{1962 main::scheduler::st:1963 {1964 done: Set("a", "b", "fat"),1965 errored: Set(),1966 estimate: 5000,1967 externalKills: 2,1968 mode: Solo,1969 solo: ["huge"],1970 todo: Set("c"),1971 workers:1972 Map(1973 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1974 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1975 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1976 )1977 },1978 main::scheduler::wasFinished: false1979}19801981[State 94]1982{1983 main::scheduler::st:1984 {1985 done: Set("a", "b", "fat"),1986 errored: Set(),1987 estimate: 5000,1988 externalKills: 2,1989 mode: Solo,1990 solo: [],1991 todo: Set("c"),1992 workers:1993 Map(1994 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1995 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1996 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1997 )1998 },1999 main::scheduler::wasFinished: false2000}20012002[State 95]2003{2004 main::scheduler::st:2005 {2006 done: Set("a", "b", "fat"),2007 errored: Set(),2008 estimate: 5000,2009 externalKills: 2,2010 mode: Solo,2011 solo: [],2012 todo: Set("c"),2013 workers:2014 Map(2015 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2016 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2017 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2018 )2019 },2020 main::scheduler::wasFinished: false2021}20222023[State 96]2024{2025 main::scheduler::st:2026 {2027 done: Set("a", "b", "fat"),2028 errored: Set(),2029 estimate: 5000,2030 externalKills: 2,2031 mode: Solo,2032 solo: [],2033 todo: Set("c"),2034 workers:2035 Map(2036 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2037 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2038 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2039 )2040 },2041 main::scheduler::wasFinished: false2042}20432044[State 97]2045{2046 main::scheduler::st:2047 {2048 done: Set("a", "b", "fat"),2049 errored: Set(),2050 estimate: 5000,2051 externalKills: 2,2052 mode: Solo,2053 solo: [],2054 todo: Set("c"),2055 workers:2056 Map(2057 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2058 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2059 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2060 )2061 },2062 main::scheduler::wasFinished: false2063}20642065[State 98]2066{2067 main::scheduler::st:2068 {2069 done: Set("a", "b", "fat"),2070 errored: Set(),2071 estimate: 5000,2072 externalKills: 2,2073 mode: Solo,2074 solo: [],2075 todo: Set("c"),2076 workers:2077 Map(2078 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2079 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2080 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2081 )2082 },2083 main::scheduler::wasFinished: false2084}20852086[State 99]2087{2088 main::scheduler::st:2089 {2090 done: Set("a", "b", "fat"),2091 errored: Set(),2092 estimate: 5000,2093 externalKills: 2,2094 mode: Solo,2095 solo: [],2096 todo: Set("c"),2097 workers:2098 Map(2099 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2100 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2101 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2102 )2103 },2104 main::scheduler::wasFinished: false2105}21062107[State 100]2108{2109 main::scheduler::st:2110 {2111 done: Set("a", "b", "fat"),2112 errored: Set(),2113 estimate: 5000,2114 externalKills: 2,2115 mode: Solo,2116 solo: [],2117 todo: Set("c"),2118 workers:2119 Map(2120 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2121 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2122 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2123 )2124 },2125 main::scheduler::wasFinished: false2126}21272128[State 101]2129{2130 main::scheduler::st:2131 {2132 done: Set("a", "b", "fat"),2133 errored: Set(),2134 estimate: 5000,2135 externalKills: 2,2136 mode: Solo,2137 solo: [],2138 todo: Set("c"),2139 workers:2140 Map(2141 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2142 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2143 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2144 )2145 },2146 main::scheduler::wasFinished: false2147}21482149[State 102]2150{2151 main::scheduler::st:2152 {2153 done: Set("a", "b", "fat"),2154 errored: Set(),2155 estimate: 5000,2156 externalKills: 2,2157 mode: Solo,2158 solo: [],2159 todo: Set("c"),2160 workers:2161 Map(2162 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2163 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2164 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2165 )2166 },2167 main::scheduler::wasFinished: false2168}21692170[State 103]2171{2172 main::scheduler::st:2173 {2174 done: Set("a", "b", "fat"),2175 errored: Set(),2176 estimate: 5000,2177 externalKills: 2,2178 mode: Solo,2179 solo: [],2180 todo: Set("c"),2181 workers:2182 Map(2183 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2184 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2185 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2186 )2187 },2188 main::scheduler::wasFinished: false2189}21902191[State 104]2192{2193 main::scheduler::st:2194 {2195 done: Set("a", "b", "fat"),2196 errored: Set(),2197 estimate: 5000,2198 externalKills: 2,2199 mode: Solo,2200 solo: [],2201 todo: Set("c"),2202 workers:2203 Map(2204 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2205 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2206 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2207 )2208 },2209 main::scheduler::wasFinished: false2210}22112212[State 105]2213{2214 main::scheduler::st:2215 {2216 done: Set("a", "b", "fat"),2217 errored: Set(),2218 estimate: 5000,2219 externalKills: 2,2220 mode: Solo,2221 solo: [],2222 todo: Set("c"),2223 workers:2224 Map(2225 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2226 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2227 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }2228 )2229 },2230 main::scheduler::wasFinished: false2231}22322233[State 106]2234{2235 main::scheduler::st:2236 {2237 done: Set("a", "b", "fat", "huge"),2238 errored: Set(),2239 estimate: 4900,2240 externalKills: 2,2241 mode: Parallel,2242 solo: [],2243 todo: Set("c"),2244 workers:2245 Map(2246 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2247 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2248 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2249 )2250 },2251 main::scheduler::wasFinished: false2252}22532254[State 107]2255{2256 main::scheduler::st:2257 {2258 done: Set("a", "b", "fat", "huge"),2259 errored: Set(),2260 estimate: 4900,2261 externalKills: 2,2262 mode: Parallel,2263 solo: [],2264 todo: Set("c"),2265 workers:2266 Map(2267 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2268 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2269 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2270 )2271 },2272 main::scheduler::wasFinished: false2273}22742275[State 108]2276{2277 main::scheduler::st:2278 {2279 done: Set("a", "b", "fat", "huge"),2280 errored: Set(),2281 estimate: 4900,2282 externalKills: 2,2283 mode: Parallel,2284 solo: [],2285 todo: Set("c"),2286 workers:2287 Map(2288 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2289 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2290 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2291 )2292 },2293 main::scheduler::wasFinished: false2294}22952296[State 109]2297{2298 main::scheduler::st:2299 {2300 done: Set("a", "b", "fat", "huge"),2301 errored: Set(),2302 estimate: 4900,2303 externalKills: 2,2304 mode: Parallel,2305 solo: [],2306 todo: Set("c"),2307 workers:2308 Map(2309 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2310 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2311 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2312 )2313 },2314 main::scheduler::wasFinished: false2315}23162317[State 110]2318{2319 main::scheduler::st:2320 {2321 done: Set("a", "b", "fat", "huge"),2322 errored: Set(),2323 estimate: 4900,2324 externalKills: 2,2325 mode: Parallel,2326 solo: [],2327 todo: Set("c"),2328 workers:2329 Map(2330 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2331 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2332 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2333 )2334 },2335 main::scheduler::wasFinished: false2336}23372338[State 111]2339{2340 main::scheduler::st:2341 {2342 done: Set("a", "b", "fat", "huge"),2343 errored: Set(),2344 estimate: 4900,2345 externalKills: 2,2346 mode: Parallel,2347 solo: [],2348 todo: Set("c"),2349 workers:2350 Map(2351 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2352 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2353 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2354 )2355 },2356 main::scheduler::wasFinished: false2357}23582359[State 112]2360{2361 main::scheduler::st:2362 {2363 done: Set("a", "b", "fat", "huge"),2364 errored: Set(),2365 estimate: 4900,2366 externalKills: 2,2367 mode: Parallel,2368 solo: [],2369 todo: Set("c"),2370 workers:2371 Map(2372 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2373 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2374 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2375 )2376 },2377 main::scheduler::wasFinished: false2378}23792380[State 113]2381{2382 main::scheduler::st:2383 {2384 done: Set("a", "b", "fat", "huge"),2385 errored: Set(),2386 estimate: 4900,2387 externalKills: 2,2388 mode: Parallel,2389 solo: [],2390 todo: Set("c"),2391 workers:2392 Map(2393 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2394 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2395 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2396 )2397 },2398 main::scheduler::wasFinished: false2399}24002401[State 114]2402{2403 main::scheduler::st:2404 {2405 done: Set("a", "b", "fat", "huge"),2406 errored: Set(),2407 estimate: 4900,2408 externalKills: 2,2409 mode: Parallel,2410 solo: [],2411 todo: Set("c"),2412 workers:2413 Map(2414 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2415 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2416 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2417 )2418 },2419 main::scheduler::wasFinished: false2420}24212422[State 115]2423{2424 main::scheduler::st:2425 {2426 done: Set("a", "b", "fat", "huge"),2427 errored: Set(),2428 estimate: 4900,2429 externalKills: 2,2430 mode: Parallel,2431 solo: [],2432 todo: Set("c"),2433 workers:2434 Map(2435 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2436 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2437 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2438 )2439 },2440 main::scheduler::wasFinished: false2441}24422443[State 116]2444{2445 main::scheduler::st:2446 {2447 done: Set("a", "b", "fat", "huge"),2448 errored: Set(),2449 estimate: 4900,2450 externalKills: 2,2451 mode: Parallel,2452 solo: [],2453 todo: Set("c"),2454 workers:2455 Map(2456 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2457 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2458 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2459 )2460 },2461 main::scheduler::wasFinished: false2462}24632464[State 117]2465{2466 main::scheduler::st:2467 {2468 done: Set("a", "b", "fat", "huge"),2469 errored: Set(),2470 estimate: 4900,2471 externalKills: 2,2472 mode: Parallel,2473 solo: [],2474 todo: Set("c"),2475 workers:2476 Map(2477 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2478 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2479 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2480 )2481 },2482 main::scheduler::wasFinished: false2483}24842485[State 118]2486{2487 main::scheduler::st:2488 {2489 done: Set("a", "b", "fat", "huge"),2490 errored: Set(),2491 estimate: 4900,2492 externalKills: 2,2493 mode: Parallel,2494 solo: [],2495 todo: Set("c"),2496 workers:2497 Map(2498 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2499 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2500 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2501 )2502 },2503 main::scheduler::wasFinished: false2504}25052506[State 119]2507{2508 main::scheduler::st:2509 {2510 done: Set("a", "b", "fat", "huge"),2511 errored: Set(),2512 estimate: 4900,2513 externalKills: 2,2514 mode: Parallel,2515 solo: [],2516 todo: Set("c"),2517 workers:2518 Map(2519 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2520 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2521 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2522 )2523 },2524 main::scheduler::wasFinished: false2525}25262527[State 120]2528{2529 main::scheduler::st:2530 {2531 done: Set("a", "b", "fat", "huge"),2532 errored: Set(),2533 estimate: 4900,2534 externalKills: 2,2535 mode: Parallel,2536 solo: [],2537 todo: Set("c"),2538 workers:2539 Map(2540 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2541 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2542 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2543 )2544 },2545 main::scheduler::wasFinished: false2546}25472548[State 121]2549{2550 main::scheduler::st:2551 {2552 done: Set("a", "b", "fat", "huge"),2553 errored: Set(),2554 estimate: 4900,2555 externalKills: 2,2556 mode: Parallel,2557 solo: [],2558 todo: Set("c"),2559 workers:2560 Map(2561 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2562 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2563 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2564 )2565 },2566 main::scheduler::wasFinished: false2567}25682569[State 122]2570{2571 main::scheduler::st:2572 {2573 done: Set("a", "b", "fat", "huge"),2574 errored: Set(),2575 estimate: 4900,2576 externalKills: 2,2577 mode: Parallel,2578 solo: [],2579 todo: Set("c"),2580 workers:2581 Map(2582 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2583 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2584 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2585 )2586 },2587 main::scheduler::wasFinished: false2588}25892590[State 123]2591{2592 main::scheduler::st:2593 {2594 done: Set("a", "b", "fat", "huge"),2595 errored: Set(),2596 estimate: 4900,2597 externalKills: 2,2598 mode: Parallel,2599 solo: [],2600 todo: Set("c"),2601 workers:2602 Map(2603 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2604 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2605 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2606 )2607 },2608 main::scheduler::wasFinished: false2609}26102611[State 124]2612{2613 main::scheduler::st:2614 {2615 done: Set("a", "b", "fat", "huge"),2616 errored: Set(),2617 estimate: 4900,2618 externalKills: 2,2619 mode: Parallel,2620 solo: [],2621 todo: Set("c"),2622 workers:2623 Map(2624 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2625 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2626 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2627 )2628 },2629 main::scheduler::wasFinished: false2630}26312632[State 125]2633{2634 main::scheduler::st:2635 {2636 done: Set("a", "b", "fat", "huge"),2637 errored: Set(),2638 estimate: 4900,2639 externalKills: 2,2640 mode: Parallel,2641 solo: [],2642 todo: Set("c"),2643 workers:2644 Map(2645 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2646 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2647 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2648 )2649 },2650 main::scheduler::wasFinished: false2651}26522653[State 126]2654{2655 main::scheduler::st:2656 {2657 done: Set("a", "b", "fat", "huge"),2658 errored: Set(),2659 estimate: 4900,2660 externalKills: 2,2661 mode: Parallel,2662 solo: [],2663 todo: Set("c"),2664 workers:2665 Map(2666 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2667 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2668 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2669 )2670 },2671 main::scheduler::wasFinished: false2672}26732674[State 127]2675{2676 main::scheduler::st:2677 {2678 done: Set("a", "b", "fat", "huge"),2679 errored: Set(),2680 estimate: 4900,2681 externalKills: 2,2682 mode: Parallel,2683 solo: [],2684 todo: Set("c"),2685 workers:2686 Map(2687 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2688 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2689 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2690 )2691 },2692 main::scheduler::wasFinished: false2693}26942695[State 128]2696{2697 main::scheduler::st:2698 {2699 done: Set("a", "b", "fat", "huge"),2700 errored: Set(),2701 estimate: 4900,2702 externalKills: 2,2703 mode: Parallel,2704 solo: [],2705 todo: Set("c"),2706 workers:2707 Map(2708 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2709 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2710 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2711 )2712 },2713 main::scheduler::wasFinished: false2714}27152716[State 129]2717{2718 main::scheduler::st:2719 {2720 done: Set("a", "b", "fat", "huge"),2721 errored: Set(),2722 estimate: 4900,2723 externalKills: 2,2724 mode: Parallel,2725 solo: [],2726 todo: Set("c"),2727 workers:2728 Map(2729 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2730 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2731 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2732 )2733 },2734 main::scheduler::wasFinished: false2735}27362737[State 130]2738{2739 main::scheduler::st:2740 {2741 done: Set("a", "b", "fat", "huge"),2742 errored: Set(),2743 estimate: 4900,2744 externalKills: 2,2745 mode: Parallel,2746 solo: [],2747 todo: Set("c"),2748 workers:2749 Map(2750 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2751 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2752 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2753 )2754 },2755 main::scheduler::wasFinished: false2756}27572758[State 131]2759{2760 main::scheduler::st:2761 {2762 done: Set("a", "b", "fat", "huge"),2763 errored: Set(),2764 estimate: 4900,2765 externalKills: 2,2766 mode: Parallel,2767 solo: [],2768 todo: Set("c"),2769 workers:2770 Map(2771 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2772 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2773 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2774 )2775 },2776 main::scheduler::wasFinished: false2777}27782779[State 132]2780{2781 main::scheduler::st:2782 {2783 done: Set("a", "b", "fat", "huge"),2784 errored: Set(),2785 estimate: 4900,2786 externalKills: 2,2787 mode: Parallel,2788 solo: [],2789 todo: Set("c"),2790 workers:2791 Map(2792 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2793 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2794 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2795 )2796 },2797 main::scheduler::wasFinished: false2798}27992800[State 133]2801{2802 main::scheduler::st:2803 {2804 done: Set("a", "b", "fat", "huge"),2805 errored: Set(),2806 estimate: 4900,2807 externalKills: 2,2808 mode: Parallel,2809 solo: [],2810 todo: Set("c"),2811 workers:2812 Map(2813 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2814 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2815 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2816 )2817 },2818 main::scheduler::wasFinished: false2819}28202821[State 134]2822{2823 main::scheduler::st:2824 {2825 done: Set("a", "b", "fat", "huge"),2826 errored: Set(),2827 estimate: 4900,2828 externalKills: 2,2829 mode: Parallel,2830 solo: [],2831 todo: Set("c"),2832 workers:2833 Map(2834 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2835 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2836 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2837 )2838 },2839 main::scheduler::wasFinished: false2840}28412842[State 135]2843{2844 main::scheduler::st:2845 {2846 done: Set("a", "b", "fat", "huge"),2847 errored: Set(),2848 estimate: 4900,2849 externalKills: 2,2850 mode: Parallel,2851 solo: [],2852 todo: Set(),2853 workers:2854 Map(2855 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2856 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2857 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2858 )2859 },2860 main::scheduler::wasFinished: false2861}28622863[State 136]2864{2865 main::scheduler::st:2866 {2867 done: Set("a", "b", "fat", "huge"),2868 errored: Set(),2869 estimate: 4900,2870 externalKills: 2,2871 mode: Parallel,2872 solo: [],2873 todo: Set(),2874 workers:2875 Map(2876 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2877 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2878 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }2879 )2880 },2881 main::scheduler::wasFinished: false2882}28832884[State 137]2885{2886 main::scheduler::st:2887 {2888 done: Set("a", "b", "fat", "huge"),2889 errored: Set(),2890 estimate: 4900,2891 externalKills: 2,2892 mode: Parallel,2893 solo: [],2894 todo: Set(),2895 workers:2896 Map(2897 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2898 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2899 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }2900 )2901 },2902 main::scheduler::wasFinished: false2903}29042905[State 138]2906{2907 main::scheduler::st:2908 {2909 done: Set("a", "b", "c", "fat", "huge"),2910 errored: Set(),2911 estimate: 4802,2912 externalKills: 2,2913 mode: Parallel,2914 solo: [],2915 todo: Set(),2916 workers:2917 Map(2918 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2919 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2920 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }2921 )2922 },2923 main::scheduler::wasFinished: false2924}29252926[State 139]2927{2928 main::scheduler::st:2929 {2930 done: Set("a", "b", "c", "fat", "huge"),2931 errored: Set(),2932 estimate: 4802,2933 externalKills: 2,2934 mode: Parallel,2935 solo: [],2936 todo: Set(),2937 workers:2938 Map(2939 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2940 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2941 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2942 )2943 },2944 main::scheduler::wasFinished: true2945}29462947[State 140]2948{2949 main::scheduler::st:2950 {2951 done: Set("a", "b", "c", "fat", "huge"),2952 errored: Set(),2953 estimate: 4802,2954 externalKills: 2,2955 mode: Parallel,2956 solo: [],2957 todo: Set(),2958 workers:2959 Map(2960 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2961 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2962 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2963 )2964 },2965 main::scheduler::wasFinished: true2966}29672968[State 141]2969{2970 main::scheduler::st:2971 {2972 done: Set("a", "b", "c", "fat", "huge"),2973 errored: Set(),2974 estimate: 4802,2975 externalKills: 2,2976 mode: Parallel,2977 solo: [],2978 todo: Set(),2979 workers:2980 Map(2981 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2982 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2983 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }2984 )2985 },2986 main::scheduler::wasFinished: true2987}29882989[State 142]2990{2991 main::scheduler::st:2992 {2993 done: Set("a", "b", "c", "fat", "huge"),2994 errored: Set(),2995 estimate: 4802,2996 externalKills: 2,2997 mode: Parallel,2998 solo: [],2999 todo: Set(),3000 workers:3001 Map(3002 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3003 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3004 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3005 )3006 },3007 main::scheduler::wasFinished: true3008}30093010[State 143]3011{3012 main::scheduler::st:3013 {3014 done: Set("a", "b", "c", "fat", "huge"),3015 errored: Set(),3016 estimate: 4802,3017 externalKills: 2,3018 mode: Parallel,3019 solo: [],3020 todo: Set(),3021 workers:3022 Map(3023 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3024 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3025 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3026 )3027 },3028 main::scheduler::wasFinished: true3029}30303031[State 144]3032{3033 main::scheduler::st:3034 {3035 done: Set("a", "b", "c", "fat", "huge"),3036 errored: Set(),3037 estimate: 4802,3038 externalKills: 2,3039 mode: Parallel,3040 solo: [],3041 todo: Set(),3042 workers:3043 Map(3044 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3045 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3046 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3047 )3048 },3049 main::scheduler::wasFinished: true3050}30513052[State 145]3053{3054 main::scheduler::st:3055 {3056 done: Set("a", "b", "c", "fat", "huge"),3057 errored: Set(),3058 estimate: 4802,3059 externalKills: 2,3060 mode: Parallel,3061 solo: [],3062 todo: Set(),3063 workers:3064 Map(3065 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3066 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3067 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3068 )3069 },3070 main::scheduler::wasFinished: true3071}30723073[State 146]3074{3075 main::scheduler::st:3076 {3077 done: Set("a", "b", "c", "fat", "huge"),3078 errored: Set(),3079 estimate: 4802,3080 externalKills: 2,3081 mode: Parallel,3082 solo: [],3083 todo: Set(),3084 workers:3085 Map(3086 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3087 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3088 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3089 )3090 },3091 main::scheduler::wasFinished: true3092}30933094[State 147]3095{3096 main::scheduler::st:3097 {3098 done: Set("a", "b", "c", "fat", "huge"),3099 errored: Set(),3100 estimate: 4802,3101 externalKills: 2,3102 mode: Parallel,3103 solo: [],3104 todo: Set(),3105 workers:3106 Map(3107 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3108 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3109 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3110 )3111 },3112 main::scheduler::wasFinished: true3113}31143115[State 148]3116{3117 main::scheduler::st:3118 {3119 done: Set("a", "b", "c", "fat", "huge"),3120 errored: Set(),3121 estimate: 4802,3122 externalKills: 2,3123 mode: Parallel,3124 solo: [],3125 todo: Set(),3126 workers:3127 Map(3128 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3129 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3130 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3131 )3132 },3133 main::scheduler::wasFinished: true3134}31353136[State 149]3137{3138 main::scheduler::st:3139 {3140 done: Set("a", "b", "c", "fat", "huge"),3141 errored: Set(),3142 estimate: 4802,3143 externalKills: 2,3144 mode: Parallel,3145 solo: [],3146 todo: Set(),3147 workers:3148 Map(3149 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3150 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3151 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3152 )3153 },3154 main::scheduler::wasFinished: true3155}31563157[State 150]3158{3159 main::scheduler::st:3160 {3161 done: Set("a", "b", "c", "fat", "huge"),3162 errored: Set(),3163 estimate: 4802,3164 externalKills: 2,3165 mode: Parallel,3166 solo: [],3167 todo: Set(),3168 workers:3169 Map(3170 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3171 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3172 2 -> { heap: 700, job: "", phase: Exiting, rss: 700, startRss: 0 }3173 )3174 },3175 main::scheduler::wasFinished: true3176}31773178[ok] No violation found (1296ms at 1543 traces/second).3179Trace length statistics: max=151, min=60, average=113.213180You may increase --max-samples and --max-steps.3181Use --verbosity to produce more (or less) output.3182Use --seed=0x9c553abbb977e653 --backend=rust to reproduce.31833184 noOomKiller3185 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3186 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31873188 2 passing (28044ms)31893190 main3191 ok main::scheduler::terminatesTest passed 200 test(s)31923193 1 passing (13124ms)