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