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