(1,29) (2,22) (3,27) (4,21) (5,9) (6,11) (7,20) (8,14) (10,24) (12,25) (13,26) (15,30) (16,19) (17,23) (18,28) 
nodes: 48169  conflicts: 17  modelTime: 1714  solveTime: 236603  totalTime: 238372  modelSize: 72285  readTime: 55 size: 15