(1,27) (2,11) (3,22) (4,23) (5,28) (6,21) (7,19) (8,14) (9,29) (10,26) (12,30) (13,25) (15,18) (16,20) (17,24) 
nodes: 1267  conflicts: 1  modelTime: 1698  solveTime: 5346  totalTime: 7057  modelSize: 72338  readTime: 13 size: 15