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