(1,20) (3,12) (4,11) (6,15) (8,18) (10,16) 
nodes: 108  conflicts: 37  modelTime: 674  solveTime: 284  totalTime: 963  modelSize: 20646  readTime: 5 size: 6