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