(1,12) (2,19) (3,20) (4,17) (5,11) (6,16) (8,13) (10,15) 
nodes: 590  conflicts: 29  modelTime: 583  solveTime: 557  totalTime: 1146  modelSize: 20646  readTime: 6 size: 8