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