(1,17) (2,18) (3,23) (4,27) (5,26) (6,24) (7,25) (9,28) (10,19) (11,16) (12,20) (13,29) (14,22) (15,21) 
nodes: 2358  conflicts: 41  modelTime: 659  solveTime: 3575  totalTime: 4240  modelSize: 41292  readTime: 6 size: 14