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