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