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