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