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