(1,15) (2,20) (3,14) (4,19) (5,12) (6,11) (7,18) (8,16) (9,17) (10,13) 
nodes: 390  conflicts: 12  modelTime: 734  solveTime: 747  totalTime: 1485  modelSize: 20658  readTime: 4 size: 10