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