(1,16) (2,29) (3,20) (4,18) (5,28) (6,25) (7,26) (8,30) (9,27) (10,24) (11,17) (13,23) (14,21) (15,22) 
nodes: 18972  conflicts: 27  modelTime: 664  solveTime: 54225  totalTime: 54896  modelSize: 41292  readTime: 7 size: 14