(2,19) (3,28) (5,20) (6,26) (7,27) (10,17) (12,29) (13,30) (14,18) (15,21) 
nodes: 519  conflicts: 73  modelTime: 661  solveTime: 540  totalTime: 1208  modelSize: 41300  readTime: 7 size: 10