(2,18) (3,12) (4,17) (5,14) (6,11) (7,13) (8,15) (9,19) (10,20) 
nodes: 533  conflicts: 9  modelTime: 812  solveTime: 1187  totalTime: 2004  modelSize: 20658  readTime: 5 size: 9