(1,15) (3,20) (6,16) (8,18) (9,12) (10,13) 
nodes: 272  conflicts: 40  modelTime: 689  solveTime: 388  totalTime: 1083  modelSize: 20646  readTime: 6 size: 6