(2,20) (3,16) (4,18) (5,13) (6,14) (7,12) (8,17) (9,11) (10,19) 
nodes: 303  conflicts: 12  modelTime: 483  solveTime: 496  totalTime: 983  modelSize: 20658  readTime: 4 size: 9