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