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