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