nix-eval-jobs-scheduler-spec
checks.aarch64-linux.scheduler-spec
· build #93
· raw
1tribuchet: building on eliza2An example execution:34[State 0]5{6 main::scheduler::st:7 {8 done: Set(),9 errored: Set(),10 estimate: 512,11 externalKills: 0,12 mode: Parallel,13 solo: [],14 todo: Set("a", "b", "c", "fat", "huge"),15 workers:16 Map(17 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },19 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }20 )21 },22 main::scheduler::wasFinished: false23}2425[State 1]26{27 main::scheduler::st:28 {29 done: Set(),30 errored: Set(),31 estimate: 512,32 externalKills: 0,33 mode: Parallel,34 solo: [],35 todo: Set("a", "b", "c", "fat", "huge"),36 workers:37 Map(38 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },39 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },40 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }41 )42 },43 main::scheduler::wasFinished: false44}4546[State 2]47{48 main::scheduler::st:49 {50 done: Set(),51 errored: Set(),52 estimate: 512,53 externalKills: 0,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: 300, job: "", phase: Starting, rss: 300, 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: 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: 0,96 mode: Parallel,97 solo: [],98 todo: Set("a", "b", "c", "fat", "huge"),99 workers:100 Map(101 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },102 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },103 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }104 )105 },106 main::scheduler::wasFinished: false107}108109[State 5]110{111 main::scheduler::st:112 {113 done: Set(),114 errored: Set(),115 estimate: 512,116 externalKills: 0,117 mode: Parallel,118 solo: [],119 todo: Set("a", "b", "c", "fat", "huge"),120 workers:121 Map(122 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },123 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },124 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }125 )126 },127 main::scheduler::wasFinished: false128}129130[State 6]131{132 main::scheduler::st:133 {134 done: Set(),135 errored: Set(),136 estimate: 512,137 externalKills: 1,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: 300, job: "", phase: Starting, rss: 300, 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: 1,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: 1,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: 1,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: 1,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: 1,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: Idle, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 }272 )273 },274 main::scheduler::wasFinished: false275}276277[State 13]278{279 main::scheduler::st:280 {281 done: Set(),282 errored: Set(),283 estimate: 512,284 externalKills: 2,285 mode: Parallel,286 solo: [],287 todo: Set("a", "b", "c", "fat", "huge"),288 workers:289 Map(290 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },291 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },292 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }293 )294 },295 main::scheduler::wasFinished: false296}297298[State 14]299{300 main::scheduler::st:301 {302 done: Set(),303 errored: Set(),304 estimate: 512,305 externalKills: 2,306 mode: Parallel,307 solo: [],308 todo: Set("a", "b", "c", "fat", "huge"),309 workers:310 Map(311 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },312 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },313 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }314 )315 },316 main::scheduler::wasFinished: false317}318319[State 15]320{321 main::scheduler::st:322 {323 done: Set(),324 errored: Set(),325 estimate: 512,326 externalKills: 2,327 mode: Parallel,328 solo: [],329 todo: Set("a", "b", "c", "fat", "huge"),330 workers:331 Map(332 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },333 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },334 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }335 )336 },337 main::scheduler::wasFinished: false338}339340[State 16]341{342 main::scheduler::st:343 {344 done: Set(),345 errored: Set(),346 estimate: 512,347 externalKills: 2,348 mode: Parallel,349 solo: [],350 todo: Set("a", "b", "c", "fat", "huge"),351 workers:352 Map(353 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },354 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },355 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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"),372 workers:373 Map(374 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },375 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },376 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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"),393 workers:394 Map(395 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },396 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },397 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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"),414 workers:415 Map(416 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },417 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },418 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }419 )420 },421 main::scheduler::wasFinished: false422}423424[State 20]425{426 main::scheduler::st:427 {428 done: Set(),429 errored: Set(),430 estimate: 512,431 externalKills: 2,432 mode: Parallel,433 solo: [],434 todo: Set("a", "b", "c", "fat"),435 workers:436 Map(437 0 ->438 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },439 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },440 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }441 )442 },443 main::scheduler::wasFinished: false444}445446[State 21]447{448 main::scheduler::st:449 {450 done: Set(),451 errored: Set(),452 estimate: 5000,453 externalKills: 2,454 mode: Parallel,455 solo: [],456 todo: Set("a", "b", "c", "fat"),457 workers:458 Map(459 0 ->460 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },461 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },462 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }463 )464 },465 main::scheduler::wasFinished: false466}467468[State 22]469{470 main::scheduler::st:471 {472 done: Set(),473 errored: Set(),474 estimate: 5000,475 externalKills: 2,476 mode: Parallel,477 solo: [],478 todo: Set("a", "b", "c", "fat"),479 workers:480 Map(481 0 ->482 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },483 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },484 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }485 )486 },487 main::scheduler::wasFinished: false488}489490[State 23]491{492 main::scheduler::st:493 {494 done: Set(),495 errored: Set(),496 estimate: 5000,497 externalKills: 2,498 mode: Parallel,499 solo: [],500 todo: Set("a", "b", "c", "fat"),501 workers:502 Map(503 0 ->504 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },505 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },506 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }507 )508 },509 main::scheduler::wasFinished: false510}511512[State 24]513{514 main::scheduler::st:515 {516 done: Set(),517 errored: Set(),518 estimate: 5000,519 externalKills: 2,520 mode: Parallel,521 solo: [],522 todo: Set("a", "b", "c", "fat"),523 workers:524 Map(525 0 ->526 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },527 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },528 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }529 )530 },531 main::scheduler::wasFinished: false532}533534[State 25]535{536 main::scheduler::st:537 {538 done: Set(),539 errored: Set(),540 estimate: 5000,541 externalKills: 2,542 mode: Parallel,543 solo: [],544 todo: Set("a", "b", "c", "fat"),545 workers:546 Map(547 0 ->548 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },549 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },550 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }551 )552 },553 main::scheduler::wasFinished: false554}555556[State 26]557{558 main::scheduler::st:559 {560 done: Set(),561 errored: Set(),562 estimate: 5000,563 externalKills: 2,564 mode: Parallel,565 solo: [],566 todo: Set("a", "b", "c", "fat"),567 workers:568 Map(569 0 ->570 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },571 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },572 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }573 )574 },575 main::scheduler::wasFinished: false576}577578[State 27]579{580 main::scheduler::st:581 {582 done: Set(),583 errored: Set(),584 estimate: 5000,585 externalKills: 2,586 mode: Parallel,587 solo: [],588 todo: Set("a", "b", "c", "fat"),589 workers:590 Map(591 0 ->592 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },593 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },594 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }595 )596 },597 main::scheduler::wasFinished: false598}599600[State 28]601{602 main::scheduler::st:603 {604 done: Set(),605 errored: Set(),606 estimate: 5000,607 externalKills: 2,608 mode: Parallel,609 solo: [],610 todo: Set("a", "b", "c", "fat"),611 workers:612 Map(613 0 ->614 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },615 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },616 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }617 )618 },619 main::scheduler::wasFinished: false620}621622[State 29]623{624 main::scheduler::st:625 {626 done: Set(),627 errored: Set(),628 estimate: 5000,629 externalKills: 2,630 mode: Parallel,631 solo: [],632 todo: Set("a", "b", "c", "fat"),633 workers:634 Map(635 0 ->636 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },637 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },638 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }639 )640 },641 main::scheduler::wasFinished: false642}643644[State 30]645{646 main::scheduler::st:647 {648 done: Set(),649 errored: Set(),650 estimate: 5000,651 externalKills: 2,652 mode: Parallel,653 solo: [],654 todo: Set("a", "b", "c", "fat"),655 workers:656 Map(657 0 ->658 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },659 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },660 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }661 )662 },663 main::scheduler::wasFinished: false664}665666[State 31]667{668 main::scheduler::st:669 {670 done: Set(),671 errored: Set(),672 estimate: 5000,673 externalKills: 2,674 mode: Parallel,675 solo: [],676 todo: Set("a", "b", "c", "fat"),677 workers:678 Map(679 0 ->680 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },681 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },682 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }683 )684 },685 main::scheduler::wasFinished: false686}687688[State 32]689{690 main::scheduler::st:691 {692 done: Set(),693 errored: Set(),694 estimate: 5000,695 externalKills: 2,696 mode: Parallel,697 solo: ["huge"],698 todo: Set("a", "b", "c", "fat"),699 workers:700 Map(701 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },702 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },703 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }704 )705 },706 main::scheduler::wasFinished: false707}708709[State 33]710{711 main::scheduler::st:712 {713 done: Set(),714 errored: Set(),715 estimate: 5000,716 externalKills: 2,717 mode: Solo,718 solo: ["huge"],719 todo: Set("a", "b", "c", "fat"),720 workers:721 Map(722 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },723 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },724 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }725 )726 },727 main::scheduler::wasFinished: false728}729730[State 34]731{732 main::scheduler::st:733 {734 done: Set(),735 errored: Set(),736 estimate: 5000,737 externalKills: 2,738 mode: Solo,739 solo: ["huge"],740 todo: Set("a", "b", "c", "fat"),741 workers:742 Map(743 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },744 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },745 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }746 )747 },748 main::scheduler::wasFinished: false749}750751[State 35]752{753 main::scheduler::st:754 {755 done: Set(),756 errored: Set(),757 estimate: 5000,758 externalKills: 2,759 mode: Solo,760 solo: ["huge"],761 todo: Set("a", "b", "c", "fat"),762 workers:763 Map(764 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },765 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },766 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }767 )768 },769 main::scheduler::wasFinished: false770}771772[State 36]773{774 main::scheduler::st:775 {776 done: Set(),777 errored: Set(),778 estimate: 5000,779 externalKills: 2,780 mode: Solo,781 solo: ["huge"],782 todo: Set("a", "b", "c", "fat"),783 workers:784 Map(785 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },786 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },787 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }788 )789 },790 main::scheduler::wasFinished: false791}792793[State 37]794{795 main::scheduler::st:796 {797 done: Set(),798 errored: Set(),799 estimate: 5000,800 externalKills: 2,801 mode: Solo,802 solo: ["huge"],803 todo: Set("a", "b", "c", "fat"),804 workers:805 Map(806 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },807 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },808 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }809 )810 },811 main::scheduler::wasFinished: false812}813814[State 38]815{816 main::scheduler::st:817 {818 done: Set(),819 errored: Set(),820 estimate: 5000,821 externalKills: 2,822 mode: Solo,823 solo: [],824 todo: Set("a", "b", "c", "fat"),825 workers:826 Map(827 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },828 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },829 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }830 )831 },832 main::scheduler::wasFinished: false833}834835[State 39]836{837 main::scheduler::st:838 {839 done: Set(),840 errored: Set(),841 estimate: 5000,842 externalKills: 2,843 mode: Solo,844 solo: [],845 todo: Set("a", "b", "c", "fat"),846 workers:847 Map(848 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },849 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },850 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }851 )852 },853 main::scheduler::wasFinished: false854}855856[State 40]857{858 main::scheduler::st:859 {860 done: Set(),861 errored: Set(),862 estimate: 5000,863 externalKills: 2,864 mode: Solo,865 solo: [],866 todo: Set("a", "b", "c", "fat"),867 workers:868 Map(869 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },870 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },871 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }872 )873 },874 main::scheduler::wasFinished: false875}876877[State 41]878{879 main::scheduler::st:880 {881 done: Set(),882 errored: Set(),883 estimate: 5000,884 externalKills: 2,885 mode: Solo,886 solo: [],887 todo: Set("a", "b", "c", "fat"),888 workers:889 Map(890 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },891 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },892 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }893 )894 },895 main::scheduler::wasFinished: false896}897898[State 42]899{900 main::scheduler::st:901 {902 done: Set(),903 errored: Set(),904 estimate: 5000,905 externalKills: 2,906 mode: Solo,907 solo: [],908 todo: Set("a", "b", "c", "fat"),909 workers:910 Map(911 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },912 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },913 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }914 )915 },916 main::scheduler::wasFinished: false917}918919[State 43]920{921 main::scheduler::st:922 {923 done: Set(),924 errored: Set(),925 estimate: 5000,926 externalKills: 2,927 mode: Solo,928 solo: [],929 todo: Set("a", "b", "c", "fat"),930 workers:931 Map(932 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },933 1 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },934 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }935 )936 },937 main::scheduler::wasFinished: false938}939940[State 44]941{942 main::scheduler::st:943 {944 done: Set(),945 errored: Set(),946 estimate: 5000,947 externalKills: 2,948 mode: Solo,949 solo: [],950 todo: Set("a", "b", "c", "fat"),951 workers:952 Map(953 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },954 1 ->955 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },956 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }957 )958 },959 main::scheduler::wasFinished: false960}961962[State 45]963{964 main::scheduler::st:965 {966 done: Set(),967 errored: Set(),968 estimate: 5000,969 externalKills: 2,970 mode: Solo,971 solo: [],972 todo: Set("a", "b", "c", "fat"),973 workers:974 Map(975 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },976 1 ->977 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },978 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }979 )980 },981 main::scheduler::wasFinished: false982}983984[State 46]985{986 main::scheduler::st:987 {988 done: Set(),989 errored: Set(),990 estimate: 5000,991 externalKills: 2,992 mode: Solo,993 solo: [],994 todo: Set("a", "b", "c", "fat"),995 workers:996 Map(997 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },998 1 ->999 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1000 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1001 )1002 },1003 main::scheduler::wasFinished: false1004}10051006[State 47]1007{1008 main::scheduler::st:1009 {1010 done: Set(),1011 errored: Set(),1012 estimate: 5000,1013 externalKills: 2,1014 mode: Solo,1015 solo: [],1016 todo: Set("a", "b", "c", "fat"),1017 workers:1018 Map(1019 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1020 1 ->1021 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1022 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1023 )1024 },1025 main::scheduler::wasFinished: false1026}10271028[State 48]1029{1030 main::scheduler::st:1031 {1032 done: Set(),1033 errored: Set(),1034 estimate: 5000,1035 externalKills: 2,1036 mode: Solo,1037 solo: [],1038 todo: Set("a", "b", "c", "fat"),1039 workers:1040 Map(1041 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1042 1 ->1043 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1044 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1045 )1046 },1047 main::scheduler::wasFinished: false1048}10491050[State 49]1051{1052 main::scheduler::st:1053 {1054 done: Set(),1055 errored: Set(),1056 estimate: 5000,1057 externalKills: 2,1058 mode: Solo,1059 solo: [],1060 todo: Set("a", "b", "c", "fat"),1061 workers:1062 Map(1063 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1064 1 ->1065 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1066 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1067 )1068 },1069 main::scheduler::wasFinished: false1070}10711072[State 50]1073{1074 main::scheduler::st:1075 {1076 done: Set(),1077 errored: Set(),1078 estimate: 5000,1079 externalKills: 2,1080 mode: Solo,1081 solo: [],1082 todo: Set("a", "b", "c", "fat"),1083 workers:1084 Map(1085 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1086 1 ->1087 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1088 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1089 )1090 },1091 main::scheduler::wasFinished: false1092}10931094[State 51]1095{1096 main::scheduler::st:1097 {1098 done: Set(),1099 errored: Set(),1100 estimate: 5000,1101 externalKills: 2,1102 mode: Solo,1103 solo: [],1104 todo: Set("a", "b", "c", "fat"),1105 workers:1106 Map(1107 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1108 1 ->1109 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1110 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1111 )1112 },1113 main::scheduler::wasFinished: false1114}11151116[State 52]1117{1118 main::scheduler::st:1119 {1120 done: Set(),1121 errored: Set(),1122 estimate: 5000,1123 externalKills: 2,1124 mode: Solo,1125 solo: [],1126 todo: Set("a", "b", "c", "fat"),1127 workers:1128 Map(1129 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1130 1 ->1131 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1132 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1133 )1134 },1135 main::scheduler::wasFinished: false1136}11371138[State 53]1139{1140 main::scheduler::st:1141 {1142 done: Set(),1143 errored: Set(),1144 estimate: 5000,1145 externalKills: 2,1146 mode: Solo,1147 solo: [],1148 todo: Set("a", "b", "c", "fat"),1149 workers:1150 Map(1151 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1152 1 ->1153 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1154 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1155 )1156 },1157 main::scheduler::wasFinished: false1158}11591160[State 54]1161{1162 main::scheduler::st:1163 {1164 done: Set(),1165 errored: Set(),1166 estimate: 5000,1167 externalKills: 2,1168 mode: Solo,1169 solo: [],1170 todo: Set("a", "b", "c", "fat"),1171 workers:1172 Map(1173 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1174 1 ->1175 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1176 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1177 )1178 },1179 main::scheduler::wasFinished: false1180}11811182[State 55]1183{1184 main::scheduler::st:1185 {1186 done: Set(),1187 errored: Set(),1188 estimate: 5000,1189 externalKills: 2,1190 mode: Solo,1191 solo: [],1192 todo: Set("a", "b", "c", "fat"),1193 workers:1194 Map(1195 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1196 1 ->1197 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1198 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1199 )1200 },1201 main::scheduler::wasFinished: false1202}12031204[State 56]1205{1206 main::scheduler::st:1207 {1208 done: Set(),1209 errored: Set(),1210 estimate: 5000,1211 externalKills: 2,1212 mode: Solo,1213 solo: [],1214 todo: Set("a", "b", "c", "fat"),1215 workers:1216 Map(1217 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1218 1 ->1219 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1220 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1221 )1222 },1223 main::scheduler::wasFinished: false1224}12251226[State 57]1227{1228 main::scheduler::st:1229 {1230 done: Set(),1231 errored: Set(),1232 estimate: 5000,1233 externalKills: 2,1234 mode: Solo,1235 solo: [],1236 todo: Set("a", "b", "c", "fat"),1237 workers:1238 Map(1239 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1240 1 ->1241 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1242 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1243 )1244 },1245 main::scheduler::wasFinished: false1246}12471248[State 58]1249{1250 main::scheduler::st:1251 {1252 done: Set(),1253 errored: Set(),1254 estimate: 5000,1255 externalKills: 2,1256 mode: Solo,1257 solo: [],1258 todo: Set("a", "b", "c", "fat"),1259 workers:1260 Map(1261 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1262 1 ->1263 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1264 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1265 )1266 },1267 main::scheduler::wasFinished: false1268}12691270[State 59]1271{1272 main::scheduler::st:1273 {1274 done: Set(),1275 errored: Set(),1276 estimate: 5000,1277 externalKills: 2,1278 mode: Solo,1279 solo: [],1280 todo: Set("a", "b", "c", "fat"),1281 workers:1282 Map(1283 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1284 1 ->1285 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },1286 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1287 )1288 },1289 main::scheduler::wasFinished: false1290}12911292[State 60]1293{1294 main::scheduler::st:1295 {1296 done: Set(),1297 errored: Set("huge"),1298 estimate: 5000,1299 externalKills: 2,1300 mode: Parallel,1301 solo: [],1302 todo: Set("a", "b", "c", "fat"),1303 workers:1304 Map(1305 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1306 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1307 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1308 )1309 },1310 main::scheduler::wasFinished: false1311}13121313[State 61]1314{1315 main::scheduler::st:1316 {1317 done: Set(),1318 errored: Set("huge"),1319 estimate: 5000,1320 externalKills: 2,1321 mode: Parallel,1322 solo: [],1323 todo: Set("a", "b", "c", "fat"),1324 workers:1325 Map(1326 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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 62]1335{1336 main::scheduler::st:1337 {1338 done: Set(),1339 errored: Set("huge"),1340 estimate: 5000,1341 externalKills: 2,1342 mode: Parallel,1343 solo: [],1344 todo: Set("a", "b", "c", "fat"),1345 workers:1346 Map(1347 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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 63]1356{1357 main::scheduler::st:1358 {1359 done: Set(),1360 errored: Set("huge"),1361 estimate: 5000,1362 externalKills: 2,1363 mode: Parallel,1364 solo: [],1365 todo: Set("a", "b", "c", "fat"),1366 workers:1367 Map(1368 0 -> { heap: 300, job: "", phase: Starting, 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 64]1377{1378 main::scheduler::st:1379 {1380 done: Set(),1381 errored: Set("huge"),1382 estimate: 5000,1383 externalKills: 2,1384 mode: Parallel,1385 solo: [],1386 todo: Set("a", "b", "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 65]1398{1399 main::scheduler::st:1400 {1401 done: Set(),1402 errored: Set("huge"),1403 estimate: 5000,1404 externalKills: 2,1405 mode: Parallel,1406 solo: [],1407 todo: Set("a", "b", "c", "fat"),1408 workers:1409 Map(1410 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1411 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1412 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1413 )1414 },1415 main::scheduler::wasFinished: false1416}14171418[State 66]1419{1420 main::scheduler::st:1421 {1422 done: Set(),1423 errored: Set("huge"),1424 estimate: 5000,1425 externalKills: 2,1426 mode: Parallel,1427 solo: [],1428 todo: Set("a", "b", "c", "fat"),1429 workers:1430 Map(1431 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1432 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1433 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1434 )1435 },1436 main::scheduler::wasFinished: false1437}14381439[State 67]1440{1441 main::scheduler::st:1442 {1443 done: Set(),1444 errored: Set("huge"),1445 estimate: 5000,1446 externalKills: 2,1447 mode: Parallel,1448 solo: [],1449 todo: Set("a", "b", "c", "fat"),1450 workers:1451 Map(1452 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1453 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1454 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1455 )1456 },1457 main::scheduler::wasFinished: false1458}14591460[State 68]1461{1462 main::scheduler::st:1463 {1464 done: Set(),1465 errored: Set("huge"),1466 estimate: 5000,1467 externalKills: 2,1468 mode: Parallel,1469 solo: [],1470 todo: Set("a", "b", "fat"),1471 workers:1472 Map(1473 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1474 1 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },1475 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1476 )1477 },1478 main::scheduler::wasFinished: false1479}14801481[State 69]1482{1483 main::scheduler::st:1484 {1485 done: Set(),1486 errored: Set("huge"),1487 estimate: 5000,1488 externalKills: 2,1489 mode: Parallel,1490 solo: [],1491 todo: Set("a", "b", "fat"),1492 workers:1493 Map(1494 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1495 1 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },1496 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1497 )1498 },1499 main::scheduler::wasFinished: false1500}15011502[State 70]1503{1504 main::scheduler::st:1505 {1506 done: Set(),1507 errored: Set("huge"),1508 estimate: 5000,1509 externalKills: 2,1510 mode: Parallel,1511 solo: [],1512 todo: Set("a", "b", "fat"),1513 workers:1514 Map(1515 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1516 1 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },1517 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1518 )1519 },1520 main::scheduler::wasFinished: false1521}15221523[State 71]1524{1525 main::scheduler::st:1526 {1527 done: Set(),1528 errored: Set("huge"),1529 estimate: 5000,1530 externalKills: 2,1531 mode: Parallel,1532 solo: [],1533 todo: Set("a", "b", "fat"),1534 workers:1535 Map(1536 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1537 1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },1538 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1539 )1540 },1541 main::scheduler::wasFinished: false1542}15431544[State 72]1545{1546 main::scheduler::st:1547 {1548 done: Set(),1549 errored: Set("huge"),1550 estimate: 5000,1551 externalKills: 2,1552 mode: Parallel,1553 solo: [],1554 todo: Set("a", "b", "fat"),1555 workers:1556 Map(1557 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1558 1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },1559 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1560 )1561 },1562 main::scheduler::wasFinished: false1563}15641565[State 73]1566{1567 main::scheduler::st:1568 {1569 done: Set(),1570 errored: Set("huge"),1571 estimate: 5000,1572 externalKills: 2,1573 mode: Parallel,1574 solo: [],1575 todo: Set("a", "b", "fat"),1576 workers:1577 Map(1578 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1579 1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },1580 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1581 )1582 },1583 main::scheduler::wasFinished: false1584}15851586[State 74]1587{1588 main::scheduler::st:1589 {1590 done: Set("c"),1591 errored: Set("huge"),1592 estimate: 4900,1593 externalKills: 2,1594 mode: Parallel,1595 solo: [],1596 todo: Set("a", "b", "fat"),1597 workers:1598 Map(1599 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1600 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1601 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1602 )1603 },1604 main::scheduler::wasFinished: false1605}16061607[State 75]1608{1609 main::scheduler::st:1610 {1611 done: Set("c"),1612 errored: Set("huge"),1613 estimate: 4900,1614 externalKills: 2,1615 mode: Parallel,1616 solo: [],1617 todo: Set("a", "b", "fat"),1618 workers:1619 Map(1620 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1621 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1622 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1623 )1624 },1625 main::scheduler::wasFinished: false1626}16271628[State 76]1629{1630 main::scheduler::st:1631 {1632 done: Set("c"),1633 errored: Set("huge"),1634 estimate: 4900,1635 externalKills: 2,1636 mode: Parallel,1637 solo: [],1638 todo: Set("a", "b", "fat"),1639 workers:1640 Map(1641 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1642 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1643 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1644 )1645 },1646 main::scheduler::wasFinished: false1647}16481649[State 77]1650{1651 main::scheduler::st:1652 {1653 done: Set("c"),1654 errored: Set("huge"),1655 estimate: 4900,1656 externalKills: 2,1657 mode: Parallel,1658 solo: [],1659 todo: Set("a", "b", "fat"),1660 workers:1661 Map(1662 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1663 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1664 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1665 )1666 },1667 main::scheduler::wasFinished: false1668}16691670[State 78]1671{1672 main::scheduler::st:1673 {1674 done: Set("c"),1675 errored: Set("huge"),1676 estimate: 4900,1677 externalKills: 2,1678 mode: Parallel,1679 solo: [],1680 todo: Set("a", "b", "fat"),1681 workers:1682 Map(1683 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1684 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1685 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1686 )1687 },1688 main::scheduler::wasFinished: false1689}16901691[State 79]1692{1693 main::scheduler::st:1694 {1695 done: Set("c"),1696 errored: Set("huge"),1697 estimate: 4900,1698 externalKills: 2,1699 mode: Parallel,1700 solo: [],1701 todo: Set("b", "fat"),1702 workers:1703 Map(1704 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1705 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1706 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }1707 )1708 },1709 main::scheduler::wasFinished: false1710}17111712[State 80]1713{1714 main::scheduler::st:1715 {1716 done: Set("c"),1717 errored: Set("huge"),1718 estimate: 4900,1719 externalKills: 2,1720 mode: Parallel,1721 solo: [],1722 todo: Set("b", "fat"),1723 workers:1724 Map(1725 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1726 1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },1727 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }1728 )1729 },1730 main::scheduler::wasFinished: false1731}17321733[State 81]1734{1735 main::scheduler::st:1736 {1737 done: Set("c"),1738 errored: Set("huge"),1739 estimate: 4900,1740 externalKills: 2,1741 mode: Parallel,1742 solo: [],1743 todo: Set("b", "fat"),1744 workers:1745 Map(1746 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1747 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1748 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }1749 )1750 },1751 main::scheduler::wasFinished: false1752}17531754[State 82]1755{1756 main::scheduler::st:1757 {1758 done: Set("c"),1759 errored: Set("huge"),1760 estimate: 4900,1761 externalKills: 2,1762 mode: Parallel,1763 solo: [],1764 todo: Set("b", "fat"),1765 workers:1766 Map(1767 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1768 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1769 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }1770 )1771 },1772 main::scheduler::wasFinished: false1773}17741775[State 83]1776{1777 main::scheduler::st:1778 {1779 done: Set("c"),1780 errored: Set("huge"),1781 estimate: 4900,1782 externalKills: 2,1783 mode: Parallel,1784 solo: [],1785 todo: Set("b", "fat"),1786 workers:1787 Map(1788 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1789 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1790 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1791 )1792 },1793 main::scheduler::wasFinished: false1794}17951796[State 84]1797{1798 main::scheduler::st:1799 {1800 done: Set("c"),1801 errored: Set("huge"),1802 estimate: 4900,1803 externalKills: 2,1804 mode: Parallel,1805 solo: [],1806 todo: Set("b", "fat"),1807 workers:1808 Map(1809 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1810 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1811 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1812 )1813 },1814 main::scheduler::wasFinished: false1815}18161817[State 85]1818{1819 main::scheduler::st:1820 {1821 done: Set("c"),1822 errored: Set("huge"),1823 estimate: 4900,1824 externalKills: 2,1825 mode: Parallel,1826 solo: [],1827 todo: Set("b", "fat"),1828 workers:1829 Map(1830 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1831 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1832 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1833 )1834 },1835 main::scheduler::wasFinished: false1836}18371838[State 86]1839{1840 main::scheduler::st:1841 {1842 done: Set("c"),1843 errored: Set("huge"),1844 estimate: 4900,1845 externalKills: 2,1846 mode: Parallel,1847 solo: [],1848 todo: Set("b", "fat"),1849 workers:1850 Map(1851 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1852 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1853 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }1854 )1855 },1856 main::scheduler::wasFinished: false1857}18581859[State 87]1860{1861 main::scheduler::st:1862 {1863 done: Set("a", "c"),1864 errored: Set("huge"),1865 estimate: 4802,1866 externalKills: 2,1867 mode: Parallel,1868 solo: [],1869 todo: Set("b", "fat"),1870 workers:1871 Map(1872 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1873 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1874 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }1875 )1876 },1877 main::scheduler::wasFinished: false1878}18791880[State 88]1881{1882 main::scheduler::st:1883 {1884 done: Set("a", "c"),1885 errored: Set("huge"),1886 estimate: 4802,1887 externalKills: 2,1888 mode: Parallel,1889 solo: [],1890 todo: Set("b", "fat"),1891 workers:1892 Map(1893 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1894 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1895 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }1896 )1897 },1898 main::scheduler::wasFinished: false1899}19001901[State 89]1902{1903 main::scheduler::st:1904 {1905 done: Set("a", "c"),1906 errored: Set("huge"),1907 estimate: 4802,1908 externalKills: 2,1909 mode: Parallel,1910 solo: [],1911 todo: Set("b", "fat"),1912 workers:1913 Map(1914 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1915 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1916 2 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 }1917 )1918 },1919 main::scheduler::wasFinished: false1920}19211922[State 90]1923{1924 main::scheduler::st:1925 {1926 done: Set("a", "c"),1927 errored: Set("huge"),1928 estimate: 4802,1929 externalKills: 2,1930 mode: Parallel,1931 solo: [],1932 todo: Set("b"),1933 workers:1934 Map(1935 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1936 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1937 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }1938 )1939 },1940 main::scheduler::wasFinished: false1941}19421943[State 91]1944{1945 main::scheduler::st:1946 {1947 done: Set("a", "c"),1948 errored: Set("huge"),1949 estimate: 4802,1950 externalKills: 2,1951 mode: Parallel,1952 solo: [],1953 todo: Set("b"),1954 workers:1955 Map(1956 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1957 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1958 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }1959 )1960 },1961 main::scheduler::wasFinished: false1962}19631964[State 92]1965{1966 main::scheduler::st:1967 {1968 done: Set("a", "c"),1969 errored: Set("huge"),1970 estimate: 4802,1971 externalKills: 2,1972 mode: Parallel,1973 solo: [],1974 todo: Set("b"),1975 workers:1976 Map(1977 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1978 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },1979 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }1980 )1981 },1982 main::scheduler::wasFinished: false1983}19841985[State 93]1986{1987 main::scheduler::st:1988 {1989 done: Set("a", "c"),1990 errored: Set("huge"),1991 estimate: 4802,1992 externalKills: 2,1993 mode: Parallel,1994 solo: [],1995 todo: Set("b"),1996 workers:1997 Map(1998 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1999 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2000 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2001 )2002 },2003 main::scheduler::wasFinished: false2004}20052006[State 94]2007{2008 main::scheduler::st:2009 {2010 done: Set("a", "c"),2011 errored: Set("huge"),2012 estimate: 4802,2013 externalKills: 2,2014 mode: Parallel,2015 solo: [],2016 todo: Set("b"),2017 workers:2018 Map(2019 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2020 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2021 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2022 )2023 },2024 main::scheduler::wasFinished: false2025}20262027[State 95]2028{2029 main::scheduler::st:2030 {2031 done: Set("a", "c"),2032 errored: Set("huge"),2033 estimate: 4802,2034 externalKills: 2,2035 mode: Parallel,2036 solo: [],2037 todo: Set("b"),2038 workers:2039 Map(2040 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2041 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2042 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2043 )2044 },2045 main::scheduler::wasFinished: false2046}20472048[State 96]2049{2050 main::scheduler::st:2051 {2052 done: Set("a", "c"),2053 errored: Set("huge"),2054 estimate: 4802,2055 externalKills: 2,2056 mode: Parallel,2057 solo: [],2058 todo: Set("b"),2059 workers:2060 Map(2061 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2062 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2063 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2064 )2065 },2066 main::scheduler::wasFinished: false2067}20682069[State 97]2070{2071 main::scheduler::st:2072 {2073 done: Set("a", "c"),2074 errored: Set("huge"),2075 estimate: 4802,2076 externalKills: 2,2077 mode: Parallel,2078 solo: [],2079 todo: Set("b"),2080 workers:2081 Map(2082 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2083 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2084 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2085 )2086 },2087 main::scheduler::wasFinished: false2088}20892090[State 98]2091{2092 main::scheduler::st:2093 {2094 done: Set("a", "c"),2095 errored: Set("huge"),2096 estimate: 4802,2097 externalKills: 2,2098 mode: Parallel,2099 solo: [],2100 todo: Set("b"),2101 workers:2102 Map(2103 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2104 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2105 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2106 )2107 },2108 main::scheduler::wasFinished: false2109}21102111[State 99]2112{2113 main::scheduler::st:2114 {2115 done: Set("a", "c"),2116 errored: Set("huge"),2117 estimate: 4802,2118 externalKills: 2,2119 mode: Parallel,2120 solo: [],2121 todo: Set("b"),2122 workers:2123 Map(2124 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2125 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2126 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2127 )2128 },2129 main::scheduler::wasFinished: false2130}21312132[State 100]2133{2134 main::scheduler::st:2135 {2136 done: Set("a", "c"),2137 errored: Set("huge"),2138 estimate: 4802,2139 externalKills: 2,2140 mode: Parallel,2141 solo: [],2142 todo: Set("b"),2143 workers:2144 Map(2145 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2146 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2147 2 -> { heap: 350, job: "fat", phase: Busy, rss: 350, startRss: 350 }2148 )2149 },2150 main::scheduler::wasFinished: false2151}21522153[State 101]2154{2155 main::scheduler::st:2156 {2157 done: Set("a", "c"),2158 errored: Set("huge"),2159 estimate: 4802,2160 externalKills: 2,2161 mode: Parallel,2162 solo: [],2163 todo: Set("b"),2164 workers:2165 Map(2166 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2167 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2168 2 -> { heap: 350, job: "fat", phase: Busy, rss: 2350, startRss: 350 }2169 )2170 },2171 main::scheduler::wasFinished: false2172}21732174[State 102]2175{2176 main::scheduler::st:2177 {2178 done: Set("a", "c"),2179 errored: Set("huge"),2180 estimate: 4802,2181 externalKills: 2,2182 mode: Parallel,2183 solo: [],2184 todo: Set("b"),2185 workers:2186 Map(2187 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2188 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2189 2 ->2190 { heap: 350, job: "fat", phase: Killed, rss: 2350, startRss: 350 }2191 )2192 },2193 main::scheduler::wasFinished: false2194}21952196[State 103]2197{2198 main::scheduler::st:2199 {2200 done: Set("a", "c"),2201 errored: Set("huge"),2202 estimate: 4802,2203 externalKills: 2,2204 mode: Parallel,2205 solo: ["fat"],2206 todo: Set("b"),2207 workers:2208 Map(2209 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2210 1 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 },2211 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2212 )2213 },2214 main::scheduler::wasFinished: false2215}22162217[State 104]2218{2219 main::scheduler::st:2220 {2221 done: Set("a", "c"),2222 errored: Set("huge"),2223 estimate: 4802,2224 externalKills: 2,2225 mode: Solo,2226 solo: ["fat"],2227 todo: Set("b"),2228 workers:2229 Map(2230 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2231 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2232 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2233 )2234 },2235 main::scheduler::wasFinished: false2236}22372238[State 105]2239{2240 main::scheduler::st:2241 {2242 done: Set("a", "c"),2243 errored: Set("huge"),2244 estimate: 4802,2245 externalKills: 2,2246 mode: Solo,2247 solo: ["fat"],2248 todo: Set("b"),2249 workers:2250 Map(2251 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2252 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2253 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2254 )2255 },2256 main::scheduler::wasFinished: false2257}22582259[State 106]2260{2261 main::scheduler::st:2262 {2263 done: Set("a", "c"),2264 errored: Set("huge"),2265 estimate: 4802,2266 externalKills: 2,2267 mode: Solo,2268 solo: ["fat"],2269 todo: Set("b"),2270 workers:2271 Map(2272 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2273 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2274 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2275 )2276 },2277 main::scheduler::wasFinished: false2278}22792280[State 107]2281{2282 main::scheduler::st:2283 {2284 done: Set("a", "c"),2285 errored: Set("huge"),2286 estimate: 4802,2287 externalKills: 2,2288 mode: Solo,2289 solo: ["fat"],2290 todo: Set("b"),2291 workers:2292 Map(2293 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2294 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2295 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2296 )2297 },2298 main::scheduler::wasFinished: false2299}23002301[State 108]2302{2303 main::scheduler::st:2304 {2305 done: Set("a", "c"),2306 errored: Set("huge"),2307 estimate: 4802,2308 externalKills: 2,2309 mode: Solo,2310 solo: ["fat"],2311 todo: Set("b"),2312 workers:2313 Map(2314 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2315 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2316 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2317 )2318 },2319 main::scheduler::wasFinished: false2320}23212322[State 109]2323{2324 main::scheduler::st:2325 {2326 done: Set("a", "c"),2327 errored: Set("huge"),2328 estimate: 4802,2329 externalKills: 2,2330 mode: Solo,2331 solo: ["fat"],2332 todo: Set("b"),2333 workers:2334 Map(2335 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2336 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2337 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2338 )2339 },2340 main::scheduler::wasFinished: false2341}23422343[State 110]2344{2345 main::scheduler::st:2346 {2347 done: Set("a", "c"),2348 errored: Set("huge"),2349 estimate: 4802,2350 externalKills: 2,2351 mode: Solo,2352 solo: ["fat"],2353 todo: Set("b"),2354 workers:2355 Map(2356 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2357 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2358 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2359 )2360 },2361 main::scheduler::wasFinished: false2362}23632364[State 111]2365{2366 main::scheduler::st:2367 {2368 done: Set("a", "c"),2369 errored: Set("huge"),2370 estimate: 4802,2371 externalKills: 2,2372 mode: Solo,2373 solo: ["fat"],2374 todo: Set("b"),2375 workers:2376 Map(2377 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2378 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2379 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2380 )2381 },2382 main::scheduler::wasFinished: false2383}23842385[State 112]2386{2387 main::scheduler::st:2388 {2389 done: Set("a", "c"),2390 errored: Set("huge"),2391 estimate: 4802,2392 externalKills: 2,2393 mode: Solo,2394 solo: ["fat"],2395 todo: Set("b"),2396 workers:2397 Map(2398 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2399 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2400 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2401 )2402 },2403 main::scheduler::wasFinished: false2404}24052406[State 113]2407{2408 main::scheduler::st:2409 {2410 done: Set("a", "c"),2411 errored: Set("huge"),2412 estimate: 4802,2413 externalKills: 2,2414 mode: Solo,2415 solo: ["fat"],2416 todo: Set("b"),2417 workers:2418 Map(2419 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2420 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2421 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2422 )2423 },2424 main::scheduler::wasFinished: false2425}24262427[State 114]2428{2429 main::scheduler::st:2430 {2431 done: Set("a", "c"),2432 errored: Set("huge"),2433 estimate: 4802,2434 externalKills: 2,2435 mode: Solo,2436 solo: ["fat"],2437 todo: Set("b"),2438 workers:2439 Map(2440 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2441 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2442 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2443 )2444 },2445 main::scheduler::wasFinished: false2446}24472448[State 115]2449{2450 main::scheduler::st:2451 {2452 done: Set("a", "c"),2453 errored: Set("huge"),2454 estimate: 4802,2455 externalKills: 2,2456 mode: Solo,2457 solo: ["fat"],2458 todo: Set("b"),2459 workers:2460 Map(2461 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2462 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2463 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2464 )2465 },2466 main::scheduler::wasFinished: false2467}24682469[State 116]2470{2471 main::scheduler::st:2472 {2473 done: Set("a", "c"),2474 errored: Set("huge"),2475 estimate: 4802,2476 externalKills: 2,2477 mode: Solo,2478 solo: ["fat"],2479 todo: Set("b"),2480 workers:2481 Map(2482 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2483 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2484 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2485 )2486 },2487 main::scheduler::wasFinished: false2488}24892490[State 117]2491{2492 main::scheduler::st:2493 {2494 done: Set("a", "c"),2495 errored: Set("huge"),2496 estimate: 4802,2497 externalKills: 2,2498 mode: Solo,2499 solo: ["fat"],2500 todo: Set("b"),2501 workers:2502 Map(2503 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2504 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2505 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2506 )2507 },2508 main::scheduler::wasFinished: false2509}25102511[State 118]2512{2513 main::scheduler::st:2514 {2515 done: Set("a", "c"),2516 errored: Set("huge"),2517 estimate: 4802,2518 externalKills: 2,2519 mode: Solo,2520 solo: [],2521 todo: Set("b"),2522 workers:2523 Map(2524 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2525 1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2526 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2527 )2528 },2529 main::scheduler::wasFinished: false2530}25312532[State 119]2533{2534 main::scheduler::st:2535 {2536 done: Set("a", "c"),2537 errored: Set("huge"),2538 estimate: 4802,2539 externalKills: 2,2540 mode: Solo,2541 solo: [],2542 todo: Set("b"),2543 workers:2544 Map(2545 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2546 1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },2547 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2548 )2549 },2550 main::scheduler::wasFinished: false2551}25522553[State 120]2554{2555 main::scheduler::st:2556 {2557 done: Set("a", "c"),2558 errored: Set("huge"),2559 estimate: 4802,2560 externalKills: 2,2561 mode: Solo,2562 solo: [],2563 todo: Set("b"),2564 workers:2565 Map(2566 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2567 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2568 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2569 )2570 },2571 main::scheduler::wasFinished: false2572}25732574[State 121]2575{2576 main::scheduler::st:2577 {2578 done: Set("a", "c"),2579 errored: Set("huge"),2580 estimate: 4802,2581 externalKills: 2,2582 mode: Solo,2583 solo: [],2584 todo: Set("b"),2585 workers:2586 Map(2587 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2588 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2589 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2590 )2591 },2592 main::scheduler::wasFinished: false2593}25942595[State 122]2596{2597 main::scheduler::st:2598 {2599 done: Set("a", "c"),2600 errored: Set("huge"),2601 estimate: 4802,2602 externalKills: 2,2603 mode: Solo,2604 solo: [],2605 todo: Set("b"),2606 workers:2607 Map(2608 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2609 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2610 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2611 )2612 },2613 main::scheduler::wasFinished: false2614}26152616[State 123]2617{2618 main::scheduler::st:2619 {2620 done: Set("a", "c"),2621 errored: Set("huge"),2622 estimate: 4802,2623 externalKills: 2,2624 mode: Solo,2625 solo: [],2626 todo: Set("b"),2627 workers:2628 Map(2629 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2630 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2631 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2632 )2633 },2634 main::scheduler::wasFinished: false2635}26362637[State 124]2638{2639 main::scheduler::st:2640 {2641 done: Set("a", "c"),2642 errored: Set("huge"),2643 estimate: 4802,2644 externalKills: 2,2645 mode: Solo,2646 solo: [],2647 todo: Set("b"),2648 workers:2649 Map(2650 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2651 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2652 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2653 )2654 },2655 main::scheduler::wasFinished: false2656}26572658[State 125]2659{2660 main::scheduler::st:2661 {2662 done: Set("a", "c"),2663 errored: Set("huge"),2664 estimate: 4802,2665 externalKills: 2,2666 mode: Solo,2667 solo: [],2668 todo: Set("b"),2669 workers:2670 Map(2671 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2672 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },2673 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2674 )2675 },2676 main::scheduler::wasFinished: false2677}26782679[State 126]2680{2681 main::scheduler::st:2682 {2683 done: Set("a", "c", "fat"),2684 errored: Set("huge"),2685 estimate: 4705,2686 externalKills: 2,2687 mode: Parallel,2688 solo: [],2689 todo: Set("b"),2690 workers:2691 Map(2692 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2693 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2694 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2695 )2696 },2697 main::scheduler::wasFinished: false2698}26992700[State 127]2701{2702 main::scheduler::st:2703 {2704 done: Set("a", "c", "fat"),2705 errored: Set("huge"),2706 estimate: 4705,2707 externalKills: 2,2708 mode: Parallel,2709 solo: [],2710 todo: Set("b"),2711 workers:2712 Map(2713 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2714 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2715 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2716 )2717 },2718 main::scheduler::wasFinished: false2719}27202721[State 128]2722{2723 main::scheduler::st:2724 {2725 done: Set("a", "c", "fat"),2726 errored: Set("huge"),2727 estimate: 4705,2728 externalKills: 2,2729 mode: Parallel,2730 solo: [],2731 todo: Set("b"),2732 workers:2733 Map(2734 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2735 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2736 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2737 )2738 },2739 main::scheduler::wasFinished: false2740}27412742[State 129]2743{2744 main::scheduler::st:2745 {2746 done: Set("a", "c", "fat"),2747 errored: Set("huge"),2748 estimate: 4705,2749 externalKills: 2,2750 mode: Parallel,2751 solo: [],2752 todo: Set("b"),2753 workers:2754 Map(2755 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2756 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2757 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2758 )2759 },2760 main::scheduler::wasFinished: false2761}27622763[State 130]2764{2765 main::scheduler::st:2766 {2767 done: Set("a", "c", "fat"),2768 errored: Set("huge"),2769 estimate: 4705,2770 externalKills: 2,2771 mode: Parallel,2772 solo: [],2773 todo: Set("b"),2774 workers:2775 Map(2776 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2777 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2778 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2779 )2780 },2781 main::scheduler::wasFinished: false2782}27832784[State 131]2785{2786 main::scheduler::st:2787 {2788 done: Set("a", "c", "fat"),2789 errored: Set("huge"),2790 estimate: 4705,2791 externalKills: 2,2792 mode: Parallel,2793 solo: [],2794 todo: Set("b"),2795 workers:2796 Map(2797 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2798 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2799 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2800 )2801 },2802 main::scheduler::wasFinished: false2803}28042805[State 132]2806{2807 main::scheduler::st:2808 {2809 done: Set("a", "c", "fat"),2810 errored: Set("huge"),2811 estimate: 4705,2812 externalKills: 2,2813 mode: Parallel,2814 solo: [],2815 todo: Set("b"),2816 workers:2817 Map(2818 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2819 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2820 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2821 )2822 },2823 main::scheduler::wasFinished: false2824}28252826[State 133]2827{2828 main::scheduler::st:2829 {2830 done: Set("a", "c", "fat"),2831 errored: Set("huge"),2832 estimate: 4705,2833 externalKills: 2,2834 mode: Parallel,2835 solo: [],2836 todo: Set("b"),2837 workers:2838 Map(2839 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2840 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },2841 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2842 )2843 },2844 main::scheduler::wasFinished: false2845}28462847[State 134]2848{2849 main::scheduler::st:2850 {2851 done: Set("a", "c", "fat"),2852 errored: Set("huge"),2853 estimate: 4705,2854 externalKills: 2,2855 mode: Parallel,2856 solo: [],2857 todo: Set("b"),2858 workers:2859 Map(2860 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2861 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2862 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2863 )2864 },2865 main::scheduler::wasFinished: false2866}28672868[State 135]2869{2870 main::scheduler::st:2871 {2872 done: Set("a", "c", "fat"),2873 errored: Set("huge"),2874 estimate: 4705,2875 externalKills: 2,2876 mode: Parallel,2877 solo: [],2878 todo: Set("b"),2879 workers:2880 Map(2881 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2882 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },2883 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2884 )2885 },2886 main::scheduler::wasFinished: false2887}28882889[State 136]2890{2891 main::scheduler::st:2892 {2893 done: Set("a", "c", "fat"),2894 errored: Set("huge"),2895 estimate: 4705,2896 externalKills: 2,2897 mode: Parallel,2898 solo: [],2899 todo: Set(),2900 workers:2901 Map(2902 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2903 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },2904 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2905 )2906 },2907 main::scheduler::wasFinished: false2908}29092910[State 137]2911{2912 main::scheduler::st:2913 {2914 done: Set("a", "c", "fat"),2915 errored: Set("huge"),2916 estimate: 4705,2917 externalKills: 2,2918 mode: Parallel,2919 solo: [],2920 todo: Set(),2921 workers:2922 Map(2923 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2924 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },2925 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2926 )2927 },2928 main::scheduler::wasFinished: false2929}29302931[State 138]2932{2933 main::scheduler::st:2934 {2935 done: Set("a", "c", "fat"),2936 errored: Set("huge"),2937 estimate: 4705,2938 externalKills: 2,2939 mode: Parallel,2940 solo: [],2941 todo: Set(),2942 workers:2943 Map(2944 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2945 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },2946 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2947 )2948 },2949 main::scheduler::wasFinished: false2950}29512952[State 139]2953{2954 main::scheduler::st:2955 {2956 done: Set("a", "c", "fat"),2957 errored: Set("huge"),2958 estimate: 4705,2959 externalKills: 2,2960 mode: Parallel,2961 solo: [],2962 todo: Set(),2963 workers:2964 Map(2965 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2966 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },2967 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2968 )2969 },2970 main::scheduler::wasFinished: false2971}29722973[State 140]2974{2975 main::scheduler::st:2976 {2977 done: Set("a", "c", "fat"),2978 errored: Set("huge"),2979 estimate: 4705,2980 externalKills: 2,2981 mode: Parallel,2982 solo: [],2983 todo: Set(),2984 workers:2985 Map(2986 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2987 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },2988 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2989 )2990 },2991 main::scheduler::wasFinished: false2992}29932994[State 141]2995{2996 main::scheduler::st:2997 {2998 done: Set("a", "c", "fat"),2999 errored: Set("huge"),3000 estimate: 4705,3001 externalKills: 2,3002 mode: Parallel,3003 solo: [],3004 todo: Set(),3005 workers:3006 Map(3007 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3008 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3009 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3010 )3011 },3012 main::scheduler::wasFinished: false3013}30143015[State 142]3016{3017 main::scheduler::st:3018 {3019 done: Set("a", "c", "fat"),3020 errored: Set("huge"),3021 estimate: 4705,3022 externalKills: 2,3023 mode: Parallel,3024 solo: [],3025 todo: Set(),3026 workers:3027 Map(3028 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3029 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3030 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3031 )3032 },3033 main::scheduler::wasFinished: false3034}30353036[State 143]3037{3038 main::scheduler::st:3039 {3040 done: Set("a", "c", "fat"),3041 errored: Set("huge"),3042 estimate: 4705,3043 externalKills: 2,3044 mode: Parallel,3045 solo: [],3046 todo: Set(),3047 workers:3048 Map(3049 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3050 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3051 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3052 )3053 },3054 main::scheduler::wasFinished: false3055}30563057[State 144]3058{3059 main::scheduler::st:3060 {3061 done: Set("a", "c", "fat"),3062 errored: Set("huge"),3063 estimate: 4705,3064 externalKills: 2,3065 mode: Parallel,3066 solo: [],3067 todo: Set(),3068 workers:3069 Map(3070 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3071 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3072 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3073 )3074 },3075 main::scheduler::wasFinished: false3076}30773078[State 145]3079{3080 main::scheduler::st:3081 {3082 done: Set("a", "c", "fat"),3083 errored: Set("huge"),3084 estimate: 4705,3085 externalKills: 2,3086 mode: Parallel,3087 solo: [],3088 todo: Set(),3089 workers:3090 Map(3091 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3092 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3093 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3094 )3095 },3096 main::scheduler::wasFinished: false3097}30983099[State 146]3100{3101 main::scheduler::st:3102 {3103 done: Set("a", "c", "fat"),3104 errored: Set("huge"),3105 estimate: 4705,3106 externalKills: 2,3107 mode: Parallel,3108 solo: [],3109 todo: Set(),3110 workers:3111 Map(3112 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3113 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3114 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3115 )3116 },3117 main::scheduler::wasFinished: false3118}31193120[State 147]3121{3122 main::scheduler::st:3123 {3124 done: Set("a", "c", "fat"),3125 errored: Set("huge"),3126 estimate: 4705,3127 externalKills: 2,3128 mode: Parallel,3129 solo: [],3130 todo: Set(),3131 workers:3132 Map(3133 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3134 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3135 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3136 )3137 },3138 main::scheduler::wasFinished: false3139}31403141[State 148]3142{3143 main::scheduler::st:3144 {3145 done: Set("a", "c", "fat"),3146 errored: Set("huge"),3147 estimate: 4705,3148 externalKills: 2,3149 mode: Parallel,3150 solo: [],3151 todo: Set(),3152 workers:3153 Map(3154 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3155 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1300, startRss: 1300 },3156 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3157 )3158 },3159 main::scheduler::wasFinished: false3160}31613162[State 149]3163{3164 main::scheduler::st:3165 {3166 done: Set("a", "c", "fat"),3167 errored: Set("huge"),3168 estimate: 4705,3169 externalKills: 2,3170 mode: Parallel,3171 solo: [],3172 todo: Set(),3173 workers:3174 Map(3175 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3176 1 -> { heap: 1300, job: "b", phase: Busy, rss: 1700, startRss: 1300 },3177 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3178 )3179 },3180 main::scheduler::wasFinished: false3181}31823183[State 150]3184{3185 main::scheduler::st:3186 {3187 done: Set("a", "b", "c", "fat"),3188 errored: Set("huge"),3189 estimate: 4610,3190 externalKills: 2,3191 mode: Parallel,3192 solo: [],3193 todo: Set(),3194 workers:3195 Map(3196 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3197 1 -> { heap: 1500, job: "", phase: Starting, rss: 1500, startRss: 0 },3198 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }3199 )3200 },3201 main::scheduler::wasFinished: false3202}32033204[ok] No violation found (1233ms at 1622 traces/second).3205Trace length statistics: max=151, min=61, average=111.053206You may increase --max-samples and --max-steps.3207Use --verbosity to produce more (or less) output.3208Use --seed=0xf35a3f769044fee2 --backend=rust to reproduce.32093210 noOomKiller3211 ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3212 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)32133214 2 passing (26999ms)32153216 main3217 ok main::scheduler::terminatesTest passed 200 test(s)32183219 1 passing (12592ms)