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