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