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