(1,19) (2,13) (5,16) (6,14) (7,15) (8,11) (9,20) (10,18) 
nodes: 388  conflicts: 20  modelTime: 678  solveTime: 589  totalTime: 1272  modelSize: 20658  readTime: 5 size: 8