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