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