(1,23) (2,20) (3,24) (5,17) (6,27) (7,16) (8,28) (9,18) (10,22) (11,21) (12,26) (13,19) (14,29) (15,25) 
nodes: 7607  conflicts: 45  modelTime: 655  solveTime: 11678  totalTime: 12340  modelSize: 41293  readTime: 7 size: 14