(1,15) (3,12) (4,18) (5,20) (8,11) (9,19) (10,17) 
nodes: 414  conflicts: 29  modelTime: 591  solveTime: 458  totalTime: 1054  modelSize: 20658  readTime: 5 size: 7