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