(1,13) (3,14) (4,17) (5,11) (6,18) (7,19) (8,20) (10,12) 
nodes: 465  conflicts: 28  modelTime: 591  solveTime: 600  totalTime: 1196  modelSize: 20658  readTime: 5 size: 8