(1,18) (2,11) (3,14) (10,13) 
nodes: 170  conflicts: 56  modelTime: 771  solveTime: 419  totalTime: 1196  modelSize: 20646  readTime: 6 size: 4