(1,13) (2,17) (3,16) (4,18) (5,11) (7,14) (8,15) (9,19) (10,20) 
nodes: 655  conflicts: 20  modelTime: 586  solveTime: 722  totalTime: 1313  modelSize: 20658  readTime: 5 size: 9