(1,20) (2,23) (3,22) (4,17) (5,24) (6,28) (8,19) (9,26) (10,16) (11,29) (12,18) (13,27) (14,25) (15,21) 
nodes: 2636  conflicts: 11  modelTime: 1186  solveTime: 4439  totalTime: 5634  modelSize: 41293  readTime: 9 size: 14