(2,14) (3,15) (4,18) (5,19) (6,11) (7,16) (8,20) (9,13) (10,17) 
nodes: 477  conflicts: 16  modelTime: 679  solveTime: 632  totalTime: 1316  modelSize: 20658  readTime: 5 size: 9