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