(2,24) (3,20) (4,23) (5,30) (6,27) (7,25) (8,17) (9,29) (10,28) (13,21) (14,16) (15,19) 
nodes: 2768  conflicts: 59  modelTime: 656  solveTime: 4059  totalTime: 4723  modelSize: 41292  readTime: 7 size: 12