nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #104
· 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: 300, job: "", phase: Starting, rss: 300, startRss: 0 },39 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 0,54 mode: Parallel,55 solo: [],56 todo: Set("a", "b", "c", "fat", "huge"),57 workers:58 Map(59 0 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 0,75 mode: Parallel,76 solo: [],77 todo: Set("a", "b", "c", "fat", "huge"),78 workers:79 Map(80 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },81 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },82 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 0,96 mode: Parallel,97 solo: [],98 todo: Set("a", "b", "c", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },102 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },103 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 0,117 mode: Parallel,118 solo: [],119 todo: Set("a", "b", "c", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },123 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },124 2 -> { heap: 300, job: "", phase: Starting, 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: 0,138 mode: Parallel,139 solo: [],140 todo: Set("a", "b", "c", "fat", "huge"),141 workers:142 Map(143 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },144 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },145 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }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", "fat", "huge"),162 workers:163 Map(164 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },165 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },166 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }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", "fat", "huge"),183 workers:184 Map(185 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },186 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },187 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }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", "fat", "huge"),204 workers:205 Map(206 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },207 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },208 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }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: 2,222 mode: Parallel,223 solo: [],224 todo: Set("a", "b", "c", "fat", "huge"),225 workers:226 Map(227 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },228 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },229 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }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", "fat", "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: "", phase: Starting, rss: 300, startRss: 0 }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", "fat", "huge"),267 workers:268 Map(269 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },270 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },271 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }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", "fat", "huge"),288 workers:289 Map(290 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },291 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },292 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }293 )294 },295 main::scheduler::wasFinished: false296}297298[State 14]299{300 main::scheduler::st:301 {302 done: Set(),303 errored: Set(),304 estimate: 512,305 externalKills: 2,306 mode: Parallel,307 solo: [],308 todo: Set("a", "b", "c", "fat", "huge"),309 workers:310 Map(311 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },312 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },313 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }314 )315 },316 main::scheduler::wasFinished: false317}318319[State 15]320{321 main::scheduler::st:322 {323 done: Set(),324 errored: Set(),325 estimate: 512,326 externalKills: 2,327 mode: Parallel,328 solo: [],329 todo: Set("a", "b", "c", "fat", "huge"),330 workers:331 Map(332 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },333 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },334 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }335 )336 },337 main::scheduler::wasFinished: false338}339340[State 16]341{342 main::scheduler::st:343 {344 done: Set(),345 errored: Set(),346 estimate: 512,347 externalKills: 2,348 mode: Parallel,349 solo: [],350 todo: Set("a", "b", "c", "fat", "huge"),351 workers:352 Map(353 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },354 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },355 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }356 )357 },358 main::scheduler::wasFinished: false359}360361[State 17]362{363 main::scheduler::st:364 {365 done: Set(),366 errored: Set(),367 estimate: 512,368 externalKills: 2,369 mode: Parallel,370 solo: [],371 todo: Set("a", "b", "c", "fat", "huge"),372 workers:373 Map(374 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },375 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },376 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }377 )378 },379 main::scheduler::wasFinished: false380}381382[State 18]383{384 main::scheduler::st:385 {386 done: Set(),387 errored: Set(),388 estimate: 512,389 externalKills: 2,390 mode: Parallel,391 solo: [],392 todo: Set("a", "b", "c", "fat", "huge"),393 workers:394 Map(395 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },396 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },397 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }398 )399 },400 main::scheduler::wasFinished: false401}402403[State 19]404{405 main::scheduler::st:406 {407 done: Set(),408 errored: Set(),409 estimate: 512,410 externalKills: 2,411 mode: Parallel,412 solo: [],413 todo: Set("a", "b", "c", "fat", "huge"),414 workers:415 Map(416 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },417 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },418 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }419 )420 },421 main::scheduler::wasFinished: false422}423424[State 20]425{426 main::scheduler::st:427 {428 done: Set(),429 errored: Set(),430 estimate: 512,431 externalKills: 2,432 mode: Parallel,433 solo: [],434 todo: Set("a", "b", "c", "fat", "huge"),435 workers:436 Map(437 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },438 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },439 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }440 )441 },442 main::scheduler::wasFinished: false443}444445[State 21]446{447 main::scheduler::st:448 {449 done: Set(),450 errored: Set(),451 estimate: 512,452 externalKills: 2,453 mode: Parallel,454 solo: [],455 todo: Set("a", "b", "c", "fat", "huge"),456 workers:457 Map(458 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },459 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },460 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }461 )462 },463 main::scheduler::wasFinished: false464}465466[State 22]467{468 main::scheduler::st:469 {470 done: Set(),471 errored: Set(),472 estimate: 512,473 externalKills: 2,474 mode: Parallel,475 solo: [],476 todo: Set("a", "b", "c", "fat", "huge"),477 workers:478 Map(479 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },480 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },481 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }482 )483 },484 main::scheduler::wasFinished: false485}486487[State 23]488{489 main::scheduler::st:490 {491 done: Set(),492 errored: Set(),493 estimate: 512,494 externalKills: 2,495 mode: Parallel,496 solo: [],497 todo: Set("a", "b", "c", "fat", "huge"),498 workers:499 Map(500 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },501 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },502 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }503 )504 },505 main::scheduler::wasFinished: false506}507508[State 24]509{510 main::scheduler::st:511 {512 done: Set(),513 errored: Set(),514 estimate: 512,515 externalKills: 2,516 mode: Parallel,517 solo: [],518 todo: Set("a", "b", "c", "fat", "huge"),519 workers:520 Map(521 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },522 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },523 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }524 )525 },526 main::scheduler::wasFinished: false527}528529[State 25]530{531 main::scheduler::st:532 {533 done: Set(),534 errored: Set(),535 estimate: 512,536 externalKills: 2,537 mode: Parallel,538 solo: [],539 todo: Set("a", "b", "fat", "huge"),540 workers:541 Map(542 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },543 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },544 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }545 )546 },547 main::scheduler::wasFinished: false548}549550[State 26]551{552 main::scheduler::st:553 {554 done: Set(),555 errored: Set(),556 estimate: 512,557 externalKills: 2,558 mode: Parallel,559 solo: [],560 todo: Set("a", "b", "fat", "huge"),561 workers:562 Map(563 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },564 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },565 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }566 )567 },568 main::scheduler::wasFinished: false569}570571[State 27]572{573 main::scheduler::st:574 {575 done: Set(),576 errored: Set(),577 estimate: 512,578 externalKills: 2,579 mode: Parallel,580 solo: [],581 todo: Set("a", "b", "fat", "huge"),582 workers:583 Map(584 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },585 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },586 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }587 )588 },589 main::scheduler::wasFinished: false590}591592[State 28]593{594 main::scheduler::st:595 {596 done: Set(),597 errored: Set(),598 estimate: 512,599 externalKills: 2,600 mode: Parallel,601 solo: [],602 todo: Set("a", "b", "fat", "huge"),603 workers:604 Map(605 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },606 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },607 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }608 )609 },610 main::scheduler::wasFinished: false611}612613[State 29]614{615 main::scheduler::st:616 {617 done: Set("c"),618 errored: Set(),619 estimate: 501,620 externalKills: 2,621 mode: Parallel,622 solo: [],623 todo: Set("a", "b", "fat", "huge"),624 workers:625 Map(626 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },627 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },628 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }629 )630 },631 main::scheduler::wasFinished: false632}633634[State 30]635{636 main::scheduler::st:637 {638 done: Set("c"),639 errored: Set(),640 estimate: 501,641 externalKills: 2,642 mode: Parallel,643 solo: [],644 todo: Set("a", "b", "fat"),645 workers:646 Map(647 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },648 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },649 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }650 )651 },652 main::scheduler::wasFinished: false653}654655[State 31]656{657 main::scheduler::st:658 {659 done: Set("c"),660 errored: Set(),661 estimate: 501,662 externalKills: 2,663 mode: Parallel,664 solo: [],665 todo: Set("a", "b", "fat"),666 workers:667 Map(668 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },669 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },670 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }671 )672 },673 main::scheduler::wasFinished: false674}675676[State 32]677{678 main::scheduler::st:679 {680 done: Set("c"),681 errored: Set(),682 estimate: 501,683 externalKills: 2,684 mode: Parallel,685 solo: [],686 todo: Set("a", "b", "fat"),687 workers:688 Map(689 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },690 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },691 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }692 )693 },694 main::scheduler::wasFinished: false695}696697[State 33]698{699 main::scheduler::st:700 {701 done: Set("c"),702 errored: Set(),703 estimate: 501,704 externalKills: 2,705 mode: Parallel,706 solo: [],707 todo: Set("a", "b", "fat"),708 workers:709 Map(710 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },711 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },712 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }713 )714 },715 main::scheduler::wasFinished: false716}717718[State 34]719{720 main::scheduler::st:721 {722 done: Set("c"),723 errored: Set(),724 estimate: 501,725 externalKills: 2,726 mode: Parallel,727 solo: [],728 todo: Set("b", "fat"),729 workers:730 Map(731 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },732 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },733 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }734 )735 },736 main::scheduler::wasFinished: false737}738739[State 35]740{741 main::scheduler::st:742 {743 done: Set("c"),744 errored: Set(),745 estimate: 501,746 externalKills: 2,747 mode: Parallel,748 solo: [],749 todo: Set("fat"),750 workers:751 Map(752 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },753 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },754 2 -> { heap: 700, job: "b", phase: Busy, rss: 700, startRss: 700 }755 )756 },757 main::scheduler::wasFinished: false758}759760[State 36]761{762 main::scheduler::st:763 {764 done: Set("c"),765 errored: Set(),766 estimate: 501,767 externalKills: 2,768 mode: Parallel,769 solo: [],770 todo: Set("fat"),771 workers:772 Map(773 0 ->774 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },775 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },776 2 -> { heap: 700, job: "b", phase: Busy, rss: 700, startRss: 700 }777 )778 },779 main::scheduler::wasFinished: false780}781782[State 37]783{784 main::scheduler::st:785 {786 done: Set("c"),787 errored: Set(),788 estimate: 501,789 externalKills: 2,790 mode: Parallel,791 solo: [],792 todo: Set("fat"),793 workers:794 Map(795 0 ->796 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },797 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },798 2 -> { heap: 700, job: "b", phase: Busy, rss: 700, startRss: 700 }799 )800 },801 main::scheduler::wasFinished: false802}803804[State 38]805{806 main::scheduler::st:807 {808 done: Set("c"),809 errored: Set(),810 estimate: 501,811 externalKills: 2,812 mode: Parallel,813 solo: [],814 todo: Set("fat"),815 workers:816 Map(817 0 ->818 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },819 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },820 2 -> { heap: 700, job: "b", phase: Busy, rss: 1100, startRss: 700 }821 )822 },823 main::scheduler::wasFinished: false824}825826[State 39]827{828 main::scheduler::st:829 {830 done: Set("b", "c"),831 errored: Set(),832 estimate: 490,833 externalKills: 2,834 mode: Parallel,835 solo: [],836 todo: Set("fat"),837 workers:838 Map(839 0 ->840 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },841 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },842 2 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 }843 )844 },845 main::scheduler::wasFinished: false846}847848[State 40]849{850 main::scheduler::st:851 {852 done: Set("b", "c"),853 errored: Set(),854 estimate: 490,855 externalKills: 2,856 mode: Parallel,857 solo: [],858 todo: Set("fat"),859 workers:860 Map(861 0 ->862 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },863 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },864 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }865 )866 },867 main::scheduler::wasFinished: false868}869870[State 41]871{872 main::scheduler::st:873 {874 done: Set("b", "c"),875 errored: Set(),876 estimate: 5000,877 externalKills: 2,878 mode: Parallel,879 solo: [],880 todo: Set("fat"),881 workers:882 Map(883 0 ->884 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },885 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },886 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }887 )888 },889 main::scheduler::wasFinished: false890}891892[State 42]893{894 main::scheduler::st:895 {896 done: Set("b", "c"),897 errored: Set(),898 estimate: 5000,899 externalKills: 2,900 mode: Parallel,901 solo: [],902 todo: Set("fat"),903 workers:904 Map(905 0 ->906 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },907 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },908 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }909 )910 },911 main::scheduler::wasFinished: false912}913914[State 43]915{916 main::scheduler::st:917 {918 done: Set("b", "c"),919 errored: Set(),920 estimate: 5000,921 externalKills: 2,922 mode: Parallel,923 solo: [],924 todo: Set("fat"),925 workers:926 Map(927 0 ->928 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },929 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },930 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }931 )932 },933 main::scheduler::wasFinished: false934}935936[State 44]937{938 main::scheduler::st:939 {940 done: Set("b", "c"),941 errored: Set(),942 estimate: 5000,943 externalKills: 2,944 mode: Parallel,945 solo: [],946 todo: Set("fat"),947 workers:948 Map(949 0 ->950 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },951 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },952 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }953 )954 },955 main::scheduler::wasFinished: false956}957958[State 45]959{960 main::scheduler::st:961 {962 done: Set("b", "c"),963 errored: Set(),964 estimate: 5000,965 externalKills: 2,966 mode: Parallel,967 solo: [],968 todo: Set("fat"),969 workers:970 Map(971 0 ->972 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },973 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },974 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }975 )976 },977 main::scheduler::wasFinished: false978}979980[State 46]981{982 main::scheduler::st:983 {984 done: Set("b", "c"),985 errored: Set(),986 estimate: 5000,987 externalKills: 2,988 mode: Parallel,989 solo: ["huge"],990 todo: Set("fat"),991 workers:992 Map(993 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },994 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },995 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }996 )997 },998 main::scheduler::wasFinished: false999}10001001[State 47]1002{1003 main::scheduler::st:1004 {1005 done: Set("b", "c"),1006 errored: Set(),1007 estimate: 5000,1008 externalKills: 2,1009 mode: Parallel,1010 solo: ["huge"],1011 todo: Set("fat"),1012 workers:1013 Map(1014 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1015 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1016 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1017 )1018 },1019 main::scheduler::wasFinished: false1020}10211022[State 48]1023{1024 main::scheduler::st:1025 {1026 done: Set("b", "c"),1027 errored: Set(),1028 estimate: 5000,1029 externalKills: 2,1030 mode: Parallel,1031 solo: ["huge"],1032 todo: Set("fat"),1033 workers:1034 Map(1035 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1036 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1037 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1038 )1039 },1040 main::scheduler::wasFinished: false1041}10421043[State 49]1044{1045 main::scheduler::st:1046 {1047 done: Set("b", "c"),1048 errored: Set(),1049 estimate: 5000,1050 externalKills: 2,1051 mode: Parallel,1052 solo: ["huge"],1053 todo: Set("fat"),1054 workers:1055 Map(1056 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1057 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1058 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1059 )1060 },1061 main::scheduler::wasFinished: false1062}10631064[State 50]1065{1066 main::scheduler::st:1067 {1068 done: Set("b", "c"),1069 errored: Set(),1070 estimate: 5000,1071 externalKills: 2,1072 mode: Parallel,1073 solo: ["huge"],1074 todo: Set("fat"),1075 workers:1076 Map(1077 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1078 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1079 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1080 )1081 },1082 main::scheduler::wasFinished: false1083}10841085[State 51]1086{1087 main::scheduler::st:1088 {1089 done: Set("b", "c"),1090 errored: Set(),1091 estimate: 5000,1092 externalKills: 2,1093 mode: Parallel,1094 solo: ["huge"],1095 todo: Set("fat"),1096 workers:1097 Map(1098 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1099 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1100 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1101 )1102 },1103 main::scheduler::wasFinished: false1104}11051106[State 52]1107{1108 main::scheduler::st:1109 {1110 done: Set("b", "c"),1111 errored: Set(),1112 estimate: 5000,1113 externalKills: 2,1114 mode: Parallel,1115 solo: ["huge"],1116 todo: Set("fat"),1117 workers:1118 Map(1119 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1120 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1121 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1122 )1123 },1124 main::scheduler::wasFinished: false1125}11261127[State 53]1128{1129 main::scheduler::st:1130 {1131 done: Set("b", "c"),1132 errored: Set(),1133 estimate: 5000,1134 externalKills: 2,1135 mode: Parallel,1136 solo: ["huge"],1137 todo: Set("fat"),1138 workers:1139 Map(1140 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1141 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1142 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1143 )1144 },1145 main::scheduler::wasFinished: false1146}11471148[State 54]1149{1150 main::scheduler::st:1151 {1152 done: Set("b", "c"),1153 errored: Set(),1154 estimate: 5000,1155 externalKills: 2,1156 mode: Parallel,1157 solo: ["huge"],1158 todo: Set("fat"),1159 workers:1160 Map(1161 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1162 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1163 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1164 )1165 },1166 main::scheduler::wasFinished: false1167}11681169[State 55]1170{1171 main::scheduler::st:1172 {1173 done: Set("b", "c"),1174 errored: Set(),1175 estimate: 5000,1176 externalKills: 2,1177 mode: Parallel,1178 solo: ["huge"],1179 todo: Set("fat"),1180 workers:1181 Map(1182 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1183 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1184 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1185 )1186 },1187 main::scheduler::wasFinished: false1188}11891190[State 56]1191{1192 main::scheduler::st:1193 {1194 done: Set("b", "c"),1195 errored: Set(),1196 estimate: 5000,1197 externalKills: 2,1198 mode: Parallel,1199 solo: ["huge"],1200 todo: Set("fat"),1201 workers:1202 Map(1203 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1204 1 -> { heap: 300, job: "a", phase: Killed, rss: 400, startRss: 300 },1205 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1206 )1207 },1208 main::scheduler::wasFinished: false1209}12101211[State 57]1212{1213 main::scheduler::st:1214 {1215 done: Set("b", "c"),1216 errored: Set(),1217 estimate: 5000,1218 externalKills: 2,1219 mode: Parallel,1220 solo: ["huge", "a"],1221 todo: Set("fat"),1222 workers:1223 Map(1224 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1225 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1226 2 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 }1227 )1228 },1229 main::scheduler::wasFinished: false1230}12311232[State 58]1233{1234 main::scheduler::st:1235 {1236 done: Set("b", "c"),1237 errored: Set(),1238 estimate: 5000,1239 externalKills: 2,1240 mode: Solo,1241 solo: ["huge", "a"],1242 todo: Set("fat"),1243 workers:1244 Map(1245 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1246 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1247 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1248 )1249 },1250 main::scheduler::wasFinished: false1251}12521253[State 59]1254{1255 main::scheduler::st:1256 {1257 done: Set("b", "c"),1258 errored: Set(),1259 estimate: 5000,1260 externalKills: 2,1261 mode: Solo,1262 solo: ["huge", "a"],1263 todo: Set("fat"),1264 workers:1265 Map(1266 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1267 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1268 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1269 )1270 },1271 main::scheduler::wasFinished: false1272}12731274[State 60]1275{1276 main::scheduler::st:1277 {1278 done: Set("b", "c"),1279 errored: Set(),1280 estimate: 5000,1281 externalKills: 2,1282 mode: Solo,1283 solo: ["huge", "a"],1284 todo: Set("fat"),1285 workers:1286 Map(1287 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1288 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1289 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1290 )1291 },1292 main::scheduler::wasFinished: false1293}12941295[State 61]1296{1297 main::scheduler::st:1298 {1299 done: Set("b", "c"),1300 errored: Set(),1301 estimate: 5000,1302 externalKills: 2,1303 mode: Solo,1304 solo: ["huge", "a"],1305 todo: Set("fat"),1306 workers:1307 Map(1308 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1309 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1310 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1311 )1312 },1313 main::scheduler::wasFinished: false1314}13151316[State 62]1317{1318 main::scheduler::st:1319 {1320 done: Set("b", "c"),1321 errored: Set(),1322 estimate: 5000,1323 externalKills: 2,1324 mode: Solo,1325 solo: ["huge", "a"],1326 todo: Set("fat"),1327 workers:1328 Map(1329 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1330 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1331 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1332 )1333 },1334 main::scheduler::wasFinished: false1335}13361337[State 63]1338{1339 main::scheduler::st:1340 {1341 done: Set("b", "c"),1342 errored: Set(),1343 estimate: 5000,1344 externalKills: 2,1345 mode: Solo,1346 solo: ["huge", "a"],1347 todo: Set("fat"),1348 workers:1349 Map(1350 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1351 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1352 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1353 )1354 },1355 main::scheduler::wasFinished: false1356}13571358[State 64]1359{1360 main::scheduler::st:1361 {1362 done: Set("b", "c"),1363 errored: Set(),1364 estimate: 5000,1365 externalKills: 2,1366 mode: Solo,1367 solo: ["huge", "a"],1368 todo: Set("fat"),1369 workers:1370 Map(1371 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1372 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1373 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1374 )1375 },1376 main::scheduler::wasFinished: false1377}13781379[State 65]1380{1381 main::scheduler::st:1382 {1383 done: Set("b", "c"),1384 errored: Set(),1385 estimate: 5000,1386 externalKills: 2,1387 mode: Solo,1388 solo: ["huge", "a"],1389 todo: Set("fat"),1390 workers:1391 Map(1392 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1393 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1394 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1395 )1396 },1397 main::scheduler::wasFinished: false1398}13991400[State 66]1401{1402 main::scheduler::st:1403 {1404 done: Set("b", "c"),1405 errored: Set(),1406 estimate: 5000,1407 externalKills: 2,1408 mode: Solo,1409 solo: ["huge", "a"],1410 todo: Set("fat"),1411 workers:1412 Map(1413 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1414 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1415 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1416 )1417 },1418 main::scheduler::wasFinished: false1419}14201421[State 67]1422{1423 main::scheduler::st:1424 {1425 done: Set("b", "c"),1426 errored: Set(),1427 estimate: 5000,1428 externalKills: 2,1429 mode: Solo,1430 solo: ["huge", "a"],1431 todo: Set("fat"),1432 workers:1433 Map(1434 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1435 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1436 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1437 )1438 },1439 main::scheduler::wasFinished: false1440}14411442[State 68]1443{1444 main::scheduler::st:1445 {1446 done: Set("b", "c"),1447 errored: Set(),1448 estimate: 5000,1449 externalKills: 2,1450 mode: Solo,1451 solo: ["huge", "a"],1452 todo: Set("fat"),1453 workers:1454 Map(1455 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1456 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1457 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1458 )1459 },1460 main::scheduler::wasFinished: false1461}14621463[State 69]1464{1465 main::scheduler::st:1466 {1467 done: Set("b", "c"),1468 errored: Set(),1469 estimate: 5000,1470 externalKills: 2,1471 mode: Solo,1472 solo: ["huge", "a"],1473 todo: Set("fat"),1474 workers:1475 Map(1476 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1477 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1478 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1479 )1480 },1481 main::scheduler::wasFinished: false1482}14831484[State 70]1485{1486 main::scheduler::st:1487 {1488 done: Set("b", "c"),1489 errored: Set(),1490 estimate: 5000,1491 externalKills: 2,1492 mode: Solo,1493 solo: ["huge"],1494 todo: Set("fat"),1495 workers:1496 Map(1497 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1498 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1499 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }1500 )1501 },1502 main::scheduler::wasFinished: false1503}15041505[State 71]1506{1507 main::scheduler::st:1508 {1509 done: Set("b", "c"),1510 errored: Set(),1511 estimate: 5000,1512 externalKills: 2,1513 mode: Solo,1514 solo: ["huge"],1515 todo: Set("fat"),1516 workers:1517 Map(1518 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1519 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1520 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1521 )1522 },1523 main::scheduler::wasFinished: false1524}15251526[State 72]1527{1528 main::scheduler::st:1529 {1530 done: Set("b", "c"),1531 errored: Set(),1532 estimate: 5000,1533 externalKills: 2,1534 mode: Solo,1535 solo: ["huge"],1536 todo: Set("fat"),1537 workers:1538 Map(1539 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1540 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1541 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1542 )1543 },1544 main::scheduler::wasFinished: false1545}15461547[State 73]1548{1549 main::scheduler::st:1550 {1551 done: Set("b", "c"),1552 errored: Set(),1553 estimate: 5000,1554 externalKills: 2,1555 mode: Solo,1556 solo: ["huge"],1557 todo: Set("fat"),1558 workers:1559 Map(1560 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1561 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1562 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1563 )1564 },1565 main::scheduler::wasFinished: false1566}15671568[State 74]1569{1570 main::scheduler::st:1571 {1572 done: Set("b", "c"),1573 errored: Set(),1574 estimate: 5000,1575 externalKills: 2,1576 mode: Solo,1577 solo: ["huge"],1578 todo: Set("fat"),1579 workers:1580 Map(1581 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1582 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1583 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1584 )1585 },1586 main::scheduler::wasFinished: false1587}15881589[State 75]1590{1591 main::scheduler::st:1592 {1593 done: Set("a", "b", "c"),1594 errored: Set(),1595 estimate: 4900,1596 externalKills: 2,1597 mode: Parallel,1598 solo: ["huge"],1599 todo: Set("fat"),1600 workers:1601 Map(1602 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1603 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1604 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }1605 )1606 },1607 main::scheduler::wasFinished: false1608}16091610[State 76]1611{1612 main::scheduler::st:1613 {1614 done: Set("a", "b", "c"),1615 errored: Set(),1616 estimate: 4900,1617 externalKills: 2,1618 mode: Parallel,1619 solo: ["huge"],1620 todo: Set("fat"),1621 workers:1622 Map(1623 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1624 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1625 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }1626 )1627 },1628 main::scheduler::wasFinished: false1629}16301631[State 77]1632{1633 main::scheduler::st:1634 {1635 done: Set("a", "b", "c"),1636 errored: Set(),1637 estimate: 4900,1638 externalKills: 2,1639 mode: Solo,1640 solo: ["huge"],1641 todo: Set("fat"),1642 workers:1643 Map(1644 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1645 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1646 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1647 )1648 },1649 main::scheduler::wasFinished: false1650}16511652[State 78]1653{1654 main::scheduler::st:1655 {1656 done: Set("a", "b", "c"),1657 errored: Set(),1658 estimate: 4900,1659 externalKills: 2,1660 mode: Solo,1661 solo: ["huge"],1662 todo: Set("fat"),1663 workers:1664 Map(1665 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1666 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1667 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1668 )1669 },1670 main::scheduler::wasFinished: false1671}16721673[State 79]1674{1675 main::scheduler::st:1676 {1677 done: Set("a", "b", "c"),1678 errored: Set(),1679 estimate: 4900,1680 externalKills: 2,1681 mode: Solo,1682 solo: ["huge"],1683 todo: Set("fat"),1684 workers:1685 Map(1686 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1687 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1688 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1689 )1690 },1691 main::scheduler::wasFinished: false1692}16931694[State 80]1695{1696 main::scheduler::st:1697 {1698 done: Set("a", "b", "c"),1699 errored: Set(),1700 estimate: 4900,1701 externalKills: 2,1702 mode: Solo,1703 solo: ["huge"],1704 todo: Set("fat"),1705 workers:1706 Map(1707 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1708 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1709 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1710 )1711 },1712 main::scheduler::wasFinished: false1713}17141715[State 81]1716{1717 main::scheduler::st:1718 {1719 done: Set("a", "b", "c"),1720 errored: Set(),1721 estimate: 4900,1722 externalKills: 2,1723 mode: Solo,1724 solo: ["huge"],1725 todo: Set("fat"),1726 workers:1727 Map(1728 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1729 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1730 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1731 )1732 },1733 main::scheduler::wasFinished: false1734}17351736[State 82]1737{1738 main::scheduler::st:1739 {1740 done: Set("a", "b", "c"),1741 errored: Set(),1742 estimate: 4900,1743 externalKills: 2,1744 mode: Solo,1745 solo: ["huge"],1746 todo: Set("fat"),1747 workers:1748 Map(1749 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1750 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1751 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1752 )1753 },1754 main::scheduler::wasFinished: false1755}17561757[State 83]1758{1759 main::scheduler::st:1760 {1761 done: Set("a", "b", "c"),1762 errored: Set(),1763 estimate: 4900,1764 externalKills: 2,1765 mode: Solo,1766 solo: ["huge"],1767 todo: Set("fat"),1768 workers:1769 Map(1770 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1771 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1772 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1773 )1774 },1775 main::scheduler::wasFinished: false1776}17771778[State 84]1779{1780 main::scheduler::st:1781 {1782 done: Set("a", "b", "c"),1783 errored: Set(),1784 estimate: 4900,1785 externalKills: 2,1786 mode: Solo,1787 solo: ["huge"],1788 todo: Set("fat"),1789 workers:1790 Map(1791 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1792 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1793 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1794 )1795 },1796 main::scheduler::wasFinished: false1797}17981799[State 85]1800{1801 main::scheduler::st:1802 {1803 done: Set("a", "b", "c"),1804 errored: Set(),1805 estimate: 4900,1806 externalKills: 2,1807 mode: Solo,1808 solo: ["huge"],1809 todo: Set("fat"),1810 workers:1811 Map(1812 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1813 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1814 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1815 )1816 },1817 main::scheduler::wasFinished: false1818}18191820[State 86]1821{1822 main::scheduler::st:1823 {1824 done: Set("a", "b", "c"),1825 errored: Set(),1826 estimate: 4900,1827 externalKills: 2,1828 mode: Solo,1829 solo: [],1830 todo: Set("fat"),1831 workers:1832 Map(1833 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1834 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1835 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1836 )1837 },1838 main::scheduler::wasFinished: false1839}18401841[State 87]1842{1843 main::scheduler::st:1844 {1845 done: Set("a", "b", "c"),1846 errored: Set(),1847 estimate: 4900,1848 externalKills: 2,1849 mode: Solo,1850 solo: [],1851 todo: Set("fat"),1852 workers:1853 Map(1854 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1855 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1856 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1857 )1858 },1859 main::scheduler::wasFinished: false1860}18611862[State 88]1863{1864 main::scheduler::st:1865 {1866 done: Set("a", "b", "c"),1867 errored: Set(),1868 estimate: 4900,1869 externalKills: 2,1870 mode: Solo,1871 solo: [],1872 todo: Set("fat"),1873 workers:1874 Map(1875 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1876 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1877 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1878 )1879 },1880 main::scheduler::wasFinished: false1881}18821883[State 89]1884{1885 main::scheduler::st:1886 {1887 done: Set("a", "b", "c"),1888 errored: Set(),1889 estimate: 4900,1890 externalKills: 2,1891 mode: Solo,1892 solo: [],1893 todo: Set("fat"),1894 workers:1895 Map(1896 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1897 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1898 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1899 )1900 },1901 main::scheduler::wasFinished: false1902}19031904[State 90]1905{1906 main::scheduler::st:1907 {1908 done: Set("a", "b", "c"),1909 errored: Set(),1910 estimate: 4900,1911 externalKills: 2,1912 mode: Solo,1913 solo: [],1914 todo: Set("fat"),1915 workers:1916 Map(1917 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1918 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1919 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }1920 )1921 },1922 main::scheduler::wasFinished: false1923}19241925[State 91]1926{1927 main::scheduler::st:1928 {1929 done: Set("a", "b", "c", "huge"),1930 errored: Set(),1931 estimate: 4802,1932 externalKills: 2,1933 mode: Parallel,1934 solo: [],1935 todo: Set("fat"),1936 workers:1937 Map(1938 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1939 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1940 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }1941 )1942 },1943 main::scheduler::wasFinished: false1944}19451946[State 92]1947{1948 main::scheduler::st:1949 {1950 done: Set("a", "b", "c", "huge"),1951 errored: Set(),1952 estimate: 4802,1953 externalKills: 2,1954 mode: Parallel,1955 solo: [],1956 todo: Set("fat"),1957 workers:1958 Map(1959 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1960 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1961 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }1962 )1963 },1964 main::scheduler::wasFinished: false1965}19661967[State 93]1968{1969 main::scheduler::st:1970 {1971 done: Set("a", "b", "c", "huge"),1972 errored: Set(),1973 estimate: 4802,1974 externalKills: 2,1975 mode: Parallel,1976 solo: [],1977 todo: Set("fat"),1978 workers:1979 Map(1980 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1981 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1982 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }1983 )1984 },1985 main::scheduler::wasFinished: false1986}19871988[State 94]1989{1990 main::scheduler::st:1991 {1992 done: Set("a", "b", "c", "huge"),1993 errored: Set(),1994 estimate: 4802,1995 externalKills: 2,1996 mode: Parallel,1997 solo: [],1998 todo: Set("fat"),1999 workers:2000 Map(2001 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2002 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2003 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2004 )2005 },2006 main::scheduler::wasFinished: false2007}20082009[State 95]2010{2011 main::scheduler::st:2012 {2013 done: Set("a", "b", "c", "huge"),2014 errored: Set(),2015 estimate: 4802,2016 externalKills: 2,2017 mode: Parallel,2018 solo: [],2019 todo: Set("fat"),2020 workers:2021 Map(2022 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2023 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2024 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2025 )2026 },2027 main::scheduler::wasFinished: false2028}20292030[State 96]2031{2032 main::scheduler::st:2033 {2034 done: Set("a", "b", "c", "huge"),2035 errored: Set(),2036 estimate: 4802,2037 externalKills: 2,2038 mode: Parallel,2039 solo: [],2040 todo: Set("fat"),2041 workers:2042 Map(2043 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2044 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2045 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2046 )2047 },2048 main::scheduler::wasFinished: false2049}20502051[State 97]2052{2053 main::scheduler::st:2054 {2055 done: Set("a", "b", "c", "huge"),2056 errored: Set(),2057 estimate: 4802,2058 externalKills: 2,2059 mode: Parallel,2060 solo: [],2061 todo: Set("fat"),2062 workers:2063 Map(2064 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2065 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2066 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2067 )2068 },2069 main::scheduler::wasFinished: false2070}20712072[State 98]2073{2074 main::scheduler::st:2075 {2076 done: Set("a", "b", "c", "huge"),2077 errored: Set(),2078 estimate: 4802,2079 externalKills: 2,2080 mode: Parallel,2081 solo: [],2082 todo: Set("fat"),2083 workers:2084 Map(2085 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2086 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2087 2 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 }2088 )2089 },2090 main::scheduler::wasFinished: false2091}20922093[State 99]2094{2095 main::scheduler::st:2096 {2097 done: Set("a", "b", "c", "huge"),2098 errored: Set(),2099 estimate: 4802,2100 externalKills: 2,2101 mode: Parallel,2102 solo: [],2103 todo: Set("fat"),2104 workers:2105 Map(2106 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2107 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2108 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2109 )2110 },2111 main::scheduler::wasFinished: false2112}21132114[State 100]2115{2116 main::scheduler::st:2117 {2118 done: Set("a", "b", "c", "huge"),2119 errored: Set(),2120 estimate: 4802,2121 externalKills: 2,2122 mode: Parallel,2123 solo: [],2124 todo: Set("fat"),2125 workers:2126 Map(2127 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2128 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2129 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2130 )2131 },2132 main::scheduler::wasFinished: false2133}21342135[State 101]2136{2137 main::scheduler::st:2138 {2139 done: Set("a", "b", "c", "huge"),2140 errored: Set(),2141 estimate: 4802,2142 externalKills: 2,2143 mode: Parallel,2144 solo: [],2145 todo: Set("fat"),2146 workers:2147 Map(2148 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2149 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2150 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2151 )2152 },2153 main::scheduler::wasFinished: false2154}21552156[State 102]2157{2158 main::scheduler::st:2159 {2160 done: Set("a", "b", "c", "huge"),2161 errored: Set(),2162 estimate: 4802,2163 externalKills: 2,2164 mode: Parallel,2165 solo: [],2166 todo: Set("fat"),2167 workers:2168 Map(2169 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2170 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2171 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2172 )2173 },2174 main::scheduler::wasFinished: false2175}21762177[State 103]2178{2179 main::scheduler::st:2180 {2181 done: Set("a", "b", "c", "huge"),2182 errored: Set(),2183 estimate: 4802,2184 externalKills: 2,2185 mode: Parallel,2186 solo: [],2187 todo: Set("fat"),2188 workers:2189 Map(2190 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2191 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2192 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2193 )2194 },2195 main::scheduler::wasFinished: false2196}21972198[State 104]2199{2200 main::scheduler::st:2201 {2202 done: Set("a", "b", "c", "huge"),2203 errored: Set(),2204 estimate: 4802,2205 externalKills: 2,2206 mode: Parallel,2207 solo: [],2208 todo: Set("fat"),2209 workers:2210 Map(2211 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2212 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2213 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2214 )2215 },2216 main::scheduler::wasFinished: false2217}22182219[State 105]2220{2221 main::scheduler::st:2222 {2223 done: Set("a", "b", "c", "huge"),2224 errored: Set(),2225 estimate: 4802,2226 externalKills: 2,2227 mode: Parallel,2228 solo: [],2229 todo: Set("fat"),2230 workers:2231 Map(2232 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2233 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2234 2 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 }2235 )2236 },2237 main::scheduler::wasFinished: false2238}22392240[State 106]2241{2242 main::scheduler::st:2243 {2244 done: Set("a", "b", "c", "huge"),2245 errored: Set(),2246 estimate: 4802,2247 externalKills: 2,2248 mode: Parallel,2249 solo: [],2250 todo: Set(),2251 workers:2252 Map(2253 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2254 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2255 2 ->2256 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2257 )2258 },2259 main::scheduler::wasFinished: false2260}22612262[State 107]2263{2264 main::scheduler::st:2265 {2266 done: Set("a", "b", "c", "huge"),2267 errored: Set(),2268 estimate: 4802,2269 externalKills: 2,2270 mode: Parallel,2271 solo: [],2272 todo: Set(),2273 workers:2274 Map(2275 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2276 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2277 2 ->2278 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2279 )2280 },2281 main::scheduler::wasFinished: false2282}22832284[State 108]2285{2286 main::scheduler::st:2287 {2288 done: Set("a", "b", "c", "huge"),2289 errored: Set(),2290 estimate: 4802,2291 externalKills: 2,2292 mode: Parallel,2293 solo: [],2294 todo: Set(),2295 workers:2296 Map(2297 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2298 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2299 2 ->2300 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2301 )2302 },2303 main::scheduler::wasFinished: false2304}23052306[State 109]2307{2308 main::scheduler::st:2309 {2310 done: Set("a", "b", "c", "huge"),2311 errored: Set(),2312 estimate: 4802,2313 externalKills: 2,2314 mode: Parallel,2315 solo: [],2316 todo: Set(),2317 workers:2318 Map(2319 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2320 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2321 2 ->2322 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2323 )2324 },2325 main::scheduler::wasFinished: false2326}23272328[State 110]2329{2330 main::scheduler::st:2331 {2332 done: Set("a", "b", "c", "huge"),2333 errored: Set(),2334 estimate: 4802,2335 externalKills: 2,2336 mode: Parallel,2337 solo: [],2338 todo: Set(),2339 workers:2340 Map(2341 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2342 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2343 2 ->2344 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2345 )2346 },2347 main::scheduler::wasFinished: false2348}23492350[State 111]2351{2352 main::scheduler::st:2353 {2354 done: Set("a", "b", "c", "huge"),2355 errored: Set(),2356 estimate: 4802,2357 externalKills: 2,2358 mode: Parallel,2359 solo: [],2360 todo: Set(),2361 workers:2362 Map(2363 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2364 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2365 2 ->2366 { heap: 2800, job: "fat", phase: Busy, rss: 2800, startRss: 2800 }2367 )2368 },2369 main::scheduler::wasFinished: false2370}23712372[State 112]2373{2374 main::scheduler::st:2375 {2376 done: Set("a", "b", "c", "huge"),2377 errored: Set(),2378 estimate: 4802,2379 externalKills: 2,2380 mode: Parallel,2381 solo: [],2382 todo: Set(),2383 workers:2384 Map(2385 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2386 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2387 2 ->2388 { heap: 2800, job: "fat", phase: Busy, rss: 4800, startRss: 2800 }2389 )2390 },2391 main::scheduler::wasFinished: false2392}23932394[State 113]2395{2396 main::scheduler::st:2397 {2398 done: Set("a", "b", "c", "huge"),2399 errored: Set(),2400 estimate: 4802,2401 externalKills: 2,2402 mode: Parallel,2403 solo: [],2404 todo: Set(),2405 workers:2406 Map(2407 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2408 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2409 2 ->2410 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2411 )2412 },2413 main::scheduler::wasFinished: false2414}24152416[State 114]2417{2418 main::scheduler::st:2419 {2420 done: Set("a", "b", "c", "huge"),2421 errored: Set(),2422 estimate: 4802,2423 externalKills: 2,2424 mode: Parallel,2425 solo: [],2426 todo: Set(),2427 workers:2428 Map(2429 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2430 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2431 2 ->2432 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2433 )2434 },2435 main::scheduler::wasFinished: false2436}24372438[State 115]2439{2440 main::scheduler::st:2441 {2442 done: Set("a", "b", "c", "huge"),2443 errored: Set(),2444 estimate: 4802,2445 externalKills: 2,2446 mode: Parallel,2447 solo: [],2448 todo: Set(),2449 workers:2450 Map(2451 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2452 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2453 2 ->2454 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2455 )2456 },2457 main::scheduler::wasFinished: false2458}24592460[State 116]2461{2462 main::scheduler::st:2463 {2464 done: Set("a", "b", "c", "huge"),2465 errored: Set(),2466 estimate: 4802,2467 externalKills: 2,2468 mode: Parallel,2469 solo: [],2470 todo: Set(),2471 workers:2472 Map(2473 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2474 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2475 2 ->2476 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2477 )2478 },2479 main::scheduler::wasFinished: false2480}24812482[State 117]2483{2484 main::scheduler::st:2485 {2486 done: Set("a", "b", "c", "huge"),2487 errored: Set(),2488 estimate: 4802,2489 externalKills: 2,2490 mode: Parallel,2491 solo: [],2492 todo: Set(),2493 workers:2494 Map(2495 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2496 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2497 2 ->2498 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2499 )2500 },2501 main::scheduler::wasFinished: false2502}25032504[State 118]2505{2506 main::scheduler::st:2507 {2508 done: Set("a", "b", "c", "huge"),2509 errored: Set(),2510 estimate: 4802,2511 externalKills: 2,2512 mode: Parallel,2513 solo: [],2514 todo: Set(),2515 workers:2516 Map(2517 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2518 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2519 2 ->2520 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2521 )2522 },2523 main::scheduler::wasFinished: false2524}25252526[State 119]2527{2528 main::scheduler::st:2529 {2530 done: Set("a", "b", "c", "huge"),2531 errored: Set(),2532 estimate: 4802,2533 externalKills: 2,2534 mode: Parallel,2535 solo: [],2536 todo: Set(),2537 workers:2538 Map(2539 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2540 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2541 2 ->2542 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2543 )2544 },2545 main::scheduler::wasFinished: false2546}25472548[State 120]2549{2550 main::scheduler::st:2551 {2552 done: Set("a", "b", "c", "huge"),2553 errored: Set(),2554 estimate: 4802,2555 externalKills: 2,2556 mode: Parallel,2557 solo: [],2558 todo: Set(),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 ->2564 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2565 )2566 },2567 main::scheduler::wasFinished: false2568}25692570[State 121]2571{2572 main::scheduler::st:2573 {2574 done: Set("a", "b", "c", "huge"),2575 errored: Set(),2576 estimate: 4802,2577 externalKills: 2,2578 mode: Parallel,2579 solo: [],2580 todo: Set(),2581 workers:2582 Map(2583 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2584 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2585 2 ->2586 { heap: 2800, job: "fat", phase: Killed, rss: 4800, startRss: 2800 }2587 )2588 },2589 main::scheduler::wasFinished: false2590}25912592[State 122]2593{2594 main::scheduler::st:2595 {2596 done: Set("a", "b", "c", "huge"),2597 errored: Set(),2598 estimate: 4802,2599 externalKills: 2,2600 mode: Parallel,2601 solo: ["fat"],2602 todo: Set(),2603 workers:2604 Map(2605 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2606 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2607 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2608 )2609 },2610 main::scheduler::wasFinished: false2611}26122613[State 123]2614{2615 main::scheduler::st:2616 {2617 done: Set("a", "b", "c", "huge"),2618 errored: Set(),2619 estimate: 4802,2620 externalKills: 2,2621 mode: Solo,2622 solo: ["fat"],2623 todo: Set(),2624 workers:2625 Map(2626 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2627 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2628 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2629 )2630 },2631 main::scheduler::wasFinished: false2632}26332634[State 124]2635{2636 main::scheduler::st:2637 {2638 done: Set("a", "b", "c", "huge"),2639 errored: Set(),2640 estimate: 4802,2641 externalKills: 2,2642 mode: Solo,2643 solo: ["fat"],2644 todo: Set(),2645 workers:2646 Map(2647 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2648 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2649 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2650 )2651 },2652 main::scheduler::wasFinished: false2653}26542655[State 125]2656{2657 main::scheduler::st:2658 {2659 done: Set("a", "b", "c", "huge"),2660 errored: Set(),2661 estimate: 4802,2662 externalKills: 2,2663 mode: Solo,2664 solo: ["fat"],2665 todo: Set(),2666 workers:2667 Map(2668 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2669 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2670 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2671 )2672 },2673 main::scheduler::wasFinished: false2674}26752676[State 126]2677{2678 main::scheduler::st:2679 {2680 done: Set("a", "b", "c", "huge"),2681 errored: Set(),2682 estimate: 4802,2683 externalKills: 2,2684 mode: Solo,2685 solo: ["fat"],2686 todo: Set(),2687 workers:2688 Map(2689 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2690 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2691 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2692 )2693 },2694 main::scheduler::wasFinished: false2695}26962697[State 127]2698{2699 main::scheduler::st:2700 {2701 done: Set("a", "b", "c", "huge"),2702 errored: Set(),2703 estimate: 4802,2704 externalKills: 2,2705 mode: Solo,2706 solo: ["fat"],2707 todo: Set(),2708 workers:2709 Map(2710 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2711 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2712 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2713 )2714 },2715 main::scheduler::wasFinished: false2716}27172718[State 128]2719{2720 main::scheduler::st:2721 {2722 done: Set("a", "b", "c", "huge"),2723 errored: Set(),2724 estimate: 4802,2725 externalKills: 2,2726 mode: Solo,2727 solo: ["fat"],2728 todo: Set(),2729 workers:2730 Map(2731 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2732 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2733 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2734 )2735 },2736 main::scheduler::wasFinished: false2737}27382739[State 129]2740{2741 main::scheduler::st:2742 {2743 done: Set("a", "b", "c", "huge"),2744 errored: Set(),2745 estimate: 4802,2746 externalKills: 2,2747 mode: Solo,2748 solo: [],2749 todo: Set(),2750 workers:2751 Map(2752 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2753 1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2754 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2755 )2756 },2757 main::scheduler::wasFinished: false2758}27592760[State 130]2761{2762 main::scheduler::st:2763 {2764 done: Set("a", "b", "c", "huge"),2765 errored: Set(),2766 estimate: 4802,2767 externalKills: 2,2768 mode: Solo,2769 solo: [],2770 todo: Set(),2771 workers:2772 Map(2773 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2774 1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2775 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2776 )2777 },2778 main::scheduler::wasFinished: false2779}27802781[State 131]2782{2783 main::scheduler::st:2784 {2785 done: Set("a", "b", "c", "huge"),2786 errored: Set(),2787 estimate: 4802,2788 externalKills: 2,2789 mode: Solo,2790 solo: [],2791 todo: Set(),2792 workers:2793 Map(2794 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2795 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2796 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2797 )2798 },2799 main::scheduler::wasFinished: false2800}28012802[State 132]2803{2804 main::scheduler::st:2805 {2806 done: Set("a", "b", "c", "huge"),2807 errored: Set(),2808 estimate: 4802,2809 externalKills: 2,2810 mode: Solo,2811 solo: [],2812 todo: Set(),2813 workers:2814 Map(2815 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2816 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2817 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2818 )2819 },2820 main::scheduler::wasFinished: false2821}28222823[State 133]2824{2825 main::scheduler::st:2826 {2827 done: Set("a", "b", "c", "huge"),2828 errored: Set(),2829 estimate: 4802,2830 externalKills: 2,2831 mode: Solo,2832 solo: [],2833 todo: Set(),2834 workers:2835 Map(2836 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2837 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2838 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2839 )2840 },2841 main::scheduler::wasFinished: false2842}28432844[State 134]2845{2846 main::scheduler::st:2847 {2848 done: Set("a", "b", "c", "huge"),2849 errored: Set(),2850 estimate: 4802,2851 externalKills: 2,2852 mode: Solo,2853 solo: [],2854 todo: Set(),2855 workers:2856 Map(2857 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2858 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2859 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2860 )2861 },2862 main::scheduler::wasFinished: false2863}28642865[State 135]2866{2867 main::scheduler::st:2868 {2869 done: Set("a", "b", "c", "huge"),2870 errored: Set(),2871 estimate: 4802,2872 externalKills: 2,2873 mode: Solo,2874 solo: [],2875 todo: Set(),2876 workers:2877 Map(2878 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2879 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2880 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2881 )2882 },2883 main::scheduler::wasFinished: false2884}28852886[State 136]2887{2888 main::scheduler::st:2889 {2890 done: Set("a", "b", "c", "huge"),2891 errored: Set(),2892 estimate: 4802,2893 externalKills: 2,2894 mode: Solo,2895 solo: [],2896 todo: Set(),2897 workers:2898 Map(2899 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2900 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2901 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2902 )2903 },2904 main::scheduler::wasFinished: false2905}29062907[State 137]2908{2909 main::scheduler::st:2910 {2911 done: Set("a", "b", "c", "huge"),2912 errored: Set(),2913 estimate: 4802,2914 externalKills: 2,2915 mode: Solo,2916 solo: [],2917 todo: Set(),2918 workers:2919 Map(2920 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2921 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2922 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2923 )2924 },2925 main::scheduler::wasFinished: false2926}29272928[State 138]2929{2930 main::scheduler::st:2931 {2932 done: Set("a", "b", "c", "fat", "huge"),2933 errored: Set(),2934 estimate: 4705,2935 externalKills: 2,2936 mode: Parallel,2937 solo: [],2938 todo: Set(),2939 workers:2940 Map(2941 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2942 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2943 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2944 )2945 },2946 main::scheduler::wasFinished: false2947}29482949[State 139]2950{2951 main::scheduler::st:2952 {2953 done: Set("a", "b", "c", "fat", "huge"),2954 errored: Set(),2955 estimate: 4705,2956 externalKills: 2,2957 mode: Parallel,2958 solo: [],2959 todo: Set(),2960 workers:2961 Map(2962 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2963 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2964 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2965 )2966 },2967 main::scheduler::wasFinished: true2968}29692970[State 140]2971{2972 main::scheduler::st:2973 {2974 done: Set("a", "b", "c", "fat", "huge"),2975 errored: Set(),2976 estimate: 4705,2977 externalKills: 2,2978 mode: Parallel,2979 solo: [],2980 todo: Set(),2981 workers:2982 Map(2983 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2984 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2985 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2986 )2987 },2988 main::scheduler::wasFinished: true2989}29902991[State 141]2992{2993 main::scheduler::st:2994 {2995 done: Set("a", "b", "c", "fat", "huge"),2996 errored: Set(),2997 estimate: 4705,2998 externalKills: 2,2999 mode: Parallel,3000 solo: [],3001 todo: Set(),3002 workers:3003 Map(3004 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3005 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3006 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3007 )3008 },3009 main::scheduler::wasFinished: true3010}30113012[State 142]3013{3014 main::scheduler::st:3015 {3016 done: Set("a", "b", "c", "fat", "huge"),3017 errored: Set(),3018 estimate: 4705,3019 externalKills: 2,3020 mode: Parallel,3021 solo: [],3022 todo: Set(),3023 workers:3024 Map(3025 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3026 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3027 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3028 )3029 },3030 main::scheduler::wasFinished: true3031}30323033[State 143]3034{3035 main::scheduler::st:3036 {3037 done: Set("a", "b", "c", "fat", "huge"),3038 errored: Set(),3039 estimate: 4705,3040 externalKills: 2,3041 mode: Parallel,3042 solo: [],3043 todo: Set(),3044 workers:3045 Map(3046 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3047 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3048 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3049 )3050 },3051 main::scheduler::wasFinished: true3052}30533054[State 144]3055{3056 main::scheduler::st:3057 {3058 done: Set("a", "b", "c", "fat", "huge"),3059 errored: Set(),3060 estimate: 4705,3061 externalKills: 2,3062 mode: Parallel,3063 solo: [],3064 todo: Set(),3065 workers:3066 Map(3067 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3068 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3069 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3070 )3071 },3072 main::scheduler::wasFinished: true3073}30743075[State 145]3076{3077 main::scheduler::st:3078 {3079 done: Set("a", "b", "c", "fat", "huge"),3080 errored: Set(),3081 estimate: 4705,3082 externalKills: 2,3083 mode: Parallel,3084 solo: [],3085 todo: Set(),3086 workers:3087 Map(3088 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3089 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3090 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3091 )3092 },3093 main::scheduler::wasFinished: true3094}30953096[State 146]3097{3098 main::scheduler::st:3099 {3100 done: Set("a", "b", "c", "fat", "huge"),3101 errored: Set(),3102 estimate: 4705,3103 externalKills: 2,3104 mode: Parallel,3105 solo: [],3106 todo: Set(),3107 workers:3108 Map(3109 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3110 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3111 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3112 )3113 },3114 main::scheduler::wasFinished: true3115}31163117[State 147]3118{3119 main::scheduler::st:3120 {3121 done: Set("a", "b", "c", "fat", "huge"),3122 errored: Set(),3123 estimate: 4705,3124 externalKills: 2,3125 mode: Parallel,3126 solo: [],3127 todo: Set(),3128 workers:3129 Map(3130 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3131 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3132 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3133 )3134 },3135 main::scheduler::wasFinished: true3136}31373138[State 148]3139{3140 main::scheduler::st:3141 {3142 done: Set("a", "b", "c", "fat", "huge"),3143 errored: Set(),3144 estimate: 4705,3145 externalKills: 2,3146 mode: Parallel,3147 solo: [],3148 todo: Set(),3149 workers:3150 Map(3151 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3152 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3153 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3154 )3155 },3156 main::scheduler::wasFinished: true3157}31583159[State 149]3160{3161 main::scheduler::st:3162 {3163 done: Set("a", "b", "c", "fat", "huge"),3164 errored: Set(),3165 estimate: 4705,3166 externalKills: 2,3167 mode: Parallel,3168 solo: [],3169 todo: Set(),3170 workers:3171 Map(3172 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3173 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3174 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3175 )3176 },3177 main::scheduler::wasFinished: true3178}31793180[State 150]3181{3182 main::scheduler::st:3183 {3184 done: Set("a", "b", "c", "fat", "huge"),3185 errored: Set(),3186 estimate: 4705,3187 externalKills: 2,3188 mode: Parallel,3189 solo: [],3190 todo: Set(),3191 workers:3192 Map(3193 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3194 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },3195 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3196 )3197 },3198 main::scheduler::wasFinished: true3199}32003201[ok] No violation found (1732ms at 1155 traces/second).3202Trace length statistics: max=151, min=59, average=114.833203You may increase --max-samples and --max-steps.3204Use --verbosity to produce more (or less) output.3205Use --seed=0x2b6ce86e5b5b212b --backend=rust to reproduce.32063207 noOomKiller3208 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3209 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)32103211 2 passing (27606ms)32123213 main3214 ok main::scheduler::terminatesTest passed 200 test(s)32153216 1 passing (13048ms)