(1,17) (2,28) (4,30) (6,19) (7,16) (8,29) (9,21) (11,22) (12,18) (13,25) (14,27) (15,24) 
nodes: 2565  conflicts: 66  modelTime: 659  solveTime: 3276  totalTime: 3941  modelSize: 41292  readTime: 6 size: 12