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