(2,11) (4,20) (6,14) (8,13) 
nodes: 129  conflicts: 65  modelTime: 683  solveTime: 330  totalTime: 1019  modelSize: 20646  readTime: 6 size: 4