(1,18) (2,10) (3,8) (4,25) (5,26) (6,14) (7,12) (9,13) (11,15) (16,21) (17,22) (19,30) (20,23) (24,29) (27,28) 
nodes: 65215  conflicts: 49  modelTime: 1705  solveTime: 264777  totalTime: 266501  modelSize: 72266  readTime: 19 size: 15