(2,11) (3,16) (5,19) (6,17) (7,13) (8,15) (9,20) (10,12) 
nodes: 139  conflicts: 32  modelTime: 719  solveTime: 580  totalTime: 1304  modelSize: 20646  readTime: 5 size: 8