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