(1,22) (2,21) (3,26) (4,25) (5,12) (6,16) (7,14) (8,17) (9,15) (10,24) (11,13) (20,30) (23,27) (28,29) 
nodes: 46456  conflicts: 66  modelTime: 1045  solveTime: 100426  totalTime: 101482  modelSize: 72265  readTime: 11 size: 14