(1,27) (2,18) (3,19) (4,24) (5,22) (6,17) (7,16) (8,20) (9,30) (13,25) (14,26) (15,28) 
nodes: 1215  conflicts: 45  modelTime: 661  solveTime: 1508  totalTime: 2175  modelSize: 41292  readTime: 6 size: 12