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