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