(1,3) (2,22) (4,28) (5,12) (7,16) (8,21) (9,26) (11,25) (13,27) (14,19) (15,30) (17,20) (18,29) (23,24) 
nodes: 13544  conflicts: 53  modelTime: 1716  solveTime: 48225  totalTime: 49961  modelSize: 72263  readTime: 20 size: 14