(1,14) (2,20) (3,13) (4,17) (5,29) (6,16) (7,21) (8,24) (9,27) (10,18) (11,22) (12,19) (15,23) (25,28) (26,30) 
nodes: 44526  conflicts: 9  modelTime: 1702  solveTime: 223347  totalTime: 225065  modelSize: 72265  readTime: 16 size: 15