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