(1,21) (2,16) (3,17) (4,29) (5,20) (6,22) (7,28) (8,26) (9,27) (10,23) (11,30) (12,18) (14,24) (15,19) 
nodes: 1824  conflicts: 33  modelTime: 1186  solveTime: 3961  totalTime: 5157  modelSize: 41292  readTime: 10 size: 14