(1,25) (2,27) (3,20) (4,22) (5,18) (6,23) (7,28) (8,29) (10,24) (12,17) (13,30) (14,26) (15,16) 
nodes: 1442  conflicts: 39  modelTime: 660  solveTime: 1960  totalTime: 2626  modelSize: 41293  readTime: 6 size: 13