(1,12) (2,20) (4,19) (5,15) (6,16) (7,18) (8,11) (9,13) 
nodes: 407  conflicts: 32  modelTime: 747  solveTime: 922  totalTime: 1674  modelSize: 20658  readTime: 5 size: 8