(1,22) (2,25) (3,16) (4,15) (5,28) (6,26) (7,21) (8,19) (10,23) (11,24) (12,30) (14,18) (17,27) (20,29) 
nodes: 86752  conflicts: 45  modelTime: 978  solveTime: 344602  totalTime: 345592  modelSize: 72267  readTime: 11 size: 14