(1,28) (3,24) (6,29) (7,22) (8,27) (9,17) (11,21) (12,25) (13,19) (14,18) (15,20) 
nodes: 1503  conflicts: 51  modelTime: 666  solveTime: 1904  totalTime: 2576  modelSize: 41292  readTime: 6 size: 11