(1,12) (2,13) (3,11) (8,16) (9,17) (10,20) 
nodes: 250  conflicts: 34  modelTime: 694  solveTime: 340  totalTime: 1039  modelSize: 20646  readTime: 5 size: 6