(1,25) (2,23) (3,18) (4,21) (5,24) (6,17) (8,20) (9,28) (10,30) (11,22) (13,27) (14,26) (15,29) 
nodes: 575  conflicts: 48  modelTime: 670  solveTime: 741  totalTime: 1417  modelSize: 41292  readTime: 6 size: 13