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