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