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

number of taught subjects: 56 

----------
%%  runtime:       1.200 (1200.000 ms)
%%  solvetime:     0.588 (588.000 ms)
%%  solutions:     1
%%  variables:     36178
%%  propagators:   67412
%%  propagations:  191096
%%  nodes:         2473
%%  failures:      0
%%  restarts:      0
%%  peak depth:    2472