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