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