(1,13) (2,14) (3,20) (4,12) (5,15) (7,11) (8,16) (9,19) 
nodes: 209  conflicts: 29  modelTime: 642  solveTime: 432  totalTime: 1079  modelSize: 20658  readTime: 5 size: 8