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