(1,21) (2,17) (3,29) (4,20) (5,23) (6,16) (7,22) (10,18) (12,25) (13,24) (14,30) (15,19) 
nodes: 1681  conflicts: 57  modelTime: 656  solveTime: 1883  totalTime: 2546  modelSize: 41292  readTime: 7 size: 12