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