(1,28) (2,24) (3,21) (4,19) (5,30) (6,16) (7,17) (9,18) (10,20) (11,25) (12,26) (13,29) (14,22) (15,27) 
nodes: 618  conflicts: 61  modelTime: 658  solveTime: 1188  totalTime: 1852  modelSize: 41292  readTime: 6 size: 14