(1,17) (2,20) (3,16) (4,21) (7,18) (9,24) (10,26) (13,28) (14,22) (15,27) 
nodes: 751  conflicts: 62  modelTime: 661  solveTime: 1363  totalTime: 2030  modelSize: 41293  readTime: 6 size: 10