(1,13) (2,12) (3,11) (4,16) (5,15) (6,19) (8,18) (10,20) 
nodes: 350  conflicts: 29  modelTime: 586  solveTime: 481  totalTime: 1072  modelSize: 20658  readTime: 5 size: 8