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