(1,24) (2,28) (4,25) (5,30) (6,16) (7,17) (8,19) (9,21) (10,22) (12,18) (13,23) (15,20) 
nodes: 548  conflicts: 76  modelTime: 659  solveTime: 894  totalTime: 1559  modelSize: 41293  readTime: 6 size: 12