nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #75
· 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: Idle, 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", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },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", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },123 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },124 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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", "fat", "huge"),141 workers:142 Map(143 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },144 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: ["c"],161 todo: Set("a", "b", "fat", "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: "", phase: Starting, rss: 300, 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: Solo,181 solo: ["c"],182 todo: Set("a", "b", "fat", "huge"),183 workers:184 Map(185 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },186 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },187 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: Solo,202 solo: ["c"],203 todo: Set("a", "b", "fat", "huge"),204 workers:205 Map(206 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },207 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,222 mode: Solo,223 solo: ["c"],224 todo: Set("a", "b", "fat", "huge"),225 workers:226 Map(227 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,243 mode: Solo,244 solo: ["c"],245 todo: Set("a", "b", "fat", "huge"),246 workers:247 Map(248 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,264 mode: Solo,265 solo: ["c"],266 todo: Set("a", "b", "fat", "huge"),267 workers:268 Map(269 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,285 mode: Solo,286 solo: ["c"],287 todo: Set("a", "b", "fat", "huge"),288 workers:289 Map(290 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },291 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,306 mode: Solo,307 solo: ["c"],308 todo: Set("a", "b", "fat", "huge"),309 workers:310 Map(311 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },312 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,327 mode: Solo,328 solo: ["c"],329 todo: Set("a", "b", "fat", "huge"),330 workers:331 Map(332 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },333 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,348 mode: Solo,349 solo: ["c"],350 todo: Set("a", "b", "fat", "huge"),351 workers:352 Map(353 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },354 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },355 2 -> { heap: 300, job: "", phase: Starting, 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: 1,369 mode: Solo,370 solo: ["c"],371 todo: Set("a", "b", "fat", "huge"),372 workers:373 Map(374 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },375 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },376 2 -> { heap: 300, job: "", phase: Starting, 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: 1,390 mode: Solo,391 solo: ["c"],392 todo: Set("a", "b", "fat", "huge"),393 workers:394 Map(395 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },396 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },397 2 -> { heap: 300, job: "", phase: Starting, 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: 1,411 mode: Solo,412 solo: ["c"],413 todo: Set("a", "b", "fat", "huge"),414 workers:415 Map(416 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },417 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },418 2 -> { heap: 300, job: "", phase: Starting, 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: 1,432 mode: Solo,433 solo: ["c"],434 todo: Set("a", "b", "fat", "huge"),435 workers:436 Map(437 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },438 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,453 mode: Solo,454 solo: ["c"],455 todo: Set("a", "b", "fat", "huge"),456 workers:457 Map(458 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },459 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,474 mode: Solo,475 solo: ["c"],476 todo: Set("a", "b", "fat", "huge"),477 workers:478 Map(479 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },480 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,495 mode: Solo,496 solo: ["c"],497 todo: Set("a", "b", "fat", "huge"),498 workers:499 Map(500 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },501 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 1,516 mode: Solo,517 solo: [],518 todo: Set("a", "b", "fat", "huge"),519 workers:520 Map(521 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },522 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },523 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }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: 1,537 mode: Solo,538 solo: [],539 todo: Set("a", "b", "fat", "huge"),540 workers:541 Map(542 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },543 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },544 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, 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: 800,557 externalKills: 1,558 mode: Solo,559 solo: [],560 todo: Set("a", "b", "fat", "huge"),561 workers:562 Map(563 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },564 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },565 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, 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: 800,578 externalKills: 1,579 mode: Solo,580 solo: [],581 todo: Set("a", "b", "fat", "huge"),582 workers:583 Map(584 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },585 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 800,599 externalKills: 1,600 mode: Solo,601 solo: [],602 todo: Set("a", "b", "fat", "huge"),603 workers:604 Map(605 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },606 1 -> { heap: 0, job: "", phase: PNone, rss: 0, 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(),618 errored: Set(),619 estimate: 800,620 externalKills: 1,621 mode: Solo,622 solo: [],623 todo: Set("a", "b", "fat", "huge"),624 workers:625 Map(626 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },627 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },628 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }629 )630 },631 main::scheduler::wasFinished: false632}633634[State 30]635{636 main::scheduler::st:637 {638 done: Set(),639 errored: Set("c"),640 estimate: 800,641 externalKills: 2,642 mode: Parallel,643 solo: [],644 todo: Set("a", "b", "fat", "huge"),645 workers:646 Map(647 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },648 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },649 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }650 )651 },652 main::scheduler::wasFinished: false653}654655[State 31]656{657 main::scheduler::st:658 {659 done: Set(),660 errored: Set("c"),661 estimate: 800,662 externalKills: 2,663 mode: Parallel,664 solo: [],665 todo: Set("a", "b", "fat", "huge"),666 workers:667 Map(668 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },669 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },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(),681 errored: Set("c"),682 estimate: 800,683 externalKills: 2,684 mode: Parallel,685 solo: [],686 todo: Set("a", "b", "fat", "huge"),687 workers:688 Map(689 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },690 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },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(),702 errored: Set("c"),703 estimate: 800,704 externalKills: 2,705 mode: Parallel,706 solo: [],707 todo: Set("a", "b", "fat", "huge"),708 workers:709 Map(710 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },711 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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(),723 errored: Set("c"),724 estimate: 800,725 externalKills: 2,726 mode: Parallel,727 solo: [],728 todo: Set("a", "b", "fat", "huge"),729 workers:730 Map(731 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },732 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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(),744 errored: Set("c"),745 estimate: 800,746 externalKills: 2,747 mode: Parallel,748 solo: [],749 todo: Set("a", "b", "fat", "huge"),750 workers:751 Map(752 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },753 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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(),765 errored: Set("c"),766 estimate: 800,767 externalKills: 2,768 mode: Parallel,769 solo: [],770 todo: Set("a", "b", "fat", "huge"),771 workers:772 Map(773 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },774 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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(),786 errored: Set("c"),787 estimate: 800,788 externalKills: 2,789 mode: Parallel,790 solo: [],791 todo: Set("a", "b", "fat", "huge"),792 workers:793 Map(794 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },795 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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(),807 errored: Set("c"),808 estimate: 800,809 externalKills: 2,810 mode: Parallel,811 solo: [],812 todo: Set("a", "b", "fat", "huge"),813 workers:814 Map(815 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },816 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },817 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }818 )819 },820 main::scheduler::wasFinished: false821}822823[State 39]824{825 main::scheduler::st:826 {827 done: Set(),828 errored: Set("c"),829 estimate: 800,830 externalKills: 2,831 mode: Parallel,832 solo: [],833 todo: Set("a", "b", "fat", "huge"),834 workers:835 Map(836 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },837 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },838 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }839 )840 },841 main::scheduler::wasFinished: false842}843844[State 40]845{846 main::scheduler::st:847 {848 done: Set(),849 errored: Set("c"),850 estimate: 800,851 externalKills: 2,852 mode: Parallel,853 solo: [],854 todo: Set("a", "b", "fat", "huge"),855 workers:856 Map(857 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },858 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },859 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }860 )861 },862 main::scheduler::wasFinished: false863}864865[State 41]866{867 main::scheduler::st:868 {869 done: Set(),870 errored: Set("c"),871 estimate: 800,872 externalKills: 2,873 mode: Parallel,874 solo: [],875 todo: Set("a", "b", "fat", "huge"),876 workers:877 Map(878 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },879 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },880 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }881 )882 },883 main::scheduler::wasFinished: false884}885886[State 42]887{888 main::scheduler::st:889 {890 done: Set(),891 errored: Set("c"),892 estimate: 800,893 externalKills: 2,894 mode: Parallel,895 solo: [],896 todo: Set("a", "b", "fat", "huge"),897 workers:898 Map(899 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },900 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },901 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }902 )903 },904 main::scheduler::wasFinished: false905}906907[State 43]908{909 main::scheduler::st:910 {911 done: Set(),912 errored: Set("c"),913 estimate: 800,914 externalKills: 2,915 mode: Parallel,916 solo: [],917 todo: Set("a", "b", "fat", "huge"),918 workers:919 Map(920 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },921 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },922 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }923 )924 },925 main::scheduler::wasFinished: false926}927928[State 44]929{930 main::scheduler::st:931 {932 done: Set(),933 errored: Set("c"),934 estimate: 800,935 externalKills: 2,936 mode: Parallel,937 solo: [],938 todo: Set("b", "fat", "huge"),939 workers:940 Map(941 0 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },942 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },943 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }944 )945 },946 main::scheduler::wasFinished: false947}948949[State 45]950{951 main::scheduler::st:952 {953 done: Set(),954 errored: Set("c"),955 estimate: 800,956 externalKills: 2,957 mode: Parallel,958 solo: [],959 todo: Set("b", "fat", "huge"),960 workers:961 Map(962 0 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },963 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },964 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }965 )966 },967 main::scheduler::wasFinished: false968}969970[State 46]971{972 main::scheduler::st:973 {974 done: Set(),975 errored: Set("c"),976 estimate: 800,977 externalKills: 2,978 mode: Parallel,979 solo: [],980 todo: Set("b", "fat", "huge"),981 workers:982 Map(983 0 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },984 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },985 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }986 )987 },988 main::scheduler::wasFinished: false989}990991[State 47]992{993 main::scheduler::st:994 {995 done: Set("a"),996 errored: Set("c"),997 estimate: 784,998 externalKills: 2,999 mode: Parallel,1000 solo: [],1001 todo: Set("b", "fat", "huge"),1002 workers:1003 Map(1004 0 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },1005 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1006 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1007 )1008 },1009 main::scheduler::wasFinished: false1010}10111012[State 48]1013{1014 main::scheduler::st:1015 {1016 done: Set("a"),1017 errored: Set("c"),1018 estimate: 784,1019 externalKills: 2,1020 mode: Parallel,1021 solo: [],1022 todo: Set("b", "fat", "huge"),1023 workers:1024 Map(1025 0 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },1026 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1027 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1028 )1029 },1030 main::scheduler::wasFinished: false1031}10321033[State 49]1034{1035 main::scheduler::st:1036 {1037 done: Set("a"),1038 errored: Set("c"),1039 estimate: 784,1040 externalKills: 2,1041 mode: Parallel,1042 solo: [],1043 todo: Set("b", "huge"),1044 workers:1045 Map(1046 0 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },1047 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1048 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1049 )1050 },1051 main::scheduler::wasFinished: false1052}10531054[State 50]1055{1056 main::scheduler::st:1057 {1058 done: Set("a"),1059 errored: Set("c"),1060 estimate: 784,1061 externalKills: 2,1062 mode: Parallel,1063 solo: [],1064 todo: Set("b", "huge"),1065 workers:1066 Map(1067 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1068 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1069 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1070 )1071 },1072 main::scheduler::wasFinished: false1073}10741075[State 51]1076{1077 main::scheduler::st:1078 {1079 done: Set("a"),1080 errored: Set("c"),1081 estimate: 784,1082 externalKills: 2,1083 mode: Parallel,1084 solo: [],1085 todo: Set("b"),1086 workers:1087 Map(1088 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1089 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },1090 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1091 )1092 },1093 main::scheduler::wasFinished: false1094}10951096[State 52]1097{1098 main::scheduler::st:1099 {1100 done: Set("a"),1101 errored: Set("c"),1102 estimate: 784,1103 externalKills: 2,1104 mode: Parallel,1105 solo: [],1106 todo: Set("b"),1107 workers:1108 Map(1109 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1110 1 ->1111 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },1112 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1113 )1114 },1115 main::scheduler::wasFinished: false1116}11171118[State 53]1119{1120 main::scheduler::st:1121 {1122 done: Set("a"),1123 errored: Set("c"),1124 estimate: 5000,1125 externalKills: 2,1126 mode: Parallel,1127 solo: [],1128 todo: Set("b"),1129 workers:1130 Map(1131 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1132 1 ->1133 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1134 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1135 )1136 },1137 main::scheduler::wasFinished: false1138}11391140[State 54]1141{1142 main::scheduler::st:1143 {1144 done: Set("a"),1145 errored: Set("c"),1146 estimate: 5000,1147 externalKills: 2,1148 mode: Parallel,1149 solo: ["huge"],1150 todo: Set("b"),1151 workers:1152 Map(1153 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1154 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1155 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1156 )1157 },1158 main::scheduler::wasFinished: false1159}11601161[State 55]1162{1163 main::scheduler::st:1164 {1165 done: Set("a"),1166 errored: Set("c"),1167 estimate: 5000,1168 externalKills: 2,1169 mode: Parallel,1170 solo: ["huge"],1171 todo: Set("b"),1172 workers:1173 Map(1174 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1175 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1176 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1177 )1178 },1179 main::scheduler::wasFinished: false1180}11811182[State 56]1183{1184 main::scheduler::st:1185 {1186 done: Set("a"),1187 errored: Set("c"),1188 estimate: 5000,1189 externalKills: 2,1190 mode: Parallel,1191 solo: ["huge"],1192 todo: Set("b"),1193 workers:1194 Map(1195 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1196 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1197 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1198 )1199 },1200 main::scheduler::wasFinished: false1201}12021203[State 57]1204{1205 main::scheduler::st:1206 {1207 done: Set("a"),1208 errored: Set("c"),1209 estimate: 5000,1210 externalKills: 2,1211 mode: Parallel,1212 solo: ["huge"],1213 todo: Set("b"),1214 workers:1215 Map(1216 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1217 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1218 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }1219 )1220 },1221 main::scheduler::wasFinished: false1222}12231224[State 58]1225{1226 main::scheduler::st:1227 {1228 done: Set("a"),1229 errored: Set("c"),1230 estimate: 5000,1231 externalKills: 2,1232 mode: Parallel,1233 solo: ["huge"],1234 todo: Set("b"),1235 workers:1236 Map(1237 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1238 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1239 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }1240 )1241 },1242 main::scheduler::wasFinished: false1243}12441245[State 59]1246{1247 main::scheduler::st:1248 {1249 done: Set("a"),1250 errored: Set("c"),1251 estimate: 5000,1252 externalKills: 2,1253 mode: Parallel,1254 solo: ["huge"],1255 todo: Set("b"),1256 workers:1257 Map(1258 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1259 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1260 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }1261 )1262 },1263 main::scheduler::wasFinished: false1264}12651266[State 60]1267{1268 main::scheduler::st:1269 {1270 done: Set("a"),1271 errored: Set("c"),1272 estimate: 5000,1273 externalKills: 2,1274 mode: Parallel,1275 solo: ["huge"],1276 todo: Set("b"),1277 workers:1278 Map(1279 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1280 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1281 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }1282 )1283 },1284 main::scheduler::wasFinished: false1285}12861287[State 61]1288{1289 main::scheduler::st:1290 {1291 done: Set("a"),1292 errored: Set("c"),1293 estimate: 5000,1294 externalKills: 2,1295 mode: Parallel,1296 solo: ["huge"],1297 todo: Set("b"),1298 workers:1299 Map(1300 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1301 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1302 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }1303 )1304 },1305 main::scheduler::wasFinished: false1306}13071308[State 62]1309{1310 main::scheduler::st:1311 {1312 done: Set("a", "fat"),1313 errored: Set("c"),1314 estimate: 4900,1315 externalKills: 2,1316 mode: Parallel,1317 solo: ["huge"],1318 todo: Set("b"),1319 workers:1320 Map(1321 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1322 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1323 2 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 }1324 )1325 },1326 main::scheduler::wasFinished: false1327}13281329[State 63]1330{1331 main::scheduler::st:1332 {1333 done: Set("a", "fat"),1334 errored: Set("c"),1335 estimate: 4900,1336 externalKills: 2,1337 mode: Parallel,1338 solo: ["huge"],1339 todo: Set("b"),1340 workers:1341 Map(1342 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1343 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1344 2 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 }1345 )1346 },1347 main::scheduler::wasFinished: false1348}13491350[State 64]1351{1352 main::scheduler::st:1353 {1354 done: Set("a", "fat"),1355 errored: Set("c"),1356 estimate: 4900,1357 externalKills: 2,1358 mode: Parallel,1359 solo: ["huge"],1360 todo: Set("b"),1361 workers:1362 Map(1363 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1364 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1365 2 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 }1366 )1367 },1368 main::scheduler::wasFinished: false1369}13701371[State 65]1372{1373 main::scheduler::st:1374 {1375 done: Set("a", "fat"),1376 errored: Set("c"),1377 estimate: 4900,1378 externalKills: 2,1379 mode: Parallel,1380 solo: ["huge"],1381 todo: Set("b"),1382 workers:1383 Map(1384 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1385 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1386 2 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 }1387 )1388 },1389 main::scheduler::wasFinished: false1390}13911392[State 66]1393{1394 main::scheduler::st:1395 {1396 done: Set("a", "fat"),1397 errored: Set("c"),1398 estimate: 4900,1399 externalKills: 2,1400 mode: Parallel,1401 solo: ["huge"],1402 todo: Set("b"),1403 workers:1404 Map(1405 0 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1406 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1407 2 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 }1408 )1409 },1410 main::scheduler::wasFinished: false1411}14121413[State 67]1414{1415 main::scheduler::st:1416 {1417 done: Set("a", "fat"),1418 errored: Set("c"),1419 estimate: 4900,1420 externalKills: 2,1421 mode: Solo,1422 solo: ["huge"],1423 todo: Set("b"),1424 workers:1425 Map(1426 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1427 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1428 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1429 )1430 },1431 main::scheduler::wasFinished: false1432}14331434[State 68]1435{1436 main::scheduler::st:1437 {1438 done: Set("a", "fat"),1439 errored: Set("c"),1440 estimate: 4900,1441 externalKills: 2,1442 mode: Solo,1443 solo: ["huge"],1444 todo: Set("b"),1445 workers:1446 Map(1447 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1448 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1449 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1450 )1451 },1452 main::scheduler::wasFinished: false1453}14541455[State 69]1456{1457 main::scheduler::st:1458 {1459 done: Set("a", "fat"),1460 errored: Set("c"),1461 estimate: 4900,1462 externalKills: 2,1463 mode: Solo,1464 solo: ["huge"],1465 todo: Set("b"),1466 workers:1467 Map(1468 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1469 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1470 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1471 )1472 },1473 main::scheduler::wasFinished: false1474}14751476[State 70]1477{1478 main::scheduler::st:1479 {1480 done: Set("a", "fat"),1481 errored: Set("c"),1482 estimate: 4900,1483 externalKills: 2,1484 mode: Solo,1485 solo: ["huge"],1486 todo: Set("b"),1487 workers:1488 Map(1489 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1490 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1491 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1492 )1493 },1494 main::scheduler::wasFinished: false1495}14961497[State 71]1498{1499 main::scheduler::st:1500 {1501 done: Set("a", "fat"),1502 errored: Set("c"),1503 estimate: 4900,1504 externalKills: 2,1505 mode: Solo,1506 solo: ["huge"],1507 todo: Set("b"),1508 workers:1509 Map(1510 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1511 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1512 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1513 )1514 },1515 main::scheduler::wasFinished: false1516}15171518[State 72]1519{1520 main::scheduler::st:1521 {1522 done: Set("a", "fat"),1523 errored: Set("c"),1524 estimate: 4900,1525 externalKills: 2,1526 mode: Solo,1527 solo: ["huge"],1528 todo: Set("b"),1529 workers:1530 Map(1531 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1532 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1533 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1534 )1535 },1536 main::scheduler::wasFinished: false1537}15381539[State 73]1540{1541 main::scheduler::st:1542 {1543 done: Set("a", "fat"),1544 errored: Set("c"),1545 estimate: 4900,1546 externalKills: 2,1547 mode: Solo,1548 solo: ["huge"],1549 todo: Set("b"),1550 workers:1551 Map(1552 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1553 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1554 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1555 )1556 },1557 main::scheduler::wasFinished: false1558}15591560[State 74]1561{1562 main::scheduler::st:1563 {1564 done: Set("a", "fat"),1565 errored: Set("c"),1566 estimate: 4900,1567 externalKills: 2,1568 mode: Solo,1569 solo: ["huge"],1570 todo: Set("b"),1571 workers:1572 Map(1573 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1574 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1575 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1576 )1577 },1578 main::scheduler::wasFinished: false1579}15801581[State 75]1582{1583 main::scheduler::st:1584 {1585 done: Set("a", "fat"),1586 errored: Set("c"),1587 estimate: 4900,1588 externalKills: 2,1589 mode: Solo,1590 solo: [],1591 todo: Set("b"),1592 workers:1593 Map(1594 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1595 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1596 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1597 )1598 },1599 main::scheduler::wasFinished: false1600}16011602[State 76]1603{1604 main::scheduler::st:1605 {1606 done: Set("a", "fat"),1607 errored: Set("c"),1608 estimate: 4900,1609 externalKills: 2,1610 mode: Solo,1611 solo: [],1612 todo: Set("b"),1613 workers:1614 Map(1615 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1616 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1617 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1618 )1619 },1620 main::scheduler::wasFinished: false1621}16221623[State 77]1624{1625 main::scheduler::st:1626 {1627 done: Set("a", "fat"),1628 errored: Set("c"),1629 estimate: 4900,1630 externalKills: 2,1631 mode: Solo,1632 solo: [],1633 todo: Set("b"),1634 workers:1635 Map(1636 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1637 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1638 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1639 )1640 },1641 main::scheduler::wasFinished: false1642}16431644[State 78]1645{1646 main::scheduler::st:1647 {1648 done: Set("a", "fat"),1649 errored: Set("c"),1650 estimate: 4900,1651 externalKills: 2,1652 mode: Solo,1653 solo: [],1654 todo: Set("b"),1655 workers:1656 Map(1657 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1658 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1659 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1660 )1661 },1662 main::scheduler::wasFinished: false1663}16641665[State 79]1666{1667 main::scheduler::st:1668 {1669 done: Set("a", "fat"),1670 errored: Set("c"),1671 estimate: 4900,1672 externalKills: 2,1673 mode: Solo,1674 solo: [],1675 todo: Set("b"),1676 workers:1677 Map(1678 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1679 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1680 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }1681 )1682 },1683 main::scheduler::wasFinished: false1684}16851686[State 80]1687{1688 main::scheduler::st:1689 {1690 done: Set("a", "fat"),1691 errored: Set("c"),1692 estimate: 5000,1693 externalKills: 2,1694 mode: Solo,1695 solo: [],1696 todo: Set("b"),1697 workers:1698 Map(1699 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1700 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1701 2 ->1702 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1703 )1704 },1705 main::scheduler::wasFinished: false1706}17071708[State 81]1709{1710 main::scheduler::st:1711 {1712 done: Set("a", "fat"),1713 errored: Set("c"),1714 estimate: 5000,1715 externalKills: 2,1716 mode: Solo,1717 solo: [],1718 todo: Set("b"),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 ->1724 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1725 )1726 },1727 main::scheduler::wasFinished: false1728}17291730[State 82]1731{1732 main::scheduler::st:1733 {1734 done: Set("a", "fat"),1735 errored: Set("c"),1736 estimate: 5000,1737 externalKills: 2,1738 mode: Solo,1739 solo: [],1740 todo: Set("b"),1741 workers:1742 Map(1743 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1744 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1745 2 ->1746 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1747 )1748 },1749 main::scheduler::wasFinished: false1750}17511752[State 83]1753{1754 main::scheduler::st:1755 {1756 done: Set("a", "fat"),1757 errored: Set("c"),1758 estimate: 5000,1759 externalKills: 2,1760 mode: Solo,1761 solo: [],1762 todo: Set("b"),1763 workers:1764 Map(1765 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1766 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1767 2 ->1768 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1769 )1770 },1771 main::scheduler::wasFinished: false1772}17731774[State 84]1775{1776 main::scheduler::st:1777 {1778 done: Set("a", "fat"),1779 errored: Set("c"),1780 estimate: 5000,1781 externalKills: 2,1782 mode: Solo,1783 solo: [],1784 todo: Set("b"),1785 workers:1786 Map(1787 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1788 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1789 2 ->1790 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1791 )1792 },1793 main::scheduler::wasFinished: false1794}17951796[State 85]1797{1798 main::scheduler::st:1799 {1800 done: Set("a", "fat"),1801 errored: Set("c"),1802 estimate: 5000,1803 externalKills: 2,1804 mode: Solo,1805 solo: [],1806 todo: Set("b"),1807 workers:1808 Map(1809 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1810 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1811 2 ->1812 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1813 )1814 },1815 main::scheduler::wasFinished: false1816}18171818[State 86]1819{1820 main::scheduler::st:1821 {1822 done: Set("a", "fat"),1823 errored: Set("c"),1824 estimate: 5000,1825 externalKills: 2,1826 mode: Solo,1827 solo: [],1828 todo: Set("b"),1829 workers:1830 Map(1831 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1832 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1833 2 ->1834 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1835 )1836 },1837 main::scheduler::wasFinished: false1838}18391840[State 87]1841{1842 main::scheduler::st:1843 {1844 done: Set("a", "fat"),1845 errored: Set("c"),1846 estimate: 5000,1847 externalKills: 2,1848 mode: Solo,1849 solo: [],1850 todo: Set("b"),1851 workers:1852 Map(1853 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1854 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1855 2 ->1856 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1857 )1858 },1859 main::scheduler::wasFinished: false1860}18611862[State 88]1863{1864 main::scheduler::st:1865 {1866 done: Set("a", "fat"),1867 errored: Set("c"),1868 estimate: 5000,1869 externalKills: 2,1870 mode: Solo,1871 solo: [],1872 todo: Set("b"),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 ->1878 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1879 )1880 },1881 main::scheduler::wasFinished: false1882}18831884[State 89]1885{1886 main::scheduler::st:1887 {1888 done: Set("a", "fat"),1889 errored: Set("c"),1890 estimate: 5000,1891 externalKills: 2,1892 mode: Solo,1893 solo: [],1894 todo: Set("b"),1895 workers:1896 Map(1897 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1898 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1899 2 ->1900 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1901 )1902 },1903 main::scheduler::wasFinished: false1904}19051906[State 90]1907{1908 main::scheduler::st:1909 {1910 done: Set("a", "fat"),1911 errored: Set("c"),1912 estimate: 5000,1913 externalKills: 2,1914 mode: Solo,1915 solo: [],1916 todo: Set("b"),1917 workers:1918 Map(1919 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1920 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1921 2 ->1922 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1923 )1924 },1925 main::scheduler::wasFinished: false1926}19271928[State 91]1929{1930 main::scheduler::st:1931 {1932 done: Set("a", "fat"),1933 errored: Set("c", "huge"),1934 estimate: 5000,1935 externalKills: 2,1936 mode: Parallel,1937 solo: [],1938 todo: Set("b"),1939 workers:1940 Map(1941 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1942 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1943 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1944 )1945 },1946 main::scheduler::wasFinished: false1947}19481949[State 92]1950{1951 main::scheduler::st:1952 {1953 done: Set("a", "fat"),1954 errored: Set("c", "huge"),1955 estimate: 5000,1956 externalKills: 2,1957 mode: Parallel,1958 solo: [],1959 todo: Set("b"),1960 workers:1961 Map(1962 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1963 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1964 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1965 )1966 },1967 main::scheduler::wasFinished: false1968}19691970[State 93]1971{1972 main::scheduler::st:1973 {1974 done: Set("a", "fat"),1975 errored: Set("c", "huge"),1976 estimate: 5000,1977 externalKills: 2,1978 mode: Parallel,1979 solo: [],1980 todo: Set("b"),1981 workers:1982 Map(1983 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1984 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1985 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1986 )1987 },1988 main::scheduler::wasFinished: false1989}19901991[State 94]1992{1993 main::scheduler::st:1994 {1995 done: Set("a", "fat"),1996 errored: Set("c", "huge"),1997 estimate: 5000,1998 externalKills: 2,1999 mode: Parallel,2000 solo: [],2001 todo: Set("b"),2002 workers:2003 Map(2004 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2005 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2006 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2007 )2008 },2009 main::scheduler::wasFinished: false2010}20112012[State 95]2013{2014 main::scheduler::st:2015 {2016 done: Set("a", "fat"),2017 errored: Set("c", "huge"),2018 estimate: 5000,2019 externalKills: 2,2020 mode: Parallel,2021 solo: [],2022 todo: Set("b"),2023 workers:2024 Map(2025 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2026 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2027 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2028 )2029 },2030 main::scheduler::wasFinished: false2031}20322033[State 96]2034{2035 main::scheduler::st:2036 {2037 done: Set("a", "fat"),2038 errored: Set("c", "huge"),2039 estimate: 5000,2040 externalKills: 2,2041 mode: Parallel,2042 solo: [],2043 todo: Set("b"),2044 workers:2045 Map(2046 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2047 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2048 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2049 )2050 },2051 main::scheduler::wasFinished: false2052}20532054[State 97]2055{2056 main::scheduler::st:2057 {2058 done: Set("a", "fat"),2059 errored: Set("c", "huge"),2060 estimate: 5000,2061 externalKills: 2,2062 mode: Parallel,2063 solo: [],2064 todo: Set("b"),2065 workers:2066 Map(2067 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2068 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2069 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2070 )2071 },2072 main::scheduler::wasFinished: false2073}20742075[State 98]2076{2077 main::scheduler::st:2078 {2079 done: Set("a", "fat"),2080 errored: Set("c", "huge"),2081 estimate: 5000,2082 externalKills: 2,2083 mode: Parallel,2084 solo: [],2085 todo: Set("b"),2086 workers:2087 Map(2088 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2089 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2090 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2091 )2092 },2093 main::scheduler::wasFinished: false2094}20952096[State 99]2097{2098 main::scheduler::st:2099 {2100 done: Set("a", "fat"),2101 errored: Set("c", "huge"),2102 estimate: 5000,2103 externalKills: 2,2104 mode: Parallel,2105 solo: [],2106 todo: Set("b"),2107 workers:2108 Map(2109 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2110 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2111 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2112 )2113 },2114 main::scheduler::wasFinished: false2115}21162117[State 100]2118{2119 main::scheduler::st:2120 {2121 done: Set("a", "fat"),2122 errored: Set("c", "huge"),2123 estimate: 5000,2124 externalKills: 2,2125 mode: Parallel,2126 solo: [],2127 todo: Set("b"),2128 workers:2129 Map(2130 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2131 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2132 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2133 )2134 },2135 main::scheduler::wasFinished: false2136}21372138[State 101]2139{2140 main::scheduler::st:2141 {2142 done: Set("a", "fat"),2143 errored: Set("c", "huge"),2144 estimate: 5000,2145 externalKills: 2,2146 mode: Parallel,2147 solo: [],2148 todo: Set("b"),2149 workers:2150 Map(2151 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2152 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2153 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2154 )2155 },2156 main::scheduler::wasFinished: false2157}21582159[State 102]2160{2161 main::scheduler::st:2162 {2163 done: Set("a", "fat"),2164 errored: Set("c", "huge"),2165 estimate: 5000,2166 externalKills: 2,2167 mode: Parallel,2168 solo: [],2169 todo: Set("b"),2170 workers:2171 Map(2172 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2173 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2174 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2175 )2176 },2177 main::scheduler::wasFinished: false2178}21792180[State 103]2181{2182 main::scheduler::st:2183 {2184 done: Set("a", "fat"),2185 errored: Set("c", "huge"),2186 estimate: 5000,2187 externalKills: 2,2188 mode: Parallel,2189 solo: [],2190 todo: Set("b"),2191 workers:2192 Map(2193 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2194 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2195 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2196 )2197 },2198 main::scheduler::wasFinished: false2199}22002201[State 104]2202{2203 main::scheduler::st:2204 {2205 done: Set("a", "fat"),2206 errored: Set("c", "huge"),2207 estimate: 5000,2208 externalKills: 2,2209 mode: Parallel,2210 solo: [],2211 todo: Set("b"),2212 workers:2213 Map(2214 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2215 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2216 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2217 )2218 },2219 main::scheduler::wasFinished: false2220}22212222[State 105]2223{2224 main::scheduler::st:2225 {2226 done: Set("a", "fat"),2227 errored: Set("c", "huge"),2228 estimate: 5000,2229 externalKills: 2,2230 mode: Parallel,2231 solo: [],2232 todo: Set("b"),2233 workers:2234 Map(2235 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2236 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2237 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2238 )2239 },2240 main::scheduler::wasFinished: false2241}22422243[State 106]2244{2245 main::scheduler::st:2246 {2247 done: Set("a", "fat"),2248 errored: Set("c", "huge"),2249 estimate: 5000,2250 externalKills: 2,2251 mode: Parallel,2252 solo: [],2253 todo: Set("b"),2254 workers:2255 Map(2256 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2257 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2258 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2259 )2260 },2261 main::scheduler::wasFinished: false2262}22632264[State 107]2265{2266 main::scheduler::st:2267 {2268 done: Set("a", "fat"),2269 errored: Set("c", "huge"),2270 estimate: 5000,2271 externalKills: 2,2272 mode: Parallel,2273 solo: [],2274 todo: Set("b"),2275 workers:2276 Map(2277 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2278 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2279 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2280 )2281 },2282 main::scheduler::wasFinished: false2283}22842285[State 108]2286{2287 main::scheduler::st:2288 {2289 done: Set("a", "fat"),2290 errored: Set("c", "huge"),2291 estimate: 5000,2292 externalKills: 2,2293 mode: Parallel,2294 solo: [],2295 todo: Set("b"),2296 workers:2297 Map(2298 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2299 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2300 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2301 )2302 },2303 main::scheduler::wasFinished: false2304}23052306[State 109]2307{2308 main::scheduler::st:2309 {2310 done: Set("a", "fat"),2311 errored: Set("c", "huge"),2312 estimate: 5000,2313 externalKills: 2,2314 mode: Parallel,2315 solo: [],2316 todo: Set("b"),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 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2322 )2323 },2324 main::scheduler::wasFinished: false2325}23262327[State 110]2328{2329 main::scheduler::st:2330 {2331 done: Set("a", "fat"),2332 errored: Set("c", "huge"),2333 estimate: 5000,2334 externalKills: 2,2335 mode: Parallel,2336 solo: [],2337 todo: Set("b"),2338 workers:2339 Map(2340 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2341 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2342 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2343 )2344 },2345 main::scheduler::wasFinished: false2346}23472348[State 111]2349{2350 main::scheduler::st:2351 {2352 done: Set("a", "fat"),2353 errored: Set("c", "huge"),2354 estimate: 5000,2355 externalKills: 2,2356 mode: Parallel,2357 solo: [],2358 todo: Set("b"),2359 workers:2360 Map(2361 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2362 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2363 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2364 )2365 },2366 main::scheduler::wasFinished: false2367}23682369[State 112]2370{2371 main::scheduler::st:2372 {2373 done: Set("a", "fat"),2374 errored: Set("c", "huge"),2375 estimate: 5000,2376 externalKills: 2,2377 mode: Parallel,2378 solo: [],2379 todo: Set("b"),2380 workers:2381 Map(2382 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2383 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2384 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2385 )2386 },2387 main::scheduler::wasFinished: false2388}23892390[State 113]2391{2392 main::scheduler::st:2393 {2394 done: Set("a", "fat"),2395 errored: Set("c", "huge"),2396 estimate: 5000,2397 externalKills: 2,2398 mode: Parallel,2399 solo: [],2400 todo: Set("b"),2401 workers:2402 Map(2403 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2404 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2405 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2406 )2407 },2408 main::scheduler::wasFinished: false2409}24102411[State 114]2412{2413 main::scheduler::st:2414 {2415 done: Set("a", "fat"),2416 errored: Set("c", "huge"),2417 estimate: 5000,2418 externalKills: 2,2419 mode: Parallel,2420 solo: [],2421 todo: Set("b"),2422 workers:2423 Map(2424 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2425 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2426 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2427 )2428 },2429 main::scheduler::wasFinished: false2430}24312432[State 115]2433{2434 main::scheduler::st:2435 {2436 done: Set("a", "fat"),2437 errored: Set("c", "huge"),2438 estimate: 5000,2439 externalKills: 2,2440 mode: Parallel,2441 solo: [],2442 todo: Set("b"),2443 workers:2444 Map(2445 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2446 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2447 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2448 )2449 },2450 main::scheduler::wasFinished: false2451}24522453[State 116]2454{2455 main::scheduler::st:2456 {2457 done: Set("a", "fat"),2458 errored: Set("c", "huge"),2459 estimate: 5000,2460 externalKills: 2,2461 mode: Parallel,2462 solo: [],2463 todo: Set("b"),2464 workers:2465 Map(2466 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2467 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2468 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2469 )2470 },2471 main::scheduler::wasFinished: false2472}24732474[State 117]2475{2476 main::scheduler::st:2477 {2478 done: Set("a", "fat"),2479 errored: Set("c", "huge"),2480 estimate: 5000,2481 externalKills: 2,2482 mode: Parallel,2483 solo: [],2484 todo: Set("b"),2485 workers:2486 Map(2487 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2488 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2489 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2490 )2491 },2492 main::scheduler::wasFinished: false2493}24942495[State 118]2496{2497 main::scheduler::st:2498 {2499 done: Set("a", "fat"),2500 errored: Set("c", "huge"),2501 estimate: 5000,2502 externalKills: 2,2503 mode: Parallel,2504 solo: [],2505 todo: Set("b"),2506 workers:2507 Map(2508 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2509 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2510 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2511 )2512 },2513 main::scheduler::wasFinished: false2514}25152516[State 119]2517{2518 main::scheduler::st:2519 {2520 done: Set("a", "fat"),2521 errored: Set("c", "huge"),2522 estimate: 5000,2523 externalKills: 2,2524 mode: Parallel,2525 solo: [],2526 todo: Set("b"),2527 workers:2528 Map(2529 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2530 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2531 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2532 )2533 },2534 main::scheduler::wasFinished: false2535}25362537[State 120]2538{2539 main::scheduler::st:2540 {2541 done: Set("a", "fat"),2542 errored: Set("c", "huge"),2543 estimate: 5000,2544 externalKills: 2,2545 mode: Parallel,2546 solo: [],2547 todo: Set(),2548 workers:2549 Map(2550 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2551 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2552 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2553 )2554 },2555 main::scheduler::wasFinished: false2556}25572558[State 121]2559{2560 main::scheduler::st:2561 {2562 done: Set("a", "fat"),2563 errored: Set("c", "huge"),2564 estimate: 5000,2565 externalKills: 2,2566 mode: Parallel,2567 solo: [],2568 todo: Set(),2569 workers:2570 Map(2571 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2572 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2573 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2574 )2575 },2576 main::scheduler::wasFinished: false2577}25782579[State 122]2580{2581 main::scheduler::st:2582 {2583 done: Set("a", "fat"),2584 errored: Set("c", "huge"),2585 estimate: 5000,2586 externalKills: 2,2587 mode: Parallel,2588 solo: [],2589 todo: Set(),2590 workers:2591 Map(2592 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2593 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2594 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2595 )2596 },2597 main::scheduler::wasFinished: false2598}25992600[State 123]2601{2602 main::scheduler::st:2603 {2604 done: Set("a", "fat"),2605 errored: Set("c", "huge"),2606 estimate: 5000,2607 externalKills: 2,2608 mode: Parallel,2609 solo: [],2610 todo: Set(),2611 workers:2612 Map(2613 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2614 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2615 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2616 )2617 },2618 main::scheduler::wasFinished: false2619}26202621[State 124]2622{2623 main::scheduler::st:2624 {2625 done: Set("a", "fat"),2626 errored: Set("c", "huge"),2627 estimate: 5000,2628 externalKills: 2,2629 mode: Parallel,2630 solo: [],2631 todo: Set(),2632 workers:2633 Map(2634 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2635 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2636 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2637 )2638 },2639 main::scheduler::wasFinished: false2640}26412642[State 125]2643{2644 main::scheduler::st:2645 {2646 done: Set("a", "fat"),2647 errored: Set("c", "huge"),2648 estimate: 5000,2649 externalKills: 2,2650 mode: Parallel,2651 solo: [],2652 todo: Set(),2653 workers:2654 Map(2655 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2656 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2657 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }2658 )2659 },2660 main::scheduler::wasFinished: false2661}26622663[State 126]2664{2665 main::scheduler::st:2666 {2667 done: Set("a", "fat"),2668 errored: Set("c", "huge"),2669 estimate: 5000,2670 externalKills: 2,2671 mode: Parallel,2672 solo: [],2673 todo: Set(),2674 workers:2675 Map(2676 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2677 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2678 2 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 }2679 )2680 },2681 main::scheduler::wasFinished: false2682}26832684[State 127]2685{2686 main::scheduler::st:2687 {2688 done: Set("a", "b", "fat"),2689 errored: Set("c", "huge"),2690 estimate: 4900,2691 externalKills: 2,2692 mode: Parallel,2693 solo: [],2694 todo: Set(),2695 workers:2696 Map(2697 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2698 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2699 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2700 )2701 },2702 main::scheduler::wasFinished: false2703}27042705[State 128]2706{2707 main::scheduler::st:2708 {2709 done: Set("a", "b", "fat"),2710 errored: Set("c", "huge"),2711 estimate: 4900,2712 externalKills: 2,2713 mode: Parallel,2714 solo: [],2715 todo: Set(),2716 workers:2717 Map(2718 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2719 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2720 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2721 )2722 },2723 main::scheduler::wasFinished: true2724}27252726[State 129]2727{2728 main::scheduler::st:2729 {2730 done: Set("a", "b", "fat"),2731 errored: Set("c", "huge"),2732 estimate: 4900,2733 externalKills: 2,2734 mode: Parallel,2735 solo: [],2736 todo: Set(),2737 workers:2738 Map(2739 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2740 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2741 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2742 )2743 },2744 main::scheduler::wasFinished: true2745}27462747[State 130]2748{2749 main::scheduler::st:2750 {2751 done: Set("a", "b", "fat"),2752 errored: Set("c", "huge"),2753 estimate: 4900,2754 externalKills: 2,2755 mode: Parallel,2756 solo: [],2757 todo: Set(),2758 workers:2759 Map(2760 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2761 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2762 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2763 )2764 },2765 main::scheduler::wasFinished: true2766}27672768[State 131]2769{2770 main::scheduler::st:2771 {2772 done: Set("a", "b", "fat"),2773 errored: Set("c", "huge"),2774 estimate: 4900,2775 externalKills: 2,2776 mode: Parallel,2777 solo: [],2778 todo: Set(),2779 workers:2780 Map(2781 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2782 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2783 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2784 )2785 },2786 main::scheduler::wasFinished: true2787}27882789[State 132]2790{2791 main::scheduler::st:2792 {2793 done: Set("a", "b", "fat"),2794 errored: Set("c", "huge"),2795 estimate: 4900,2796 externalKills: 2,2797 mode: Parallel,2798 solo: [],2799 todo: Set(),2800 workers:2801 Map(2802 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2803 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2804 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2805 )2806 },2807 main::scheduler::wasFinished: true2808}28092810[State 133]2811{2812 main::scheduler::st:2813 {2814 done: Set("a", "b", "fat"),2815 errored: Set("c", "huge"),2816 estimate: 4900,2817 externalKills: 2,2818 mode: Parallel,2819 solo: [],2820 todo: Set(),2821 workers:2822 Map(2823 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2824 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2825 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2826 )2827 },2828 main::scheduler::wasFinished: true2829}28302831[State 134]2832{2833 main::scheduler::st:2834 {2835 done: Set("a", "b", "fat"),2836 errored: Set("c", "huge"),2837 estimate: 4900,2838 externalKills: 2,2839 mode: Parallel,2840 solo: [],2841 todo: Set(),2842 workers:2843 Map(2844 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2845 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2846 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2847 )2848 },2849 main::scheduler::wasFinished: true2850}28512852[State 135]2853{2854 main::scheduler::st:2855 {2856 done: Set("a", "b", "fat"),2857 errored: Set("c", "huge"),2858 estimate: 4900,2859 externalKills: 2,2860 mode: Parallel,2861 solo: [],2862 todo: Set(),2863 workers:2864 Map(2865 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2866 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2867 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2868 )2869 },2870 main::scheduler::wasFinished: true2871}28722873[State 136]2874{2875 main::scheduler::st:2876 {2877 done: Set("a", "b", "fat"),2878 errored: Set("c", "huge"),2879 estimate: 4900,2880 externalKills: 2,2881 mode: Parallel,2882 solo: [],2883 todo: Set(),2884 workers:2885 Map(2886 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2887 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2888 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2889 )2890 },2891 main::scheduler::wasFinished: true2892}28932894[State 137]2895{2896 main::scheduler::st:2897 {2898 done: Set("a", "b", "fat"),2899 errored: Set("c", "huge"),2900 estimate: 4900,2901 externalKills: 2,2902 mode: Parallel,2903 solo: [],2904 todo: Set(),2905 workers:2906 Map(2907 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2908 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2909 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2910 )2911 },2912 main::scheduler::wasFinished: true2913}29142915[State 138]2916{2917 main::scheduler::st:2918 {2919 done: Set("a", "b", "fat"),2920 errored: Set("c", "huge"),2921 estimate: 4900,2922 externalKills: 2,2923 mode: Parallel,2924 solo: [],2925 todo: Set(),2926 workers:2927 Map(2928 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2929 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2930 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2931 )2932 },2933 main::scheduler::wasFinished: true2934}29352936[State 139]2937{2938 main::scheduler::st:2939 {2940 done: Set("a", "b", "fat"),2941 errored: Set("c", "huge"),2942 estimate: 4900,2943 externalKills: 2,2944 mode: Parallel,2945 solo: [],2946 todo: Set(),2947 workers:2948 Map(2949 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2950 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2951 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2952 )2953 },2954 main::scheduler::wasFinished: true2955}29562957[State 140]2958{2959 main::scheduler::st:2960 {2961 done: Set("a", "b", "fat"),2962 errored: Set("c", "huge"),2963 estimate: 4900,2964 externalKills: 2,2965 mode: Parallel,2966 solo: [],2967 todo: Set(),2968 workers:2969 Map(2970 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2971 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2972 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2973 )2974 },2975 main::scheduler::wasFinished: true2976}29772978[State 141]2979{2980 main::scheduler::st:2981 {2982 done: Set("a", "b", "fat"),2983 errored: Set("c", "huge"),2984 estimate: 4900,2985 externalKills: 2,2986 mode: Parallel,2987 solo: [],2988 todo: Set(),2989 workers:2990 Map(2991 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2992 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2993 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }2994 )2995 },2996 main::scheduler::wasFinished: true2997}29982999[State 142]3000{3001 main::scheduler::st:3002 {3003 done: Set("a", "b", "fat"),3004 errored: Set("c", "huge"),3005 estimate: 4900,3006 externalKills: 2,3007 mode: Parallel,3008 solo: [],3009 todo: Set(),3010 workers:3011 Map(3012 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3013 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3014 2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }3015 )3016 },3017 main::scheduler::wasFinished: true3018}30193020[State 143]3021{3022 main::scheduler::st:3023 {3024 done: Set("a", "b", "fat"),3025 errored: Set("c", "huge"),3026 estimate: 4900,3027 externalKills: 2,3028 mode: Parallel,3029 solo: [],3030 todo: Set(),3031 workers:3032 Map(3033 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3034 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3035 2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }3036 )3037 },3038 main::scheduler::wasFinished: true3039}30403041[State 144]3042{3043 main::scheduler::st:3044 {3045 done: Set("a", "b", "fat"),3046 errored: Set("c", "huge"),3047 estimate: 4900,3048 externalKills: 2,3049 mode: Parallel,3050 solo: [],3051 todo: Set(),3052 workers:3053 Map(3054 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3055 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3056 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3057 )3058 },3059 main::scheduler::wasFinished: true3060}30613062[State 145]3063{3064 main::scheduler::st:3065 {3066 done: Set("a", "b", "fat"),3067 errored: Set("c", "huge"),3068 estimate: 4900,3069 externalKills: 2,3070 mode: Parallel,3071 solo: [],3072 todo: Set(),3073 workers:3074 Map(3075 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3076 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3077 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3078 )3079 },3080 main::scheduler::wasFinished: true3081}30823083[State 146]3084{3085 main::scheduler::st:3086 {3087 done: Set("a", "b", "fat"),3088 errored: Set("c", "huge"),3089 estimate: 4900,3090 externalKills: 2,3091 mode: Parallel,3092 solo: [],3093 todo: Set(),3094 workers:3095 Map(3096 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3097 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3098 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3099 )3100 },3101 main::scheduler::wasFinished: true3102}31033104[State 147]3105{3106 main::scheduler::st:3107 {3108 done: Set("a", "b", "fat"),3109 errored: Set("c", "huge"),3110 estimate: 4900,3111 externalKills: 2,3112 mode: Parallel,3113 solo: [],3114 todo: Set(),3115 workers:3116 Map(3117 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3118 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3119 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3120 )3121 },3122 main::scheduler::wasFinished: true3123}31243125[State 148]3126{3127 main::scheduler::st:3128 {3129 done: Set("a", "b", "fat"),3130 errored: Set("c", "huge"),3131 estimate: 4900,3132 externalKills: 2,3133 mode: Parallel,3134 solo: [],3135 todo: Set(),3136 workers:3137 Map(3138 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3139 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3140 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3141 )3142 },3143 main::scheduler::wasFinished: true3144}31453146[State 149]3147{3148 main::scheduler::st:3149 {3150 done: Set("a", "b", "fat"),3151 errored: Set("c", "huge"),3152 estimate: 4900,3153 externalKills: 2,3154 mode: Parallel,3155 solo: [],3156 todo: Set(),3157 workers:3158 Map(3159 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3160 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3161 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3162 )3163 },3164 main::scheduler::wasFinished: true3165}31663167[State 150]3168{3169 main::scheduler::st:3170 {3171 done: Set("a", "b", "fat"),3172 errored: Set("c", "huge"),3173 estimate: 4900,3174 externalKills: 2,3175 mode: Parallel,3176 solo: [],3177 todo: Set(),3178 workers:3179 Map(3180 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3181 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3182 2 -> { heap: 500, job: "", phase: Exiting, rss: 500, startRss: 0 }3183 )3184 },3185 main::scheduler::wasFinished: true3186}31873188[ok] No violation found (1353ms at 1478 traces/second).3189Trace length statistics: max=151, min=52, average=113.693190You may increase --max-samples and --max-steps.3191Use --verbosity to produce more (or less) output.3192Use --seed=0x2eb55e0ae696a0b --backend=rust to reproduce.31933194 noOomKiller3195 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3196 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31973198 2 passing (27127ms)31993200 main3201 ok main::scheduler::terminatesTest passed 200 test(s)32023203 1 passing (12952ms)