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