(2,18) (3,19) (4,11) (5,12) (6,20) (7,16) (8,14) (9,13) (10,15) 
nodes: 283  conflicts: 17  modelTime: 733  solveTime: 684  totalTime: 1422  modelSize: 20658  readTime: 5 size: 9