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