(3,12) (5,17) (6,13) (8,18) (9,15) (10,11) 
nodes: 229  conflicts: 30  modelTime: 669  solveTime: 535  totalTime: 1210  modelSize: 20646  readTime: 6 size: 6