(1,22) (2,28) (3,8) (4,15) (5,16) (6,29) (7,12) (9,19) (10,21) (11,30) (13,23) (14,26) (17,20) (24,25) 
nodes: 23010  conflicts: 44  modelTime: 1730  solveTime: 84355  totalTime: 86104  modelSize: 72266  readTime: 19 size: 14