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