(1,20) (2,19) (3,11) (5,14) (6,12) (10,16) 
nodes: 676  conflicts: 30  modelTime: 589  solveTime: 692  totalTime: 1286  modelSize: 20646  readTime: 5 size: 6