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