(1,24) (2,17) (3,4) (5,12) (6,10) (7,13) (8,16) (9,28) (11,30) (14,21) (15,26) (20,25) (22,27) (23,29) 
nodes: 41976  conflicts: 54  modelTime: 1728  solveTime: 192104  totalTime: 193850  modelSize: 72267  readTime: 18 size: 14