(1,26) (2,21) (3,23) (5,16) (6,17) (7,22) (10,30) (11,29) (12,28) (13,20) (14,24) (15,25) 
nodes: 1436  conflicts: 83  modelTime: 664  solveTime: 1617  totalTime: 2287  modelSize: 41292  readTime: 6 size: 12