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