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