(1,28) (2,30) (3,20) (4,27) (5,16) (6,29) (7,17) (8,18) (9,24) (10,19) (12,21) (13,23) (14,22) (15,25) 
nodes: 5228  conflicts: 18  modelTime: 1187  solveTime: 15438  totalTime: 16635  modelSize: 41293  readTime: 9 size: 14