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