(1,17) (2,16) (4,23) (5,19) (6,30) (7,20) (8,21) (9,28) (10,22) (12,24) (13,25) (14,27) (15,18) 
nodes: 1704  conflicts: 49  modelTime: 659  solveTime: 1860  totalTime: 2525  modelSize: 41299  readTime: 6 size: 13