(1,20) (2,13) (3,18) (4,19) (5,11) (6,16) (7,12) (8,15) (9,17) (10,14) 
nodes: 559  conflicts: 6  modelTime: 661  solveTime: 600  totalTime: 1266  modelSize: 20646  readTime: 5 size: 10