(1,19) (2,18) (4,17) (5,20) (6,11) (7,16) (8,13) (9,12) (10,14) 
nodes: 1051  conflicts: 12  modelTime: 748  solveTime: 1710  totalTime: 2463  modelSize: 20658  readTime: 5 size: 9