nix-eval-jobs-scheduler-spec
checks.x86_64-linux.scheduler-spec
· build #103
· raw
1tribuchet: building on jamie2An example execution:34[State 0]5{6 main::scheduler::st:7 {8 done: Set(),9 errored: Set(),10 estimate: 512,11 externalKills: 0,12 mode: Parallel,13 solo: [],14 todo: Set("a", "b", "c", "fat", "huge"),15 workers:16 Map(17 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },19 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }20 )21 },22 main::scheduler::wasFinished: false23}2425[State 1]26{27 main::scheduler::st:28 {29 done: Set(),30 errored: Set(),31 estimate: 512,32 externalKills: 0,33 mode: Parallel,34 solo: [],35 todo: Set("a", "b", "c", "fat", "huge"),36 workers:37 Map(38 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },39 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },40 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }41 )42 },43 main::scheduler::wasFinished: false44}4546[State 2]47{48 main::scheduler::st:49 {50 done: Set(),51 errored: Set(),52 estimate: 512,53 externalKills: 1,54 mode: Parallel,55 solo: [],56 todo: Set("a", "b", "c", "fat", "huge"),57 workers:58 Map(59 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },60 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },61 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }62 )63 },64 main::scheduler::wasFinished: false65}6667[State 3]68{69 main::scheduler::st:70 {71 done: Set(),72 errored: Set(),73 estimate: 512,74 externalKills: 1,75 mode: Parallel,76 solo: [],77 todo: Set("a", "b", "c", "fat", "huge"),78 workers:79 Map(80 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },81 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 2,96 mode: Parallel,97 solo: [],98 todo: Set("a", "b", "c", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },102 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },103 2 -> { heap: 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: 2,117 mode: Parallel,118 solo: [],119 todo: Set("a", "b", "c", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },123 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },124 2 -> { heap: 300, job: "", phase: 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: 2,138 mode: Parallel,139 solo: [],140 todo: Set("a", "b", "c", "fat", "huge"),141 workers:142 Map(143 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },144 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },145 2 -> { heap: 300, job: "", 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: 2,159 mode: Parallel,160 solo: [],161 todo: Set("a", "b", "c", "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: 2,180 mode: Parallel,181 solo: [],182 todo: Set("a", "b", "c", "fat", "huge"),183 workers:184 Map(185 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },186 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },187 2 -> { heap: 300, job: "", 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: 2,201 mode: Parallel,202 solo: [],203 todo: Set("a", "b", "c", "fat", "huge"),204 workers:205 Map(206 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },207 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },208 2 -> { heap: 300, job: "", 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },228 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },249 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },270 1 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 0, job: "", phase: PNone, rss: 0, 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: 0, job: "", phase: PNone, rss: 0, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },333 1 -> { heap: 300, job: "", phase: Idle, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },354 1 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: 2,369 mode: Parallel,370 solo: [],371 todo: Set("b", "c", "fat", "huge"),372 workers:373 Map(374 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },375 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },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: 2,390 mode: Parallel,391 solo: [],392 todo: Set("b", "c", "fat", "huge"),393 workers:394 Map(395 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },396 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },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("b", "c", "fat", "huge"),414 workers:415 Map(416 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },417 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },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("b", "c", "fat", "huge"),435 workers:436 Map(437 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },438 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },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("a"),450 errored: Set(),451 estimate: 501,452 externalKills: 2,453 mode: Parallel,454 solo: [],455 todo: Set("b", "c", "fat", "huge"),456 workers:457 Map(458 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },459 1 -> { heap: 350, job: "", phase: Starting, rss: 350, 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("a"),471 errored: Set(),472 estimate: 501,473 externalKills: 2,474 mode: Parallel,475 solo: [],476 todo: Set("b", "c", "fat", "huge"),477 workers:478 Map(479 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },480 1 -> { heap: 350, job: "", phase: Starting, rss: 350, 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("a"),492 errored: Set(),493 estimate: 501,494 externalKills: 2,495 mode: Parallel,496 solo: [],497 todo: Set("b", "c", "fat"),498 workers:499 Map(500 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },501 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },502 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }503 )504 },505 main::scheduler::wasFinished: false506}507508[State 24]509{510 main::scheduler::st:511 {512 done: Set("a"),513 errored: Set(),514 estimate: 501,515 externalKills: 2,516 mode: Parallel,517 solo: [],518 todo: Set("b", "c", "fat"),519 workers:520 Map(521 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },522 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },523 2 -> { heap: 300, job: "huge", 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("a"),534 errored: Set(),535 estimate: 501,536 externalKills: 2,537 mode: Parallel,538 solo: [],539 todo: Set("b", "c", "fat"),540 workers:541 Map(542 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },543 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },544 2 -> { heap: 300, job: "huge", 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("a"),555 errored: Set(),556 estimate: 501,557 externalKills: 2,558 mode: Parallel,559 solo: [],560 todo: Set("b", "c", "fat"),561 workers:562 Map(563 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },564 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },565 2 -> { heap: 300, job: "huge", 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("a"),576 errored: Set(),577 estimate: 501,578 externalKills: 2,579 mode: Parallel,580 solo: [],581 todo: Set("b", "c"),582 workers:583 Map(584 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },585 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },586 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }587 )588 },589 main::scheduler::wasFinished: false590}591592[State 28]593{594 main::scheduler::st:595 {596 done: Set("a"),597 errored: Set(),598 estimate: 501,599 externalKills: 2,600 mode: Parallel,601 solo: [],602 todo: Set("b", "c"),603 workers:604 Map(605 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },606 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },607 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }608 )609 },610 main::scheduler::wasFinished: false611}612613[State 29]614{615 main::scheduler::st:616 {617 done: Set("a"),618 errored: Set(),619 estimate: 501,620 externalKills: 2,621 mode: Parallel,622 solo: [],623 todo: Set("b", "c"),624 workers:625 Map(626 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },627 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },628 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }629 )630 },631 main::scheduler::wasFinished: false632}633634[State 30]635{636 main::scheduler::st:637 {638 done: Set("a"),639 errored: Set(),640 estimate: 501,641 externalKills: 2,642 mode: Parallel,643 solo: [],644 todo: Set("b", "c"),645 workers:646 Map(647 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },648 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },649 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }650 )651 },652 main::scheduler::wasFinished: false653}654655[State 31]656{657 main::scheduler::st:658 {659 done: Set("a"),660 errored: Set(),661 estimate: 5000,662 externalKills: 2,663 mode: Parallel,664 solo: [],665 todo: Set("b", "c"),666 workers:667 Map(668 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },669 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },670 2 ->671 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }672 )673 },674 main::scheduler::wasFinished: false675}676677[State 32]678{679 main::scheduler::st:680 {681 done: Set("a"),682 errored: Set(),683 estimate: 5000,684 externalKills: 2,685 mode: Parallel,686 solo: ["huge"],687 todo: Set("b", "c"),688 workers:689 Map(690 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },691 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },692 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }693 )694 },695 main::scheduler::wasFinished: false696}697698[State 33]699{700 main::scheduler::st:701 {702 done: Set("a"),703 errored: Set(),704 estimate: 5000,705 externalKills: 2,706 mode: Parallel,707 solo: ["huge"],708 todo: Set("b", "c"),709 workers:710 Map(711 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },712 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },713 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }714 )715 },716 main::scheduler::wasFinished: false717}718719[State 34]720{721 main::scheduler::st:722 {723 done: Set("a", "fat"),724 errored: Set(),725 estimate: 4900,726 externalKills: 2,727 mode: Parallel,728 solo: ["huge"],729 todo: Set("b", "c"),730 workers:731 Map(732 0 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },733 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },734 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }735 )736 },737 main::scheduler::wasFinished: false738}739740[State 35]741{742 main::scheduler::st:743 {744 done: Set("a", "fat"),745 errored: Set(),746 estimate: 4900,747 externalKills: 2,748 mode: Solo,749 solo: ["huge"],750 todo: Set("b", "c"),751 workers:752 Map(753 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },754 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },755 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }756 )757 },758 main::scheduler::wasFinished: false759}760761[State 36]762{763 main::scheduler::st:764 {765 done: Set("a", "fat"),766 errored: Set(),767 estimate: 4900,768 externalKills: 2,769 mode: Solo,770 solo: ["huge"],771 todo: Set("b", "c"),772 workers:773 Map(774 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },775 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },776 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }777 )778 },779 main::scheduler::wasFinished: false780}781782[State 37]783{784 main::scheduler::st:785 {786 done: Set("a", "fat"),787 errored: Set(),788 estimate: 4900,789 externalKills: 2,790 mode: Solo,791 solo: ["huge"],792 todo: Set("b", "c"),793 workers:794 Map(795 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },796 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },797 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }798 )799 },800 main::scheduler::wasFinished: false801}802803[State 38]804{805 main::scheduler::st:806 {807 done: Set("a", "fat"),808 errored: Set(),809 estimate: 4900,810 externalKills: 2,811 mode: Solo,812 solo: ["huge"],813 todo: Set("b", "c"),814 workers:815 Map(816 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },817 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },818 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }819 )820 },821 main::scheduler::wasFinished: false822}823824[State 39]825{826 main::scheduler::st:827 {828 done: Set("a", "fat"),829 errored: Set(),830 estimate: 4900,831 externalKills: 2,832 mode: Solo,833 solo: ["huge"],834 todo: Set("b", "c"),835 workers:836 Map(837 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },838 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },839 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }840 )841 },842 main::scheduler::wasFinished: false843}844845[State 40]846{847 main::scheduler::st:848 {849 done: Set("a", "fat"),850 errored: Set(),851 estimate: 4900,852 externalKills: 2,853 mode: Solo,854 solo: ["huge"],855 todo: Set("b", "c"),856 workers:857 Map(858 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },859 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },860 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }861 )862 },863 main::scheduler::wasFinished: false864}865866[State 41]867{868 main::scheduler::st:869 {870 done: Set("a", "fat"),871 errored: Set(),872 estimate: 4900,873 externalKills: 2,874 mode: Solo,875 solo: ["huge"],876 todo: Set("b", "c"),877 workers:878 Map(879 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },880 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },881 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }882 )883 },884 main::scheduler::wasFinished: false885}886887[State 42]888{889 main::scheduler::st:890 {891 done: Set("a", "fat"),892 errored: Set(),893 estimate: 4900,894 externalKills: 2,895 mode: Solo,896 solo: ["huge"],897 todo: Set("b", "c"),898 workers:899 Map(900 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },901 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },902 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }903 )904 },905 main::scheduler::wasFinished: false906}907908[State 43]909{910 main::scheduler::st:911 {912 done: Set("a", "fat"),913 errored: Set(),914 estimate: 4900,915 externalKills: 2,916 mode: Solo,917 solo: ["huge"],918 todo: Set("b", "c"),919 workers:920 Map(921 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },922 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },923 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }924 )925 },926 main::scheduler::wasFinished: false927}928929[State 44]930{931 main::scheduler::st:932 {933 done: Set("a", "fat"),934 errored: Set(),935 estimate: 4900,936 externalKills: 2,937 mode: Solo,938 solo: ["huge"],939 todo: Set("b", "c"),940 workers:941 Map(942 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },943 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },944 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }945 )946 },947 main::scheduler::wasFinished: false948}949950[State 45]951{952 main::scheduler::st:953 {954 done: Set("a", "fat"),955 errored: Set(),956 estimate: 4900,957 externalKills: 2,958 mode: Solo,959 solo: ["huge"],960 todo: Set("b", "c"),961 workers:962 Map(963 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },964 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },965 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }966 )967 },968 main::scheduler::wasFinished: false969}970971[State 46]972{973 main::scheduler::st:974 {975 done: Set("a", "fat"),976 errored: Set(),977 estimate: 4900,978 externalKills: 2,979 mode: Solo,980 solo: ["huge"],981 todo: Set("b", "c"),982 workers:983 Map(984 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },985 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },986 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }987 )988 },989 main::scheduler::wasFinished: false990}991992[State 47]993{994 main::scheduler::st:995 {996 done: Set("a", "fat"),997 errored: Set(),998 estimate: 4900,999 externalKills: 2,1000 mode: Solo,1001 solo: ["huge"],1002 todo: Set("b", "c"),1003 workers:1004 Map(1005 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1006 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1007 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1008 )1009 },1010 main::scheduler::wasFinished: false1011}10121013[State 48]1014{1015 main::scheduler::st:1016 {1017 done: Set("a", "fat"),1018 errored: Set(),1019 estimate: 4900,1020 externalKills: 2,1021 mode: Solo,1022 solo: ["huge"],1023 todo: Set("b", "c"),1024 workers:1025 Map(1026 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1027 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1028 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1029 )1030 },1031 main::scheduler::wasFinished: false1032}10331034[State 49]1035{1036 main::scheduler::st:1037 {1038 done: Set("a", "fat"),1039 errored: Set(),1040 estimate: 4900,1041 externalKills: 2,1042 mode: Solo,1043 solo: ["huge"],1044 todo: Set("b", "c"),1045 workers:1046 Map(1047 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1048 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1049 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1050 )1051 },1052 main::scheduler::wasFinished: false1053}10541055[State 50]1056{1057 main::scheduler::st:1058 {1059 done: Set("a", "fat"),1060 errored: Set(),1061 estimate: 4900,1062 externalKills: 2,1063 mode: Solo,1064 solo: [],1065 todo: Set("b", "c"),1066 workers:1067 Map(1068 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1069 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1070 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1071 )1072 },1073 main::scheduler::wasFinished: false1074}10751076[State 51]1077{1078 main::scheduler::st:1079 {1080 done: Set("a", "fat"),1081 errored: Set(),1082 estimate: 4900,1083 externalKills: 2,1084 mode: Solo,1085 solo: [],1086 todo: Set("b", "c"),1087 workers:1088 Map(1089 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1090 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1091 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1092 )1093 },1094 main::scheduler::wasFinished: false1095}10961097[State 52]1098{1099 main::scheduler::st:1100 {1101 done: Set("a", "fat"),1102 errored: Set(),1103 estimate: 4900,1104 externalKills: 2,1105 mode: Solo,1106 solo: [],1107 todo: Set("b", "c"),1108 workers:1109 Map(1110 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1111 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1112 2 -> { heap: 300, job: "huge", 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", "fat"),1123 errored: Set(),1124 estimate: 4900,1125 externalKills: 2,1126 mode: Solo,1127 solo: [],1128 todo: Set("b", "c"),1129 workers:1130 Map(1131 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1132 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1133 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1134 )1135 },1136 main::scheduler::wasFinished: false1137}11381139[State 54]1140{1141 main::scheduler::st:1142 {1143 done: Set("a", "fat"),1144 errored: Set(),1145 estimate: 4900,1146 externalKills: 2,1147 mode: Solo,1148 solo: [],1149 todo: Set("b", "c"),1150 workers:1151 Map(1152 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1153 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1154 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }1155 )1156 },1157 main::scheduler::wasFinished: false1158}11591160[State 55]1161{1162 main::scheduler::st:1163 {1164 done: Set("a", "fat"),1165 errored: Set(),1166 estimate: 5000,1167 externalKills: 2,1168 mode: Solo,1169 solo: [],1170 todo: Set("b", "c"),1171 workers:1172 Map(1173 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1174 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1175 2 ->1176 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1177 )1178 },1179 main::scheduler::wasFinished: false1180}11811182[State 56]1183{1184 main::scheduler::st:1185 {1186 done: Set("a", "fat"),1187 errored: Set(),1188 estimate: 5000,1189 externalKills: 2,1190 mode: Solo,1191 solo: [],1192 todo: Set("b", "c"),1193 workers:1194 Map(1195 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1196 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1197 2 ->1198 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1199 )1200 },1201 main::scheduler::wasFinished: false1202}12031204[State 57]1205{1206 main::scheduler::st:1207 {1208 done: Set("a", "fat"),1209 errored: Set(),1210 estimate: 5000,1211 externalKills: 2,1212 mode: Solo,1213 solo: [],1214 todo: Set("b", "c"),1215 workers:1216 Map(1217 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1218 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1219 2 ->1220 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1221 )1222 },1223 main::scheduler::wasFinished: false1224}12251226[State 58]1227{1228 main::scheduler::st:1229 {1230 done: Set("a", "fat"),1231 errored: Set("huge"),1232 estimate: 5000,1233 externalKills: 2,1234 mode: Parallel,1235 solo: [],1236 todo: Set("b", "c"),1237 workers:1238 Map(1239 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1240 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1241 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1242 )1243 },1244 main::scheduler::wasFinished: false1245}12461247[State 59]1248{1249 main::scheduler::st:1250 {1251 done: Set("a", "fat"),1252 errored: Set("huge"),1253 estimate: 5000,1254 externalKills: 2,1255 mode: Parallel,1256 solo: [],1257 todo: Set("b", "c"),1258 workers:1259 Map(1260 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1261 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1262 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1263 )1264 },1265 main::scheduler::wasFinished: false1266}12671268[State 60]1269{1270 main::scheduler::st:1271 {1272 done: Set("a", "fat"),1273 errored: Set("huge"),1274 estimate: 5000,1275 externalKills: 2,1276 mode: Parallel,1277 solo: [],1278 todo: Set("b", "c"),1279 workers:1280 Map(1281 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1282 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1283 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1284 )1285 },1286 main::scheduler::wasFinished: false1287}12881289[State 61]1290{1291 main::scheduler::st:1292 {1293 done: Set("a", "fat"),1294 errored: Set("huge"),1295 estimate: 5000,1296 externalKills: 2,1297 mode: Parallel,1298 solo: [],1299 todo: Set("b", "c"),1300 workers:1301 Map(1302 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1303 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1304 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1305 )1306 },1307 main::scheduler::wasFinished: false1308}13091310[State 62]1311{1312 main::scheduler::st:1313 {1314 done: Set("a", "fat"),1315 errored: Set("huge"),1316 estimate: 5000,1317 externalKills: 2,1318 mode: Parallel,1319 solo: [],1320 todo: Set("b", "c"),1321 workers:1322 Map(1323 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1324 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1325 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1326 )1327 },1328 main::scheduler::wasFinished: false1329}13301331[State 63]1332{1333 main::scheduler::st:1334 {1335 done: Set("a", "fat"),1336 errored: Set("huge"),1337 estimate: 5000,1338 externalKills: 2,1339 mode: Parallel,1340 solo: [],1341 todo: Set("b", "c"),1342 workers:1343 Map(1344 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1345 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1346 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1347 )1348 },1349 main::scheduler::wasFinished: false1350}13511352[State 64]1353{1354 main::scheduler::st:1355 {1356 done: Set("a", "fat"),1357 errored: Set("huge"),1358 estimate: 5000,1359 externalKills: 2,1360 mode: Parallel,1361 solo: [],1362 todo: Set("b", "c"),1363 workers:1364 Map(1365 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1366 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1367 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1368 )1369 },1370 main::scheduler::wasFinished: false1371}13721373[State 65]1374{1375 main::scheduler::st:1376 {1377 done: Set("a", "fat"),1378 errored: Set("huge"),1379 estimate: 5000,1380 externalKills: 2,1381 mode: Parallel,1382 solo: [],1383 todo: Set("b", "c"),1384 workers:1385 Map(1386 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1387 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1388 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1389 )1390 },1391 main::scheduler::wasFinished: false1392}13931394[State 66]1395{1396 main::scheduler::st:1397 {1398 done: Set("a", "fat"),1399 errored: Set("huge"),1400 estimate: 5000,1401 externalKills: 2,1402 mode: Parallel,1403 solo: [],1404 todo: Set("b", "c"),1405 workers:1406 Map(1407 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1408 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1409 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1410 )1411 },1412 main::scheduler::wasFinished: false1413}14141415[State 67]1416{1417 main::scheduler::st:1418 {1419 done: Set("a", "fat"),1420 errored: Set("huge"),1421 estimate: 5000,1422 externalKills: 2,1423 mode: Parallel,1424 solo: [],1425 todo: Set("b", "c"),1426 workers:1427 Map(1428 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1429 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1430 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1431 )1432 },1433 main::scheduler::wasFinished: false1434}14351436[State 68]1437{1438 main::scheduler::st:1439 {1440 done: Set("a", "fat"),1441 errored: Set("huge"),1442 estimate: 5000,1443 externalKills: 2,1444 mode: Parallel,1445 solo: [],1446 todo: Set("b", "c"),1447 workers:1448 Map(1449 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1450 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1451 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1452 )1453 },1454 main::scheduler::wasFinished: false1455}14561457[State 69]1458{1459 main::scheduler::st:1460 {1461 done: Set("a", "fat"),1462 errored: Set("huge"),1463 estimate: 5000,1464 externalKills: 2,1465 mode: Parallel,1466 solo: [],1467 todo: Set("b", "c"),1468 workers:1469 Map(1470 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1471 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1472 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1473 )1474 },1475 main::scheduler::wasFinished: false1476}14771478[State 70]1479{1480 main::scheduler::st:1481 {1482 done: Set("a", "fat"),1483 errored: Set("huge"),1484 estimate: 5000,1485 externalKills: 2,1486 mode: Parallel,1487 solo: [],1488 todo: Set("b", "c"),1489 workers:1490 Map(1491 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1492 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1493 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1494 )1495 },1496 main::scheduler::wasFinished: false1497}14981499[State 71]1500{1501 main::scheduler::st:1502 {1503 done: Set("a", "fat"),1504 errored: Set("huge"),1505 estimate: 5000,1506 externalKills: 2,1507 mode: Parallel,1508 solo: [],1509 todo: Set("b", "c"),1510 workers:1511 Map(1512 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1513 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1514 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1515 )1516 },1517 main::scheduler::wasFinished: false1518}15191520[State 72]1521{1522 main::scheduler::st:1523 {1524 done: Set("a", "fat"),1525 errored: Set("huge"),1526 estimate: 5000,1527 externalKills: 2,1528 mode: Parallel,1529 solo: [],1530 todo: Set("b", "c"),1531 workers:1532 Map(1533 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1534 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1535 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1536 )1537 },1538 main::scheduler::wasFinished: false1539}15401541[State 73]1542{1543 main::scheduler::st:1544 {1545 done: Set("a", "fat"),1546 errored: Set("huge"),1547 estimate: 5000,1548 externalKills: 2,1549 mode: Parallel,1550 solo: [],1551 todo: Set("b", "c"),1552 workers:1553 Map(1554 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1555 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1556 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1557 )1558 },1559 main::scheduler::wasFinished: false1560}15611562[State 74]1563{1564 main::scheduler::st:1565 {1566 done: Set("a", "fat"),1567 errored: Set("huge"),1568 estimate: 5000,1569 externalKills: 2,1570 mode: Parallel,1571 solo: [],1572 todo: Set("c"),1573 workers:1574 Map(1575 0 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },1576 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1577 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1578 )1579 },1580 main::scheduler::wasFinished: false1581}15821583[State 75]1584{1585 main::scheduler::st:1586 {1587 done: Set("a", "fat"),1588 errored: Set("huge"),1589 estimate: 5000,1590 externalKills: 2,1591 mode: Parallel,1592 solo: [],1593 todo: Set("c"),1594 workers:1595 Map(1596 0 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },1597 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1598 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1599 )1600 },1601 main::scheduler::wasFinished: false1602}16031604[State 76]1605{1606 main::scheduler::st:1607 {1608 done: Set("a", "fat"),1609 errored: Set("huge"),1610 estimate: 5000,1611 externalKills: 2,1612 mode: Parallel,1613 solo: [],1614 todo: Set("c"),1615 workers:1616 Map(1617 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1618 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1619 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1620 )1621 },1622 main::scheduler::wasFinished: false1623}16241625[State 77]1626{1627 main::scheduler::st:1628 {1629 done: Set("a", "fat"),1630 errored: Set("huge"),1631 estimate: 5000,1632 externalKills: 2,1633 mode: Parallel,1634 solo: [],1635 todo: Set("c"),1636 workers:1637 Map(1638 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1639 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1640 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1641 )1642 },1643 main::scheduler::wasFinished: false1644}16451646[State 78]1647{1648 main::scheduler::st:1649 {1650 done: Set("a", "fat"),1651 errored: Set("huge"),1652 estimate: 5000,1653 externalKills: 2,1654 mode: Parallel,1655 solo: [],1656 todo: Set("c"),1657 workers:1658 Map(1659 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1660 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1661 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1662 )1663 },1664 main::scheduler::wasFinished: false1665}16661667[State 79]1668{1669 main::scheduler::st:1670 {1671 done: Set("a", "fat"),1672 errored: Set("huge"),1673 estimate: 5000,1674 externalKills: 2,1675 mode: Parallel,1676 solo: [],1677 todo: Set("c"),1678 workers:1679 Map(1680 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1681 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1682 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1683 )1684 },1685 main::scheduler::wasFinished: false1686}16871688[State 80]1689{1690 main::scheduler::st:1691 {1692 done: Set("a", "fat"),1693 errored: Set("huge"),1694 estimate: 5000,1695 externalKills: 2,1696 mode: Parallel,1697 solo: [],1698 todo: Set("c"),1699 workers:1700 Map(1701 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1702 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1703 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1704 )1705 },1706 main::scheduler::wasFinished: false1707}17081709[State 81]1710{1711 main::scheduler::st:1712 {1713 done: Set("a", "fat"),1714 errored: Set("huge"),1715 estimate: 5000,1716 externalKills: 2,1717 mode: Parallel,1718 solo: [],1719 todo: Set("c"),1720 workers:1721 Map(1722 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1723 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1724 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1725 )1726 },1727 main::scheduler::wasFinished: false1728}17291730[State 82]1731{1732 main::scheduler::st:1733 {1734 done: Set("a", "fat"),1735 errored: Set("huge"),1736 estimate: 5000,1737 externalKills: 2,1738 mode: Parallel,1739 solo: [],1740 todo: Set("c"),1741 workers:1742 Map(1743 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1744 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1745 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1746 )1747 },1748 main::scheduler::wasFinished: false1749}17501751[State 83]1752{1753 main::scheduler::st:1754 {1755 done: Set("a", "fat"),1756 errored: Set("huge"),1757 estimate: 5000,1758 externalKills: 2,1759 mode: Parallel,1760 solo: [],1761 todo: Set("c"),1762 workers:1763 Map(1764 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1765 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1766 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1767 )1768 },1769 main::scheduler::wasFinished: false1770}17711772[State 84]1773{1774 main::scheduler::st:1775 {1776 done: Set("a", "fat"),1777 errored: Set("huge"),1778 estimate: 5000,1779 externalKills: 2,1780 mode: Parallel,1781 solo: [],1782 todo: Set("c"),1783 workers:1784 Map(1785 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1786 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1787 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1788 )1789 },1790 main::scheduler::wasFinished: false1791}17921793[State 85]1794{1795 main::scheduler::st:1796 {1797 done: Set("a", "fat"),1798 errored: Set("huge"),1799 estimate: 5000,1800 externalKills: 2,1801 mode: Parallel,1802 solo: [],1803 todo: Set("c"),1804 workers:1805 Map(1806 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1807 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1808 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1809 )1810 },1811 main::scheduler::wasFinished: false1812}18131814[State 86]1815{1816 main::scheduler::st:1817 {1818 done: Set("a", "fat"),1819 errored: Set("huge"),1820 estimate: 5000,1821 externalKills: 2,1822 mode: Parallel,1823 solo: [],1824 todo: Set("c"),1825 workers:1826 Map(1827 0 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1828 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1829 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1830 )1831 },1832 main::scheduler::wasFinished: false1833}18341835[State 87]1836{1837 main::scheduler::st:1838 {1839 done: Set("a", "b", "fat"),1840 errored: Set("huge"),1841 estimate: 4900,1842 externalKills: 2,1843 mode: Parallel,1844 solo: [],1845 todo: Set("c"),1846 workers:1847 Map(1848 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1849 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1850 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1851 )1852 },1853 main::scheduler::wasFinished: false1854}18551856[State 88]1857{1858 main::scheduler::st:1859 {1860 done: Set("a", "b", "fat"),1861 errored: Set("huge"),1862 estimate: 4900,1863 externalKills: 2,1864 mode: Parallel,1865 solo: [],1866 todo: Set("c"),1867 workers:1868 Map(1869 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1870 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1871 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1872 )1873 },1874 main::scheduler::wasFinished: false1875}18761877[State 89]1878{1879 main::scheduler::st:1880 {1881 done: Set("a", "b", "fat"),1882 errored: Set("huge"),1883 estimate: 4900,1884 externalKills: 2,1885 mode: Parallel,1886 solo: [],1887 todo: Set("c"),1888 workers:1889 Map(1890 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1891 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1892 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1893 )1894 },1895 main::scheduler::wasFinished: false1896}18971898[State 90]1899{1900 main::scheduler::st:1901 {1902 done: Set("a", "b", "fat"),1903 errored: Set("huge"),1904 estimate: 4900,1905 externalKills: 2,1906 mode: Parallel,1907 solo: [],1908 todo: Set("c"),1909 workers:1910 Map(1911 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1912 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1913 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1914 )1915 },1916 main::scheduler::wasFinished: false1917}19181919[State 91]1920{1921 main::scheduler::st:1922 {1923 done: Set("a", "b", "fat"),1924 errored: Set("huge"),1925 estimate: 4900,1926 externalKills: 2,1927 mode: Parallel,1928 solo: [],1929 todo: Set("c"),1930 workers:1931 Map(1932 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1933 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1934 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1935 )1936 },1937 main::scheduler::wasFinished: false1938}19391940[State 92]1941{1942 main::scheduler::st:1943 {1944 done: Set("a", "b", "fat"),1945 errored: Set("huge"),1946 estimate: 4900,1947 externalKills: 2,1948 mode: Parallel,1949 solo: [],1950 todo: Set("c"),1951 workers:1952 Map(1953 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1954 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1955 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1956 )1957 },1958 main::scheduler::wasFinished: false1959}19601961[State 93]1962{1963 main::scheduler::st:1964 {1965 done: Set("a", "b", "fat"),1966 errored: Set("huge"),1967 estimate: 4900,1968 externalKills: 2,1969 mode: Parallel,1970 solo: [],1971 todo: Set("c"),1972 workers:1973 Map(1974 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1975 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1976 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1977 )1978 },1979 main::scheduler::wasFinished: false1980}19811982[State 94]1983{1984 main::scheduler::st:1985 {1986 done: Set("a", "b", "fat"),1987 errored: Set("huge"),1988 estimate: 4900,1989 externalKills: 2,1990 mode: Parallel,1991 solo: [],1992 todo: Set("c"),1993 workers:1994 Map(1995 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1996 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1997 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1998 )1999 },2000 main::scheduler::wasFinished: false2001}20022003[State 95]2004{2005 main::scheduler::st:2006 {2007 done: Set("a", "b", "fat"),2008 errored: Set("huge"),2009 estimate: 4900,2010 externalKills: 2,2011 mode: Parallel,2012 solo: [],2013 todo: Set("c"),2014 workers:2015 Map(2016 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2017 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2018 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2019 )2020 },2021 main::scheduler::wasFinished: false2022}20232024[State 96]2025{2026 main::scheduler::st:2027 {2028 done: Set("a", "b", "fat"),2029 errored: Set("huge"),2030 estimate: 4900,2031 externalKills: 2,2032 mode: Parallel,2033 solo: [],2034 todo: Set("c"),2035 workers:2036 Map(2037 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2038 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2039 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2040 )2041 },2042 main::scheduler::wasFinished: false2043}20442045[State 97]2046{2047 main::scheduler::st:2048 {2049 done: Set("a", "b", "fat"),2050 errored: Set("huge"),2051 estimate: 4900,2052 externalKills: 2,2053 mode: Parallel,2054 solo: [],2055 todo: Set("c"),2056 workers:2057 Map(2058 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2059 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2060 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2061 )2062 },2063 main::scheduler::wasFinished: false2064}20652066[State 98]2067{2068 main::scheduler::st:2069 {2070 done: Set("a", "b", "fat"),2071 errored: Set("huge"),2072 estimate: 4900,2073 externalKills: 2,2074 mode: Parallel,2075 solo: [],2076 todo: Set("c"),2077 workers:2078 Map(2079 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2080 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2081 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2082 )2083 },2084 main::scheduler::wasFinished: false2085}20862087[State 99]2088{2089 main::scheduler::st:2090 {2091 done: Set("a", "b", "fat"),2092 errored: Set("huge"),2093 estimate: 4900,2094 externalKills: 2,2095 mode: Parallel,2096 solo: [],2097 todo: Set("c"),2098 workers:2099 Map(2100 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2101 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2102 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2103 )2104 },2105 main::scheduler::wasFinished: false2106}21072108[State 100]2109{2110 main::scheduler::st:2111 {2112 done: Set("a", "b", "fat"),2113 errored: Set("huge"),2114 estimate: 4900,2115 externalKills: 2,2116 mode: Parallel,2117 solo: [],2118 todo: Set("c"),2119 workers:2120 Map(2121 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2122 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2123 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2124 )2125 },2126 main::scheduler::wasFinished: false2127}21282129[State 101]2130{2131 main::scheduler::st:2132 {2133 done: Set("a", "b", "fat"),2134 errored: Set("huge"),2135 estimate: 4900,2136 externalKills: 2,2137 mode: Parallel,2138 solo: [],2139 todo: Set("c"),2140 workers:2141 Map(2142 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2143 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2144 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2145 )2146 },2147 main::scheduler::wasFinished: false2148}21492150[State 102]2151{2152 main::scheduler::st:2153 {2154 done: Set("a", "b", "fat"),2155 errored: Set("huge"),2156 estimate: 4900,2157 externalKills: 2,2158 mode: Parallel,2159 solo: [],2160 todo: Set("c"),2161 workers:2162 Map(2163 0 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },2164 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2165 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2166 )2167 },2168 main::scheduler::wasFinished: false2169}21702171[State 103]2172{2173 main::scheduler::st:2174 {2175 done: Set("a", "b", "fat"),2176 errored: Set("huge"),2177 estimate: 4900,2178 externalKills: 2,2179 mode: Parallel,2180 solo: [],2181 todo: Set("c"),2182 workers:2183 Map(2184 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2185 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2186 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2187 )2188 },2189 main::scheduler::wasFinished: false2190}21912192[State 104]2193{2194 main::scheduler::st:2195 {2196 done: Set("a", "b", "fat"),2197 errored: Set("huge"),2198 estimate: 4900,2199 externalKills: 2,2200 mode: Parallel,2201 solo: [],2202 todo: Set("c"),2203 workers:2204 Map(2205 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2206 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2207 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2208 )2209 },2210 main::scheduler::wasFinished: false2211}22122213[State 105]2214{2215 main::scheduler::st:2216 {2217 done: Set("a", "b", "fat"),2218 errored: Set("huge"),2219 estimate: 4900,2220 externalKills: 2,2221 mode: Parallel,2222 solo: [],2223 todo: Set("c"),2224 workers:2225 Map(2226 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2227 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2228 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2229 )2230 },2231 main::scheduler::wasFinished: false2232}22332234[State 106]2235{2236 main::scheduler::st:2237 {2238 done: Set("a", "b", "fat"),2239 errored: Set("huge"),2240 estimate: 4900,2241 externalKills: 2,2242 mode: Parallel,2243 solo: [],2244 todo: Set("c"),2245 workers:2246 Map(2247 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2248 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2249 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2250 )2251 },2252 main::scheduler::wasFinished: false2253}22542255[State 107]2256{2257 main::scheduler::st:2258 {2259 done: Set("a", "b", "fat"),2260 errored: Set("huge"),2261 estimate: 4900,2262 externalKills: 2,2263 mode: Parallel,2264 solo: [],2265 todo: Set("c"),2266 workers:2267 Map(2268 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2269 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2270 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2271 )2272 },2273 main::scheduler::wasFinished: false2274}22752276[State 108]2277{2278 main::scheduler::st:2279 {2280 done: Set("a", "b", "fat"),2281 errored: Set("huge"),2282 estimate: 4900,2283 externalKills: 2,2284 mode: Parallel,2285 solo: [],2286 todo: Set("c"),2287 workers:2288 Map(2289 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2290 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2291 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2292 )2293 },2294 main::scheduler::wasFinished: false2295}22962297[State 109]2298{2299 main::scheduler::st:2300 {2301 done: Set("a", "b", "fat"),2302 errored: Set("huge"),2303 estimate: 4900,2304 externalKills: 2,2305 mode: Parallel,2306 solo: [],2307 todo: Set("c"),2308 workers:2309 Map(2310 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2311 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2312 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2313 )2314 },2315 main::scheduler::wasFinished: false2316}23172318[State 110]2319{2320 main::scheduler::st:2321 {2322 done: Set("a", "b", "fat"),2323 errored: Set("huge"),2324 estimate: 4900,2325 externalKills: 2,2326 mode: Parallel,2327 solo: [],2328 todo: Set("c"),2329 workers:2330 Map(2331 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2332 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2333 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2334 )2335 },2336 main::scheduler::wasFinished: false2337}23382339[State 111]2340{2341 main::scheduler::st:2342 {2343 done: Set("a", "b", "fat"),2344 errored: Set("huge"),2345 estimate: 4900,2346 externalKills: 2,2347 mode: Parallel,2348 solo: [],2349 todo: Set("c"),2350 workers:2351 Map(2352 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2353 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2354 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2355 )2356 },2357 main::scheduler::wasFinished: false2358}23592360[State 112]2361{2362 main::scheduler::st:2363 {2364 done: Set("a", "b", "fat"),2365 errored: Set("huge"),2366 estimate: 4900,2367 externalKills: 2,2368 mode: Parallel,2369 solo: [],2370 todo: Set("c"),2371 workers:2372 Map(2373 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2374 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2375 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2376 )2377 },2378 main::scheduler::wasFinished: false2379}23802381[State 113]2382{2383 main::scheduler::st:2384 {2385 done: Set("a", "b", "fat"),2386 errored: Set("huge"),2387 estimate: 4900,2388 externalKills: 2,2389 mode: Parallel,2390 solo: [],2391 todo: Set("c"),2392 workers:2393 Map(2394 0 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2395 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2396 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2397 )2398 },2399 main::scheduler::wasFinished: false2400}24012402[State 114]2403{2404 main::scheduler::st:2405 {2406 done: Set("a", "b", "fat"),2407 errored: Set("huge"),2408 estimate: 4900,2409 externalKills: 2,2410 mode: Parallel,2411 solo: [],2412 todo: Set(),2413 workers:2414 Map(2415 0 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2416 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2417 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2418 )2419 },2420 main::scheduler::wasFinished: false2421}24222423[State 115]2424{2425 main::scheduler::st:2426 {2427 done: Set("a", "b", "fat"),2428 errored: Set("huge"),2429 estimate: 4900,2430 externalKills: 2,2431 mode: Parallel,2432 solo: [],2433 todo: Set(),2434 workers:2435 Map(2436 0 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2437 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2438 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2439 )2440 },2441 main::scheduler::wasFinished: false2442}24432444[State 116]2445{2446 main::scheduler::st:2447 {2448 done: Set("a", "b", "fat"),2449 errored: Set("huge"),2450 estimate: 4900,2451 externalKills: 2,2452 mode: Parallel,2453 solo: [],2454 todo: Set(),2455 workers:2456 Map(2457 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2458 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2459 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2460 )2461 },2462 main::scheduler::wasFinished: false2463}24642465[State 117]2466{2467 main::scheduler::st:2468 {2469 done: Set("a", "b", "fat"),2470 errored: Set("huge"),2471 estimate: 4900,2472 externalKills: 2,2473 mode: Parallel,2474 solo: [],2475 todo: Set(),2476 workers:2477 Map(2478 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2479 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2480 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2481 )2482 },2483 main::scheduler::wasFinished: false2484}24852486[State 118]2487{2488 main::scheduler::st:2489 {2490 done: Set("a", "b", "fat"),2491 errored: Set("huge"),2492 estimate: 4900,2493 externalKills: 2,2494 mode: Parallel,2495 solo: [],2496 todo: Set(),2497 workers:2498 Map(2499 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2500 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2501 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2502 )2503 },2504 main::scheduler::wasFinished: false2505}25062507[State 119]2508{2509 main::scheduler::st:2510 {2511 done: Set("a", "b", "fat"),2512 errored: Set("huge"),2513 estimate: 4900,2514 externalKills: 2,2515 mode: Parallel,2516 solo: [],2517 todo: Set(),2518 workers:2519 Map(2520 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2521 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2522 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2523 )2524 },2525 main::scheduler::wasFinished: false2526}25272528[State 120]2529{2530 main::scheduler::st:2531 {2532 done: Set("a", "b", "fat"),2533 errored: Set("huge"),2534 estimate: 4900,2535 externalKills: 2,2536 mode: Parallel,2537 solo: [],2538 todo: Set(),2539 workers:2540 Map(2541 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2542 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2543 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2544 )2545 },2546 main::scheduler::wasFinished: false2547}25482549[State 121]2550{2551 main::scheduler::st:2552 {2553 done: Set("a", "b", "fat"),2554 errored: Set("huge"),2555 estimate: 4900,2556 externalKills: 2,2557 mode: Parallel,2558 solo: [],2559 todo: Set(),2560 workers:2561 Map(2562 0 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2563 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2564 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2565 )2566 },2567 main::scheduler::wasFinished: false2568}25692570[State 122]2571{2572 main::scheduler::st:2573 {2574 done: Set("a", "b", "c", "fat"),2575 errored: Set("huge"),2576 estimate: 4802,2577 externalKills: 2,2578 mode: Parallel,2579 solo: [],2580 todo: Set(),2581 workers:2582 Map(2583 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2584 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2585 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2586 )2587 },2588 main::scheduler::wasFinished: false2589}25902591[State 123]2592{2593 main::scheduler::st:2594 {2595 done: Set("a", "b", "c", "fat"),2596 errored: Set("huge"),2597 estimate: 4802,2598 externalKills: 2,2599 mode: Parallel,2600 solo: [],2601 todo: Set(),2602 workers:2603 Map(2604 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2605 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2606 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2607 )2608 },2609 main::scheduler::wasFinished: true2610}26112612[State 124]2613{2614 main::scheduler::st:2615 {2616 done: Set("a", "b", "c", "fat"),2617 errored: Set("huge"),2618 estimate: 4802,2619 externalKills: 2,2620 mode: Parallel,2621 solo: [],2622 todo: Set(),2623 workers:2624 Map(2625 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2626 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2627 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2628 )2629 },2630 main::scheduler::wasFinished: true2631}26322633[State 125]2634{2635 main::scheduler::st:2636 {2637 done: Set("a", "b", "c", "fat"),2638 errored: Set("huge"),2639 estimate: 4802,2640 externalKills: 2,2641 mode: Parallel,2642 solo: [],2643 todo: Set(),2644 workers:2645 Map(2646 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2647 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2648 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2649 )2650 },2651 main::scheduler::wasFinished: true2652}26532654[State 126]2655{2656 main::scheduler::st:2657 {2658 done: Set("a", "b", "c", "fat"),2659 errored: Set("huge"),2660 estimate: 4802,2661 externalKills: 2,2662 mode: Parallel,2663 solo: [],2664 todo: Set(),2665 workers:2666 Map(2667 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2668 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2669 2 -> { heap: 300, job: "", phase: Exiting, rss: 300, startRss: 0 }2670 )2671 },2672 main::scheduler::wasFinished: true2673}26742675[State 127]2676{2677 main::scheduler::st:2678 {2679 done: Set("a", "b", "c", "fat"),2680 errored: Set("huge"),2681 estimate: 4802,2682 externalKills: 2,2683 mode: Parallel,2684 solo: [],2685 todo: Set(),2686 workers:2687 Map(2688 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2689 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2690 2 -> { heap: 300, job: "", phase: Exiting, rss: 300, startRss: 0 }2691 )2692 },2693 main::scheduler::wasFinished: true2694}26952696[State 128]2697{2698 main::scheduler::st:2699 {2700 done: Set("a", "b", "c", "fat"),2701 errored: Set("huge"),2702 estimate: 4802,2703 externalKills: 2,2704 mode: Parallel,2705 solo: [],2706 todo: Set(),2707 workers:2708 Map(2709 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2710 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2711 2 -> { heap: 300, job: "", phase: Exiting, rss: 300, startRss: 0 }2712 )2713 },2714 main::scheduler::wasFinished: true2715}27162717[State 129]2718{2719 main::scheduler::st:2720 {2721 done: Set("a", "b", "c", "fat"),2722 errored: Set("huge"),2723 estimate: 4802,2724 externalKills: 2,2725 mode: Parallel,2726 solo: [],2727 todo: Set(),2728 workers:2729 Map(2730 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2731 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2732 2 -> { heap: 300, job: "", phase: Exiting, rss: 300, startRss: 0 }2733 )2734 },2735 main::scheduler::wasFinished: true2736}27372738[State 130]2739{2740 main::scheduler::st:2741 {2742 done: Set("a", "b", "c", "fat"),2743 errored: Set("huge"),2744 estimate: 4802,2745 externalKills: 2,2746 mode: Parallel,2747 solo: [],2748 todo: Set(),2749 workers:2750 Map(2751 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2752 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2753 2 -> { heap: 300, job: "", phase: Exiting, rss: 300, startRss: 0 }2754 )2755 },2756 main::scheduler::wasFinished: true2757}27582759[State 131]2760{2761 main::scheduler::st:2762 {2763 done: Set("a", "b", "c", "fat"),2764 errored: Set("huge"),2765 estimate: 4802,2766 externalKills: 2,2767 mode: Parallel,2768 solo: [],2769 todo: Set(),2770 workers:2771 Map(2772 0 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2773 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2774 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2775 )2776 },2777 main::scheduler::wasFinished: true2778}27792780[State 132]2781{2782 main::scheduler::st:2783 {2784 done: Set("a", "b", "c", "fat"),2785 errored: Set("huge"),2786 estimate: 4802,2787 externalKills: 2,2788 mode: Parallel,2789 solo: [],2790 todo: Set(),2791 workers:2792 Map(2793 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2794 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2795 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2796 )2797 },2798 main::scheduler::wasFinished: true2799}28002801[State 133]2802{2803 main::scheduler::st:2804 {2805 done: Set("a", "b", "c", "fat"),2806 errored: Set("huge"),2807 estimate: 4802,2808 externalKills: 2,2809 mode: Parallel,2810 solo: [],2811 todo: Set(),2812 workers:2813 Map(2814 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2815 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2816 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2817 )2818 },2819 main::scheduler::wasFinished: true2820}28212822[State 134]2823{2824 main::scheduler::st:2825 {2826 done: Set("a", "b", "c", "fat"),2827 errored: Set("huge"),2828 estimate: 4802,2829 externalKills: 2,2830 mode: Parallel,2831 solo: [],2832 todo: Set(),2833 workers:2834 Map(2835 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2836 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2837 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2838 )2839 },2840 main::scheduler::wasFinished: true2841}28422843[State 135]2844{2845 main::scheduler::st:2846 {2847 done: Set("a", "b", "c", "fat"),2848 errored: Set("huge"),2849 estimate: 4802,2850 externalKills: 2,2851 mode: Parallel,2852 solo: [],2853 todo: Set(),2854 workers:2855 Map(2856 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2857 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2858 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2859 )2860 },2861 main::scheduler::wasFinished: true2862}28632864[State 136]2865{2866 main::scheduler::st:2867 {2868 done: Set("a", "b", "c", "fat"),2869 errored: Set("huge"),2870 estimate: 4802,2871 externalKills: 2,2872 mode: Parallel,2873 solo: [],2874 todo: Set(),2875 workers:2876 Map(2877 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2878 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2879 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2880 )2881 },2882 main::scheduler::wasFinished: true2883}28842885[State 137]2886{2887 main::scheduler::st:2888 {2889 done: Set("a", "b", "c", "fat"),2890 errored: Set("huge"),2891 estimate: 4802,2892 externalKills: 2,2893 mode: Parallel,2894 solo: [],2895 todo: Set(),2896 workers:2897 Map(2898 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2899 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2900 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2901 )2902 },2903 main::scheduler::wasFinished: true2904}29052906[State 138]2907{2908 main::scheduler::st:2909 {2910 done: Set("a", "b", "c", "fat"),2911 errored: Set("huge"),2912 estimate: 4802,2913 externalKills: 2,2914 mode: Parallel,2915 solo: [],2916 todo: Set(),2917 workers:2918 Map(2919 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2920 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2921 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2922 )2923 },2924 main::scheduler::wasFinished: true2925}29262927[State 139]2928{2929 main::scheduler::st:2930 {2931 done: Set("a", "b", "c", "fat"),2932 errored: Set("huge"),2933 estimate: 4802,2934 externalKills: 2,2935 mode: Parallel,2936 solo: [],2937 todo: Set(),2938 workers:2939 Map(2940 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2941 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2942 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2943 )2944 },2945 main::scheduler::wasFinished: true2946}29472948[State 140]2949{2950 main::scheduler::st:2951 {2952 done: Set("a", "b", "c", "fat"),2953 errored: Set("huge"),2954 estimate: 4802,2955 externalKills: 2,2956 mode: Parallel,2957 solo: [],2958 todo: Set(),2959 workers:2960 Map(2961 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2962 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2963 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2964 )2965 },2966 main::scheduler::wasFinished: true2967}29682969[State 141]2970{2971 main::scheduler::st:2972 {2973 done: Set("a", "b", "c", "fat"),2974 errored: Set("huge"),2975 estimate: 4802,2976 externalKills: 2,2977 mode: Parallel,2978 solo: [],2979 todo: Set(),2980 workers:2981 Map(2982 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2983 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2984 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2985 )2986 },2987 main::scheduler::wasFinished: true2988}29892990[State 142]2991{2992 main::scheduler::st:2993 {2994 done: Set("a", "b", "c", "fat"),2995 errored: Set("huge"),2996 estimate: 4802,2997 externalKills: 2,2998 mode: Parallel,2999 solo: [],3000 todo: Set(),3001 workers:3002 Map(3003 0 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },3004 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3005 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3006 )3007 },3008 main::scheduler::wasFinished: true3009}30103011[State 143]3012{3013 main::scheduler::st:3014 {3015 done: Set("a", "b", "c", "fat"),3016 errored: Set("huge"),3017 estimate: 4802,3018 externalKills: 2,3019 mode: Parallel,3020 solo: [],3021 todo: Set(),3022 workers:3023 Map(3024 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3025 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3026 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3027 )3028 },3029 main::scheduler::wasFinished: true3030}30313032[State 144]3033{3034 main::scheduler::st:3035 {3036 done: Set("a", "b", "c", "fat"),3037 errored: Set("huge"),3038 estimate: 4802,3039 externalKills: 2,3040 mode: Parallel,3041 solo: [],3042 todo: Set(),3043 workers:3044 Map(3045 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3046 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3047 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3048 )3049 },3050 main::scheduler::wasFinished: true3051}30523053[State 145]3054{3055 main::scheduler::st:3056 {3057 done: Set("a", "b", "c", "fat"),3058 errored: Set("huge"),3059 estimate: 4802,3060 externalKills: 2,3061 mode: Parallel,3062 solo: [],3063 todo: Set(),3064 workers:3065 Map(3066 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3067 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3068 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3069 )3070 },3071 main::scheduler::wasFinished: true3072}30733074[State 146]3075{3076 main::scheduler::st:3077 {3078 done: Set("a", "b", "c", "fat"),3079 errored: Set("huge"),3080 estimate: 4802,3081 externalKills: 2,3082 mode: Parallel,3083 solo: [],3084 todo: Set(),3085 workers:3086 Map(3087 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3088 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3089 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3090 )3091 },3092 main::scheduler::wasFinished: true3093}30943095[State 147]3096{3097 main::scheduler::st:3098 {3099 done: Set("a", "b", "c", "fat"),3100 errored: Set("huge"),3101 estimate: 4802,3102 externalKills: 2,3103 mode: Parallel,3104 solo: [],3105 todo: Set(),3106 workers:3107 Map(3108 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3109 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3110 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3111 )3112 },3113 main::scheduler::wasFinished: true3114}31153116[State 148]3117{3118 main::scheduler::st:3119 {3120 done: Set("a", "b", "c", "fat"),3121 errored: Set("huge"),3122 estimate: 4802,3123 externalKills: 2,3124 mode: Parallel,3125 solo: [],3126 todo: Set(),3127 workers:3128 Map(3129 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3130 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3131 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3132 )3133 },3134 main::scheduler::wasFinished: true3135}31363137[State 149]3138{3139 main::scheduler::st:3140 {3141 done: Set("a", "b", "c", "fat"),3142 errored: Set("huge"),3143 estimate: 4802,3144 externalKills: 2,3145 mode: Parallel,3146 solo: [],3147 todo: Set(),3148 workers:3149 Map(3150 0 -> { heap: 900, job: "", phase: Exiting, rss: 900, startRss: 0 },3151 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3152 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3153 )3154 },3155 main::scheduler::wasFinished: true3156}31573158[State 150]3159{3160 main::scheduler::st:3161 {3162 done: Set("a", "b", "c", "fat"),3163 errored: Set("huge"),3164 estimate: 4802,3165 externalKills: 2,3166 mode: Parallel,3167 solo: [],3168 todo: Set(),3169 workers:3170 Map(3171 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3172 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3173 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3174 )3175 },3176 main::scheduler::wasFinished: true3177}31783179[ok] No violation found (915ms at 2186 traces/second).3180Trace length statistics: max=151, min=63, average=112.263181You may increase --max-samples and --max-steps.3182Use --verbosity to produce more (or less) output.3183Use --seed=0xf82a012998280b7b --backend=rust to reproduce.31843185 noOomKiller3186 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3187 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31883189 2 passing (19815ms)31903191 main3192 ok main::scheduler::terminatesTest passed 200 test(s)31933194 1 passing (9242ms)