Running... [                                        ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/2000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 28s | 10/2000 samples | 73 samples/sRunning... [■                                       ] 3% | ETA: 8s | 61/2000 samples | 256 samples/sRunning... [■■                                      ] 3% | ETA: 9s | 77/2000 samples | 226 samples/sRunning... [■■■                                     ] 7% | ETA: 6s | 153/2000 samples | 347 samples/sRunning... [■■■■■                                   ] 12% | ETA: 4s | 252/2000 samples | 465 samples/sRunning... [■■■■■■■                                 ] 18% | ETA: 3s | 363/2000 samples | 565 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 3s | 462/2000 samples | 623 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 3s | 564/2000 samples | 669 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 2s | 670/2000 samples | 710 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 38% | ETA: 2s | 775/2000 samples | 742 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 2s | 873/2000 samples | 762 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 2s | 972/2000 samples | 779 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 1s | 1075/2000 samples | 798 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 1s | 1170/2000 samples | 808 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 1s | 1263/2000 samples | 815 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 1s | 1358/2000 samples | 823 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 1s | 1460/2000 samples | 833 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 1s | 1561/2000 samples | 842 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 1s | 1657/2000 samples | 848 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 1s | 1743/2000 samples | 849 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 1s | 1815/2000 samples | 843 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 1s | 1891/2000 samples | 839 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 1955/2000 samples | 831 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 1988/2000 samples | 810 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 1988/2000 samples | 810 samples/sAn example execution:

[State 0]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 1]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 2]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 3]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 4]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 5]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 0,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 6]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 1,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 7]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 1,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 8]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 1,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 9]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 1,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 10]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 1,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 11]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 12]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 13]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 14]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 15]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "b", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 16]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "b", phase: Busy, rss: 300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 17]
{
  main::scheduler::st:
    {
      done: Set(),
      errored: Set(),
      estimate: 512,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "b", phase: Busy, rss: 700, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 18]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 501,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat", "huge"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 19]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 501,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 20]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 501,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 21]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 501,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Starting, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 22]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 501,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 23]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 24]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 25]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 26]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 27]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 28]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 29]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 30]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 31]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 32]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 33]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 500, job: "", phase: Idle, rss: 500, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 34]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 35]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 36]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 37]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 38]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 39]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 40]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 41]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 42]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 43]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 44]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 45]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 46]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 47]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 48]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 49]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: ["huge"],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 50]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 51]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "huge", phase: Busy, rss: 300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 52]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Busy, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 53]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 54]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 55]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 56]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 57]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 58]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 59]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set(),
      estimate: 5000,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 ->
            { heap: 300, job: "huge", phase: Killed, rss: 5300, startRss: 300 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 60]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 61]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 62]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 63]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 64]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 65]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 66]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 67]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 68]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 69]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 70]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 71]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 72]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 73]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 74]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 75]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 76]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 77]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 78]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 79]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 80]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "c", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 81]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 82]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 83]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 84]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 85]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 86]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 87]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 88]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 89]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 90]
{
  main::scheduler::st:
    {
      done: Set("b"),
      errored: Set("huge"),
      estimate: 5000,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 300, job: "c", phase: Busy, rss: 1100, startRss: 300 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 91]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 92]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 93]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 94]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a", "fat"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 95]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 96]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 97]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 ->
            { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 98]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 ->
            { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 99]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 ->
            { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 100]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 ->
            { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 101]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 ->
            { heap: 300, job: "fat", phase: Killed, rss: 2300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 102]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Parallel,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          1 -> { heap: 700, job: "", phase: Starting, rss: 700, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 103]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 104]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 105]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 106]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 107]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 108]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 109]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 110]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 111]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 112]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 113]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 114]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 115]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: ["fat"],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 116]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 117]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 118]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 119]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 120]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 121]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 122]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 123]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 124]
{
  main::scheduler::st:
    {
      done: Set("b", "c"),
      errored: Set("huge"),
      estimate: 4900,
      externalKills: 2,
      mode: Solo,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 300, job: "fat", phase: Busy, rss: 2300, startRss: 300 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 125]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 1300, job: "", phase: Starting, rss: 1300, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 126]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 127]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 128]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 129]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 130]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 131]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 132]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 133]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 134]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 135]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 136]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Starting, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 137]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 138]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set("a"),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "", phase: Idle, rss: 300, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 139]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 140]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 141]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "a", phase: Busy, rss: 300, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 142]
{
  main::scheduler::st:
    {
      done: Set("b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4802,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 300, job: "a", phase: Busy, rss: 400, startRss: 300 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 143]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: false
}

[State 144]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 145]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Starting, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 146]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 147]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 148]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Idle, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 149]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Exiting, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[State 150]
{
  main::scheduler::st:
    {
      done: Set("a", "b", "c", "fat"),
      errored: Set("huge"),
      estimate: 4705,
      externalKills: 2,
      mode: Parallel,
      solo: [],
      todo: Set(),
      workers:
        Map(
          0 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          1 -> { heap: 0, job: "", phase: PNone, rss: 0, startRss: 0 },
          2 -> { heap: 350, job: "", phase: Exiting, rss: 350, startRss: 0 }
        )
    },
  main::scheduler::wasFinished: true
}

[ok] No violation found (2582ms at 775 traces/second).
Trace length statistics: max=151, min=55, average=113.72
You may increase --max-samples and --max-steps.
Use --verbosity to produce more (or less) output.
Use --seed=0x6cbe65a41fc18328 --backend=rust to reproduce.

  noOomKiller
     noOomKiller::scheduler::terminatesTest [                                        ] 0% | ETA: 0s | 0/200 samples | 0 samples/s     noOomKiller::scheduler::terminatesTest [                                        ] 1% | ETA: 10s | 2/200 samples | 22 samples/s     noOomKiller::scheduler::terminatesTest [■                                       ] 1% | ETA: 11s | 3/200 samples | 19 samples/s     noOomKiller::scheduler::terminatesTest [■                                       ] 2% | ETA: 11s | 5/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■                                       ] 3% | ETA: 11s | 7/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■                                      ] 4% | ETA: 11s | 8/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■                                      ] 5% | ETA: 11s | 11/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■                                      ] 6% | ETA: 11s | 12/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■                                     ] 7% | ETA: 11s | 14/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■                                     ] 8% | ETA: 11s | 16/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■                                    ] 9% | ETA: 10s | 18/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■                                    ] 9% | ETA: 10s | 19/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■                                    ] 10% | ETA: 11s | 21/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■                                   ] 11% | ETA: 11s | 23/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■                                   ] 12% | ETA: 10s | 25/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■                                   ] 13% | ETA: 10s | 26/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■                                  ] 14% | ETA: 10s | 28/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■                                  ] 15% | ETA: 10s | 30/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■                                  ] 15% | ETA: 10s | 31/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■                                 ] 16% | ETA: 10s | 33/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■                                 ] 17% | ETA: 11s | 34/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■                                 ] 18% | ETA: 11s | 36/200 samples | 17 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■                                ] 19% | ETA: 11s | 38/200 samples | 17 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■                                ] 20% | ETA: 10s | 40/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■                                ] 21% | ETA: 9s | 42/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■                               ] 22% | ETA: 9s | 44/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■                               ] 23% | ETA: 9s | 46/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■                               ] 23% | ETA: 8s | 47/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■                              ] 24% | ETA: 9s | 49/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■                              ] 25% | ETA: 9s | 51/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■                              ] 26% | ETA: 9s | 52/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■                             ] 27% | ETA: 9s | 54/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■                             ] 28% | ETA: 9s | 56/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■                            ] 28% | ETA: 9s | 58/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■                            ] 29% | ETA: 9s | 59/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■                            ] 30% | ETA: 8s | 61/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 31% | ETA: 8s | 63/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 32% | ETA: 7s | 65/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 33% | ETA: 8s | 67/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■                          ] 34% | ETA: 8s | 69/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■                          ] 35% | ETA: 7s | 71/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■                          ] 36% | ETA: 8s | 72/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■                         ] 37% | ETA: 8s | 74/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■                         ] 38% | ETA: 7s | 76/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 7s | 78/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 7s | 80/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 7s | 82/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 6s | 84/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 6s | 85/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 7s | 87/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 7s | 89/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 7s | 91/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 6s | 93/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 6s | 95/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 6s | 97/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 6s | 98/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 6s | 100/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■                    ] 51% | ETA: 6s | 102/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 6s | 103/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 6s | 105/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 6s | 107/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 6s | 109/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 6s | 111/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 56% | ETA: 6s | 112/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 5s | 114/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 5s | 116/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 5s | 118/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 5s | 120/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 5s | 122/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 61% | ETA: 5s | 123/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 5s | 125/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 4s | 127/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 4s | 129/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 4s | 131/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 4s | 133/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 4s | 135/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 4s | 136/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 4s | 138/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 4s | 139/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 4s | 141/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 71% | ETA: 4s | 143/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 4s | 145/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 4s | 146/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 4s | 148/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 3s | 150/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 3s | 151/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 3s | 153/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 3s | 154/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 3s | 156/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 3s | 158/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 3s | 160/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 81% | ETA: 2s | 162/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 2s | 164/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 2s | 166/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 2s | 168/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 2s | 170/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 86% | ETA: 2s | 172/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 2s | 174/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 2s | 176/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 178/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 180/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 1s | 181/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 91% | ETA: 1s | 183/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 1s | 185/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 1s | 187/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 190/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 96% | ETA: 1s | 192/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 193/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 197/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 199/200 samples | 18 samples/s     noOomKiller::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 18 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [                                        ] 0% | ETA: 0s | 0/200 samples | 0 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [                                        ] 1% | ETA: 8s | 2/200 samples | 28 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■                                       ] 2% | ETA: 10s | 4/200 samples | 22 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■                                       ] 3% | ETA: 10s | 6/200 samples | 21 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■                                      ] 4% | ETA: 10s | 8/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■                                      ] 5% | ETA: 10s | 10/200 samples | 21 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■                                      ] 6% | ETA: 10s | 12/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■                                     ] 6% | ETA: 10s | 13/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■                                     ] 7% | ETA: 10s | 15/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■                                     ] 8% | ETA: 10s | 17/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■                                    ] 9% | ETA: 10s | 19/200 samples | 20 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■                                    ] 10% | ETA: 10s | 21/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■                                   ] 11% | ETA: 10s | 23/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■                                   ] 12% | ETA: 10s | 25/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■                                   ] 13% | ETA: 10s | 27/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■                                  ] 14% | ETA: 10s | 29/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■                                  ] 15% | ETA: 9s | 31/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■                                 ] 16% | ETA: 9s | 33/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■                                 ] 17% | ETA: 9s | 34/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■                                 ] 18% | ETA: 9s | 36/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■                                ] 19% | ETA: 9s | 38/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■                                ] 20% | ETA: 9s | 40/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■                                ] 21% | ETA: 9s | 42/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■                               ] 22% | ETA: 9s | 44/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■                               ] 23% | ETA: 8s | 46/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■                              ] 24% | ETA: 8s | 48/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■                              ] 24% | ETA: 9s | 49/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■                              ] 25% | ETA: 9s | 51/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■                             ] 26% | ETA: 8s | 53/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■                             ] 27% | ETA: 8s | 55/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■                             ] 28% | ETA: 8s | 57/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■                            ] 29% | ETA: 8s | 59/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■                            ] 30% | ETA: 8s | 61/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■                           ] 31% | ETA: 8s | 63/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■                           ] 32% | ETA: 8s | 64/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■                           ] 33% | ETA: 8s | 66/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■                          ] 34% | ETA: 8s | 68/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■                          ] 35% | ETA: 8s | 70/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■                          ] 35% | ETA: 8s | 71/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■                         ] 36% | ETA: 8s | 73/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■                         ] 37% | ETA: 8s | 75/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■                         ] 38% | ETA: 7s | 77/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 7s | 79/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 7s | 81/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 7s | 82/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 7s | 84/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 7s | 86/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 7s | 87/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 7s | 89/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 7s | 90/200 samples | 18 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■                      ] 46% | ETA: 7s | 92/200 samples | 18 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 7s | 94/200 samples | 18 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 7s | 96/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 6s | 98/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 5s | 100/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■                    ] 51% | ETA: 6s | 102/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 6s | 103/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 6s | 105/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 5s | 108/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 5s | 110/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 5s | 111/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 5s | 113/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 5s | 115/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 5s | 117/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 59% | ETA: 5s | 119/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 5s | 120/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 5s | 122/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 5s | 124/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 5s | 126/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 4s | 128/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 4s | 130/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 66% | ETA: 4s | 132/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 66% | ETA: 4s | 133/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 4s | 135/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 4s | 137/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 4s | 139/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 4s | 141/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 71% | ETA: 3s | 143/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 3s | 145/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 3s | 147/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 3s | 149/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 3s | 151/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 3s | 153/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 3s | 155/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 3s | 157/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 3s | 159/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 3s | 161/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 2s | 163/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 2s | 165/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 2s | 167/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 2s | 169/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 2s | 170/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 86% | ETA: 2s | 172/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 2s | 174/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 2s | 176/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 178/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 180/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 91% | ETA: 1s | 182/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 1s | 184/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 1s | 186/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 1s | 187/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 1s | 189/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 191/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 193/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 194/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 196/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 198/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 19 samples/s     noOomKiller::scheduler::onlyHugeErrorsTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 19 samples/s    ok noOomKiller::scheduler::terminatesTest passed 200 test(s)
    ok noOomKiller::scheduler::onlyHugeErrorsTest passed 200 test(s)

  2 passing (21902ms)

  main
     main::scheduler::terminatesTest [                                        ] 0% | ETA: 0s | 0/200 samples | 0 samples/s     main::scheduler::terminatesTest [                                        ] 1% | ETA: 7s | 2/200 samples | 29 samples/s     main::scheduler::terminatesTest [■                                       ] 2% | ETA: 9s | 4/200 samples | 23 samples/s     main::scheduler::terminatesTest [■                                       ] 3% | ETA: 9s | 6/200 samples | 22 samples/s     main::scheduler::terminatesTest [■■                                      ] 4% | ETA: 9s | 8/200 samples | 22 samples/s     main::scheduler::terminatesTest [■■                                      ] 5% | ETA: 10s | 10/200 samples | 22 samples/s     main::scheduler::terminatesTest [■■                                      ] 6% | ETA: 10s | 12/200 samples | 21 samples/s     main::scheduler::terminatesTest [■■■                                     ] 7% | ETA: 10s | 14/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■                                     ] 8% | ETA: 10s | 16/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■                                    ] 9% | ETA: 10s | 18/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■                                    ] 10% | ETA: 10s | 20/200 samples | 21 samples/s     main::scheduler::terminatesTest [■■■■                                    ] 11% | ETA: 9s | 22/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■                                   ] 12% | ETA: 9s | 24/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■                                   ] 13% | ETA: 9s | 26/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■                                  ] 14% | ETA: 9s | 28/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■                                  ] 15% | ETA: 9s | 30/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■                                  ] 16% | ETA: 9s | 32/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■                                 ] 17% | ETA: 9s | 34/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■                                 ] 18% | ETA: 9s | 36/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■                                ] 19% | ETA: 9s | 38/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■                                ] 20% | ETA: 9s | 40/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■                                ] 21% | ETA: 8s | 42/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■                               ] 22% | ETA: 8s | 44/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■                               ] 23% | ETA: 8s | 46/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■                              ] 24% | ETA: 8s | 48/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■                              ] 25% | ETA: 7s | 51/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■                              ] 26% | ETA: 8s | 52/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■                             ] 27% | ETA: 8s | 54/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■                             ] 28% | ETA: 8s | 56/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■                            ] 29% | ETA: 7s | 59/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■                            ] 30% | ETA: 7s | 61/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 31% | ETA: 7s | 63/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 32% | ETA: 7s | 64/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■                           ] 33% | ETA: 7s | 66/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■                          ] 34% | ETA: 7s | 69/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■                          ] 35% | ETA: 7s | 71/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■                         ] 36% | ETA: 7s | 73/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■                         ] 37% | ETA: 6s | 75/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■                         ] 38% | ETA: 6s | 77/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 6s | 79/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 6s | 81/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 6s | 83/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 6s | 86/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 6s | 88/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 6s | 90/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■                      ] 46% | ETA: 6s | 92/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 6s | 94/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 6s | 95/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 6s | 97/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 6s | 99/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 6s | 101/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 5s | 103/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 5s | 105/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 5s | 108/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 5s | 110/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 5s | 111/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 5s | 113/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 5s | 115/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■                 ] 58% | ETA: 5s | 117/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 60% | ETA: 4s | 120/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■                ] 61% | ETA: 4s | 122/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 62% | ETA: 4s | 124/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■               ] 63% | ETA: 4s | 126/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 64% | ETA: 4s | 128/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 65% | ETA: 4s | 130/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■              ] 66% | ETA: 4s | 132/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 67% | ETA: 4s | 134/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■             ] 68% | ETA: 4s | 136/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 69% | ETA: 4s | 138/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 70% | ETA: 3s | 140/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■            ] 71% | ETA: 3s | 142/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 72% | ETA: 3s | 145/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■           ] 73% | ETA: 3s | 146/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 74% | ETA: 3s | 148/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■          ] 75% | ETA: 3s | 151/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 76% | ETA: 3s | 153/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 77% | ETA: 3s | 154/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■         ] 78% | ETA: 3s | 157/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 79% | ETA: 3s | 159/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■        ] 80% | ETA: 2s | 161/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 81% | ETA: 2s | 163/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 82% | ETA: 2s | 165/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■       ] 83% | ETA: 2s | 167/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 84% | ETA: 2s | 169/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■      ] 85% | ETA: 2s | 171/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 86% | ETA: 2s | 173/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 87% | ETA: 2s | 175/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■     ] 88% | ETA: 2s | 176/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 89% | ETA: 2s | 178/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 90% | ETA: 2s | 180/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■    ] 91% | ETA: 1s | 182/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 92% | ETA: 1s | 184/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■   ] 93% | ETA: 1s | 186/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 94% | ETA: 1s | 188/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■  ] 95% | ETA: 1s | 190/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 96% | ETA: 1s | 193/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 97% | ETA: 1s | 195/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ] 98% | ETA: 1s | 196/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 99% | ETA: 1s | 198/200 samples | 20 samples/s     main::scheduler::terminatesTest [■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■] 100% | ETA: 0s | 200/200 samples | 20 samples/s    ok main::scheduler::terminatesTest passed 200 test(s)

  1 passing (9965ms)