(1,19) (2,16) (3,18) (5,13) (7,17) (9,11) (10,12) 
nodes: 148  conflicts: 20  modelTime: 764  solveTime: 405  totalTime: 1174  modelSize: 20658  readTime: 5 size: 7