(1,17) (2,18) (3,16) (4,20) (5,19) (6,14) (7,11) (8,12) (9,13) (10,15) 
nodes: 902  conflicts: 6  modelTime: 587  solveTime: 990  totalTime: 1581  modelSize: 20646  readTime: 4 size: 10