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