(1,17) (2,25) (3,20) (4,21) (5,30) (7,18) (9,28) (10,23) (11,19) (13,22) (14,16) 
nodes: 1285  conflicts: 76  modelTime: 666  solveTime: 1436  totalTime: 2109  modelSize: 41300  readTime: 7 size: 11