(1,19) (2,17) (3,13) (4,18) (5,12) (7,20) (8,16) (10,15) 
nodes: 264  conflicts: 20  modelTime: 768  solveTime: 531  totalTime: 1305  modelSize: 20658  readTime: 6 size: 8