(1,18) (3,19) (4,12) (5,11) (6,20) (8,17) (9,15) (10,13) 
nodes: 336  conflicts: 32  modelTime: 687  solveTime: 588  totalTime: 1281  modelSize: 20646  readTime: 6 size: 8