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