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