(3,19) (4,30) (5,27) (6,28) (7,18) (8,26) (10,29) (12,24) (13,21) (14,22) (15,17) 
nodes: 839  conflicts: 64  modelTime: 803  solveTime: 1365  totalTime: 2175  modelSize: 41292  readTime: 7 size: 11