(1,27) (3,21) (4,24) (5,17) (6,19) (7,16) (9,30) (10,23) (12,25) (13,22) (14,28) (15,29) 
nodes: 1277  conflicts: 35  modelTime: 657  solveTime: 2198  totalTime: 2862  modelSize: 41292  readTime: 7 size: 12