(1,16) (2,15) (3,8) (4,25) (5,20) (6,19) (7,29) (9,17) (10,21) (11,12) (13,28) (14,26) (22,24) 
nodes: 2611  conflicts: 67  modelTime: 930  solveTime: 6049  totalTime: 6991  modelSize: 72262  readTime: 11 size: 13