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