(1,12) (2,19) (3,18) (5,11) (6,20) (7,15) (8,17) (9,13) 
nodes: 241  conflicts: 20  modelTime: 587  solveTime: 461  totalTime: 1054  modelSize: 20658  readTime: 6 size: 8