block 1: Biology French Religion Music History 
block 2: PhysEd Drama Music Maths History 
block 3: Art Geography English Politics History 
block 4: PhysEd CompSci English Maths Politics 
block 5: Art English Politics Chemistry Physics 
block 6: Biology Latin Spanish Maths Politics 
block 7: Chemistry Physics 

number of taught subjects: 32 

----------
%%  runtime:       0.074 (74.000 ms)
%%  solvetime:     0.005 (5.000 ms)
%%  solutions:     1
%%  variables:     3857
%%  propagators:   6822
%%  propagations:  19229
%%  nodes:         246
%%  failures:      0
%%  restarts:      0
%%  peak depth:    245