(1,19) (2,15) (3,13) (4,16) (6,14) (7,20) (8,18) (9,11) 
nodes: 334  conflicts: 27  modelTime: 671  solveTime: 455  totalTime: 1132  modelSize: 20658  readTime: 6 size: 8