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