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