(1,15) (3,19) (4,14) (5,11) (6,17) (7,16) (8,12) (9,13) (10,20) 
nodes: 486  conflicts: 12  modelTime: 719  solveTime: 872  totalTime: 1596  modelSize: 20658  readTime: 5 size: 9