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