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