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