(1,27) (2,21) (3,22) (5,19) (6,17) (7,28) (8,29) (9,20) (10,24) (11,18) (12,26) (13,25) (14,16) (15,30) 
nodes: 1669  conflicts: 12  modelTime: 660  solveTime: 2190  totalTime: 2855  modelSize: 41292  readTime: 5 size: 14