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