nix-eval-jobs-scheduler-spec
checks.aarch64-darwin.scheduler-spec
· build #75
· 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... [■■■■■■■ ] 17% | ETA: 2s | 344/2000 samples | 1323 samples/sRunning... [■■■■■■■ ] 17% | ETA: 2s | 344/2000 samples | 1323 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 1s | 676/2000 samples | 1344 samples/sRunning... [■■■■■■■■■■■■■■ ] 33% | ETA: 1s | 676/2000 samples | 1344 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 1s | 910/2000 samples | 1348 samples/sRunning... [■■■■■■■■■■■■■■■■■■ ] 45% | ETA: 1s | 910/2000 samples | 1348 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 1s | 1115/2000 samples | 1355 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 1s | 1341/2000 samples | 1352 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 67% | ETA: 1s | 1341/2000 samples | 1352 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 1s | 1571/2000 samples | 1353 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 1752/2000 samples | 1348 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 1930/2000 samples | 1354 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 1930/2000 samples | 1354 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: 0, job: "", phase: PNone, rss: 0, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },81 2 -> { heap: 300, job: "", phase: Starting, rss: 300, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },102 2 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: 0, job: "", phase: PNone, rss: 0, startRss: 0 },123 2 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: Idle, rss: 300, startRss: 0 },143 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },144 2 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: 0,158 mode: Parallel,159 solo: [],160 todo: Set("a", "b", "c", "huge"),161 workers:162 Map(163 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },164 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },165 2 -> { heap: 300, job: "", phase: Idle, rss: 300, 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: 0,179 mode: Parallel,180 solo: [],181 todo: Set("a", "b", "c", "huge"),182 workers:183 Map(184 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },185 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },186 2 -> { heap: 300, job: "", phase: Idle, 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: 0,200 mode: Parallel,201 solo: [],202 todo: Set("a", "b", "c", "huge"),203 workers:204 Map(205 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },206 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },207 2 -> { heap: 300, job: "", phase: Idle, 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: 0,221 mode: Parallel,222 solo: [],223 todo: Set("b", "c", "huge"),224 workers:225 Map(226 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },227 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },228 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }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: 0,242 mode: Parallel,243 solo: [],244 todo: Set("b", "c", "huge"),245 workers:246 Map(247 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },248 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },249 2 -> { heap: 300, job: "a", 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: 0,263 mode: Parallel,264 solo: [],265 todo: Set("b", "c", "huge"),266 workers:267 Map(268 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },269 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },270 2 -> { heap: 300, job: "a", 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: 0,284 mode: Parallel,285 solo: [],286 todo: Set("b", "c", "huge"),287 workers:288 Map(289 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },290 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },291 2 -> { heap: 300, job: "a", 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: 0,305 mode: Parallel,306 solo: [],307 todo: Set("b", "c", "huge"),308 workers:309 Map(310 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },311 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },312 2 -> { heap: 300, job: "a", phase: Busy, rss: 300, 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: 0,326 mode: Parallel,327 solo: [],328 todo: Set("b", "c", "huge"),329 workers:330 Map(331 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },332 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },333 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, 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: 512,346 externalKills: 0,347 mode: Parallel,348 solo: [],349 todo: Set("b", "c", "huge"),350 workers:351 Map(352 0 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },353 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },354 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }355 )356 },357 main::scheduler::wasFinished: false358}359360[State 17]361{362 main::scheduler::st:363 {364 done: Set(),365 errored: Set(),366 estimate: 512,367 externalKills: 1,368 mode: Parallel,369 solo: ["fat"],370 todo: Set("b", "c", "huge"),371 workers:372 Map(373 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },374 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },375 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }376 )377 },378 main::scheduler::wasFinished: false379}380381[State 18]382{383 main::scheduler::st:384 {385 done: Set(),386 errored: Set(),387 estimate: 512,388 externalKills: 1,389 mode: Parallel,390 solo: ["fat"],391 todo: Set("b", "c", "huge"),392 workers:393 Map(394 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },395 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },396 2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }397 )398 },399 main::scheduler::wasFinished: false400}401402[State 19]403{404 main::scheduler::st:405 {406 done: Set("a"),407 errored: Set(),408 estimate: 501,409 externalKills: 1,410 mode: Parallel,411 solo: ["fat"],412 todo: Set("b", "c", "huge"),413 workers:414 Map(415 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },416 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },417 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }418 )419 },420 main::scheduler::wasFinished: false421}422423[State 20]424{425 main::scheduler::st:426 {427 done: Set("a"),428 errored: Set(),429 estimate: 501,430 externalKills: 1,431 mode: Parallel,432 solo: ["fat"],433 todo: Set("b", "c", "huge"),434 workers:435 Map(436 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },437 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },438 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }439 )440 },441 main::scheduler::wasFinished: false442}443444[State 21]445{446 main::scheduler::st:447 {448 done: Set("a"),449 errored: Set(),450 estimate: 501,451 externalKills: 1,452 mode: Parallel,453 solo: ["fat"],454 todo: Set("b", "c", "huge"),455 workers:456 Map(457 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },458 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },459 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }460 )461 },462 main::scheduler::wasFinished: false463}464465[State 22]466{467 main::scheduler::st:468 {469 done: Set("a"),470 errored: Set(),471 estimate: 501,472 externalKills: 1,473 mode: Parallel,474 solo: ["fat"],475 todo: Set("b", "c", "huge"),476 workers:477 Map(478 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },479 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },480 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }481 )482 },483 main::scheduler::wasFinished: false484}485486[State 23]487{488 main::scheduler::st:489 {490 done: Set("a"),491 errored: Set(),492 estimate: 501,493 externalKills: 1,494 mode: Parallel,495 solo: ["fat"],496 todo: Set("b", "c", "huge"),497 workers:498 Map(499 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },500 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },501 2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }502 )503 },504 main::scheduler::wasFinished: false505}506507[State 24]508{509 main::scheduler::st:510 {511 done: Set("a"),512 errored: Set(),513 estimate: 501,514 externalKills: 1,515 mode: Solo,516 solo: ["fat"],517 todo: Set("b", "c", "huge"),518 workers:519 Map(520 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },521 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },522 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }523 )524 },525 main::scheduler::wasFinished: false526}527528[State 25]529{530 main::scheduler::st:531 {532 done: Set("a"),533 errored: Set(),534 estimate: 501,535 externalKills: 1,536 mode: Solo,537 solo: ["fat"],538 todo: Set("b", "c", "huge"),539 workers:540 Map(541 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },542 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },543 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }544 )545 },546 main::scheduler::wasFinished: false547}548549[State 26]550{551 main::scheduler::st:552 {553 done: Set("a"),554 errored: Set(),555 estimate: 501,556 externalKills: 1,557 mode: Solo,558 solo: ["fat"],559 todo: Set("b", "c", "huge"),560 workers:561 Map(562 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },563 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },564 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }565 )566 },567 main::scheduler::wasFinished: false568}569570[State 27]571{572 main::scheduler::st:573 {574 done: Set("a"),575 errored: Set(),576 estimate: 501,577 externalKills: 1,578 mode: Solo,579 solo: ["fat"],580 todo: Set("b", "c", "huge"),581 workers:582 Map(583 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },584 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },585 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }586 )587 },588 main::scheduler::wasFinished: false589}590591[State 28]592{593 main::scheduler::st:594 {595 done: Set("a"),596 errored: Set(),597 estimate: 501,598 externalKills: 2,599 mode: Parallel,600 solo: ["fat"],601 todo: Set("b", "c", "huge"),602 workers:603 Map(604 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },605 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },606 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }607 )608 },609 main::scheduler::wasFinished: false610}611612[State 29]613{614 main::scheduler::st:615 {616 done: Set("a"),617 errored: Set(),618 estimate: 501,619 externalKills: 2,620 mode: Solo,621 solo: ["fat"],622 todo: Set("b", "c", "huge"),623 workers:624 Map(625 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },626 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },627 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }628 )629 },630 main::scheduler::wasFinished: false631}632633[State 30]634{635 main::scheduler::st:636 {637 done: Set("a"),638 errored: Set(),639 estimate: 501,640 externalKills: 2,641 mode: Solo,642 solo: ["fat"],643 todo: Set("b", "c", "huge"),644 workers:645 Map(646 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },647 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },648 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }649 )650 },651 main::scheduler::wasFinished: false652}653654[State 31]655{656 main::scheduler::st:657 {658 done: Set("a"),659 errored: Set(),660 estimate: 501,661 externalKills: 2,662 mode: Solo,663 solo: ["fat"],664 todo: Set("b", "c", "huge"),665 workers:666 Map(667 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },668 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },669 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }670 )671 },672 main::scheduler::wasFinished: false673}674675[State 32]676{677 main::scheduler::st:678 {679 done: Set("a"),680 errored: Set(),681 estimate: 501,682 externalKills: 2,683 mode: Solo,684 solo: ["fat"],685 todo: Set("b", "c", "huge"),686 workers:687 Map(688 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },689 1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },690 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }691 )692 },693 main::scheduler::wasFinished: false694}695696[State 33]697{698 main::scheduler::st:699 {700 done: Set("a"),701 errored: Set(),702 estimate: 501,703 externalKills: 2,704 mode: Solo,705 solo: ["fat"],706 todo: Set("b", "c", "huge"),707 workers:708 Map(709 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },710 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },711 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }712 )713 },714 main::scheduler::wasFinished: false715}716717[State 34]718{719 main::scheduler::st:720 {721 done: Set("a"),722 errored: Set(),723 estimate: 501,724 externalKills: 2,725 mode: Solo,726 solo: ["fat"],727 todo: Set("b", "c", "huge"),728 workers:729 Map(730 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },731 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },732 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }733 )734 },735 main::scheduler::wasFinished: false736}737738[State 35]739{740 main::scheduler::st:741 {742 done: Set("a"),743 errored: Set(),744 estimate: 501,745 externalKills: 2,746 mode: Solo,747 solo: ["fat"],748 todo: Set("b", "c", "huge"),749 workers:750 Map(751 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },752 1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },753 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }754 )755 },756 main::scheduler::wasFinished: false757}758759[State 36]760{761 main::scheduler::st:762 {763 done: Set("a"),764 errored: Set(),765 estimate: 501,766 externalKills: 2,767 mode: Solo,768 solo: [],769 todo: Set("b", "c", "huge"),770 workers:771 Map(772 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },773 1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },774 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }775 )776 },777 main::scheduler::wasFinished: false778}779780[State 37]781{782 main::scheduler::st:783 {784 done: Set("a"),785 errored: Set(),786 estimate: 501,787 externalKills: 2,788 mode: Solo,789 solo: [],790 todo: Set("b", "c", "huge"),791 workers:792 Map(793 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },794 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },795 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }796 )797 },798 main::scheduler::wasFinished: false799}800801[State 38]802{803 main::scheduler::st:804 {805 done: Set("a"),806 errored: Set(),807 estimate: 2000,808 externalKills: 2,809 mode: Solo,810 solo: [],811 todo: Set("b", "c", "huge"),812 workers:813 Map(814 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },815 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },816 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }817 )818 },819 main::scheduler::wasFinished: false820}821822[State 39]823{824 main::scheduler::st:825 {826 done: Set("a"),827 errored: Set(),828 estimate: 2000,829 externalKills: 2,830 mode: Solo,831 solo: [],832 todo: Set("b", "c", "huge"),833 workers:834 Map(835 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },836 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },837 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }838 )839 },840 main::scheduler::wasFinished: false841}842843[State 40]844{845 main::scheduler::st:846 {847 done: Set("a"),848 errored: Set(),849 estimate: 2000,850 externalKills: 2,851 mode: Solo,852 solo: [],853 todo: Set("b", "c", "huge"),854 workers:855 Map(856 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },857 1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },858 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }859 )860 },861 main::scheduler::wasFinished: false862}863864[State 41]865{866 main::scheduler::st:867 {868 done: Set("a", "fat"),869 errored: Set(),870 estimate: 1960,871 externalKills: 2,872 mode: Parallel,873 solo: [],874 todo: Set("b", "c", "huge"),875 workers:876 Map(877 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },878 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },879 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }880 )881 },882 main::scheduler::wasFinished: false883}884885[State 42]886{887 main::scheduler::st:888 {889 done: Set("a", "fat"),890 errored: Set(),891 estimate: 1960,892 externalKills: 2,893 mode: Parallel,894 solo: [],895 todo: Set("b", "c", "huge"),896 workers:897 Map(898 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },899 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },900 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }901 )902 },903 main::scheduler::wasFinished: false904}905906[State 43]907{908 main::scheduler::st:909 {910 done: Set("a", "fat"),911 errored: Set(),912 estimate: 1960,913 externalKills: 2,914 mode: Parallel,915 solo: [],916 todo: Set("b", "c", "huge"),917 workers:918 Map(919 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },920 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },921 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }922 )923 },924 main::scheduler::wasFinished: false925}926927[State 44]928{929 main::scheduler::st:930 {931 done: Set("a", "fat"),932 errored: Set(),933 estimate: 1960,934 externalKills: 2,935 mode: Parallel,936 solo: [],937 todo: Set("b", "c", "huge"),938 workers:939 Map(940 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },941 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },942 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }943 )944 },945 main::scheduler::wasFinished: false946}947948[State 45]949{950 main::scheduler::st:951 {952 done: Set("a", "fat"),953 errored: Set(),954 estimate: 1960,955 externalKills: 2,956 mode: Parallel,957 solo: [],958 todo: Set("b", "c", "huge"),959 workers:960 Map(961 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },962 1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },963 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }964 )965 },966 main::scheduler::wasFinished: false967}968969[State 46]970{971 main::scheduler::st:972 {973 done: Set("a", "fat"),974 errored: Set(),975 estimate: 1960,976 externalKills: 2,977 mode: Parallel,978 solo: [],979 todo: Set("b", "c", "huge"),980 workers:981 Map(982 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },983 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },984 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }985 )986 },987 main::scheduler::wasFinished: false988}989990[State 47]991{992 main::scheduler::st:993 {994 done: Set("a", "fat"),995 errored: Set(),996 estimate: 1960,997 externalKills: 2,998 mode: Parallel,999 solo: [],1000 todo: Set("b", "c", "huge"),1001 workers:1002 Map(1003 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1004 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1005 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1006 )1007 },1008 main::scheduler::wasFinished: false1009}10101011[State 48]1012{1013 main::scheduler::st:1014 {1015 done: Set("a", "fat"),1016 errored: Set(),1017 estimate: 1960,1018 externalKills: 2,1019 mode: Parallel,1020 solo: [],1021 todo: Set("b", "c", "huge"),1022 workers:1023 Map(1024 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1025 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1026 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1027 )1028 },1029 main::scheduler::wasFinished: false1030}10311032[State 49]1033{1034 main::scheduler::st:1035 {1036 done: Set("a", "fat"),1037 errored: Set(),1038 estimate: 1960,1039 externalKills: 2,1040 mode: Parallel,1041 solo: [],1042 todo: Set("b", "c"),1043 workers:1044 Map(1045 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1046 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1047 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }1048 )1049 },1050 main::scheduler::wasFinished: false1051}10521053[State 50]1054{1055 main::scheduler::st:1056 {1057 done: Set("a", "fat"),1058 errored: Set(),1059 estimate: 1960,1060 externalKills: 2,1061 mode: Parallel,1062 solo: [],1063 todo: Set("b", "c"),1064 workers:1065 Map(1066 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1067 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1068 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }1069 )1070 },1071 main::scheduler::wasFinished: false1072}10731074[State 51]1075{1076 main::scheduler::st:1077 {1078 done: Set("a", "fat"),1079 errored: Set(),1080 estimate: 5000,1081 externalKills: 2,1082 mode: Parallel,1083 solo: [],1084 todo: Set("b", "c"),1085 workers:1086 Map(1087 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1088 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1089 2 ->1090 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1091 )1092 },1093 main::scheduler::wasFinished: false1094}10951096[State 52]1097{1098 main::scheduler::st:1099 {1100 done: Set("a", "fat"),1101 errored: Set(),1102 estimate: 5000,1103 externalKills: 2,1104 mode: Parallel,1105 solo: [],1106 todo: Set("b", "c"),1107 workers:1108 Map(1109 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },1110 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1111 2 ->1112 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1113 )1114 },1115 main::scheduler::wasFinished: false1116}11171118[State 53]1119{1120 main::scheduler::st:1121 {1122 done: Set("a", "fat"),1123 errored: Set(),1124 estimate: 5000,1125 externalKills: 2,1126 mode: Parallel,1127 solo: [],1128 todo: Set("b", "c"),1129 workers:1130 Map(1131 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1132 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1133 2 ->1134 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1135 )1136 },1137 main::scheduler::wasFinished: false1138}11391140[State 54]1141{1142 main::scheduler::st:1143 {1144 done: Set("a", "fat"),1145 errored: Set(),1146 estimate: 5000,1147 externalKills: 2,1148 mode: Parallel,1149 solo: [],1150 todo: Set("b", "c"),1151 workers:1152 Map(1153 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1154 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1155 2 ->1156 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1157 )1158 },1159 main::scheduler::wasFinished: false1160}11611162[State 55]1163{1164 main::scheduler::st:1165 {1166 done: Set("a", "fat"),1167 errored: Set(),1168 estimate: 5000,1169 externalKills: 2,1170 mode: Parallel,1171 solo: [],1172 todo: Set("b", "c"),1173 workers:1174 Map(1175 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1176 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1177 2 ->1178 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1179 )1180 },1181 main::scheduler::wasFinished: false1182}11831184[State 56]1185{1186 main::scheduler::st:1187 {1188 done: Set("a", "fat"),1189 errored: Set(),1190 estimate: 5000,1191 externalKills: 2,1192 mode: Parallel,1193 solo: [],1194 todo: Set("b", "c"),1195 workers:1196 Map(1197 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1198 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1199 2 ->1200 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1201 )1202 },1203 main::scheduler::wasFinished: false1204}12051206[State 57]1207{1208 main::scheduler::st:1209 {1210 done: Set("a", "fat"),1211 errored: Set(),1212 estimate: 5000,1213 externalKills: 2,1214 mode: Parallel,1215 solo: [],1216 todo: Set("b", "c"),1217 workers:1218 Map(1219 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1220 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1221 2 ->1222 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }1223 )1224 },1225 main::scheduler::wasFinished: false1226}12271228[State 58]1229{1230 main::scheduler::st:1231 {1232 done: Set("a", "fat"),1233 errored: Set(),1234 estimate: 5000,1235 externalKills: 2,1236 mode: Parallel,1237 solo: ["huge"],1238 todo: Set("b", "c"),1239 workers:1240 Map(1241 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1242 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1243 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1244 )1245 },1246 main::scheduler::wasFinished: false1247}12481249[State 59]1250{1251 main::scheduler::st:1252 {1253 done: Set("a", "fat"),1254 errored: Set(),1255 estimate: 5000,1256 externalKills: 2,1257 mode: Parallel,1258 solo: ["huge"],1259 todo: Set("b", "c"),1260 workers:1261 Map(1262 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1263 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1264 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1265 )1266 },1267 main::scheduler::wasFinished: false1268}12691270[State 60]1271{1272 main::scheduler::st:1273 {1274 done: Set("a", "fat"),1275 errored: Set(),1276 estimate: 5000,1277 externalKills: 2,1278 mode: Parallel,1279 solo: ["huge"],1280 todo: Set("b", "c"),1281 workers:1282 Map(1283 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1284 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1285 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1286 )1287 },1288 main::scheduler::wasFinished: false1289}12901291[State 61]1292{1293 main::scheduler::st:1294 {1295 done: Set("a", "fat"),1296 errored: Set(),1297 estimate: 5000,1298 externalKills: 2,1299 mode: Parallel,1300 solo: ["huge"],1301 todo: Set("b", "c"),1302 workers:1303 Map(1304 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1305 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1306 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1307 )1308 },1309 main::scheduler::wasFinished: false1310}13111312[State 62]1313{1314 main::scheduler::st:1315 {1316 done: Set("a", "fat"),1317 errored: Set(),1318 estimate: 5000,1319 externalKills: 2,1320 mode: Parallel,1321 solo: ["huge"],1322 todo: Set("b", "c"),1323 workers:1324 Map(1325 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1326 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1327 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1328 )1329 },1330 main::scheduler::wasFinished: false1331}13321333[State 63]1334{1335 main::scheduler::st:1336 {1337 done: Set("a", "fat"),1338 errored: Set(),1339 estimate: 5000,1340 externalKills: 2,1341 mode: Parallel,1342 solo: ["huge"],1343 todo: Set("b", "c"),1344 workers:1345 Map(1346 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1347 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1348 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1349 )1350 },1351 main::scheduler::wasFinished: false1352}13531354[State 64]1355{1356 main::scheduler::st:1357 {1358 done: Set("a", "fat"),1359 errored: Set(),1360 estimate: 5000,1361 externalKills: 2,1362 mode: Parallel,1363 solo: ["huge"],1364 todo: Set("b", "c"),1365 workers:1366 Map(1367 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1368 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1369 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1370 )1371 },1372 main::scheduler::wasFinished: false1373}13741375[State 65]1376{1377 main::scheduler::st:1378 {1379 done: Set("a", "fat"),1380 errored: Set(),1381 estimate: 5000,1382 externalKills: 2,1383 mode: Parallel,1384 solo: ["huge"],1385 todo: Set("b", "c"),1386 workers:1387 Map(1388 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },1389 1 -> { heap: 1300, job: "", phase: Idle, rss: 1300, startRss: 0 },1390 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1391 )1392 },1393 main::scheduler::wasFinished: false1394}13951396[State 66]1397{1398 main::scheduler::st:1399 {1400 done: Set("a", "fat"),1401 errored: Set(),1402 estimate: 5000,1403 externalKills: 2,1404 mode: Solo,1405 solo: ["huge"],1406 todo: Set("b", "c"),1407 workers:1408 Map(1409 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1410 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1411 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }1412 )1413 },1414 main::scheduler::wasFinished: false1415}14161417[State 67]1418{1419 main::scheduler::st:1420 {1421 done: Set("a", "fat"),1422 errored: Set(),1423 estimate: 5000,1424 externalKills: 2,1425 mode: Solo,1426 solo: ["huge"],1427 todo: Set("b", "c"),1428 workers:1429 Map(1430 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1431 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1432 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1433 )1434 },1435 main::scheduler::wasFinished: false1436}14371438[State 68]1439{1440 main::scheduler::st:1441 {1442 done: Set("a", "fat"),1443 errored: Set(),1444 estimate: 5000,1445 externalKills: 2,1446 mode: Solo,1447 solo: ["huge"],1448 todo: Set("b", "c"),1449 workers:1450 Map(1451 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1452 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1453 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1454 )1455 },1456 main::scheduler::wasFinished: false1457}14581459[State 69]1460{1461 main::scheduler::st:1462 {1463 done: Set("a", "fat"),1464 errored: Set(),1465 estimate: 5000,1466 externalKills: 2,1467 mode: Solo,1468 solo: ["huge"],1469 todo: Set("b", "c"),1470 workers:1471 Map(1472 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1473 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1474 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1475 )1476 },1477 main::scheduler::wasFinished: false1478}14791480[State 70]1481{1482 main::scheduler::st:1483 {1484 done: Set("a", "fat"),1485 errored: Set(),1486 estimate: 5000,1487 externalKills: 2,1488 mode: Solo,1489 solo: ["huge"],1490 todo: Set("b", "c"),1491 workers:1492 Map(1493 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1494 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1495 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1496 )1497 },1498 main::scheduler::wasFinished: false1499}15001501[State 71]1502{1503 main::scheduler::st:1504 {1505 done: Set("a", "fat"),1506 errored: Set(),1507 estimate: 5000,1508 externalKills: 2,1509 mode: Solo,1510 solo: ["huge"],1511 todo: Set("b", "c"),1512 workers:1513 Map(1514 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1515 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1516 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1517 )1518 },1519 main::scheduler::wasFinished: false1520}15211522[State 72]1523{1524 main::scheduler::st:1525 {1526 done: Set("a", "fat"),1527 errored: Set(),1528 estimate: 5000,1529 externalKills: 2,1530 mode: Solo,1531 solo: ["huge"],1532 todo: Set("b", "c"),1533 workers:1534 Map(1535 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1536 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1537 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1538 )1539 },1540 main::scheduler::wasFinished: false1541}15421543[State 73]1544{1545 main::scheduler::st:1546 {1547 done: Set("a", "fat"),1548 errored: Set(),1549 estimate: 5000,1550 externalKills: 2,1551 mode: Solo,1552 solo: ["huge"],1553 todo: Set("b", "c"),1554 workers:1555 Map(1556 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1557 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1558 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1559 )1560 },1561 main::scheduler::wasFinished: false1562}15631564[State 74]1565{1566 main::scheduler::st:1567 {1568 done: Set("a", "fat"),1569 errored: Set(),1570 estimate: 5000,1571 externalKills: 2,1572 mode: Solo,1573 solo: ["huge"],1574 todo: Set("b", "c"),1575 workers:1576 Map(1577 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1578 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1579 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1580 )1581 },1582 main::scheduler::wasFinished: false1583}15841585[State 75]1586{1587 main::scheduler::st:1588 {1589 done: Set("a", "fat"),1590 errored: Set(),1591 estimate: 5000,1592 externalKills: 2,1593 mode: Solo,1594 solo: ["huge"],1595 todo: Set("b", "c"),1596 workers:1597 Map(1598 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1599 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1600 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1601 )1602 },1603 main::scheduler::wasFinished: false1604}16051606[State 76]1607{1608 main::scheduler::st:1609 {1610 done: Set("a", "fat"),1611 errored: Set(),1612 estimate: 5000,1613 externalKills: 2,1614 mode: Solo,1615 solo: ["huge"],1616 todo: Set("b", "c"),1617 workers:1618 Map(1619 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1620 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1621 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1622 )1623 },1624 main::scheduler::wasFinished: false1625}16261627[State 77]1628{1629 main::scheduler::st:1630 {1631 done: Set("a", "fat"),1632 errored: Set(),1633 estimate: 5000,1634 externalKills: 2,1635 mode: Solo,1636 solo: ["huge"],1637 todo: Set("b", "c"),1638 workers:1639 Map(1640 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1641 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1642 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1643 )1644 },1645 main::scheduler::wasFinished: false1646}16471648[State 78]1649{1650 main::scheduler::st:1651 {1652 done: Set("a", "fat"),1653 errored: Set(),1654 estimate: 5000,1655 externalKills: 2,1656 mode: Solo,1657 solo: ["huge"],1658 todo: Set("b", "c"),1659 workers:1660 Map(1661 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1662 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1663 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1664 )1665 },1666 main::scheduler::wasFinished: false1667}16681669[State 79]1670{1671 main::scheduler::st:1672 {1673 done: Set("a", "fat"),1674 errored: Set(),1675 estimate: 5000,1676 externalKills: 2,1677 mode: Solo,1678 solo: ["huge"],1679 todo: Set("b", "c"),1680 workers:1681 Map(1682 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1683 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1684 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1685 )1686 },1687 main::scheduler::wasFinished: false1688}16891690[State 80]1691{1692 main::scheduler::st:1693 {1694 done: Set("a", "fat"),1695 errored: Set(),1696 estimate: 5000,1697 externalKills: 2,1698 mode: Solo,1699 solo: ["huge"],1700 todo: Set("b", "c"),1701 workers:1702 Map(1703 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1704 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1705 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1706 )1707 },1708 main::scheduler::wasFinished: false1709}17101711[State 81]1712{1713 main::scheduler::st:1714 {1715 done: Set("a", "fat"),1716 errored: Set(),1717 estimate: 5000,1718 externalKills: 2,1719 mode: Solo,1720 solo: ["huge"],1721 todo: Set("b", "c"),1722 workers:1723 Map(1724 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1725 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1726 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1727 )1728 },1729 main::scheduler::wasFinished: false1730}17311732[State 82]1733{1734 main::scheduler::st:1735 {1736 done: Set("a", "fat"),1737 errored: Set(),1738 estimate: 5000,1739 externalKills: 2,1740 mode: Solo,1741 solo: ["huge"],1742 todo: Set("b", "c"),1743 workers:1744 Map(1745 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1746 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1747 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1748 )1749 },1750 main::scheduler::wasFinished: false1751}17521753[State 83]1754{1755 main::scheduler::st:1756 {1757 done: Set("a", "fat"),1758 errored: Set(),1759 estimate: 5000,1760 externalKills: 2,1761 mode: Solo,1762 solo: ["huge"],1763 todo: Set("b", "c"),1764 workers:1765 Map(1766 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1767 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1768 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1769 )1770 },1771 main::scheduler::wasFinished: false1772}17731774[State 84]1775{1776 main::scheduler::st:1777 {1778 done: Set("a", "fat"),1779 errored: Set(),1780 estimate: 5000,1781 externalKills: 2,1782 mode: Solo,1783 solo: ["huge"],1784 todo: Set("b", "c"),1785 workers:1786 Map(1787 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1788 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1789 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1790 )1791 },1792 main::scheduler::wasFinished: false1793}17941795[State 85]1796{1797 main::scheduler::st:1798 {1799 done: Set("a", "fat"),1800 errored: Set(),1801 estimate: 5000,1802 externalKills: 2,1803 mode: Solo,1804 solo: ["huge"],1805 todo: Set("b", "c"),1806 workers:1807 Map(1808 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1809 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1810 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1811 )1812 },1813 main::scheduler::wasFinished: false1814}18151816[State 86]1817{1818 main::scheduler::st:1819 {1820 done: Set("a", "fat"),1821 errored: Set(),1822 estimate: 5000,1823 externalKills: 2,1824 mode: Solo,1825 solo: ["huge"],1826 todo: Set("b", "c"),1827 workers:1828 Map(1829 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1830 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1831 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1832 )1833 },1834 main::scheduler::wasFinished: false1835}18361837[State 87]1838{1839 main::scheduler::st:1840 {1841 done: Set("a", "fat"),1842 errored: Set(),1843 estimate: 5000,1844 externalKills: 2,1845 mode: Solo,1846 solo: ["huge"],1847 todo: Set("b", "c"),1848 workers:1849 Map(1850 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1851 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1852 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1853 )1854 },1855 main::scheduler::wasFinished: false1856}18571858[State 88]1859{1860 main::scheduler::st:1861 {1862 done: Set("a", "fat"),1863 errored: Set(),1864 estimate: 5000,1865 externalKills: 2,1866 mode: Solo,1867 solo: ["huge"],1868 todo: Set("b", "c"),1869 workers:1870 Map(1871 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1872 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1873 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1874 )1875 },1876 main::scheduler::wasFinished: false1877}18781879[State 89]1880{1881 main::scheduler::st:1882 {1883 done: Set("a", "fat"),1884 errored: Set(),1885 estimate: 5000,1886 externalKills: 2,1887 mode: Solo,1888 solo: ["huge"],1889 todo: Set("b", "c"),1890 workers:1891 Map(1892 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1893 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1894 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1895 )1896 },1897 main::scheduler::wasFinished: false1898}18991900[State 90]1901{1902 main::scheduler::st:1903 {1904 done: Set("a", "fat"),1905 errored: Set(),1906 estimate: 5000,1907 externalKills: 2,1908 mode: Solo,1909 solo: ["huge"],1910 todo: Set("b", "c"),1911 workers:1912 Map(1913 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1914 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1915 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1916 )1917 },1918 main::scheduler::wasFinished: false1919}19201921[State 91]1922{1923 main::scheduler::st:1924 {1925 done: Set("a", "fat"),1926 errored: Set(),1927 estimate: 5000,1928 externalKills: 2,1929 mode: Solo,1930 solo: ["huge"],1931 todo: Set("b", "c"),1932 workers:1933 Map(1934 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1935 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1936 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1937 )1938 },1939 main::scheduler::wasFinished: false1940}19411942[State 92]1943{1944 main::scheduler::st:1945 {1946 done: Set("a", "fat"),1947 errored: Set(),1948 estimate: 5000,1949 externalKills: 2,1950 mode: Solo,1951 solo: ["huge"],1952 todo: Set("b", "c"),1953 workers:1954 Map(1955 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1956 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1957 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }1958 )1959 },1960 main::scheduler::wasFinished: false1961}19621963[State 93]1964{1965 main::scheduler::st:1966 {1967 done: Set("a", "fat"),1968 errored: Set(),1969 estimate: 5000,1970 externalKills: 2,1971 mode: Solo,1972 solo: ["huge"],1973 todo: Set("b", "c"),1974 workers:1975 Map(1976 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1977 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1978 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }1979 )1980 },1981 main::scheduler::wasFinished: false1982}19831984[State 94]1985{1986 main::scheduler::st:1987 {1988 done: Set("a", "fat"),1989 errored: Set(),1990 estimate: 5000,1991 externalKills: 2,1992 mode: Solo,1993 solo: [],1994 todo: Set("b", "c"),1995 workers:1996 Map(1997 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1998 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },1999 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2000 )2001 },2002 main::scheduler::wasFinished: false2003}20042005[State 95]2006{2007 main::scheduler::st:2008 {2009 done: Set("a", "fat"),2010 errored: Set(),2011 estimate: 5000,2012 externalKills: 2,2013 mode: Solo,2014 solo: [],2015 todo: Set("b", "c"),2016 workers:2017 Map(2018 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2019 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2020 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2021 )2022 },2023 main::scheduler::wasFinished: false2024}20252026[State 96]2027{2028 main::scheduler::st:2029 {2030 done: Set("a", "fat"),2031 errored: Set(),2032 estimate: 5000,2033 externalKills: 2,2034 mode: Solo,2035 solo: [],2036 todo: Set("b", "c"),2037 workers:2038 Map(2039 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2040 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2041 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2042 )2043 },2044 main::scheduler::wasFinished: false2045}20462047[State 97]2048{2049 main::scheduler::st:2050 {2051 done: Set("a", "fat"),2052 errored: Set(),2053 estimate: 5000,2054 externalKills: 2,2055 mode: Solo,2056 solo: [],2057 todo: Set("b", "c"),2058 workers:2059 Map(2060 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2061 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2062 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2063 )2064 },2065 main::scheduler::wasFinished: false2066}20672068[State 98]2069{2070 main::scheduler::st:2071 {2072 done: Set("a", "fat"),2073 errored: Set(),2074 estimate: 5000,2075 externalKills: 2,2076 mode: Solo,2077 solo: [],2078 todo: Set("b", "c"),2079 workers:2080 Map(2081 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2082 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2083 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2084 )2085 },2086 main::scheduler::wasFinished: false2087}20882089[State 99]2090{2091 main::scheduler::st:2092 {2093 done: Set("a", "fat"),2094 errored: Set(),2095 estimate: 5000,2096 externalKills: 2,2097 mode: Solo,2098 solo: [],2099 todo: Set("b", "c"),2100 workers:2101 Map(2102 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2103 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2104 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2105 )2106 },2107 main::scheduler::wasFinished: false2108}21092110[State 100]2111{2112 main::scheduler::st:2113 {2114 done: Set("a", "fat"),2115 errored: Set(),2116 estimate: 5000,2117 externalKills: 2,2118 mode: Solo,2119 solo: [],2120 todo: Set("b", "c"),2121 workers:2122 Map(2123 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2124 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2125 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2126 )2127 },2128 main::scheduler::wasFinished: false2129}21302131[State 101]2132{2133 main::scheduler::st:2134 {2135 done: Set("a", "fat"),2136 errored: Set(),2137 estimate: 5000,2138 externalKills: 2,2139 mode: Solo,2140 solo: [],2141 todo: Set("b", "c"),2142 workers:2143 Map(2144 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2145 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2146 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2147 )2148 },2149 main::scheduler::wasFinished: false2150}21512152[State 102]2153{2154 main::scheduler::st:2155 {2156 done: Set("a", "fat"),2157 errored: Set(),2158 estimate: 5000,2159 externalKills: 2,2160 mode: Solo,2161 solo: [],2162 todo: Set("b", "c"),2163 workers:2164 Map(2165 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2166 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2167 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2168 )2169 },2170 main::scheduler::wasFinished: false2171}21722173[State 103]2174{2175 main::scheduler::st:2176 {2177 done: Set("a", "fat"),2178 errored: Set(),2179 estimate: 5000,2180 externalKills: 2,2181 mode: Solo,2182 solo: [],2183 todo: Set("b", "c"),2184 workers:2185 Map(2186 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2187 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2188 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2189 )2190 },2191 main::scheduler::wasFinished: false2192}21932194[State 104]2195{2196 main::scheduler::st:2197 {2198 done: Set("a", "fat"),2199 errored: Set(),2200 estimate: 5000,2201 externalKills: 2,2202 mode: Solo,2203 solo: [],2204 todo: Set("b", "c"),2205 workers:2206 Map(2207 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2208 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2209 2 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 }2210 )2211 },2212 main::scheduler::wasFinished: false2213}22142215[State 105]2216{2217 main::scheduler::st:2218 {2219 done: Set("a", "fat"),2220 errored: Set(),2221 estimate: 5000,2222 externalKills: 2,2223 mode: Solo,2224 solo: [],2225 todo: Set("b", "c"),2226 workers:2227 Map(2228 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2229 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2230 2 -> { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 }2231 )2232 },2233 main::scheduler::wasFinished: false2234}22352236[State 106]2237{2238 main::scheduler::st:2239 {2240 done: Set("a", "fat"),2241 errored: Set(),2242 estimate: 5000,2243 externalKills: 2,2244 mode: Solo,2245 solo: [],2246 todo: Set("b", "c"),2247 workers:2248 Map(2249 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2250 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2251 2 ->2252 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2253 )2254 },2255 main::scheduler::wasFinished: false2256}22572258[State 107]2259{2260 main::scheduler::st:2261 {2262 done: Set("a", "fat"),2263 errored: Set(),2264 estimate: 5000,2265 externalKills: 2,2266 mode: Solo,2267 solo: [],2268 todo: Set("b", "c"),2269 workers:2270 Map(2271 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2272 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2273 2 ->2274 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2275 )2276 },2277 main::scheduler::wasFinished: false2278}22792280[State 108]2281{2282 main::scheduler::st:2283 {2284 done: Set("a", "fat"),2285 errored: Set(),2286 estimate: 5000,2287 externalKills: 2,2288 mode: Solo,2289 solo: [],2290 todo: Set("b", "c"),2291 workers:2292 Map(2293 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2294 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2295 2 ->2296 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2297 )2298 },2299 main::scheduler::wasFinished: false2300}23012302[State 109]2303{2304 main::scheduler::st:2305 {2306 done: Set("a", "fat"),2307 errored: Set(),2308 estimate: 5000,2309 externalKills: 2,2310 mode: Solo,2311 solo: [],2312 todo: Set("b", "c"),2313 workers:2314 Map(2315 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2316 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2317 2 ->2318 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2319 )2320 },2321 main::scheduler::wasFinished: false2322}23232324[State 110]2325{2326 main::scheduler::st:2327 {2328 done: Set("a", "fat"),2329 errored: Set(),2330 estimate: 5000,2331 externalKills: 2,2332 mode: Solo,2333 solo: [],2334 todo: Set("b", "c"),2335 workers:2336 Map(2337 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2338 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2339 2 ->2340 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2341 )2342 },2343 main::scheduler::wasFinished: false2344}23452346[State 111]2347{2348 main::scheduler::st:2349 {2350 done: Set("a", "fat"),2351 errored: Set(),2352 estimate: 5000,2353 externalKills: 2,2354 mode: Solo,2355 solo: [],2356 todo: Set("b", "c"),2357 workers:2358 Map(2359 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2360 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2361 2 ->2362 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2363 )2364 },2365 main::scheduler::wasFinished: false2366}23672368[State 112]2369{2370 main::scheduler::st:2371 {2372 done: Set("a", "fat"),2373 errored: Set(),2374 estimate: 5000,2375 externalKills: 2,2376 mode: Solo,2377 solo: [],2378 todo: Set("b", "c"),2379 workers:2380 Map(2381 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2382 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2383 2 ->2384 { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 }2385 )2386 },2387 main::scheduler::wasFinished: false2388}23892390[State 113]2391{2392 main::scheduler::st:2393 {2394 done: Set("a", "fat"),2395 errored: Set("huge"),2396 estimate: 5000,2397 externalKills: 2,2398 mode: Parallel,2399 solo: [],2400 todo: Set("b", "c"),2401 workers:2402 Map(2403 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2404 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2405 2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }2406 )2407 },2408 main::scheduler::wasFinished: false2409}24102411[State 114]2412{2413 main::scheduler::st:2414 {2415 done: Set("a", "fat"),2416 errored: Set("huge"),2417 estimate: 5000,2418 externalKills: 2,2419 mode: Parallel,2420 solo: [],2421 todo: Set("b", "c"),2422 workers:2423 Map(2424 0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2425 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2426 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2427 )2428 },2429 main::scheduler::wasFinished: false2430}24312432[State 115]2433{2434 main::scheduler::st:2435 {2436 done: Set("a", "fat"),2437 errored: Set("huge"),2438 estimate: 5000,2439 externalKills: 2,2440 mode: Parallel,2441 solo: [],2442 todo: Set("b", "c"),2443 workers:2444 Map(2445 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2446 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2447 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2448 )2449 },2450 main::scheduler::wasFinished: false2451}24522453[State 116]2454{2455 main::scheduler::st:2456 {2457 done: Set("a", "fat"),2458 errored: Set("huge"),2459 estimate: 5000,2460 externalKills: 2,2461 mode: Parallel,2462 solo: [],2463 todo: Set("b", "c"),2464 workers:2465 Map(2466 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2467 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2468 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2469 )2470 },2471 main::scheduler::wasFinished: false2472}24732474[State 117]2475{2476 main::scheduler::st:2477 {2478 done: Set("a", "fat"),2479 errored: Set("huge"),2480 estimate: 5000,2481 externalKills: 2,2482 mode: Parallel,2483 solo: [],2484 todo: Set("b", "c"),2485 workers:2486 Map(2487 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2488 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2489 2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }2490 )2491 },2492 main::scheduler::wasFinished: false2493}24942495[State 118]2496{2497 main::scheduler::st:2498 {2499 done: Set("a", "fat"),2500 errored: Set("huge"),2501 estimate: 5000,2502 externalKills: 2,2503 mode: Parallel,2504 solo: [],2505 todo: Set("b", "c"),2506 workers:2507 Map(2508 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2509 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2510 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2511 )2512 },2513 main::scheduler::wasFinished: false2514}25152516[State 119]2517{2518 main::scheduler::st:2519 {2520 done: Set("a", "fat"),2521 errored: Set("huge"),2522 estimate: 5000,2523 externalKills: 2,2524 mode: Parallel,2525 solo: [],2526 todo: Set("b", "c"),2527 workers:2528 Map(2529 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2530 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2531 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2532 )2533 },2534 main::scheduler::wasFinished: false2535}25362537[State 120]2538{2539 main::scheduler::st:2540 {2541 done: Set("a", "fat"),2542 errored: Set("huge"),2543 estimate: 5000,2544 externalKills: 2,2545 mode: Parallel,2546 solo: [],2547 todo: Set("b", "c"),2548 workers:2549 Map(2550 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2551 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2552 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2553 )2554 },2555 main::scheduler::wasFinished: false2556}25572558[State 121]2559{2560 main::scheduler::st:2561 {2562 done: Set("a", "fat"),2563 errored: Set("huge"),2564 estimate: 5000,2565 externalKills: 2,2566 mode: Parallel,2567 solo: [],2568 todo: Set("b", "c"),2569 workers:2570 Map(2571 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2572 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2573 2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }2574 )2575 },2576 main::scheduler::wasFinished: false2577}25782579[State 122]2580{2581 main::scheduler::st:2582 {2583 done: Set("a", "fat"),2584 errored: Set("huge"),2585 estimate: 5000,2586 externalKills: 2,2587 mode: Parallel,2588 solo: [],2589 todo: Set("b"),2590 workers:2591 Map(2592 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2593 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2594 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2595 )2596 },2597 main::scheduler::wasFinished: false2598}25992600[State 123]2601{2602 main::scheduler::st:2603 {2604 done: Set("a", "fat"),2605 errored: Set("huge"),2606 estimate: 5000,2607 externalKills: 2,2608 mode: Parallel,2609 solo: [],2610 todo: Set("b"),2611 workers:2612 Map(2613 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2614 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2615 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2616 )2617 },2618 main::scheduler::wasFinished: false2619}26202621[State 124]2622{2623 main::scheduler::st:2624 {2625 done: Set("a", "fat"),2626 errored: Set("huge"),2627 estimate: 5000,2628 externalKills: 2,2629 mode: Parallel,2630 solo: [],2631 todo: Set("b"),2632 workers:2633 Map(2634 0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },2635 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2636 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2637 )2638 },2639 main::scheduler::wasFinished: false2640}26412642[State 125]2643{2644 main::scheduler::st:2645 {2646 done: Set("a", "fat"),2647 errored: Set("huge"),2648 estimate: 5000,2649 externalKills: 2,2650 mode: Parallel,2651 solo: [],2652 todo: Set("b"),2653 workers:2654 Map(2655 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2656 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2657 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2658 )2659 },2660 main::scheduler::wasFinished: false2661}26622663[State 126]2664{2665 main::scheduler::st:2666 {2667 done: Set("a", "fat"),2668 errored: Set("huge"),2669 estimate: 5000,2670 externalKills: 2,2671 mode: Parallel,2672 solo: [],2673 todo: Set("b"),2674 workers:2675 Map(2676 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2677 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2678 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2679 )2680 },2681 main::scheduler::wasFinished: false2682}26832684[State 127]2685{2686 main::scheduler::st:2687 {2688 done: Set("a", "fat"),2689 errored: Set("huge"),2690 estimate: 5000,2691 externalKills: 2,2692 mode: Parallel,2693 solo: [],2694 todo: Set("b"),2695 workers:2696 Map(2697 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2698 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2699 2 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 }2700 )2701 },2702 main::scheduler::wasFinished: false2703}27042705[State 128]2706{2707 main::scheduler::st:2708 {2709 done: Set("a", "fat"),2710 errored: Set("huge"),2711 estimate: 5000,2712 externalKills: 2,2713 mode: Parallel,2714 solo: [],2715 todo: Set("b"),2716 workers:2717 Map(2718 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2719 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2720 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }2721 )2722 },2723 main::scheduler::wasFinished: false2724}27252726[State 129]2727{2728 main::scheduler::st:2729 {2730 done: Set("a", "fat"),2731 errored: Set("huge"),2732 estimate: 5000,2733 externalKills: 2,2734 mode: Parallel,2735 solo: [],2736 todo: Set("b"),2737 workers:2738 Map(2739 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2740 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2741 2 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 }2742 )2743 },2744 main::scheduler::wasFinished: false2745}27462747[State 130]2748{2749 main::scheduler::st:2750 {2751 done: Set("a", "c", "fat"),2752 errored: Set("huge"),2753 estimate: 4900,2754 externalKills: 2,2755 mode: Parallel,2756 solo: [],2757 todo: Set("b"),2758 workers:2759 Map(2760 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2761 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2762 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }2763 )2764 },2765 main::scheduler::wasFinished: false2766}27672768[State 131]2769{2770 main::scheduler::st:2771 {2772 done: Set("a", "c", "fat"),2773 errored: Set("huge"),2774 estimate: 4900,2775 externalKills: 2,2776 mode: Parallel,2777 solo: [],2778 todo: Set("b"),2779 workers:2780 Map(2781 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2782 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2783 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }2784 )2785 },2786 main::scheduler::wasFinished: false2787}27882789[State 132]2790{2791 main::scheduler::st:2792 {2793 done: Set("a", "c", "fat"),2794 errored: Set("huge"),2795 estimate: 4900,2796 externalKills: 2,2797 mode: Parallel,2798 solo: [],2799 todo: Set("b"),2800 workers:2801 Map(2802 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2803 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2804 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }2805 )2806 },2807 main::scheduler::wasFinished: false2808}28092810[State 133]2811{2812 main::scheduler::st:2813 {2814 done: Set("a", "c", "fat"),2815 errored: Set("huge"),2816 estimate: 4900,2817 externalKills: 2,2818 mode: Parallel,2819 solo: [],2820 todo: Set("b"),2821 workers:2822 Map(2823 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2824 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2825 2 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 }2826 )2827 },2828 main::scheduler::wasFinished: false2829}28302831[State 134]2832{2833 main::scheduler::st:2834 {2835 done: Set("a", "c", "fat"),2836 errored: Set("huge"),2837 estimate: 4900,2838 externalKills: 2,2839 mode: Parallel,2840 solo: [],2841 todo: Set("b"),2842 workers:2843 Map(2844 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2845 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2846 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2847 )2848 },2849 main::scheduler::wasFinished: false2850}28512852[State 135]2853{2854 main::scheduler::st:2855 {2856 done: Set("a", "c", "fat"),2857 errored: Set("huge"),2858 estimate: 4900,2859 externalKills: 2,2860 mode: Parallel,2861 solo: [],2862 todo: Set("b"),2863 workers:2864 Map(2865 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2866 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2867 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2868 )2869 },2870 main::scheduler::wasFinished: false2871}28722873[State 136]2874{2875 main::scheduler::st:2876 {2877 done: Set("a", "c", "fat"),2878 errored: Set("huge"),2879 estimate: 4900,2880 externalKills: 2,2881 mode: Parallel,2882 solo: [],2883 todo: Set("b"),2884 workers:2885 Map(2886 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2887 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2888 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2889 )2890 },2891 main::scheduler::wasFinished: false2892}28932894[State 137]2895{2896 main::scheduler::st:2897 {2898 done: Set("a", "c", "fat"),2899 errored: Set("huge"),2900 estimate: 4900,2901 externalKills: 2,2902 mode: Parallel,2903 solo: [],2904 todo: Set("b"),2905 workers:2906 Map(2907 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2908 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2909 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2910 )2911 },2912 main::scheduler::wasFinished: false2913}29142915[State 138]2916{2917 main::scheduler::st:2918 {2919 done: Set("a", "c", "fat"),2920 errored: Set("huge"),2921 estimate: 4900,2922 externalKills: 2,2923 mode: Parallel,2924 solo: [],2925 todo: Set("b"),2926 workers:2927 Map(2928 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2929 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2930 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2931 )2932 },2933 main::scheduler::wasFinished: false2934}29352936[State 139]2937{2938 main::scheduler::st:2939 {2940 done: Set("a", "c", "fat"),2941 errored: Set("huge"),2942 estimate: 4900,2943 externalKills: 2,2944 mode: Parallel,2945 solo: [],2946 todo: Set("b"),2947 workers:2948 Map(2949 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2950 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2951 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2952 )2953 },2954 main::scheduler::wasFinished: false2955}29562957[State 140]2958{2959 main::scheduler::st:2960 {2961 done: Set("a", "c", "fat"),2962 errored: Set("huge"),2963 estimate: 4900,2964 externalKills: 2,2965 mode: Parallel,2966 solo: [],2967 todo: Set("b"),2968 workers:2969 Map(2970 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2971 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2972 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2973 )2974 },2975 main::scheduler::wasFinished: false2976}29772978[State 141]2979{2980 main::scheduler::st:2981 {2982 done: Set("a", "c", "fat"),2983 errored: Set("huge"),2984 estimate: 4900,2985 externalKills: 2,2986 mode: Parallel,2987 solo: [],2988 todo: Set("b"),2989 workers:2990 Map(2991 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },2992 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },2993 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }2994 )2995 },2996 main::scheduler::wasFinished: false2997}29982999[State 142]3000{3001 main::scheduler::st:3002 {3003 done: Set("a", "c", "fat"),3004 errored: Set("huge"),3005 estimate: 4900,3006 externalKills: 2,3007 mode: Parallel,3008 solo: [],3009 todo: Set("b"),3010 workers:3011 Map(3012 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3013 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3014 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3015 )3016 },3017 main::scheduler::wasFinished: false3018}30193020[State 143]3021{3022 main::scheduler::st:3023 {3024 done: Set("a", "c", "fat"),3025 errored: Set("huge"),3026 estimate: 4900,3027 externalKills: 2,3028 mode: Parallel,3029 solo: [],3030 todo: Set("b"),3031 workers:3032 Map(3033 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3034 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3035 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3036 )3037 },3038 main::scheduler::wasFinished: false3039}30403041[State 144]3042{3043 main::scheduler::st:3044 {3045 done: Set("a", "c", "fat"),3046 errored: Set("huge"),3047 estimate: 4900,3048 externalKills: 2,3049 mode: Parallel,3050 solo: [],3051 todo: Set("b"),3052 workers:3053 Map(3054 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3055 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3056 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3057 )3058 },3059 main::scheduler::wasFinished: false3060}30613062[State 145]3063{3064 main::scheduler::st:3065 {3066 done: Set("a", "c", "fat"),3067 errored: Set("huge"),3068 estimate: 4900,3069 externalKills: 2,3070 mode: Parallel,3071 solo: [],3072 todo: Set("b"),3073 workers:3074 Map(3075 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3076 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3077 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3078 )3079 },3080 main::scheduler::wasFinished: false3081}30823083[State 146]3084{3085 main::scheduler::st:3086 {3087 done: Set("a", "c", "fat"),3088 errored: Set("huge"),3089 estimate: 4900,3090 externalKills: 2,3091 mode: Parallel,3092 solo: [],3093 todo: Set("b"),3094 workers:3095 Map(3096 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3097 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3098 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3099 )3100 },3101 main::scheduler::wasFinished: false3102}31033104[State 147]3105{3106 main::scheduler::st:3107 {3108 done: Set("a", "c", "fat"),3109 errored: Set("huge"),3110 estimate: 4900,3111 externalKills: 2,3112 mode: Parallel,3113 solo: [],3114 todo: Set("b"),3115 workers:3116 Map(3117 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3118 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3119 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3120 )3121 },3122 main::scheduler::wasFinished: false3123}31243125[State 148]3126{3127 main::scheduler::st:3128 {3129 done: Set("a", "c", "fat"),3130 errored: Set("huge"),3131 estimate: 4900,3132 externalKills: 2,3133 mode: Parallel,3134 solo: [],3135 todo: Set("b"),3136 workers:3137 Map(3138 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3139 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3140 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3141 )3142 },3143 main::scheduler::wasFinished: false3144}31453146[State 149]3147{3148 main::scheduler::st:3149 {3150 done: Set("a", "c", "fat"),3151 errored: Set("huge"),3152 estimate: 4900,3153 externalKills: 2,3154 mode: Parallel,3155 solo: [],3156 todo: Set("b"),3157 workers:3158 Map(3159 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3160 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3161 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3162 )3163 },3164 main::scheduler::wasFinished: false3165}31663167[State 150]3168{3169 main::scheduler::st:3170 {3171 done: Set("a", "c", "fat"),3172 errored: Set("huge"),3173 estimate: 4900,3174 externalKills: 2,3175 mode: Parallel,3176 solo: [],3177 todo: Set("b"),3178 workers:3179 Map(3180 0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },3181 1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },3182 2 -> { heap: 700, job: "", phase: Idle, rss: 700, startRss: 0 }3183 )3184 },3185 main::scheduler::wasFinished: false3186}31873188[ok] No violation found (1505ms at 1329 traces/second).3189Trace length statistics: max=151, min=54, average=116.533190You may increase --max-samples and --max-steps.3191Use --verbosity to produce more (or less) output.3192Use --seed=0x37ba573d03e75d4e --backend=rust to reproduce.31933194 noOomKiller3195 noOomKiller::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::terminatesTest [■ ] 2% | ETA: 4s | 5/200 samples | 51 samples/s noOomKiller::scheduler::terminatesTest [■■ ] 4% | ETA: 5s | 9/200 samples | 46 samples/s noOomKiller::scheduler::terminatesTest [■■■ ] 6% | ETA: 5s | 13/200 samples | 44 samples/s noOomKiller::scheduler::terminatesTest [■■■ ] 8% | ETA: 5s | 17/200 samples | 42 samples/s noOomKiller::scheduler::terminatesTest [■■■■ ] 10% | ETA: 5s | 21/200 samples | 43 samples/s noOomKiller::scheduler::terminatesTest [■■■■■ ] 12% | ETA: 5s | 25/200 samples | 42 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■ ] 14% | ETA: 5s | 29/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■ ] 16% | ETA: 5s | 33/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■ ] 18% | ETA: 4s | 37/200 samples | 42 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■ ] 20% | ETA: 5s | 41/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■ ] 22% | ETA: 4s | 45/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■ ] 24% | ETA: 4s | 49/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■ ] 26% | ETA: 4s | 53/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■ ] 28% | ETA: 4s | 58/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■ ] 31% | ETA: 4s | 62/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■ ] 33% | ETA: 4s | 66/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■ ] 35% | ETA: 3s | 71/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■ ] 37% | ETA: 3s | 75/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■ ] 39% | ETA: 3s | 79/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 3s | 84/200 samples | 42 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 88/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 92/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 96/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 3s | 100/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 104/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 3s | 108/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 3s | 112/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 57% | ETA: 3s | 116/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 3s | 120/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 124/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 2s | 128/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 132/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 136/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 140/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 2s | 143/200 samples | 40 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 2s | 148/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 152/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 1s | 156/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 162/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 166/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 170/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 174/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 178/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 183/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 187/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 191/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 41 samples/s noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■ ] 2% | ETA: 5s | 4/200 samples | 47 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■ ] 4% | ETA: 5s | 9/200 samples | 45 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■ ] 6% | ETA: 5s | 12/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■ ] 8% | ETA: 5s | 16/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■ ] 10% | ETA: 5s | 20/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■ ] 12% | ETA: 5s | 24/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■ ] 14% | ETA: 5s | 29/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■ ] 16% | ETA: 4s | 33/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■ ] 18% | ETA: 5s | 37/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■ ] 20% | ETA: 5s | 41/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■ ] 23% | ETA: 4s | 46/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■ ] 25% | ETA: 4s | 50/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■ ] 27% | ETA: 4s | 54/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■ ] 28% | ETA: 4s | 58/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■ ] 32% | ETA: 3s | 64/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■ ] 34% | ETA: 3s | 68/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■ ] 36% | ETA: 3s | 72/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■ ] 38% | ETA: 3s | 77/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■ ] 40% | ETA: 3s | 81/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■ ] 42% | ETA: 4s | 84/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 88/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 93/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 96/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 3s | 100/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■ ] 52% | ETA: 3s | 105/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■ ] 54% | ETA: 3s | 109/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 3s | 113/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 58% | ETA: 3s | 117/200 samples | 42 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 60% | ETA: 3s | 121/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■ ] 62% | ETA: 2s | 125/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 64% | ETA: 2s | 129/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 66% | ETA: 2s | 133/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 68% | ETA: 2s | 137/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 70% | ETA: 2s | 141/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 72% | ETA: 2s | 145/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 74% | ETA: 2s | 149/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 76% | ETA: 2s | 153/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 79% | ETA: 1s | 158/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 81% | ETA: 1s | 162/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 83% | ETA: 1s | 166/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 85% | ETA: 1s | 170/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 87% | ETA: 1s | 174/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 89% | ETA: 1s | 178/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 182/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 187/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 191/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 199/200 samples | 41 samples/s noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 41 samples/s ok noOomKiller::scheduler::terminatesTest passed 200 test(s)3196 ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)31973198 2 passing (9822ms)31993200 main3201 main::scheduler::terminatesTest [ ] 0% | ETA: 0s | 0/200 samples | 0 samples/s main::scheduler::terminatesTest [■ ] 2% | ETA: 4s | 4/200 samples | 49 samples/s main::scheduler::terminatesTest [■■ ] 4% | ETA: 5s | 8/200 samples | 43 samples/s main::scheduler::terminatesTest [■■ ] 6% | ETA: 5s | 12/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■ ] 8% | ETA: 5s | 17/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■ ] 10% | ETA: 5s | 21/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■ ] 12% | ETA: 5s | 25/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■ ] 14% | ETA: 5s | 29/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■ ] 16% | ETA: 4s | 33/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■ ] 18% | ETA: 4s | 37/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■ ] 21% | ETA: 4s | 42/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■ ] 23% | ETA: 4s | 47/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 | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■ ] 35% | ETA: 4s | 71/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■ ] 37% | ETA: 4s | 75/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■ ] 39% | ETA: 4s | 79/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■ ] 41% | ETA: 3s | 83/200 samples | 41 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■ ] 44% | ETA: 3s | 88/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 46% | ETA: 3s | 93/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■ ] 48% | ETA: 3s | 97/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■ ] 50% | ETA: 3s | 101/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■ ] 53% | ETA: 3s | 106/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■ ] 55% | ETA: 3s | 110/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■ ] 56% | ETA: 3s | 114/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■ ] 59% | ETA: 2s | 119/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 | 133/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 69% | ETA: 2s | 138/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 71% | ETA: 2s | 142/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 73% | ETA: 2s | 146/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 75% | ETA: 2s | 150/200 samples | 42 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 78% | ETA: 1s | 156/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 80% | ETA: 1s | 160/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 82% | ETA: 1s | 164/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 84% | ETA: 1s | 169/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 86% | ETA: 1s | 173/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 88% | ETA: 1s | 177/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 91% | ETA: 1s | 182/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 93% | ETA: 1s | 186/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 95% | ETA: 1s | 191/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 199/200 samples | 43 samples/s main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 43 samples/s ok main::scheduler::terminatesTest passed 200 test(s)32023203 1 passing (4725ms)