(1,11) (2,18) (4,12) (5,14) (6,19) (7,16) (8,15) (10,13) 
nodes: 1254  conflicts: 18  modelTime: 765  solveTime: 1217  totalTime: 1987  modelSize: 20658  readTime: 5 size: 8