(2,14) (4,16) (5,19) (6,15) (8,13) (10,12) 
nodes: 548  conflicts: 36  modelTime: 714  solveTime: 783  totalTime: 1502  modelSize: 20646  readTime: 5 size: 6