(1,15) (2,19) (3,11) (4,16) (5,17) (6,20) (7,14) (8,12) (9,13) (10,18) 
nodes: 428  conflicts: 13  modelTime: 701  solveTime: 807  totalTime: 1513  modelSize: 20658  readTime: 5 size: 10