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