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