(1,20) (2,25) (3,21) (5,16) (6,29) (8,28) (10,19) (13,30) (14,18) (15,23) 
nodes: 677  conflicts: 56  modelTime: 660  solveTime: 891  totalTime: 1558  modelSize: 41293  readTime: 7 size: 10