nix-eval-jobs-scheduler-spec
checks.x86_64-linux.scheduler-spec
· build #104
· 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: 300, job: "", phase: Starting, rss: 300, startRss: 0 },39 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },40 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }41 )42 },43 main::scheduler::wasFinished: false44}4546[State 2]47{48 main::scheduler::st:49 {50 done: Set(),51 errored: Set(),52 estimate: 512,53 externalKills: 0,54 mode: Parallel,55 solo: [],56 todo: Set("a", "b", "c", "fat", "huge"),57 workers:58 Map(59 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },60 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },61 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }62 )63 },64 main::scheduler::wasFinished: false65}6667[State 3]68{69 main::scheduler::st:70 {71 done: Set(),72 errored: Set(),73 estimate: 512,74 externalKills: 0,75 mode: Parallel,76 solo: [],77 todo: Set("a", "b", "c", "fat", "huge"),78 workers:79 Map(80 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },81 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },82 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }83 )84 },85 main::scheduler::wasFinished: false86}8788[State 4]89{90 main::scheduler::st:91 {92 done: Set(),93 errored: Set(),94 estimate: 512,95 externalKills: 1,96 mode: Parallel,97 solo: [],98 todo: Set("a", "b", "c", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },102 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },103 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }104 )105 },106 main::scheduler::wasFinished: false107}108109[State 5]110{111 main::scheduler::st:112 {113 done: Set(),114 errored: Set(),115 estimate: 512,116 externalKills: 1,117 mode: Parallel,118 solo: [],119 todo: Set("a", "b", "c", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },123 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },124 2 -> { heap: 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: 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: 0, job: "", phase: PNone, rss: 0, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 }167 )168 },169 main::scheduler::wasFinished: false170}171172[State 8]173{174 main::scheduler::st:175 {176 done: Set(),177 errored: Set(),178 estimate: 512,179 externalKills: 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: 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: 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: Idle, rss: 300, startRss: 0 },208 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: Idle, 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: Idle, 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: Idle, 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: Idle, 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: Idle, 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: Idle, rss: 300, startRss: 0 }356 )357 },358 main::scheduler::wasFinished: false359}360361[State 17]362{363 main::scheduler::st:364 {365 done: Set(),366 errored: Set(),367 estimate: 512,368 externalKills: 2,369 mode: Parallel,370 solo: [],371 todo: Set("a", "b", "c", "fat", "huge"),372 workers:373 Map(374 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },375 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },376 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }377 )378 },379 main::scheduler::wasFinished: false380}381382[State 18]383{384 main::scheduler::st:385 {386 done: Set(),387 errored: Set(),388 estimate: 512,389 externalKills: 2,390 mode: Parallel,391 solo: [],392 todo: Set("a", "b", "c", "fat", "huge"),393 workers:394 Map(395 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },396 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },397 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }398 )399 },400 main::scheduler::wasFinished: false401}402403[State 19]404{405 main::scheduler::st:406 {407 done: Set(),408 errored: Set(),409 estimate: 512,410 externalKills: 2,411 mode: Parallel,412 solo: [],413 todo: Set("a", "b", "c", "fat", "huge"),414 workers:415 Map(416 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },417 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },418 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }419 )420 },421 main::scheduler::wasFinished: false422}423424[State 20]425{426 main::scheduler::st:427 {428 done: Set(),429 errored: Set(),430 estimate: 512,431 externalKills: 2,432 mode: Parallel,433 solo: [],434 todo: Set("a", "b", "c", "fat", "huge"),435 workers:436 Map(437 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },438 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },439 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }440 )441 },442 main::scheduler::wasFinished: false443}444445[State 21]446{447 main::scheduler::st:448 {449 done: Set(),450 errored: Set(),451 estimate: 512,452 externalKills: 2,453 mode: Parallel,454 solo: [],455 todo: Set("a", "b", "c", "fat"),456 workers:457 Map(458 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },459 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },460 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }461 )462 },463 main::scheduler::wasFinished: false464}465466[State 22]467{468 main::scheduler::st:469 {470 done: Set(),471 errored: Set(),472 estimate: 512,473 externalKills: 2,474 mode: Parallel,475 solo: [],476 todo: Set("a", "c", "fat"),477 workers:478 Map(479 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },480 1 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },481 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }482 )483 },484 main::scheduler::wasFinished: false485}486487[State 23]488{489 main::scheduler::st:490 {491 done: Set(),492 errored: Set(),493 estimate: 512,494 externalKills: 2,495 mode: Parallel,496 solo: [],497 todo: Set("a", "c", "fat"),498 workers:499 Map(500 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },501 1 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },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(),513 errored: Set(),514 estimate: 512,515 externalKills: 2,516 mode: Parallel,517 solo: [],518 todo: Set("a", "c", "fat"),519 workers:520 Map(521 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },522 1 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },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(),534 errored: Set(),535 estimate: 512,536 externalKills: 2,537 mode: Parallel,538 solo: [],539 todo: Set("a", "c", "fat"),540 workers:541 Map(542 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },543 1 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },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("b"),555 errored: Set(),556 estimate: 501,557 externalKills: 2,558 mode: Parallel,559 solo: [],560 todo: Set("a", "c", "fat"),561 workers:562 Map(563 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },564 1 -> { heap: 500, job: "", phase: Starting, rss: 500, 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("b"),576 errored: Set(),577 estimate: 501,578 externalKills: 2,579 mode: Parallel,580 solo: [],581 todo: Set("a", "c", "fat"),582 workers:583 Map(584 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },585 1 -> { heap: 500, job: "", phase: Starting, rss: 500, 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("b"),597 errored: Set(),598 estimate: 501,599 externalKills: 2,600 mode: Parallel,601 solo: [],602 todo: Set("a", "c", "fat"),603 workers:604 Map(605 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },606 1 -> { heap: 500, job: "", phase: Starting, rss: 500, 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("b"),618 errored: Set(),619 estimate: 501,620 externalKills: 2,621 mode: Parallel,622 solo: [],623 todo: Set("a", "c", "fat"),624 workers:625 Map(626 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },627 1 -> { heap: 500, job: "", phase: Starting, rss: 500, 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("b"),639 errored: Set(),640 estimate: 5000,641 externalKills: 2,642 mode: Parallel,643 solo: [],644 todo: Set("a", "c", "fat"),645 workers:646 Map(647 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },648 1 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },649 2 ->650 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }651 )652 },653 main::scheduler::wasFinished: false654}655656[State 31]657{658 main::scheduler::st:659 {660 done: Set("b"),661 errored: Set(),662 estimate: 5000,663 externalKills: 2,664 mode: Parallel,665 solo: [],666 todo: Set("a", "c", "fat"),667 workers:668 Map(669 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },670 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },671 2 ->672 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }673 )674 },675 main::scheduler::wasFinished: false676}677678[State 32]679{680 main::scheduler::st:681 {682 done: Set("b"),683 errored: Set(),684 estimate: 5000,685 externalKills: 2,686 mode: Parallel,687 solo: [],688 todo: Set("a", "c", "fat"),689 workers:690 Map(691 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },692 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },693 2 ->694 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }695 )696 },697 main::scheduler::wasFinished: false698}699700[State 33]701{702 main::scheduler::st:703 {704 done: Set("b"),705 errored: Set(),706 estimate: 5000,707 externalKills: 2,708 mode: Parallel,709 solo: ["huge"],710 todo: Set("a", "c", "fat"),711 workers:712 Map(713 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },714 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },715 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }716 )717 },718 main::scheduler::wasFinished: false719}720721[State 34]722{723 main::scheduler::st:724 {725 done: Set("b"),726 errored: Set(),727 estimate: 5000,728 externalKills: 2,729 mode: Parallel,730 solo: ["huge"],731 todo: Set("a", "c", "fat"),732 workers:733 Map(734 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },735 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },736 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }737 )738 },739 main::scheduler::wasFinished: false740}741742[State 35]743{744 main::scheduler::st:745 {746 done: Set("b"),747 errored: Set(),748 estimate: 5000,749 externalKills: 2,750 mode: Parallel,751 solo: ["huge"],752 todo: Set("a", "c", "fat"),753 workers:754 Map(755 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },756 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },757 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }758 )759 },760 main::scheduler::wasFinished: false761}762763[State 36]764{765 main::scheduler::st:766 {767 done: Set("b"),768 errored: Set(),769 estimate: 5000,770 externalKills: 2,771 mode: Solo,772 solo: ["huge"],773 todo: Set("a", "c", "fat"),774 workers:775 Map(776 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },777 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },778 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }779 )780 },781 main::scheduler::wasFinished: false782}783784[State 37]785{786 main::scheduler::st:787 {788 done: Set("b"),789 errored: Set(),790 estimate: 5000,791 externalKills: 2,792 mode: Solo,793 solo: ["huge"],794 todo: Set("a", "c", "fat"),795 workers:796 Map(797 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },798 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },799 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }800 )801 },802 main::scheduler::wasFinished: false803}804805[State 38]806{807 main::scheduler::st:808 {809 done: Set("b"),810 errored: Set(),811 estimate: 5000,812 externalKills: 2,813 mode: Solo,814 solo: ["huge"],815 todo: Set("a", "c", "fat"),816 workers:817 Map(818 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },819 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },820 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }821 )822 },823 main::scheduler::wasFinished: false824}825826[State 39]827{828 main::scheduler::st:829 {830 done: Set("b"),831 errored: Set(),832 estimate: 5000,833 externalKills: 2,834 mode: Solo,835 solo: ["huge"],836 todo: Set("a", "c", "fat"),837 workers:838 Map(839 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },840 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },841 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }842 )843 },844 main::scheduler::wasFinished: false845}846847[State 40]848{849 main::scheduler::st:850 {851 done: Set("b"),852 errored: Set(),853 estimate: 5000,854 externalKills: 2,855 mode: Solo,856 solo: ["huge"],857 todo: Set("a", "c", "fat"),858 workers:859 Map(860 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },861 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },862 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }863 )864 },865 main::scheduler::wasFinished: false866}867868[State 41]869{870 main::scheduler::st:871 {872 done: Set("b"),873 errored: Set(),874 estimate: 5000,875 externalKills: 2,876 mode: Solo,877 solo: ["huge"],878 todo: Set("a", "c", "fat"),879 workers:880 Map(881 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },882 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },883 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }884 )885 },886 main::scheduler::wasFinished: false887}888889[State 42]890{891 main::scheduler::st:892 {893 done: Set("b"),894 errored: Set(),895 estimate: 5000,896 externalKills: 2,897 mode: Solo,898 solo: ["huge"],899 todo: Set("a", "c", "fat"),900 workers:901 Map(902 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },903 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },904 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }905 )906 },907 main::scheduler::wasFinished: false908}909910[State 43]911{912 main::scheduler::st:913 {914 done: Set("b"),915 errored: Set(),916 estimate: 5000,917 externalKills: 2,918 mode: Solo,919 solo: ["huge"],920 todo: Set("a", "c", "fat"),921 workers:922 Map(923 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },924 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },925 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }926 )927 },928 main::scheduler::wasFinished: false929}930931[State 44]932{933 main::scheduler::st:934 {935 done: Set("b"),936 errored: Set(),937 estimate: 5000,938 externalKills: 2,939 mode: Solo,940 solo: ["huge"],941 todo: Set("a", "c", "fat"),942 workers:943 Map(944 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },945 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },946 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }947 )948 },949 main::scheduler::wasFinished: false950}951952[State 45]953{954 main::scheduler::st:955 {956 done: Set("b"),957 errored: Set(),958 estimate: 5000,959 externalKills: 2,960 mode: Solo,961 solo: ["huge"],962 todo: Set("a", "c", "fat"),963 workers:964 Map(965 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },966 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },967 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }968 )969 },970 main::scheduler::wasFinished: false971}972973[State 46]974{975 main::scheduler::st:976 {977 done: Set("b"),978 errored: Set(),979 estimate: 5000,980 externalKills: 2,981 mode: Solo,982 solo: ["huge"],983 todo: Set("a", "c", "fat"),984 workers:985 Map(986 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },987 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },988 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }989 )990 },991 main::scheduler::wasFinished: false992}993994[State 47]995{996 main::scheduler::st:997 {998 done: Set("b"),999 errored: Set(),1000 estimate: 5000,1001 externalKills: 2,1002 mode: Solo,1003 solo: ["huge"],1004 todo: Set("a", "c", "fat"),1005 workers:1006 Map(1007 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1008 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1009 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1010 )1011 },1012 main::scheduler::wasFinished: false1013}10141015[State 48]1016{1017 main::scheduler::st:1018 {1019 done: Set("b"),1020 errored: Set(),1021 estimate: 5000,1022 externalKills: 2,1023 mode: Solo,1024 solo: ["huge"],1025 todo: Set("a", "c", "fat"),1026 workers:1027 Map(1028 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1029 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1030 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1031 )1032 },1033 main::scheduler::wasFinished: false1034}10351036[State 49]1037{1038 main::scheduler::st:1039 {1040 done: Set("b"),1041 errored: Set(),1042 estimate: 5000,1043 externalKills: 2,1044 mode: Solo,1045 solo: ["huge"],1046 todo: Set("a", "c", "fat"),1047 workers:1048 Map(1049 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1050 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1051 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1052 )1053 },1054 main::scheduler::wasFinished: false1055}10561057[State 50]1058{1059 main::scheduler::st:1060 {1061 done: Set("b"),1062 errored: Set(),1063 estimate: 5000,1064 externalKills: 2,1065 mode: Solo,1066 solo: [],1067 todo: Set("a", "c", "fat"),1068 workers:1069 Map(1070 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1071 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },1072 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1073 )1074 },1075 main::scheduler::wasFinished: false1076}10771078[State 51]1079{1080 main::scheduler::st:1081 {1082 done: Set("b"),1083 errored: Set(),1084 estimate: 5000,1085 externalKills: 2,1086 mode: Solo,1087 solo: [],1088 todo: Set("a", "c", "fat"),1089 workers:1090 Map(1091 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1092 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },1093 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1094 )1095 },1096 main::scheduler::wasFinished: false1097}10981099[State 52]1100{1101 main::scheduler::st:1102 {1103 done: Set("b"),1104 errored: Set(),1105 estimate: 5000,1106 externalKills: 2,1107 mode: Solo,1108 solo: [],1109 todo: Set("a", "c", "fat"),1110 workers:1111 Map(1112 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1113 1 ->1114 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },1115 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1116 )1117 },1118 main::scheduler::wasFinished: false1119}11201121[State 53]1122{1123 main::scheduler::st:1124 {1125 done: Set("b"),1126 errored: Set(),1127 estimate: 5000,1128 externalKills: 2,1129 mode: Solo,1130 solo: [],1131 todo: Set("a", "c", "fat"),1132 workers:1133 Map(1134 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1135 1 ->1136 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1137 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1138 )1139 },1140 main::scheduler::wasFinished: false1141}11421143[State 54]1144{1145 main::scheduler::st:1146 {1147 done: Set("b"),1148 errored: Set(),1149 estimate: 5000,1150 externalKills: 2,1151 mode: Solo,1152 solo: [],1153 todo: Set("a", "c", "fat"),1154 workers:1155 Map(1156 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1157 1 ->1158 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1159 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1160 )1161 },1162 main::scheduler::wasFinished: false1163}11641165[State 55]1166{1167 main::scheduler::st:1168 {1169 done: Set("b"),1170 errored: Set(),1171 estimate: 5000,1172 externalKills: 2,1173 mode: Solo,1174 solo: [],1175 todo: Set("a", "c", "fat"),1176 workers:1177 Map(1178 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1179 1 ->1180 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1181 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1182 )1183 },1184 main::scheduler::wasFinished: false1185}11861187[State 56]1188{1189 main::scheduler::st:1190 {1191 done: Set("b"),1192 errored: Set("huge"),1193 estimate: 5000,1194 externalKills: 2,1195 mode: Parallel,1196 solo: [],1197 todo: Set("a", "c", "fat"),1198 workers:1199 Map(1200 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1201 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1202 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1203 )1204 },1205 main::scheduler::wasFinished: false1206}12071208[State 57]1209{1210 main::scheduler::st:1211 {1212 done: Set("b"),1213 errored: Set("huge"),1214 estimate: 5000,1215 externalKills: 2,1216 mode: Parallel,1217 solo: [],1218 todo: Set("a", "c", "fat"),1219 workers:1220 Map(1221 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1222 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1223 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1224 )1225 },1226 main::scheduler::wasFinished: false1227}12281229[State 58]1230{1231 main::scheduler::st:1232 {1233 done: Set("b"),1234 errored: Set("huge"),1235 estimate: 5000,1236 externalKills: 2,1237 mode: Parallel,1238 solo: [],1239 todo: Set("a", "c", "fat"),1240 workers:1241 Map(1242 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1243 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1244 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1245 )1246 },1247 main::scheduler::wasFinished: false1248}12491250[State 59]1251{1252 main::scheduler::st:1253 {1254 done: Set("b"),1255 errored: Set("huge"),1256 estimate: 5000,1257 externalKills: 2,1258 mode: Parallel,1259 solo: [],1260 todo: Set("a", "c", "fat"),1261 workers:1262 Map(1263 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1264 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1265 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1266 )1267 },1268 main::scheduler::wasFinished: false1269}12701271[State 60]1272{1273 main::scheduler::st:1274 {1275 done: Set("b"),1276 errored: Set("huge"),1277 estimate: 5000,1278 externalKills: 2,1279 mode: Parallel,1280 solo: [],1281 todo: Set("a", "c", "fat"),1282 workers:1283 Map(1284 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1285 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1286 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1287 )1288 },1289 main::scheduler::wasFinished: false1290}12911292[State 61]1293{1294 main::scheduler::st:1295 {1296 done: Set("b"),1297 errored: Set("huge"),1298 estimate: 5000,1299 externalKills: 2,1300 mode: Parallel,1301 solo: [],1302 todo: Set("a", "c", "fat"),1303 workers:1304 Map(1305 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1306 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1307 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1308 )1309 },1310 main::scheduler::wasFinished: false1311}13121313[State 62]1314{1315 main::scheduler::st:1316 {1317 done: Set("b"),1318 errored: Set("huge"),1319 estimate: 5000,1320 externalKills: 2,1321 mode: Parallel,1322 solo: [],1323 todo: Set("a", "c", "fat"),1324 workers:1325 Map(1326 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1327 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1328 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1329 )1330 },1331 main::scheduler::wasFinished: false1332}13331334[State 63]1335{1336 main::scheduler::st:1337 {1338 done: Set("b"),1339 errored: Set("huge"),1340 estimate: 5000,1341 externalKills: 2,1342 mode: Parallel,1343 solo: [],1344 todo: Set("a", "c", "fat"),1345 workers:1346 Map(1347 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1348 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1349 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1350 )1351 },1352 main::scheduler::wasFinished: false1353}13541355[State 64]1356{1357 main::scheduler::st:1358 {1359 done: Set("b"),1360 errored: Set("huge"),1361 estimate: 5000,1362 externalKills: 2,1363 mode: Parallel,1364 solo: [],1365 todo: Set("a", "c", "fat"),1366 workers:1367 Map(1368 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1369 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1370 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1371 )1372 },1373 main::scheduler::wasFinished: false1374}13751376[State 65]1377{1378 main::scheduler::st:1379 {1380 done: Set("b"),1381 errored: Set("huge"),1382 estimate: 5000,1383 externalKills: 2,1384 mode: Parallel,1385 solo: [],1386 todo: Set("a", "c", "fat"),1387 workers:1388 Map(1389 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1390 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1391 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1392 )1393 },1394 main::scheduler::wasFinished: false1395}13961397[State 66]1398{1399 main::scheduler::st:1400 {1401 done: Set("b"),1402 errored: Set("huge"),1403 estimate: 5000,1404 externalKills: 2,1405 mode: Parallel,1406 solo: [],1407 todo: Set("a", "c", "fat"),1408 workers:1409 Map(1410 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1411 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1412 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1413 )1414 },1415 main::scheduler::wasFinished: false1416}14171418[State 67]1419{1420 main::scheduler::st:1421 {1422 done: Set("b"),1423 errored: Set("huge"),1424 estimate: 5000,1425 externalKills: 2,1426 mode: Parallel,1427 solo: [],1428 todo: Set("a", "c", "fat"),1429 workers:1430 Map(1431 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1432 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1433 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1434 )1435 },1436 main::scheduler::wasFinished: false1437}14381439[State 68]1440{1441 main::scheduler::st:1442 {1443 done: Set("b"),1444 errored: Set("huge"),1445 estimate: 5000,1446 externalKills: 2,1447 mode: Parallel,1448 solo: [],1449 todo: Set("a", "c", "fat"),1450 workers:1451 Map(1452 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1453 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1454 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1455 )1456 },1457 main::scheduler::wasFinished: false1458}14591460[State 69]1461{1462 main::scheduler::st:1463 {1464 done: Set("b"),1465 errored: Set("huge"),1466 estimate: 5000,1467 externalKills: 2,1468 mode: Parallel,1469 solo: [],1470 todo: Set("a", "c", "fat"),1471 workers:1472 Map(1473 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1474 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1475 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1476 )1477 },1478 main::scheduler::wasFinished: false1479}14801481[State 70]1482{1483 main::scheduler::st:1484 {1485 done: Set("b"),1486 errored: Set("huge"),1487 estimate: 5000,1488 externalKills: 2,1489 mode: Parallel,1490 solo: [],1491 todo: Set("a", "c", "fat"),1492 workers:1493 Map(1494 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1495 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1496 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1497 )1498 },1499 main::scheduler::wasFinished: false1500}15011502[State 71]1503{1504 main::scheduler::st:1505 {1506 done: Set("b"),1507 errored: Set("huge"),1508 estimate: 5000,1509 externalKills: 2,1510 mode: Parallel,1511 solo: [],1512 todo: Set("a", "c", "fat"),1513 workers:1514 Map(1515 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1516 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1517 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1518 )1519 },1520 main::scheduler::wasFinished: false1521}15221523[State 72]1524{1525 main::scheduler::st:1526 {1527 done: Set("b"),1528 errored: Set("huge"),1529 estimate: 5000,1530 externalKills: 2,1531 mode: Parallel,1532 solo: [],1533 todo: Set("a", "c", "fat"),1534 workers:1535 Map(1536 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1537 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1538 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1539 )1540 },1541 main::scheduler::wasFinished: false1542}15431544[State 73]1545{1546 main::scheduler::st:1547 {1548 done: Set("b"),1549 errored: Set("huge"),1550 estimate: 5000,1551 externalKills: 2,1552 mode: Parallel,1553 solo: [],1554 todo: Set("a", "c", "fat"),1555 workers:1556 Map(1557 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1558 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1559 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1560 )1561 },1562 main::scheduler::wasFinished: false1563}15641565[State 74]1566{1567 main::scheduler::st:1568 {1569 done: Set("b"),1570 errored: Set("huge"),1571 estimate: 5000,1572 externalKills: 2,1573 mode: Parallel,1574 solo: [],1575 todo: Set("c", "fat"),1576 workers:1577 Map(1578 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1579 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1580 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1581 )1582 },1583 main::scheduler::wasFinished: false1584}15851586[State 75]1587{1588 main::scheduler::st:1589 {1590 done: Set("b"),1591 errored: Set("huge"),1592 estimate: 5000,1593 externalKills: 2,1594 mode: Parallel,1595 solo: [],1596 todo: Set("c", "fat"),1597 workers:1598 Map(1599 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1600 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1601 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1602 )1603 },1604 main::scheduler::wasFinished: false1605}16061607[State 76]1608{1609 main::scheduler::st:1610 {1611 done: Set("b"),1612 errored: Set("huge"),1613 estimate: 5000,1614 externalKills: 2,1615 mode: Parallel,1616 solo: [],1617 todo: Set("c", "fat"),1618 workers:1619 Map(1620 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1621 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1622 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1623 )1624 },1625 main::scheduler::wasFinished: false1626}16271628[State 77]1629{1630 main::scheduler::st:1631 {1632 done: Set("b"),1633 errored: Set("huge"),1634 estimate: 5000,1635 externalKills: 2,1636 mode: Parallel,1637 solo: [],1638 todo: Set("c", "fat"),1639 workers:1640 Map(1641 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1642 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1643 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1644 )1645 },1646 main::scheduler::wasFinished: false1647}16481649[State 78]1650{1651 main::scheduler::st:1652 {1653 done: Set("b"),1654 errored: Set("huge"),1655 estimate: 5000,1656 externalKills: 2,1657 mode: Parallel,1658 solo: [],1659 todo: Set("c", "fat"),1660 workers:1661 Map(1662 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1663 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1664 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1665 )1666 },1667 main::scheduler::wasFinished: false1668}16691670[State 79]1671{1672 main::scheduler::st:1673 {1674 done: Set("b"),1675 errored: Set("huge"),1676 estimate: 5000,1677 externalKills: 2,1678 mode: Parallel,1679 solo: [],1680 todo: Set("c", "fat"),1681 workers:1682 Map(1683 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1684 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1685 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1686 )1687 },1688 main::scheduler::wasFinished: false1689}16901691[State 80]1692{1693 main::scheduler::st:1694 {1695 done: Set("b"),1696 errored: Set("huge"),1697 estimate: 5000,1698 externalKills: 2,1699 mode: Parallel,1700 solo: [],1701 todo: Set("c", "fat"),1702 workers:1703 Map(1704 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1705 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1706 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1707 )1708 },1709 main::scheduler::wasFinished: false1710}17111712[State 81]1713{1714 main::scheduler::st:1715 {1716 done: Set("b"),1717 errored: Set("huge"),1718 estimate: 5000,1719 externalKills: 2,1720 mode: Parallel,1721 solo: [],1722 todo: Set("c", "fat"),1723 workers:1724 Map(1725 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1726 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1727 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1728 )1729 },1730 main::scheduler::wasFinished: false1731}17321733[State 82]1734{1735 main::scheduler::st:1736 {1737 done: Set("b"),1738 errored: Set("huge"),1739 estimate: 5000,1740 externalKills: 2,1741 mode: Parallel,1742 solo: [],1743 todo: Set("c", "fat"),1744 workers:1745 Map(1746 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1747 1 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 },1748 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1749 )1750 },1751 main::scheduler::wasFinished: false1752}17531754[State 83]1755{1756 main::scheduler::st:1757 {1758 done: Set("b"),1759 errored: Set("huge"),1760 estimate: 5000,1761 externalKills: 2,1762 mode: Parallel,1763 solo: [],1764 todo: Set("c", "fat"),1765 workers:1766 Map(1767 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1768 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1769 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1770 )1771 },1772 main::scheduler::wasFinished: false1773}17741775[State 84]1776{1777 main::scheduler::st:1778 {1779 done: Set("b"),1780 errored: Set("huge"),1781 estimate: 5000,1782 externalKills: 2,1783 mode: Parallel,1784 solo: [],1785 todo: Set("c", "fat"),1786 workers:1787 Map(1788 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1789 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1790 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1791 )1792 },1793 main::scheduler::wasFinished: false1794}17951796[State 85]1797{1798 main::scheduler::st:1799 {1800 done: Set("b"),1801 errored: Set("huge"),1802 estimate: 5000,1803 externalKills: 2,1804 mode: Parallel,1805 solo: [],1806 todo: Set("c", "fat"),1807 workers:1808 Map(1809 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1810 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1811 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1812 )1813 },1814 main::scheduler::wasFinished: false1815}18161817[State 86]1818{1819 main::scheduler::st:1820 {1821 done: Set("b"),1822 errored: Set("huge"),1823 estimate: 5000,1824 externalKills: 2,1825 mode: Parallel,1826 solo: [],1827 todo: Set("c", "fat"),1828 workers:1829 Map(1830 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1831 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1832 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1833 )1834 },1835 main::scheduler::wasFinished: false1836}18371838[State 87]1839{1840 main::scheduler::st:1841 {1842 done: Set("b"),1843 errored: Set("huge"),1844 estimate: 5000,1845 externalKills: 2,1846 mode: Parallel,1847 solo: [],1848 todo: Set("c", "fat"),1849 workers:1850 Map(1851 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1852 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1853 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1854 )1855 },1856 main::scheduler::wasFinished: false1857}18581859[State 88]1860{1861 main::scheduler::st:1862 {1863 done: Set("b"),1864 errored: Set("huge"),1865 estimate: 5000,1866 externalKills: 2,1867 mode: Parallel,1868 solo: [],1869 todo: Set("c", "fat"),1870 workers:1871 Map(1872 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1873 1 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 },1874 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1875 )1876 },1877 main::scheduler::wasFinished: false1878}18791880[State 89]1881{1882 main::scheduler::st:1883 {1884 done: Set("a", "b"),1885 errored: Set("huge"),1886 estimate: 4900,1887 externalKills: 2,1888 mode: Parallel,1889 solo: [],1890 todo: Set("c", "fat"),1891 workers:1892 Map(1893 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1894 1 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 },1895 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1896 )1897 },1898 main::scheduler::wasFinished: false1899}19001901[State 90]1902{1903 main::scheduler::st:1904 {1905 done: Set("a", "b"),1906 errored: Set("huge"),1907 estimate: 4900,1908 externalKills: 2,1909 mode: Parallel,1910 solo: [],1911 todo: Set("c", "fat"),1912 workers:1913 Map(1914 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1915 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1916 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1917 )1918 },1919 main::scheduler::wasFinished: false1920}19211922[State 91]1923{1924 main::scheduler::st:1925 {1926 done: Set("a", "b"),1927 errored: Set("huge"),1928 estimate: 4900,1929 externalKills: 2,1930 mode: Parallel,1931 solo: [],1932 todo: Set("c", "fat"),1933 workers:1934 Map(1935 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1936 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1937 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1938 )1939 },1940 main::scheduler::wasFinished: false1941}19421943[State 92]1944{1945 main::scheduler::st:1946 {1947 done: Set("a", "b"),1948 errored: Set("huge"),1949 estimate: 4900,1950 externalKills: 2,1951 mode: Parallel,1952 solo: [],1953 todo: Set("c", "fat"),1954 workers:1955 Map(1956 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1957 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1958 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1959 )1960 },1961 main::scheduler::wasFinished: false1962}19631964[State 93]1965{1966 main::scheduler::st:1967 {1968 done: Set("a", "b"),1969 errored: Set("huge"),1970 estimate: 4900,1971 externalKills: 2,1972 mode: Parallel,1973 solo: [],1974 todo: Set("fat"),1975 workers:1976 Map(1977 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },1978 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },1979 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1980 )1981 },1982 main::scheduler::wasFinished: false1983}19841985[State 94]1986{1987 main::scheduler::st:1988 {1989 done: Set("a", "b"),1990 errored: Set("huge"),1991 estimate: 4900,1992 externalKills: 2,1993 mode: Parallel,1994 solo: [],1995 todo: Set("fat"),1996 workers:1997 Map(1998 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },1999 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2000 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2001 )2002 },2003 main::scheduler::wasFinished: false2004}20052006[State 95]2007{2008 main::scheduler::st:2009 {2010 done: Set("a", "b"),2011 errored: Set("huge"),2012 estimate: 4900,2013 externalKills: 2,2014 mode: Parallel,2015 solo: [],2016 todo: Set("fat"),2017 workers:2018 Map(2019 0 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },2020 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2021 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2022 )2023 },2024 main::scheduler::wasFinished: false2025}20262027[State 96]2028{2029 main::scheduler::st:2030 {2031 done: Set("a", "b"),2032 errored: Set("huge"),2033 estimate: 4900,2034 externalKills: 2,2035 mode: Parallel,2036 solo: [],2037 todo: Set("fat"),2038 workers:2039 Map(2040 0 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },2041 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2042 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2043 )2044 },2045 main::scheduler::wasFinished: false2046}20472048[State 97]2049{2050 main::scheduler::st:2051 {2052 done: Set("a", "b"),2053 errored: Set("huge"),2054 estimate: 4900,2055 externalKills: 2,2056 mode: Parallel,2057 solo: [],2058 todo: Set("fat"),2059 workers:2060 Map(2061 0 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },2062 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2063 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2064 )2065 },2066 main::scheduler::wasFinished: false2067}20682069[State 98]2070{2071 main::scheduler::st:2072 {2073 done: Set("a", "b"),2074 errored: Set("huge"),2075 estimate: 4900,2076 externalKills: 2,2077 mode: Parallel,2078 solo: [],2079 todo: Set("fat"),2080 workers:2081 Map(2082 0 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },2083 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2084 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2085 )2086 },2087 main::scheduler::wasFinished: false2088}20892090[State 99]2091{2092 main::scheduler::st:2093 {2094 done: Set("a", "b", "c"),2095 errored: Set("huge"),2096 estimate: 4802,2097 externalKills: 2,2098 mode: Parallel,2099 solo: [],2100 todo: Set("fat"),2101 workers:2102 Map(2103 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2104 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2105 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2106 )2107 },2108 main::scheduler::wasFinished: false2109}21102111[State 100]2112{2113 main::scheduler::st:2114 {2115 done: Set("a", "b", "c"),2116 errored: Set("huge"),2117 estimate: 4802,2118 externalKills: 2,2119 mode: Parallel,2120 solo: [],2121 todo: Set("fat"),2122 workers:2123 Map(2124 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2125 1 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 },2126 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2127 )2128 },2129 main::scheduler::wasFinished: false2130}21312132[State 101]2133{2134 main::scheduler::st:2135 {2136 done: Set("a", "b", "c"),2137 errored: Set("huge"),2138 estimate: 4802,2139 externalKills: 2,2140 mode: Parallel,2141 solo: [],2142 todo: Set(),2143 workers:2144 Map(2145 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2146 1 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 },2147 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2148 )2149 },2150 main::scheduler::wasFinished: false2151}21522153[State 102]2154{2155 main::scheduler::st:2156 {2157 done: Set("a", "b", "c"),2158 errored: Set("huge"),2159 estimate: 4802,2160 externalKills: 2,2161 mode: Parallel,2162 solo: [],2163 todo: Set(),2164 workers:2165 Map(2166 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2167 1 -> { heap: 350, job: "fat", phase: Busy, rss: 2350, startRss: 350 },2168 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2169 )2170 },2171 main::scheduler::wasFinished: false2172}21732174[State 103]2175{2176 main::scheduler::st:2177 {2178 done: Set("a", "b", "c"),2179 errored: Set("huge"),2180 estimate: 4802,2181 externalKills: 2,2182 mode: Parallel,2183 solo: [],2184 todo: Set(),2185 workers:2186 Map(2187 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2188 1 ->2189 { heap: 350, job: "fat", phase: Killed, rss: 2350, startRss: 350 },2190 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2191 )2192 },2193 main::scheduler::wasFinished: false2194}21952196[State 104]2197{2198 main::scheduler::st:2199 {2200 done: Set("a", "b", "c"),2201 errored: Set("huge"),2202 estimate: 4802,2203 externalKills: 2,2204 mode: Parallel,2205 solo: [],2206 todo: Set(),2207 workers:2208 Map(2209 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2210 1 ->2211 { heap: 350, job: "fat", phase: Killed, rss: 2350, startRss: 350 },2212 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2213 )2214 },2215 main::scheduler::wasFinished: false2216}22172218[State 105]2219{2220 main::scheduler::st:2221 {2222 done: Set("a", "b", "c"),2223 errored: Set("huge"),2224 estimate: 4802,2225 externalKills: 2,2226 mode: Parallel,2227 solo: [],2228 todo: Set(),2229 workers:2230 Map(2231 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2232 1 ->2233 { heap: 350, job: "fat", phase: Killed, rss: 2350, startRss: 350 },2234 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2235 )2236 },2237 main::scheduler::wasFinished: false2238}22392240[State 106]2241{2242 main::scheduler::st:2243 {2244 done: Set("a", "b", "c"),2245 errored: Set("huge"),2246 estimate: 4802,2247 externalKills: 2,2248 mode: Parallel,2249 solo: ["fat"],2250 todo: Set(),2251 workers:2252 Map(2253 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2254 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2255 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2256 )2257 },2258 main::scheduler::wasFinished: false2259}22602261[State 107]2262{2263 main::scheduler::st:2264 {2265 done: Set("a", "b", "c"),2266 errored: Set("huge"),2267 estimate: 4802,2268 externalKills: 2,2269 mode: Parallel,2270 solo: ["fat"],2271 todo: Set(),2272 workers:2273 Map(2274 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2275 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2276 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2277 )2278 },2279 main::scheduler::wasFinished: false2280}22812282[State 108]2283{2284 main::scheduler::st:2285 {2286 done: Set("a", "b", "c"),2287 errored: Set("huge"),2288 estimate: 4802,2289 externalKills: 2,2290 mode: Parallel,2291 solo: ["fat"],2292 todo: Set(),2293 workers:2294 Map(2295 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2296 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2297 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2298 )2299 },2300 main::scheduler::wasFinished: false2301}23022303[State 109]2304{2305 main::scheduler::st:2306 {2307 done: Set("a", "b", "c"),2308 errored: Set("huge"),2309 estimate: 4802,2310 externalKills: 2,2311 mode: Parallel,2312 solo: ["fat"],2313 todo: Set(),2314 workers:2315 Map(2316 0 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },2317 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2318 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2319 )2320 },2321 main::scheduler::wasFinished: false2322}23232324[State 110]2325{2326 main::scheduler::st:2327 {2328 done: Set("a", "b", "c"),2329 errored: Set("huge"),2330 estimate: 4802,2331 externalKills: 2,2332 mode: Solo,2333 solo: ["fat"],2334 todo: Set(),2335 workers:2336 Map(2337 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2338 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2339 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2340 )2341 },2342 main::scheduler::wasFinished: false2343}23442345[State 111]2346{2347 main::scheduler::st:2348 {2349 done: Set("a", "b", "c"),2350 errored: Set("huge"),2351 estimate: 4802,2352 externalKills: 2,2353 mode: Solo,2354 solo: ["fat"],2355 todo: Set(),2356 workers:2357 Map(2358 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2359 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2360 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2361 )2362 },2363 main::scheduler::wasFinished: false2364}23652366[State 112]2367{2368 main::scheduler::st:2369 {2370 done: Set("a", "b", "c"),2371 errored: Set("huge"),2372 estimate: 4802,2373 externalKills: 2,2374 mode: Solo,2375 solo: ["fat"],2376 todo: Set(),2377 workers:2378 Map(2379 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2380 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2381 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2382 )2383 },2384 main::scheduler::wasFinished: false2385}23862387[State 113]2388{2389 main::scheduler::st:2390 {2391 done: Set("a", "b", "c"),2392 errored: Set("huge"),2393 estimate: 4802,2394 externalKills: 2,2395 mode: Solo,2396 solo: ["fat"],2397 todo: Set(),2398 workers:2399 Map(2400 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2401 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2402 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2403 )2404 },2405 main::scheduler::wasFinished: false2406}24072408[State 114]2409{2410 main::scheduler::st:2411 {2412 done: Set("a", "b", "c"),2413 errored: Set("huge"),2414 estimate: 4802,2415 externalKills: 2,2416 mode: Solo,2417 solo: ["fat"],2418 todo: Set(),2419 workers:2420 Map(2421 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2422 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2423 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2424 )2425 },2426 main::scheduler::wasFinished: false2427}24282429[State 115]2430{2431 main::scheduler::st:2432 {2433 done: Set("a", "b", "c"),2434 errored: Set("huge"),2435 estimate: 4802,2436 externalKills: 2,2437 mode: Solo,2438 solo: ["fat"],2439 todo: Set(),2440 workers:2441 Map(2442 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2443 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2444 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2445 )2446 },2447 main::scheduler::wasFinished: false2448}24492450[State 116]2451{2452 main::scheduler::st:2453 {2454 done: Set("a", "b", "c"),2455 errored: Set("huge"),2456 estimate: 4802,2457 externalKills: 2,2458 mode: Solo,2459 solo: ["fat"],2460 todo: Set(),2461 workers:2462 Map(2463 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2464 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2465 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2466 )2467 },2468 main::scheduler::wasFinished: false2469}24702471[State 117]2472{2473 main::scheduler::st:2474 {2475 done: Set("a", "b", "c"),2476 errored: Set("huge"),2477 estimate: 4802,2478 externalKills: 2,2479 mode: Solo,2480 solo: ["fat"],2481 todo: Set(),2482 workers:2483 Map(2484 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2485 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2486 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2487 )2488 },2489 main::scheduler::wasFinished: false2490}24912492[State 118]2493{2494 main::scheduler::st:2495 {2496 done: Set("a", "b", "c"),2497 errored: Set("huge"),2498 estimate: 4802,2499 externalKills: 2,2500 mode: Solo,2501 solo: ["fat"],2502 todo: Set(),2503 workers:2504 Map(2505 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2506 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2507 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2508 )2509 },2510 main::scheduler::wasFinished: false2511}25122513[State 119]2514{2515 main::scheduler::st:2516 {2517 done: Set("a", "b", "c"),2518 errored: Set("huge"),2519 estimate: 4802,2520 externalKills: 2,2521 mode: Solo,2522 solo: ["fat"],2523 todo: Set(),2524 workers:2525 Map(2526 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2527 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2528 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2529 )2530 },2531 main::scheduler::wasFinished: false2532}25332534[State 120]2535{2536 main::scheduler::st:2537 {2538 done: Set("a", "b", "c"),2539 errored: Set("huge"),2540 estimate: 4802,2541 externalKills: 2,2542 mode: Solo,2543 solo: ["fat"],2544 todo: Set(),2545 workers:2546 Map(2547 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2548 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2549 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2550 )2551 },2552 main::scheduler::wasFinished: false2553}25542555[State 121]2556{2557 main::scheduler::st:2558 {2559 done: Set("a", "b", "c"),2560 errored: Set("huge"),2561 estimate: 4802,2562 externalKills: 2,2563 mode: Solo,2564 solo: ["fat"],2565 todo: Set(),2566 workers:2567 Map(2568 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2569 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2570 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2571 )2572 },2573 main::scheduler::wasFinished: false2574}25752576[State 122]2577{2578 main::scheduler::st:2579 {2580 done: Set("a", "b", "c"),2581 errored: Set("huge"),2582 estimate: 4802,2583 externalKills: 2,2584 mode: Solo,2585 solo: ["fat"],2586 todo: Set(),2587 workers:2588 Map(2589 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2590 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2591 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2592 )2593 },2594 main::scheduler::wasFinished: false2595}25962597[State 123]2598{2599 main::scheduler::st:2600 {2601 done: Set("a", "b", "c"),2602 errored: Set("huge"),2603 estimate: 4802,2604 externalKills: 2,2605 mode: Solo,2606 solo: ["fat"],2607 todo: Set(),2608 workers:2609 Map(2610 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2611 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2612 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2613 )2614 },2615 main::scheduler::wasFinished: false2616}26172618[State 124]2619{2620 main::scheduler::st:2621 {2622 done: Set("a", "b", "c"),2623 errored: Set("huge"),2624 estimate: 4802,2625 externalKills: 2,2626 mode: Solo,2627 solo: ["fat"],2628 todo: Set(),2629 workers:2630 Map(2631 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2632 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2633 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2634 )2635 },2636 main::scheduler::wasFinished: false2637}26382639[State 125]2640{2641 main::scheduler::st:2642 {2643 done: Set("a", "b", "c"),2644 errored: Set("huge"),2645 estimate: 4802,2646 externalKills: 2,2647 mode: Solo,2648 solo: ["fat"],2649 todo: Set(),2650 workers:2651 Map(2652 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2653 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2654 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2655 )2656 },2657 main::scheduler::wasFinished: false2658}26592660[State 126]2661{2662 main::scheduler::st:2663 {2664 done: Set("a", "b", "c"),2665 errored: Set("huge"),2666 estimate: 4802,2667 externalKills: 2,2668 mode: Solo,2669 solo: [],2670 todo: Set(),2671 workers:2672 Map(2673 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2674 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2675 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2676 )2677 },2678 main::scheduler::wasFinished: false2679}26802681[State 127]2682{2683 main::scheduler::st:2684 {2685 done: Set("a", "b", "c"),2686 errored: Set("huge"),2687 estimate: 4802,2688 externalKills: 2,2689 mode: Solo,2690 solo: [],2691 todo: Set(),2692 workers:2693 Map(2694 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2695 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2696 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2697 )2698 },2699 main::scheduler::wasFinished: false2700}27012702[State 128]2703{2704 main::scheduler::st:2705 {2706 done: Set("a", "b", "c"),2707 errored: Set("huge"),2708 estimate: 4802,2709 externalKills: 2,2710 mode: Solo,2711 solo: [],2712 todo: Set(),2713 workers:2714 Map(2715 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2716 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2717 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2718 )2719 },2720 main::scheduler::wasFinished: false2721}27222723[State 129]2724{2725 main::scheduler::st:2726 {2727 done: Set("a", "b", "c"),2728 errored: Set("huge"),2729 estimate: 4802,2730 externalKills: 2,2731 mode: Solo,2732 solo: [],2733 todo: Set(),2734 workers:2735 Map(2736 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2737 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2738 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2739 )2740 },2741 main::scheduler::wasFinished: false2742}27432744[State 130]2745{2746 main::scheduler::st:2747 {2748 done: Set("a", "b", "c"),2749 errored: Set("huge"),2750 estimate: 4802,2751 externalKills: 2,2752 mode: Solo,2753 solo: [],2754 todo: Set(),2755 workers:2756 Map(2757 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2758 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2759 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2760 )2761 },2762 main::scheduler::wasFinished: false2763}27642765[State 131]2766{2767 main::scheduler::st:2768 {2769 done: Set("a", "b", "c"),2770 errored: Set("huge"),2771 estimate: 4802,2772 externalKills: 2,2773 mode: Solo,2774 solo: [],2775 todo: Set(),2776 workers:2777 Map(2778 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2779 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2780 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2781 )2782 },2783 main::scheduler::wasFinished: false2784}27852786[State 132]2787{2788 main::scheduler::st:2789 {2790 done: Set("a", "b", "c"),2791 errored: Set("huge"),2792 estimate: 4802,2793 externalKills: 2,2794 mode: Solo,2795 solo: [],2796 todo: Set(),2797 workers:2798 Map(2799 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2800 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2801 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2802 )2803 },2804 main::scheduler::wasFinished: false2805}28062807[State 133]2808{2809 main::scheduler::st:2810 {2811 done: Set("a", "b", "c"),2812 errored: Set("huge"),2813 estimate: 4802,2814 externalKills: 2,2815 mode: Solo,2816 solo: [],2817 todo: Set(),2818 workers:2819 Map(2820 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2821 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2822 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2823 )2824 },2825 main::scheduler::wasFinished: false2826}28272828[State 134]2829{2830 main::scheduler::st:2831 {2832 done: Set("a", "b", "c"),2833 errored: Set("huge"),2834 estimate: 4802,2835 externalKills: 2,2836 mode: Solo,2837 solo: [],2838 todo: Set(),2839 workers:2840 Map(2841 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2842 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2843 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2844 )2845 },2846 main::scheduler::wasFinished: false2847}28482849[State 135]2850{2851 main::scheduler::st:2852 {2853 done: Set("a", "b", "c", "fat"),2854 errored: Set("huge"),2855 estimate: 4705,2856 externalKills: 2,2857 mode: Parallel,2858 solo: [],2859 todo: Set(),2860 workers:2861 Map(2862 0 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2863 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2864 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2865 )2866 },2867 main::scheduler::wasFinished: false2868}28692870[State 136]2871{2872 main::scheduler::st:2873 {2874 done: Set("a", "b", "c", "fat"),2875 errored: Set("huge"),2876 estimate: 4705,2877 externalKills: 2,2878 mode: Parallel,2879 solo: [],2880 todo: Set(),2881 workers:2882 Map(2883 0 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2884 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2885 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2886 )2887 },2888 main::scheduler::wasFinished: true2889}28902891[State 137]2892{2893 main::scheduler::st:2894 {2895 done: Set("a", "b", "c", "fat"),2896 errored: Set("huge"),2897 estimate: 4705,2898 externalKills: 2,2899 mode: Parallel,2900 solo: [],2901 todo: Set(),2902 workers:2903 Map(2904 0 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2905 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2906 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2907 )2908 },2909 main::scheduler::wasFinished: true2910}29112912[State 138]2913{2914 main::scheduler::st:2915 {2916 done: Set("a", "b", "c", "fat"),2917 errored: Set("huge"),2918 estimate: 4705,2919 externalKills: 2,2920 mode: Parallel,2921 solo: [],2922 todo: Set(),2923 workers:2924 Map(2925 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2926 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2927 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2928 )2929 },2930 main::scheduler::wasFinished: true2931}29322933[State 139]2934{2935 main::scheduler::st:2936 {2937 done: Set("a", "b", "c", "fat"),2938 errored: Set("huge"),2939 estimate: 4705,2940 externalKills: 2,2941 mode: Parallel,2942 solo: [],2943 todo: Set(),2944 workers:2945 Map(2946 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2947 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2948 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2949 )2950 },2951 main::scheduler::wasFinished: true2952}29532954[State 140]2955{2956 main::scheduler::st:2957 {2958 done: Set("a", "b", "c", "fat"),2959 errored: Set("huge"),2960 estimate: 4705,2961 externalKills: 2,2962 mode: Parallel,2963 solo: [],2964 todo: Set(),2965 workers:2966 Map(2967 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2968 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2969 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2970 )2971 },2972 main::scheduler::wasFinished: true2973}29742975[State 141]2976{2977 main::scheduler::st:2978 {2979 done: Set("a", "b", "c", "fat"),2980 errored: Set("huge"),2981 estimate: 4705,2982 externalKills: 2,2983 mode: Parallel,2984 solo: [],2985 todo: Set(),2986 workers:2987 Map(2988 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2989 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2990 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2991 )2992 },2993 main::scheduler::wasFinished: true2994}29952996[State 142]2997{2998 main::scheduler::st:2999 {3000 done: Set("a", "b", "c", "fat"),3001 errored: Set("huge"),3002 estimate: 4705,3003 externalKills: 2,3004 mode: Parallel,3005 solo: [],3006 todo: Set(),3007 workers:3008 Map(3009 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },3010 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3011 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3012 )3013 },3014 main::scheduler::wasFinished: true3015}30163017[State 143]3018{3019 main::scheduler::st:3020 {3021 done: Set("a", "b", "c", "fat"),3022 errored: Set("huge"),3023 estimate: 4705,3024 externalKills: 2,3025 mode: Parallel,3026 solo: [],3027 todo: Set(),3028 workers:3029 Map(3030 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },3031 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3032 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3033 )3034 },3035 main::scheduler::wasFinished: true3036}30373038[State 144]3039{3040 main::scheduler::st:3041 {3042 done: Set("a", "b", "c", "fat"),3043 errored: Set("huge"),3044 estimate: 4705,3045 externalKills: 2,3046 mode: Parallel,3047 solo: [],3048 todo: Set(),3049 workers:3050 Map(3051 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },3052 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3053 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3054 )3055 },3056 main::scheduler::wasFinished: true3057}30583059[State 145]3060{3061 main::scheduler::st:3062 {3063 done: Set("a", "b", "c", "fat"),3064 errored: Set("huge"),3065 estimate: 4705,3066 externalKills: 2,3067 mode: Parallel,3068 solo: [],3069 todo: Set(),3070 workers:3071 Map(3072 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },3073 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3074 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3075 )3076 },3077 main::scheduler::wasFinished: true3078}30793080[State 146]3081{3082 main::scheduler::st:3083 {3084 done: Set("a", "b", "c", "fat"),3085 errored: Set("huge"),3086 estimate: 4705,3087 externalKills: 2,3088 mode: Parallel,3089 solo: [],3090 todo: Set(),3091 workers:3092 Map(3093 0 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },3094 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3095 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3096 )3097 },3098 main::scheduler::wasFinished: true3099}31003101[State 147]3102{3103 main::scheduler::st:3104 {3105 done: Set("a", "b", "c", "fat"),3106 errored: Set("huge"),3107 estimate: 4705,3108 externalKills: 2,3109 mode: Parallel,3110 solo: [],3111 todo: Set(),3112 workers:3113 Map(3114 0 -> { heap: 1300, job: "", phase: Exiting, rss: 1300, startRss: 0 },3115 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3116 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3117 )3118 },3119 main::scheduler::wasFinished: true3120}31213122[State 148]3123{3124 main::scheduler::st:3125 {3126 done: Set("a", "b", "c", "fat"),3127 errored: Set("huge"),3128 estimate: 4705,3129 externalKills: 2,3130 mode: Parallel,3131 solo: [],3132 todo: Set(),3133 workers:3134 Map(3135 0 -> { heap: 1300, job: "", phase: Exiting, rss: 1300, startRss: 0 },3136 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3137 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3138 )3139 },3140 main::scheduler::wasFinished: true3141}31423143[State 149]3144{3145 main::scheduler::st:3146 {3147 done: Set("a", "b", "c", "fat"),3148 errored: Set("huge"),3149 estimate: 4705,3150 externalKills: 2,3151 mode: Parallel,3152 solo: [],3153 todo: Set(),3154 workers:3155 Map(3156 0 -> { heap: 1300, job: "", phase: Exiting, rss: 1300, startRss: 0 },3157 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3158 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3159 )3160 },3161 main::scheduler::wasFinished: true3162}31633164[State 150]3165{3166 main::scheduler::st:3167 {3168 done: Set("a", "b", "c", "fat"),3169 errored: Set("huge"),3170 estimate: 4705,3171 externalKills: 2,3172 mode: Parallel,3173 solo: [],3174 todo: Set(),3175 workers:3176 Map(3177 0 -> { heap: 1300, job: "", phase: Exiting, rss: 1300, startRss: 0 },3178 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3179 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3180 )3181 },3182 main::scheduler::wasFinished: true3183}31843185[ok] No violation found (918ms at 2179 traces/second).3186Trace length statistics: max=151, min=58, average=116.073187You may increase --max-samples and --max-steps.3188Use --verbosity to produce more (or less) output.3189Use --seed=0xbb40b8c466d7ed01 --backend=rust to reproduce.31903191 noOomKiller3192 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3193 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31943195 2 passing (19258ms)31963197 main3198 ok main::scheduler::terminatesTest passed 200 test(s)31993200 1 passing (9443ms)