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