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