(1,27) (2,19) (3,28) (4,21) (5,20) (6,16) (7,29) (9,17) (10,25) (11,24) (12,30) (13,26) (14,23) (15,22) 
nodes: 23037  conflicts: 27  modelTime: 1186  solveTime: 69833  totalTime: 71029  modelSize: 41292  readTime: 9 size: 14