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