(1,16) (2,17) (3,11) (4,19) (5,14) (7,12) (8,20) (9,18) 
nodes: 147  conflicts: 20  modelTime: 697  solveTime: 428  totalTime: 1130  modelSize: 20658  readTime: 5 size: 8