(1,27) (2,26) (3,19) (4,18) (5,23) (6,25) (7,20) (8,22) (9,12) (10,15) (11,30) (13,29) (14,16) (17,28) (21,24) 
nodes: 28688  conflicts: 45  modelTime: 1727  solveTime: 129535  totalTime: 131281  modelSize: 72266  readTime: 19 size: 15