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