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