(1,15) (2,20) (4,11) (5,16) (6,12) (7,13) (9,14) (10,18) 
nodes: 279  conflicts: 25  modelTime: 759  solveTime: 737  totalTime: 1502  modelSize: 20646  readTime: 5 size: 8