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