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