(1,24) (2,17) (3,18) (4,16) (5,20) (6,26) (8,21) (9,19) (10,23) (11,28) (12,22) (13,27) (14,29) (15,25) 
nodes: 1637  conflicts: 35  modelTime: 668  solveTime: 2519  totalTime: 3193  modelSize: 41299  readTime: 6 size: 14