(1,20) (3,14) (4,16) (6,12) (9,18) 
nodes: 508  conflicts: 49  modelTime: 767  solveTime: 710  totalTime: 1483  modelSize: 20646  readTime: 6 size: 5