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