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