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