(1,21) (2,27) (3,29) (4,24) (5,25) (6,7) (8,23) (9,11) (10,14) (12,20) (13,22) (15,16) (19,26) 
nodes: 759  conflicts: 77  modelTime: 929  solveTime: 2585  totalTime: 3525  modelSize: 72262  readTime: 11 size: 13