(1,12) (2,11) (3,14) (4,13) (5,20) (8,18) (9,19) (10,15) 
nodes: 210  conflicts: 29  modelTime: 684  solveTime: 382  totalTime: 1071  modelSize: 20646  readTime: 5 size: 8