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