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

number of taught subjects: 55 

----------
%%  runtime:       4.972 (4972.000 ms)
%%  solvetime:     3.757 (3757.000 ms)
%%  solutions:     1
%%  variables:     72246
%%  propagators:   135048
%%  propagations:  369314
%%  nodes:         5011
%%  failures:      0
%%  restarts:      0
%%  peak depth:    5010