(1,20) (2,17) (3,19) (4,11) (5,18) (7,13) (8,15) (10,14) 
nodes: 299  conflicts: 12  modelTime: 486  solveTime: 446  totalTime: 937  modelSize: 20658  readTime: 5 size: 8