(2,11) (3,12) (4,13) (5,17) (6,16) (7,18) (8,20) (10,15) 
nodes: 228  conflicts: 30  modelTime: 692  solveTime: 600  totalTime: 1298  modelSize: 20646  readTime: 6 size: 8