nix-eval-jobs-scheduler-spec log

succeeded `nix-eval-jobs-scheduler-spec` `checks.aarch64-darwin.scheduler-spec` · build #104 · raw

1Running... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [ ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 204/2000 samples | 436 samples/sRunning... [■■■■ ] 10% | ETA: 5s | 204/2000 samples | 436 samples/sRunning... [■■■■■■ ] 15% | ETA: 4s | 312/2000 samples | 506 samples/sRunning... [■■■■■■ ] 15% | ETA: 4s | 312/2000 samples | 506 samples/sRunning... [■■■■■■■■■■ ] 24% | ETA: 3s | 481/2000 samples | 587 samples/sRunning... [■■■■■■■■■■■ ] 28% | ETA: 3s | 564/2000 samples | 610 samples/sRunning... [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 659/2000 samples | 635 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 2s | 794/2000 samples | 667 samples/sRunning... [■■■■■■■■■■■■■■■■ ] 39% | ETA: 2s | 794/2000 samples | 667 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 2s | 962/2000 samples | 681 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 2s | 962/2000 samples | 681 samples/sRunning... [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 2s | 962/2000 samples | 681 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 2s | 1210/2000 samples | 697 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 2s | 1210/2000 samples | 697 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 1s | 1285/2000 samples | 700 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 1s | 1351/2000 samples | 697 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 1460/2000 samples | 694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 1s | 1460/2000 samples | 694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 1586/2000 samples | 692 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 1586/2000 samples | 692 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 1724/2000 samples | 700 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 1821/2000 samples | 703 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 1911/2000 samples | 708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 1911/2000 samples | 708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 1911/2000 samples | 708 samples/sAn example execution:23[State 0]4{5 main::scheduler::st:6 {7 done: Set(),8 errored: Set(),9 estimate: 512,10 externalKills: 0,11 mode: Parallel,12 solo: [],13 todo: Set("a", "b", "c", "fat", "huge"),14 workers:15 Map(16 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },17 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },18 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }19 )20 },21 main::scheduler::wasFinished: false22}2324[State 1]25{26 main::scheduler::st:27 {28 done: Set(),29 errored: Set(),30 estimate: 512,31 externalKills: 0,32 mode: Parallel,33 solo: [],34 todo: Set("a", "b", "c", "fat", "huge"),35 workers:36 Map(37 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },38 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },39 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }40 )41 },42 main::scheduler::wasFinished: false43}4445[State 2]46{47 main::scheduler::st:48 {49 done: Set(),50 errored: Set(),51 estimate: 512,52 externalKills: 0,53 mode: Parallel,54 solo: [],55 todo: Set("a", "b", "c", "fat", "huge"),56 workers:57 Map(58 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },59 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },60 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }61 )62 },63 main::scheduler::wasFinished: false64}6566[State 3]67{68 main::scheduler::st:69 {70 done: Set(),71 errored: Set(),72 estimate: 512,73 externalKills: 0,74 mode: Parallel,75 solo: [],76 todo: Set("a", "b", "c", "fat", "huge"),77 workers:78 Map(79 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },80 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },81 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }82 )83 },84 main::scheduler::wasFinished: false85}8687[State 4]88{89 main::scheduler::st:90 {91 done: Set(),92 errored: Set(),93 estimate: 512,94 externalKills: 0,95 mode: Parallel,96 solo: [],97 todo: Set("a", "b", "c", "fat", "huge"),98 workers:99 Map(100 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },101 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },102 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }103 )104 },105 main::scheduler::wasFinished: false106}107108[State 5]109{110 main::scheduler::st:111 {112 done: Set(),113 errored: Set(),114 estimate: 512,115 externalKills: 0,116 mode: Parallel,117 solo: [],118 todo: Set("a", "b", "c", "fat", "huge"),119 workers:120 Map(121 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },122 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },123 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }124 )125 },126 main::scheduler::wasFinished: false127}128129[State 6]130{131 main::scheduler::st:132 {133 done: Set(),134 errored: Set(),135 estimate: 512,136 externalKills: 0,137 mode: Parallel,138 solo: [],139 todo: Set("a", "b", "c", "fat", "huge"),140 workers:141 Map(142 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },143 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },144 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }145 )146 },147 main::scheduler::wasFinished: false148}149150[State 7]151{152 main::scheduler::st:153 {154 done: Set(),155 errored: Set(),156 estimate: 512,157 externalKills: 1,158 mode: Parallel,159 solo: [],160 todo: Set("a", "b", "c", "fat", "huge"),161 workers:162 Map(163 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },164 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },165 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }166 )167 },168 main::scheduler::wasFinished: false169}170171[State 8]172{173 main::scheduler::st:174 {175 done: Set(),176 errored: Set(),177 estimate: 512,178 externalKills: 1,179 mode: Parallel,180 solo: [],181 todo: Set("a", "b", "c", "fat", "huge"),182 workers:183 Map(184 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },185 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },186 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }187 )188 },189 main::scheduler::wasFinished: false190}191192[State 9]193{194 main::scheduler::st:195 {196 done: Set(),197 errored: Set(),198 estimate: 512,199 externalKills: 1,200 mode: Parallel,201 solo: [],202 todo: Set("a", "b", "c", "fat", "huge"),203 workers:204 Map(205 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },206 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },207 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }208 )209 },210 main::scheduler::wasFinished: false211}212213[State 10]214{215 main::scheduler::st:216 {217 done: Set(),218 errored: Set(),219 estimate: 512,220 externalKills: 1,221 mode: Parallel,222 solo: [],223 todo: Set("a", "b", "c", "fat", "huge"),224 workers:225 Map(226 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },227 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },228 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }229 )230 },231 main::scheduler::wasFinished: false232}233234[State 11]235{236 main::scheduler::st:237 {238 done: Set(),239 errored: Set(),240 estimate: 512,241 externalKills: 1,242 mode: Parallel,243 solo: [],244 todo: Set("a", "b", "c", "fat"),245 workers:246 Map(247 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },248 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },249 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }250 )251 },252 main::scheduler::wasFinished: false253}254255[State 12]256{257 main::scheduler::st:258 {259 done: Set(),260 errored: Set(),261 estimate: 512,262 externalKills: 2,263 mode: Parallel,264 solo: [],265 todo: Set("a", "b", "c", "fat"),266 workers:267 Map(268 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },269 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },270 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }271 )272 },273 main::scheduler::wasFinished: false274}275276[State 13]277{278 main::scheduler::st:279 {280 done: Set(),281 errored: Set(),282 estimate: 512,283 externalKills: 2,284 mode: Parallel,285 solo: [],286 todo: Set("a", "b", "c", "fat"),287 workers:288 Map(289 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },290 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },291 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }292 )293 },294 main::scheduler::wasFinished: false295}296297[State 14]298{299 main::scheduler::st:300 {301 done: Set(),302 errored: Set(),303 estimate: 512,304 externalKills: 2,305 mode: Parallel,306 solo: [],307 todo: Set("a", "b", "c", "fat"),308 workers:309 Map(310 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },311 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },312 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }313 )314 },315 main::scheduler::wasFinished: false316}317318[State 15]319{320 main::scheduler::st:321 {322 done: Set(),323 errored: Set(),324 estimate: 512,325 externalKills: 2,326 mode: Parallel,327 solo: [],328 todo: Set("a", "b", "c", "fat"),329 workers:330 Map(331 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },332 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },333 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }334 )335 },336 main::scheduler::wasFinished: false337}338339[State 16]340{341 main::scheduler::st:342 {343 done: Set(),344 errored: Set(),345 estimate: 5000,346 externalKills: 2,347 mode: Parallel,348 solo: [],349 todo: Set("a", "b", "c", "fat"),350 workers:351 Map(352 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },353 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },354 2 ->355 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }356 )357 },358 main::scheduler::wasFinished: false359}360361[State 17]362{363 main::scheduler::st:364 {365 done: Set(),366 errored: Set(),367 estimate: 5000,368 externalKills: 2,369 mode: Parallel,370 solo: ["huge"],371 todo: Set("a", "b", "c", "fat"),372 workers:373 Map(374 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },375 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },376 2 -> { heap: 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: 5000,389 externalKills: 2,390 mode: Solo,391 solo: ["huge"],392 todo: Set("a", "b", "c", "fat"),393 workers:394 Map(395 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },396 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },397 2 -> { heap: 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: 5000,410 externalKills: 2,411 mode: Solo,412 solo: ["huge"],413 todo: Set("a", "b", "c", "fat"),414 workers:415 Map(416 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },417 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },418 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 5000,431 externalKills: 2,432 mode: Solo,433 solo: ["huge"],434 todo: Set("a", "b", "c", "fat"),435 workers:436 Map(437 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },438 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },439 2 -> { heap: 0, job: "", phase: PNone, rss: 0, 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: 5000,452 externalKills: 2,453 mode: Solo,454 solo: ["huge"],455 todo: Set("a", "b", "c", "fat"),456 workers:457 Map(458 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },459 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },460 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }461 )462 },463 main::scheduler::wasFinished: false464}465466[State 22]467{468 main::scheduler::st:469 {470 done: Set(),471 errored: Set(),472 estimate: 5000,473 externalKills: 2,474 mode: Solo,475 solo: ["huge"],476 todo: Set("a", "b", "c", "fat"),477 workers:478 Map(479 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },480 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },481 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }482 )483 },484 main::scheduler::wasFinished: false485}486487[State 23]488{489 main::scheduler::st:490 {491 done: Set(),492 errored: Set(),493 estimate: 5000,494 externalKills: 2,495 mode: Solo,496 solo: ["huge"],497 todo: Set("a", "b", "c", "fat"),498 workers:499 Map(500 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },501 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },502 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }503 )504 },505 main::scheduler::wasFinished: false506}507508[State 24]509{510 main::scheduler::st:511 {512 done: Set(),513 errored: Set(),514 estimate: 5000,515 externalKills: 2,516 mode: Solo,517 solo: ["huge"],518 todo: Set("a", "b", "c", "fat"),519 workers:520 Map(521 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },522 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },523 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }524 )525 },526 main::scheduler::wasFinished: false527}528529[State 25]530{531 main::scheduler::st:532 {533 done: Set(),534 errored: Set(),535 estimate: 5000,536 externalKills: 2,537 mode: Solo,538 solo: ["huge"],539 todo: Set("a", "b", "c", "fat"),540 workers:541 Map(542 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },543 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },544 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }545 )546 },547 main::scheduler::wasFinished: false548}549550[State 26]551{552 main::scheduler::st:553 {554 done: Set(),555 errored: Set(),556 estimate: 5000,557 externalKills: 2,558 mode: Solo,559 solo: ["huge"],560 todo: Set("a", "b", "c", "fat"),561 workers:562 Map(563 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },564 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },565 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }566 )567 },568 main::scheduler::wasFinished: false569}570571[State 27]572{573 main::scheduler::st:574 {575 done: Set(),576 errored: Set(),577 estimate: 5000,578 externalKills: 2,579 mode: Solo,580 solo: ["huge"],581 todo: Set("a", "b", "c", "fat"),582 workers:583 Map(584 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },585 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },586 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }587 )588 },589 main::scheduler::wasFinished: false590}591592[State 28]593{594 main::scheduler::st:595 {596 done: Set(),597 errored: Set(),598 estimate: 5000,599 externalKills: 2,600 mode: Solo,601 solo: ["huge"],602 todo: Set("a", "b", "c", "fat"),603 workers:604 Map(605 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },606 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },607 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }608 )609 },610 main::scheduler::wasFinished: false611}612613[State 29]614{615 main::scheduler::st:616 {617 done: Set(),618 errored: Set(),619 estimate: 5000,620 externalKills: 2,621 mode: Solo,622 solo: ["huge"],623 todo: Set("a", "b", "c", "fat"),624 workers:625 Map(626 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },627 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },628 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }629 )630 },631 main::scheduler::wasFinished: false632}633634[State 30]635{636 main::scheduler::st:637 {638 done: Set(),639 errored: Set(),640 estimate: 5000,641 externalKills: 2,642 mode: Solo,643 solo: ["huge"],644 todo: Set("a", "b", "c", "fat"),645 workers:646 Map(647 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },648 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },649 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }650 )651 },652 main::scheduler::wasFinished: false653}654655[State 31]656{657 main::scheduler::st:658 {659 done: Set(),660 errored: Set(),661 estimate: 5000,662 externalKills: 2,663 mode: Solo,664 solo: ["huge"],665 todo: Set("a", "b", "c", "fat"),666 workers:667 Map(668 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },669 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },670 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }671 )672 },673 main::scheduler::wasFinished: false674}675676[State 32]677{678 main::scheduler::st:679 {680 done: Set(),681 errored: Set(),682 estimate: 5000,683 externalKills: 2,684 mode: Solo,685 solo: ["huge"],686 todo: Set("a", "b", "c", "fat"),687 workers:688 Map(689 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },690 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },691 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }692 )693 },694 main::scheduler::wasFinished: false695}696697[State 33]698{699 main::scheduler::st:700 {701 done: Set(),702 errored: Set(),703 estimate: 5000,704 externalKills: 2,705 mode: Solo,706 solo: ["huge"],707 todo: Set("a", "b", "c", "fat"),708 workers:709 Map(710 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },711 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },712 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }713 )714 },715 main::scheduler::wasFinished: false716}717718[State 34]719{720 main::scheduler::st:721 {722 done: Set(),723 errored: Set(),724 estimate: 5000,725 externalKills: 2,726 mode: Solo,727 solo: ["huge"],728 todo: Set("a", "b", "c", "fat"),729 workers:730 Map(731 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },732 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },733 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }734 )735 },736 main::scheduler::wasFinished: false737}738739[State 35]740{741 main::scheduler::st:742 {743 done: Set(),744 errored: Set(),745 estimate: 5000,746 externalKills: 2,747 mode: Solo,748 solo: ["huge"],749 todo: Set("a", "b", "c", "fat"),750 workers:751 Map(752 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },753 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },754 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }755 )756 },757 main::scheduler::wasFinished: false758}759760[State 36]761{762 main::scheduler::st:763 {764 done: Set(),765 errored: Set(),766 estimate: 5000,767 externalKills: 2,768 mode: Solo,769 solo: ["huge"],770 todo: Set("a", "b", "c", "fat"),771 workers:772 Map(773 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },774 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },775 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }776 )777 },778 main::scheduler::wasFinished: false779}780781[State 37]782{783 main::scheduler::st:784 {785 done: Set(),786 errored: Set(),787 estimate: 5000,788 externalKills: 2,789 mode: Solo,790 solo: ["huge"],791 todo: Set("a", "b", "c", "fat"),792 workers:793 Map(794 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },795 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },796 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }797 )798 },799 main::scheduler::wasFinished: false800}801802[State 38]803{804 main::scheduler::st:805 {806 done: Set(),807 errored: Set(),808 estimate: 5000,809 externalKills: 2,810 mode: Solo,811 solo: ["huge"],812 todo: Set("a", "b", "c", "fat"),813 workers:814 Map(815 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },816 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },817 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }818 )819 },820 main::scheduler::wasFinished: false821}822823[State 39]824{825 main::scheduler::st:826 {827 done: Set(),828 errored: Set(),829 estimate: 5000,830 externalKills: 2,831 mode: Solo,832 solo: ["huge"],833 todo: Set("a", "b", "c", "fat"),834 workers:835 Map(836 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },837 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },838 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }839 )840 },841 main::scheduler::wasFinished: false842}843844[State 40]845{846 main::scheduler::st:847 {848 done: Set(),849 errored: Set(),850 estimate: 5000,851 externalKills: 2,852 mode: Solo,853 solo: ["huge"],854 todo: Set("a", "b", "c", "fat"),855 workers:856 Map(857 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },858 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },859 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }860 )861 },862 main::scheduler::wasFinished: false863}864865[State 41]866{867 main::scheduler::st:868 {869 done: Set(),870 errored: Set(),871 estimate: 5000,872 externalKills: 2,873 mode: Solo,874 solo: ["huge"],875 todo: Set("a", "b", "c", "fat"),876 workers:877 Map(878 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },879 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },880 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }881 )882 },883 main::scheduler::wasFinished: false884}885886[State 42]887{888 main::scheduler::st:889 {890 done: Set(),891 errored: Set(),892 estimate: 5000,893 externalKills: 2,894 mode: Solo,895 solo: [],896 todo: Set("a", "b", "c", "fat"),897 workers:898 Map(899 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },900 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },901 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }902 )903 },904 main::scheduler::wasFinished: false905}906907[State 43]908{909 main::scheduler::st:910 {911 done: Set(),912 errored: Set(),913 estimate: 5000,914 externalKills: 2,915 mode: Solo,916 solo: [],917 todo: Set("a", "b", "c", "fat"),918 workers:919 Map(920 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },921 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },922 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }923 )924 },925 main::scheduler::wasFinished: false926}927928[State 44]929{930 main::scheduler::st:931 {932 done: Set(),933 errored: Set(),934 estimate: 5000,935 externalKills: 2,936 mode: Solo,937 solo: [],938 todo: Set("a", "b", "c", "fat"),939 workers:940 Map(941 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },942 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },943 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }944 )945 },946 main::scheduler::wasFinished: false947}948949[State 45]950{951 main::scheduler::st:952 {953 done: Set(),954 errored: Set(),955 estimate: 5000,956 externalKills: 2,957 mode: Solo,958 solo: [],959 todo: Set("a", "b", "c", "fat"),960 workers:961 Map(962 0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },963 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },964 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }965 )966 },967 main::scheduler::wasFinished: false968}969970[State 46]971{972 main::scheduler::st:973 {974 done: Set(),975 errored: Set(),976 estimate: 5000,977 externalKills: 2,978 mode: Solo,979 solo: [],980 todo: Set("a", "b", "c", "fat"),981 workers:982 Map(983 0 ->984 { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },985 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },986 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }987 )988 },989 main::scheduler::wasFinished: false990}991992[State 47]993{994 main::scheduler::st:995 {996 done: Set("huge"),997 errored: Set(),998 estimate: 4900,999 externalKills: 2,1000 mode: Parallel,1001 solo: [],1002 todo: Set("a", "b", "c", "fat"),1003 workers:1004 Map(1005 0 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 },1006 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1007 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1008 )1009 },1010 main::scheduler::wasFinished: false1011}10121013[State 48]1014{1015 main::scheduler::st:1016 {1017 done: Set("huge"),1018 errored: Set(),1019 estimate: 4900,1020 externalKills: 2,1021 mode: Parallel,1022 solo: [],1023 todo: Set("a", "b", "c", "fat"),1024 workers:1025 Map(1026 0 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 },1027 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1028 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1029 )1030 },1031 main::scheduler::wasFinished: false1032}10331034[State 49]1035{1036 main::scheduler::st:1037 {1038 done: Set("huge"),1039 errored: Set(),1040 estimate: 4900,1041 externalKills: 2,1042 mode: Parallel,1043 solo: [],1044 todo: Set("a", "b", "c", "fat"),1045 workers:1046 Map(1047 0 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 },1048 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1049 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1050 )1051 },1052 main::scheduler::wasFinished: false1053}10541055[State 50]1056{1057 main::scheduler::st:1058 {1059 done: Set("huge"),1060 errored: Set(),1061 estimate: 4900,1062 externalKills: 2,1063 mode: Parallel,1064 solo: [],1065 todo: Set("a", "b", "c", "fat"),1066 workers:1067 Map(1068 0 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 },1069 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1070 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1071 )1072 },1073 main::scheduler::wasFinished: false1074}10751076[State 51]1077{1078 main::scheduler::st:1079 {1080 done: Set("huge"),1081 errored: Set(),1082 estimate: 4900,1083 externalKills: 2,1084 mode: Parallel,1085 solo: [],1086 todo: Set("a", "b", "c", "fat"),1087 workers:1088 Map(1089 0 -> { heap: 2800, job: "", phase: Starting, rss: 2800, startRss: 0 },1090 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1091 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1092 )1093 },1094 main::scheduler::wasFinished: false1095}10961097[State 52]1098{1099 main::scheduler::st:1100 {1101 done: Set("huge"),1102 errored: Set(),1103 estimate: 4900,1104 externalKills: 2,1105 mode: Parallel,1106 solo: [],1107 todo: Set("a", "b", "c", "fat"),1108 workers:1109 Map(1110 0 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 },1111 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1112 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1113 )1114 },1115 main::scheduler::wasFinished: false1116}11171118[State 53]1119{1120 main::scheduler::st:1121 {1122 done: Set("huge"),1123 errored: Set(),1124 estimate: 4900,1125 externalKills: 2,1126 mode: Parallel,1127 solo: [],1128 todo: Set("a", "b", "c", "fat"),1129 workers:1130 Map(1131 0 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 },1132 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1133 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1134 )1135 },1136 main::scheduler::wasFinished: false1137}11381139[State 54]1140{1141 main::scheduler::st:1142 {1143 done: Set("huge"),1144 errored: Set(),1145 estimate: 4900,1146 externalKills: 2,1147 mode: Parallel,1148 solo: [],1149 todo: Set("a", "b", "c", "fat"),1150 workers:1151 Map(1152 0 -> { heap: 2800, job: "", phase: Idle, rss: 2800, startRss: 0 },1153 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1154 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1155 )1156 },1157 main::scheduler::wasFinished: false1158}11591160[State 55]1161{1162 main::scheduler::st:1163 {1164 done: Set("huge"),1165 errored: Set(),1166 estimate: 4900,1167 externalKills: 2,1168 mode: Parallel,1169 solo: [],1170 todo: Set("b", "c", "fat"),1171 workers:1172 Map(1173 0 -> { heap: 2800, job: "a", phase: Busy, rss: 2800, startRss: 2800 },1174 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1175 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1176 )1177 },1178 main::scheduler::wasFinished: false1179}11801181[State 56]1182{1183 main::scheduler::st:1184 {1185 done: Set("huge"),1186 errored: Set(),1187 estimate: 4900,1188 externalKills: 2,1189 mode: Parallel,1190 solo: [],1191 todo: Set("b", "c", "fat"),1192 workers:1193 Map(1194 0 -> { heap: 2800, job: "a", phase: Busy, rss: 2900, startRss: 2800 },1195 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1196 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1197 )1198 },1199 main::scheduler::wasFinished: false1200}12011202[State 57]1203{1204 main::scheduler::st:1205 {1206 done: Set("huge"),1207 errored: Set(),1208 estimate: 4900,1209 externalKills: 2,1210 mode: Parallel,1211 solo: [],1212 todo: Set("b", "c", "fat"),1213 workers:1214 Map(1215 0 -> { heap: 2800, job: "a", phase: Busy, rss: 2900, startRss: 2800 },1216 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1217 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1218 )1219 },1220 main::scheduler::wasFinished: false1221}12221223[State 58]1224{1225 main::scheduler::st:1226 {1227 done: Set("a", "huge"),1228 errored: Set(),1229 estimate: 4802,1230 externalKills: 2,1231 mode: Parallel,1232 solo: [],1233 todo: Set("b", "c", "fat"),1234 workers:1235 Map(1236 0 -> { heap: 2850, job: "", phase: Starting, rss: 2850, startRss: 0 },1237 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1238 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1239 )1240 },1241 main::scheduler::wasFinished: false1242}12431244[State 59]1245{1246 main::scheduler::st:1247 {1248 done: Set("a", "huge"),1249 errored: Set(),1250 estimate: 4802,1251 externalKills: 2,1252 mode: Parallel,1253 solo: [],1254 todo: Set("b", "c", "fat"),1255 workers:1256 Map(1257 0 -> { heap: 2850, job: "", phase: Starting, rss: 2850, startRss: 0 },1258 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1259 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1260 )1261 },1262 main::scheduler::wasFinished: false1263}12641265[State 60]1266{1267 main::scheduler::st:1268 {1269 done: Set("a", "huge"),1270 errored: Set(),1271 estimate: 4802,1272 externalKills: 2,1273 mode: Parallel,1274 solo: [],1275 todo: Set("c", "fat"),1276 workers:1277 Map(1278 0 -> { heap: 2850, job: "", phase: Starting, rss: 2850, startRss: 0 },1279 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1280 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }1281 )1282 },1283 main::scheduler::wasFinished: false1284}12851286[State 61]1287{1288 main::scheduler::st:1289 {1290 done: Set("a", "huge"),1291 errored: Set(),1292 estimate: 4802,1293 externalKills: 2,1294 mode: Parallel,1295 solo: [],1296 todo: Set("c", "fat"),1297 workers:1298 Map(1299 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1300 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1301 2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }1302 )1303 },1304 main::scheduler::wasFinished: false1305}13061307[State 62]1308{1309 main::scheduler::st:1310 {1311 done: Set("a", "huge"),1312 errored: Set(),1313 estimate: 4802,1314 externalKills: 2,1315 mode: Parallel,1316 solo: [],1317 todo: Set("c", "fat"),1318 workers:1319 Map(1320 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1321 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1322 2 -> { heap: 300, job: "b", phase: Killed, rss: 300, startRss: 300 }1323 )1324 },1325 main::scheduler::wasFinished: false1326}13271328[State 63]1329{1330 main::scheduler::st:1331 {1332 done: Set("a", "huge"),1333 errored: Set(),1334 estimate: 4802,1335 externalKills: 2,1336 mode: Parallel,1337 solo: [],1338 todo: Set("c", "fat"),1339 workers:1340 Map(1341 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1342 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1343 2 -> { heap: 300, job: "b", phase: Killed, rss: 300, startRss: 300 }1344 )1345 },1346 main::scheduler::wasFinished: false1347}13481349[State 64]1350{1351 main::scheduler::st:1352 {1353 done: Set("a", "huge"),1354 errored: Set(),1355 estimate: 4802,1356 externalKills: 2,1357 mode: Parallel,1358 solo: [],1359 todo: Set("c", "fat"),1360 workers:1361 Map(1362 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1363 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1364 2 -> { heap: 300, job: "b", phase: Killed, rss: 300, startRss: 300 }1365 )1366 },1367 main::scheduler::wasFinished: false1368}13691370[State 65]1371{1372 main::scheduler::st:1373 {1374 done: Set("a", "huge"),1375 errored: Set(),1376 estimate: 4802,1377 externalKills: 2,1378 mode: Parallel,1379 solo: [],1380 todo: Set("c", "fat"),1381 workers:1382 Map(1383 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1384 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1385 2 -> { heap: 300, job: "b", phase: Killed, rss: 300, startRss: 300 }1386 )1387 },1388 main::scheduler::wasFinished: false1389}13901391[State 66]1392{1393 main::scheduler::st:1394 {1395 done: Set("a", "huge"),1396 errored: Set(),1397 estimate: 4802,1398 externalKills: 2,1399 mode: Parallel,1400 solo: ["b"],1401 todo: Set("c", "fat"),1402 workers:1403 Map(1404 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1405 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1406 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1407 )1408 },1409 main::scheduler::wasFinished: false1410}14111412[State 67]1413{1414 main::scheduler::st:1415 {1416 done: Set("a", "huge"),1417 errored: Set(),1418 estimate: 4802,1419 externalKills: 2,1420 mode: Parallel,1421 solo: ["b"],1422 todo: Set("c", "fat"),1423 workers:1424 Map(1425 0 -> { heap: 2850, job: "", phase: Idle, rss: 2850, startRss: 0 },1426 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1427 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1428 )1429 },1430 main::scheduler::wasFinished: false1431}14321433[State 68]1434{1435 main::scheduler::st:1436 {1437 done: Set("a", "huge"),1438 errored: Set(),1439 estimate: 4802,1440 externalKills: 2,1441 mode: Solo,1442 solo: ["b"],1443 todo: Set("c", "fat"),1444 workers:1445 Map(1446 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1447 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1448 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1449 )1450 },1451 main::scheduler::wasFinished: false1452}14531454[State 69]1455{1456 main::scheduler::st:1457 {1458 done: Set("a", "huge"),1459 errored: Set(),1460 estimate: 4802,1461 externalKills: 2,1462 mode: Solo,1463 solo: ["b"],1464 todo: Set("c", "fat"),1465 workers:1466 Map(1467 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1468 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1469 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1470 )1471 },1472 main::scheduler::wasFinished: false1473}14741475[State 70]1476{1477 main::scheduler::st:1478 {1479 done: Set("a", "huge"),1480 errored: Set(),1481 estimate: 4802,1482 externalKills: 2,1483 mode: Solo,1484 solo: ["b"],1485 todo: Set("c", "fat"),1486 workers:1487 Map(1488 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1489 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1490 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1491 )1492 },1493 main::scheduler::wasFinished: false1494}14951496[State 71]1497{1498 main::scheduler::st:1499 {1500 done: Set("a", "huge"),1501 errored: Set(),1502 estimate: 4802,1503 externalKills: 2,1504 mode: Solo,1505 solo: ["b"],1506 todo: Set("c", "fat"),1507 workers:1508 Map(1509 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1510 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1511 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1512 )1513 },1514 main::scheduler::wasFinished: false1515}15161517[State 72]1518{1519 main::scheduler::st:1520 {1521 done: Set("a", "huge"),1522 errored: Set(),1523 estimate: 4802,1524 externalKills: 2,1525 mode: Solo,1526 solo: ["b"],1527 todo: Set("c", "fat"),1528 workers:1529 Map(1530 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1531 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1532 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1533 )1534 },1535 main::scheduler::wasFinished: false1536}15371538[State 73]1539{1540 main::scheduler::st:1541 {1542 done: Set("a", "huge"),1543 errored: Set(),1544 estimate: 4802,1545 externalKills: 2,1546 mode: Solo,1547 solo: ["b"],1548 todo: Set("c", "fat"),1549 workers:1550 Map(1551 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1552 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1553 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1554 )1555 },1556 main::scheduler::wasFinished: false1557}15581559[State 74]1560{1561 main::scheduler::st:1562 {1563 done: Set("a", "huge"),1564 errored: Set(),1565 estimate: 4802,1566 externalKills: 2,1567 mode: Solo,1568 solo: ["b"],1569 todo: Set("c", "fat"),1570 workers:1571 Map(1572 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1573 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1574 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1575 )1576 },1577 main::scheduler::wasFinished: false1578}15791580[State 75]1581{1582 main::scheduler::st:1583 {1584 done: Set("a", "huge"),1585 errored: Set(),1586 estimate: 4802,1587 externalKills: 2,1588 mode: Solo,1589 solo: ["b"],1590 todo: Set("c", "fat"),1591 workers:1592 Map(1593 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1594 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1595 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1596 )1597 },1598 main::scheduler::wasFinished: false1599}16001601[State 76]1602{1603 main::scheduler::st:1604 {1605 done: Set("a", "huge"),1606 errored: Set(),1607 estimate: 4802,1608 externalKills: 2,1609 mode: Solo,1610 solo: ["b"],1611 todo: Set("c", "fat"),1612 workers:1613 Map(1614 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1615 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1616 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1617 )1618 },1619 main::scheduler::wasFinished: false1620}16211622[State 77]1623{1624 main::scheduler::st:1625 {1626 done: Set("a", "huge"),1627 errored: Set(),1628 estimate: 4802,1629 externalKills: 2,1630 mode: Solo,1631 solo: ["b"],1632 todo: Set("c", "fat"),1633 workers:1634 Map(1635 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1636 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1637 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1638 )1639 },1640 main::scheduler::wasFinished: false1641}16421643[State 78]1644{1645 main::scheduler::st:1646 {1647 done: Set("a", "huge"),1648 errored: Set(),1649 estimate: 4802,1650 externalKills: 2,1651 mode: Solo,1652 solo: ["b"],1653 todo: Set("c", "fat"),1654 workers:1655 Map(1656 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1657 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1658 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1659 )1660 },1661 main::scheduler::wasFinished: false1662}16631664[State 79]1665{1666 main::scheduler::st:1667 {1668 done: Set("a", "huge"),1669 errored: Set(),1670 estimate: 4802,1671 externalKills: 2,1672 mode: Solo,1673 solo: ["b"],1674 todo: Set("c", "fat"),1675 workers:1676 Map(1677 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1678 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1679 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1680 )1681 },1682 main::scheduler::wasFinished: false1683}16841685[State 80]1686{1687 main::scheduler::st:1688 {1689 done: Set("a", "huge"),1690 errored: Set(),1691 estimate: 4802,1692 externalKills: 2,1693 mode: Solo,1694 solo: ["b"],1695 todo: Set("c", "fat"),1696 workers:1697 Map(1698 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1699 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1700 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1701 )1702 },1703 main::scheduler::wasFinished: false1704}17051706[State 81]1707{1708 main::scheduler::st:1709 {1710 done: Set("a", "huge"),1711 errored: Set(),1712 estimate: 4802,1713 externalKills: 2,1714 mode: Solo,1715 solo: ["b"],1716 todo: Set("c", "fat"),1717 workers:1718 Map(1719 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1720 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1721 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1722 )1723 },1724 main::scheduler::wasFinished: false1725}17261727[State 82]1728{1729 main::scheduler::st:1730 {1731 done: Set("a", "huge"),1732 errored: Set(),1733 estimate: 4802,1734 externalKills: 2,1735 mode: Solo,1736 solo: ["b"],1737 todo: Set("c", "fat"),1738 workers:1739 Map(1740 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1741 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1742 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1743 )1744 },1745 main::scheduler::wasFinished: false1746}17471748[State 83]1749{1750 main::scheduler::st:1751 {1752 done: Set("a", "huge"),1753 errored: Set(),1754 estimate: 4802,1755 externalKills: 2,1756 mode: Solo,1757 solo: ["b"],1758 todo: Set("c", "fat"),1759 workers:1760 Map(1761 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1762 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1763 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1764 )1765 },1766 main::scheduler::wasFinished: false1767}17681769[State 84]1770{1771 main::scheduler::st:1772 {1773 done: Set("a", "huge"),1774 errored: Set(),1775 estimate: 4802,1776 externalKills: 2,1777 mode: Solo,1778 solo: ["b"],1779 todo: Set("c", "fat"),1780 workers:1781 Map(1782 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1783 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1784 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1785 )1786 },1787 main::scheduler::wasFinished: false1788}17891790[State 85]1791{1792 main::scheduler::st:1793 {1794 done: Set("a", "huge"),1795 errored: Set(),1796 estimate: 4802,1797 externalKills: 2,1798 mode: Solo,1799 solo: ["b"],1800 todo: Set("c", "fat"),1801 workers:1802 Map(1803 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1804 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1805 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1806 )1807 },1808 main::scheduler::wasFinished: false1809}18101811[State 86]1812{1813 main::scheduler::st:1814 {1815 done: Set("a", "huge"),1816 errored: Set(),1817 estimate: 4802,1818 externalKills: 2,1819 mode: Solo,1820 solo: [],1821 todo: Set("c", "fat"),1822 workers:1823 Map(1824 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1825 1 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },1826 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1827 )1828 },1829 main::scheduler::wasFinished: false1830}18311832[State 87]1833{1834 main::scheduler::st:1835 {1836 done: Set("a", "huge"),1837 errored: Set(),1838 estimate: 4802,1839 externalKills: 2,1840 mode: Solo,1841 solo: [],1842 todo: Set("c", "fat"),1843 workers:1844 Map(1845 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1846 1 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 },1847 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1848 )1849 },1850 main::scheduler::wasFinished: false1851}18521853[State 88]1854{1855 main::scheduler::st:1856 {1857 done: Set("a", "huge"),1858 errored: Set(),1859 estimate: 4802,1860 externalKills: 2,1861 mode: Solo,1862 solo: [],1863 todo: Set("c", "fat"),1864 workers:1865 Map(1866 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1867 1 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1868 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1869 )1870 },1871 main::scheduler::wasFinished: false1872}18731874[State 89]1875{1876 main::scheduler::st:1877 {1878 done: Set("a", "huge"),1879 errored: Set(),1880 estimate: 4802,1881 externalKills: 2,1882 mode: Solo,1883 solo: [],1884 todo: Set("c", "fat"),1885 workers:1886 Map(1887 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1888 1 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 },1889 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1890 )1891 },1892 main::scheduler::wasFinished: false1893}18941895[State 90]1896{1897 main::scheduler::st:1898 {1899 done: Set("a", "b", "huge"),1900 errored: Set(),1901 estimate: 4705,1902 externalKills: 2,1903 mode: Parallel,1904 solo: [],1905 todo: Set("c", "fat"),1906 workers:1907 Map(1908 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1909 1 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1910 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1911 )1912 },1913 main::scheduler::wasFinished: false1914}19151916[State 91]1917{1918 main::scheduler::st:1919 {1920 done: Set("a", "b", "huge"),1921 errored: Set(),1922 estimate: 4705,1923 externalKills: 2,1924 mode: Parallel,1925 solo: [],1926 todo: Set("c", "fat"),1927 workers:1928 Map(1929 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1930 1 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 },1931 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1932 )1933 },1934 main::scheduler::wasFinished: false1935}19361937[State 92]1938{1939 main::scheduler::st:1940 {1941 done: Set("a", "b", "huge"),1942 errored: Set(),1943 estimate: 4705,1944 externalKills: 2,1945 mode: Parallel,1946 solo: [],1947 todo: Set("c", "fat"),1948 workers:1949 Map(1950 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1951 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },1952 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1953 )1954 },1955 main::scheduler::wasFinished: false1956}19571958[State 93]1959{1960 main::scheduler::st:1961 {1962 done: Set("a", "b", "huge"),1963 errored: Set(),1964 estimate: 4705,1965 externalKills: 2,1966 mode: Parallel,1967 solo: [],1968 todo: Set("c", "fat"),1969 workers:1970 Map(1971 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1972 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },1973 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1974 )1975 },1976 main::scheduler::wasFinished: false1977}19781979[State 94]1980{1981 main::scheduler::st:1982 {1983 done: Set("a", "b", "huge"),1984 errored: Set(),1985 estimate: 4705,1986 externalKills: 2,1987 mode: Parallel,1988 solo: [],1989 todo: Set("c", "fat"),1990 workers:1991 Map(1992 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1993 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },1994 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1995 )1996 },1997 main::scheduler::wasFinished: false1998}19992000[State 95]2001{2002 main::scheduler::st:2003 {2004 done: Set("a", "b", "huge"),2005 errored: Set(),2006 estimate: 4705,2007 externalKills: 2,2008 mode: Parallel,2009 solo: [],2010 todo: Set("c", "fat"),2011 workers:2012 Map(2013 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2014 1 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 },2015 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2016 )2017 },2018 main::scheduler::wasFinished: false2019}20202021[State 96]2022{2023 main::scheduler::st:2024 {2025 done: Set("a", "b", "huge"),2026 errored: Set(),2027 estimate: 4705,2028 externalKills: 2,2029 mode: Parallel,2030 solo: [],2031 todo: Set("fat"),2032 workers:2033 Map(2034 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2035 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2036 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2037 )2038 },2039 main::scheduler::wasFinished: false2040}20412042[State 97]2043{2044 main::scheduler::st:2045 {2046 done: Set("a", "b", "huge"),2047 errored: Set(),2048 estimate: 4705,2049 externalKills: 2,2050 mode: Parallel,2051 solo: [],2052 todo: Set("fat"),2053 workers:2054 Map(2055 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2056 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2057 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2058 )2059 },2060 main::scheduler::wasFinished: false2061}20622063[State 98]2064{2065 main::scheduler::st:2066 {2067 done: Set("a", "b", "huge"),2068 errored: Set(),2069 estimate: 4705,2070 externalKills: 2,2071 mode: Parallel,2072 solo: [],2073 todo: Set("fat"),2074 workers:2075 Map(2076 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2077 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2078 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2079 )2080 },2081 main::scheduler::wasFinished: false2082}20832084[State 99]2085{2086 main::scheduler::st:2087 {2088 done: Set("a", "b", "huge"),2089 errored: Set(),2090 estimate: 4705,2091 externalKills: 2,2092 mode: Parallel,2093 solo: [],2094 todo: Set("fat"),2095 workers:2096 Map(2097 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2098 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2099 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2100 )2101 },2102 main::scheduler::wasFinished: false2103}21042105[State 100]2106{2107 main::scheduler::st:2108 {2109 done: Set("a", "b", "huge"),2110 errored: Set(),2111 estimate: 4705,2112 externalKills: 2,2113 mode: Parallel,2114 solo: [],2115 todo: Set("fat"),2116 workers:2117 Map(2118 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2119 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2120 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2121 )2122 },2123 main::scheduler::wasFinished: false2124}21252126[State 101]2127{2128 main::scheduler::st:2129 {2130 done: Set("a", "b", "huge"),2131 errored: Set(),2132 estimate: 4705,2133 externalKills: 2,2134 mode: Parallel,2135 solo: [],2136 todo: Set("fat"),2137 workers:2138 Map(2139 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2140 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2141 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2142 )2143 },2144 main::scheduler::wasFinished: false2145}21462147[State 102]2148{2149 main::scheduler::st:2150 {2151 done: Set("a", "b", "huge"),2152 errored: Set(),2153 estimate: 4705,2154 externalKills: 2,2155 mode: Parallel,2156 solo: [],2157 todo: Set("fat"),2158 workers:2159 Map(2160 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2161 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2162 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2163 )2164 },2165 main::scheduler::wasFinished: false2166}21672168[State 103]2169{2170 main::scheduler::st:2171 {2172 done: Set("a", "b", "huge"),2173 errored: Set(),2174 estimate: 4705,2175 externalKills: 2,2176 mode: Parallel,2177 solo: [],2178 todo: Set("fat"),2179 workers:2180 Map(2181 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2182 1 -> { heap: 500, job: "c", phase: Busy, rss: 500, startRss: 500 },2183 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2184 )2185 },2186 main::scheduler::wasFinished: false2187}21882189[State 104]2190{2191 main::scheduler::st:2192 {2193 done: Set("a", "b", "huge"),2194 errored: Set(),2195 estimate: 4705,2196 externalKills: 2,2197 mode: Parallel,2198 solo: [],2199 todo: Set("fat"),2200 workers:2201 Map(2202 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2203 1 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2204 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2205 )2206 },2207 main::scheduler::wasFinished: false2208}22092210[State 105]2211{2212 main::scheduler::st:2213 {2214 done: Set("a", "b", "huge"),2215 errored: Set(),2216 estimate: 4705,2217 externalKills: 2,2218 mode: Parallel,2219 solo: [],2220 todo: Set("fat"),2221 workers:2222 Map(2223 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2224 1 -> { heap: 500, job: "c", phase: Busy, rss: 1300, startRss: 500 },2225 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2226 )2227 },2228 main::scheduler::wasFinished: false2229}22302231[State 106]2232{2233 main::scheduler::st:2234 {2235 done: Set("a", "b", "c", "huge"),2236 errored: Set(),2237 estimate: 4610,2238 externalKills: 2,2239 mode: Parallel,2240 solo: [],2241 todo: Set("fat"),2242 workers:2243 Map(2244 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2245 1 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2246 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2247 )2248 },2249 main::scheduler::wasFinished: false2250}22512252[State 107]2253{2254 main::scheduler::st:2255 {2256 done: Set("a", "b", "c", "huge"),2257 errored: Set(),2258 estimate: 4610,2259 externalKills: 2,2260 mode: Parallel,2261 solo: [],2262 todo: Set(),2263 workers:2264 Map(2265 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2266 1 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2267 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2268 )2269 },2270 main::scheduler::wasFinished: false2271}22722273[State 108]2274{2275 main::scheduler::st:2276 {2277 done: Set("a", "b", "c", "huge"),2278 errored: Set(),2279 estimate: 4610,2280 externalKills: 2,2281 mode: Parallel,2282 solo: [],2283 todo: Set(),2284 workers:2285 Map(2286 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2287 1 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2288 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2289 )2290 },2291 main::scheduler::wasFinished: false2292}22932294[State 109]2295{2296 main::scheduler::st:2297 {2298 done: Set("a", "b", "c", "huge"),2299 errored: Set(),2300 estimate: 4610,2301 externalKills: 2,2302 mode: Parallel,2303 solo: [],2304 todo: Set(),2305 workers:2306 Map(2307 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2308 1 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2309 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2310 )2311 },2312 main::scheduler::wasFinished: false2313}23142315[State 110]2316{2317 main::scheduler::st:2318 {2319 done: Set("a", "b", "c", "huge"),2320 errored: Set(),2321 estimate: 4610,2322 externalKills: 2,2323 mode: Parallel,2324 solo: [],2325 todo: Set(),2326 workers:2327 Map(2328 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2329 1 -> { heap: 900, job: "", phase: Starting, rss: 900, startRss: 0 },2330 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2331 )2332 },2333 main::scheduler::wasFinished: false2334}23352336[State 111]2337{2338 main::scheduler::st:2339 {2340 done: Set("a", "b", "c", "huge"),2341 errored: Set(),2342 estimate: 4610,2343 externalKills: 2,2344 mode: Parallel,2345 solo: [],2346 todo: Set(),2347 workers:2348 Map(2349 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2350 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2351 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2352 )2353 },2354 main::scheduler::wasFinished: false2355}23562357[State 112]2358{2359 main::scheduler::st:2360 {2361 done: Set("a", "b", "c", "huge"),2362 errored: Set(),2363 estimate: 4610,2364 externalKills: 2,2365 mode: Parallel,2366 solo: [],2367 todo: Set(),2368 workers:2369 Map(2370 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2371 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2372 2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }2373 )2374 },2375 main::scheduler::wasFinished: false2376}23772378[State 113]2379{2380 main::scheduler::st:2381 {2382 done: Set("a", "b", "c", "huge"),2383 errored: Set(),2384 estimate: 4610,2385 externalKills: 2,2386 mode: Parallel,2387 solo: [],2388 todo: Set(),2389 workers:2390 Map(2391 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2392 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2393 2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }2394 )2395 },2396 main::scheduler::wasFinished: false2397}23982399[State 114]2400{2401 main::scheduler::st:2402 {2403 done: Set("a", "b", "c", "huge"),2404 errored: Set(),2405 estimate: 4610,2406 externalKills: 2,2407 mode: Parallel,2408 solo: [],2409 todo: Set(),2410 workers:2411 Map(2412 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2413 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2414 2 ->2415 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2416 )2417 },2418 main::scheduler::wasFinished: false2419}24202421[State 115]2422{2423 main::scheduler::st:2424 {2425 done: Set("a", "b", "c", "huge"),2426 errored: Set(),2427 estimate: 4610,2428 externalKills: 2,2429 mode: Parallel,2430 solo: [],2431 todo: Set(),2432 workers:2433 Map(2434 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2435 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2436 2 ->2437 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2438 )2439 },2440 main::scheduler::wasFinished: false2441}24422443[State 116]2444{2445 main::scheduler::st:2446 {2447 done: Set("a", "b", "c", "huge"),2448 errored: Set(),2449 estimate: 4610,2450 externalKills: 2,2451 mode: Parallel,2452 solo: [],2453 todo: Set(),2454 workers:2455 Map(2456 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2457 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2458 2 ->2459 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2460 )2461 },2462 main::scheduler::wasFinished: false2463}24642465[State 117]2466{2467 main::scheduler::st:2468 {2469 done: Set("a", "b", "c", "huge"),2470 errored: Set(),2471 estimate: 4610,2472 externalKills: 2,2473 mode: Parallel,2474 solo: [],2475 todo: Set(),2476 workers:2477 Map(2478 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2479 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2480 2 ->2481 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2482 )2483 },2484 main::scheduler::wasFinished: false2485}24862487[State 118]2488{2489 main::scheduler::st:2490 {2491 done: Set("a", "b", "c", "huge"),2492 errored: Set(),2493 estimate: 4610,2494 externalKills: 2,2495 mode: Parallel,2496 solo: [],2497 todo: Set(),2498 workers:2499 Map(2500 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2501 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2502 2 ->2503 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2504 )2505 },2506 main::scheduler::wasFinished: false2507}25082509[State 119]2510{2511 main::scheduler::st:2512 {2513 done: Set("a", "b", "c", "huge"),2514 errored: Set(),2515 estimate: 4610,2516 externalKills: 2,2517 mode: Parallel,2518 solo: [],2519 todo: Set(),2520 workers:2521 Map(2522 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2523 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2524 2 ->2525 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2526 )2527 },2528 main::scheduler::wasFinished: false2529}25302531[State 120]2532{2533 main::scheduler::st:2534 {2535 done: Set("a", "b", "c", "huge"),2536 errored: Set(),2537 estimate: 4610,2538 externalKills: 2,2539 mode: Parallel,2540 solo: [],2541 todo: Set(),2542 workers:2543 Map(2544 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2545 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2546 2 ->2547 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2548 )2549 },2550 main::scheduler::wasFinished: false2551}25522553[State 121]2554{2555 main::scheduler::st:2556 {2557 done: Set("a", "b", "c", "huge"),2558 errored: Set(),2559 estimate: 4610,2560 externalKills: 2,2561 mode: Parallel,2562 solo: [],2563 todo: Set(),2564 workers:2565 Map(2566 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2567 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2568 2 ->2569 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2570 )2571 },2572 main::scheduler::wasFinished: false2573}25742575[State 122]2576{2577 main::scheduler::st:2578 {2579 done: Set("a", "b", "c", "huge"),2580 errored: Set(),2581 estimate: 4610,2582 externalKills: 2,2583 mode: Parallel,2584 solo: [],2585 todo: Set(),2586 workers:2587 Map(2588 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2589 1 -> { heap: 900, job: "", phase: Idle, rss: 900, startRss: 0 },2590 2 ->2591 { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }2592 )2593 },2594 main::scheduler::wasFinished: false2595}25962597[State 123]2598{2599 main::scheduler::st:2600 {2601 done: Set("a", "b", "c", "huge"),2602 errored: Set(),2603 estimate: 4610,2604 externalKills: 2,2605 mode: Parallel,2606 solo: ["fat"],2607 todo: Set(),2608 workers:2609 Map(2610 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2611 1 -> { heap: 900, job: "", phase: Idle, rss: 900, 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", "huge"),2623 errored: Set(),2624 estimate: 4610,2625 externalKills: 2,2626 mode: Solo,2627 solo: ["fat"],2628 todo: Set(),2629 workers:2630 Map(2631 0 -> { heap: 0, job: "", phase: PNone, rss: 0, 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", "huge"),2644 errored: Set(),2645 estimate: 4610,2646 externalKills: 2,2647 mode: Solo,2648 solo: ["fat"],2649 todo: Set(),2650 workers:2651 Map(2652 0 -> { heap: 300, job: "", phase: Starting, 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", "huge"),2665 errored: Set(),2666 estimate: 4610,2667 externalKills: 2,2668 mode: Solo,2669 solo: ["fat"],2670 todo: Set(),2671 workers:2672 Map(2673 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },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", "huge"),2686 errored: Set(),2687 estimate: 4610,2688 externalKills: 2,2689 mode: Solo,2690 solo: ["fat"],2691 todo: Set(),2692 workers:2693 Map(2694 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },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", "huge"),2707 errored: Set(),2708 estimate: 4610,2709 externalKills: 2,2710 mode: Solo,2711 solo: ["fat"],2712 todo: Set(),2713 workers:2714 Map(2715 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },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", "huge"),2728 errored: Set(),2729 estimate: 4610,2730 externalKills: 2,2731 mode: Solo,2732 solo: ["fat"],2733 todo: Set(),2734 workers:2735 Map(2736 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },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", "huge"),2749 errored: Set(),2750 estimate: 4610,2751 externalKills: 2,2752 mode: Solo,2753 solo: ["fat"],2754 todo: Set(),2755 workers:2756 Map(2757 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },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", "huge"),2770 errored: Set(),2771 estimate: 4610,2772 externalKills: 2,2773 mode: Solo,2774 solo: ["fat"],2775 todo: Set(),2776 workers:2777 Map(2778 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },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", "huge"),2791 errored: Set(),2792 estimate: 4610,2793 externalKills: 2,2794 mode: Solo,2795 solo: ["fat"],2796 todo: Set(),2797 workers:2798 Map(2799 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },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", "huge"),2812 errored: Set(),2813 estimate: 4610,2814 externalKills: 2,2815 mode: Solo,2816 solo: ["fat"],2817 todo: Set(),2818 workers:2819 Map(2820 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },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", "huge"),2833 errored: Set(),2834 estimate: 4610,2835 externalKills: 2,2836 mode: Solo,2837 solo: ["fat"],2838 todo: Set(),2839 workers:2840 Map(2841 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },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", "huge"),2854 errored: Set(),2855 estimate: 4610,2856 externalKills: 2,2857 mode: Solo,2858 solo: ["fat"],2859 todo: Set(),2860 workers:2861 Map(2862 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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", "huge"),2875 errored: Set(),2876 estimate: 4610,2877 externalKills: 2,2878 mode: Solo,2879 solo: ["fat"],2880 todo: Set(),2881 workers:2882 Map(2883 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: false2889}28902891[State 137]2892{2893 main::scheduler::st:2894 {2895 done: Set("a", "b", "c", "huge"),2896 errored: Set(),2897 estimate: 4610,2898 externalKills: 2,2899 mode: Solo,2900 solo: ["fat"],2901 todo: Set(),2902 workers:2903 Map(2904 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: false2910}29112912[State 138]2913{2914 main::scheduler::st:2915 {2916 done: Set("a", "b", "c", "huge"),2917 errored: Set(),2918 estimate: 4610,2919 externalKills: 2,2920 mode: Solo,2921 solo: ["fat"],2922 todo: Set(),2923 workers:2924 Map(2925 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: false2931}29322933[State 139]2934{2935 main::scheduler::st:2936 {2937 done: Set("a", "b", "c", "huge"),2938 errored: Set(),2939 estimate: 4610,2940 externalKills: 2,2941 mode: Solo,2942 solo: ["fat"],2943 todo: Set(),2944 workers:2945 Map(2946 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: false2952}29532954[State 140]2955{2956 main::scheduler::st:2957 {2958 done: Set("a", "b", "c", "huge"),2959 errored: Set(),2960 estimate: 4610,2961 externalKills: 2,2962 mode: Solo,2963 solo: ["fat"],2964 todo: Set(),2965 workers:2966 Map(2967 0 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: false2973}29742975[State 141]2976{2977 main::scheduler::st:2978 {2979 done: Set("a", "b", "c", "huge"),2980 errored: Set(),2981 estimate: 4610,2982 externalKills: 2,2983 mode: Solo,2984 solo: [],2985 todo: Set(),2986 workers:2987 Map(2988 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },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: false2994}29952996[State 142]2997{2998 main::scheduler::st:2999 {3000 done: Set("a", "b", "c", "huge"),3001 errored: Set(),3002 estimate: 4610,3003 externalKills: 2,3004 mode: Solo,3005 solo: [],3006 todo: Set(),3007 workers:3008 Map(3009 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3015}30163017[State 143]3018{3019 main::scheduler::st:3020 {3021 done: Set("a", "b", "c", "huge"),3022 errored: Set(),3023 estimate: 4610,3024 externalKills: 2,3025 mode: Solo,3026 solo: [],3027 todo: Set(),3028 workers:3029 Map(3030 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3036}30373038[State 144]3039{3040 main::scheduler::st:3041 {3042 done: Set("a", "b", "c", "huge"),3043 errored: Set(),3044 estimate: 4610,3045 externalKills: 2,3046 mode: Solo,3047 solo: [],3048 todo: Set(),3049 workers:3050 Map(3051 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3057}30583059[State 145]3060{3061 main::scheduler::st:3062 {3063 done: Set("a", "b", "c", "huge"),3064 errored: Set(),3065 estimate: 4610,3066 externalKills: 2,3067 mode: Solo,3068 solo: [],3069 todo: Set(),3070 workers:3071 Map(3072 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3078}30793080[State 146]3081{3082 main::scheduler::st:3083 {3084 done: Set("a", "b", "c", "huge"),3085 errored: Set(),3086 estimate: 4610,3087 externalKills: 2,3088 mode: Solo,3089 solo: [],3090 todo: Set(),3091 workers:3092 Map(3093 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3099}31003101[State 147]3102{3103 main::scheduler::st:3104 {3105 done: Set("a", "b", "c", "huge"),3106 errored: Set(),3107 estimate: 4610,3108 externalKills: 2,3109 mode: Solo,3110 solo: [],3111 todo: Set(),3112 workers:3113 Map(3114 0 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },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: false3120}31213122[State 148]3123{3124 main::scheduler::st:3125 {3126 done: Set("a", "b", "c", "fat", "huge"),3127 errored: Set(),3128 estimate: 4517,3129 externalKills: 2,3130 mode: Parallel,3131 solo: [],3132 todo: Set(),3133 workers:3134 Map(3135 0 -> { heap: 1300, job: "", phase: Starting, 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: false3141}31423143[State 149]3144{3145 main::scheduler::st:3146 {3147 done: Set("a", "b", "c", "fat", "huge"),3148 errored: Set(),3149 estimate: 4517,3150 externalKills: 2,3151 mode: Parallel,3152 solo: [],3153 todo: Set(),3154 workers:3155 Map(3156 0 -> { heap: 1300, job: "", phase: Starting, 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", "huge"),3169 errored: Set(),3170 estimate: 4517,3171 externalKills: 2,3172 mode: Parallel,3173 solo: [],3174 todo: Set(),3175 workers:3176 Map(3177 0 -> { heap: 1300, job: "", phase: Starting, 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 (2873ms at 696 traces/second).3186Trace length statistics: max=151, min=51, average=114.923187You may increase --max-samples and --max-steps.3188Use --verbosity to produce more (or less) output.3189Use --seed=0xc29be0c1d5ba6599 --backend=rust to reproduce.31903191 noOomKiller3192 noOomKiller::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::terminatesTest [■ ] 1% | ETA: 6s | 3/200 samples | 39 samples/s noOomKiller::scheduler::terminatesTest [■ ] 3% | ETA: 6s | 6/200 samples | 34 samples/s noOomKiller::scheduler::terminatesTest [■■ ] 5% | ETA: 7s | 10/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■ ] 6% | ETA: 6s | 13/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■ ] 8% | ETA: 6s | 16/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■■ ] 10% | ETA: 6s | 20/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■■■ ] 11% | ETA: 6s | 23/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■■■ ] 13% | ETA: 6s | 26/200 samples | 33 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■ ] 15% | ETA: 5s | 30/200 samples | 34 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■ ] 17% | ETA: 5s | 34/200 samples | 34 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■ ] 19% | ETA: 5s | 38/200 samples | 35 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■ ] 21% | ETA: 4s | 42/200 samples | 35 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■ ] 23% | ETA: 5s | 46/200 samples | 35 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■ ] 24% | ETA: 5s | 49/200 samples | 35 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■ ] 26% | ETA: 4s | 53/200 samples | 35 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■ ] 28% | ETA: 4s | 57/200 samples | 36 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■ ] 30% | ETA: 4s | 61/200 samples | 36 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 66/200 samples | 36 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■ ] 35% | ETA: 4s | 70/200 samples | 36 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■ ] 37% | ETA: 4s | 74/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■ ] 39% | ETA: 4s | 78/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■ ] 41% | ETA: 4s | 82/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■ ] 43% | ETA: 3s | 86/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 89/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 93/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 97/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 3s | 101/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 105/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 3s | 109/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 3s | 113/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 3s | 116/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 3s | 120/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 124/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 2s | 128/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 132/200 samples | 37 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 137/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 141/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 2s | 145/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 2s | 149/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 153/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 157/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 1s | 161/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 165/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 1s | 169/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 173/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 177/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 181/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 185/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 188/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 192/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 197/200 samples | 38 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 38 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■ ] 2% | ETA: 5s | 4/200 samples | 43 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■ ] 4% | ETA: 5s | 8/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■ ] 6% | ETA: 5s | 12/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■ ] 8% | ETA: 5s | 16/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■ ] 10% | ETA: 4s | 21/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■ ] 12% | ETA: 4s | 25/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■ ] 14% | ETA: 5s | 28/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■ ] 16% | ETA: 5s | 32/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■ ] 18% | ETA: 5s | 36/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■ ] 20% | ETA: 5s | 40/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■ ] 22% | ETA: 5s | 44/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■ ] 24% | ETA: 4s | 48/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■ ] 26% | ETA: 4s | 52/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■ ] 28% | ETA: 4s | 56/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■ ] 30% | ETA: 4s | 60/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■ ] 32% | ETA: 4s | 64/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■ ] 34% | ETA: 4s | 68/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■ ] 36% | ETA: 4s | 72/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 77/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■ ] 40% | ETA: 3s | 81/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 85/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 89/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 93/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 97/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 3s | 101/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 106/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 3s | 110/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 2s | 114/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 2s | 118/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 61% | ETA: 3s | 122/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 63% | ETA: 3s | 126/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 65% | ETA: 2s | 130/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 2s | 134/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 138/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 2s | 142/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 146/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 2s | 151/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 77% | ETA: 2s | 154/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 2s | 158/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 163/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 167/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 171/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 175/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 179/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 183/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 187/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 192/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 196/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 40 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 40 samples/s ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3193 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31943195 2 passing (10300ms)31963197 main3198 main::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s main::scheduler::terminatesTest [■ ] 2% | ETA: 4s | 5/200 samples | 53 samples/s main::scheduler::terminatesTest [■■ ] 4% | ETA: 4s | 9/200 samples | 48 samples/s main::scheduler::terminatesTest [■■■ ] 6% | ETA: 5s | 13/200 samples | 46 samples/s main::scheduler::terminatesTest [■■■ ] 8% | ETA: 5s | 17/200 samples | 44 samples/s main::scheduler::terminatesTest [■■■■ ] 11% | ETA: 5s | 22/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■ ] 13% | ETA: 5s | 26/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■ ] 15% | ETA: 4s | 30/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■ ] 17% | ETA: 4s | 35/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■ ] 19% | ETA: 4s | 39/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■ ] 21% | ETA: 4s | 43/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■ ] 23% | ETA: 4s | 46/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■ ] 25% | ETA: 4s | 51/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■ ] 27% | ETA: 4s | 55/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■ ] 29% | ETA: 4s | 59/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■ ] 31% | ETA: 4s | 63/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 67/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■ ] 35% | ETA: 4s | 71/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 76/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■ ] 40% | ETA: 3s | 80/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 85/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 89/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 93/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■ ] 49% | ETA: 3s | 98/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■ ] 51% | ETA: 3s | 102/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 107/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 3s | 111/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 3s | 115/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 2s | 120/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 124/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 2s | 128/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 132/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 137/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 140/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 2s | 145/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 2s | 148/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 152/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 2s | 156/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 2s | 160/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 2s | 163/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 167/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 171/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 176/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 90% | ETA: 1s | 180/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 92% | ETA: 1s | 184/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 94% | ETA: 1s | 188/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 192/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 199/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 41 samples/s ok main::scheduler::terminatesTest passed 200 test(s)31993200 1 passing (4925ms)

succeeded nix-eval-jobs-scheduler-spec checks.aarch64-darwin.scheduler-spec · build #104 · raw

succeeded `nix-eval-jobs-scheduler-spec` `checks.aarch64-darwin.scheduler-spec` · build #104 · raw