# stock kernel (X86_64_GENERIC #0, INVARIANTS), serial console capture
# run A (first stock session):
DF2889: INACTIVE queues q=1..1023: 2566 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate (m->queue != queue) passes 2566. q=0: 3 pages, buggy passes 3.
# run B (after reset):
DF2889: INACTIVE queues q=1..1023: 2224 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate passes 2224. q=0: 2 pages, buggy passes 2.
# run C (final stock session):
DF2889: INACTIVE queues q=1..1023: 2009 pages in 1023 nonempty queues; buggy :194 predicate passes 0 (ALL skipped => zero reclaim from colored queues); fixed predicate (m->queue != queue) passes 2009. q=0: 2 pages, buggy passes 2.
# (identical result on the fix kernel: 7325/7325 - the queue data is kernel-state, not fix-dependent)
