(2,13) (3,14) (4,18) (5,12) (6,11) (7,15) (8,16) (9,19) (10,20) 
nodes: 1056  conflicts: 20  modelTime: 680  solveTime: 880  totalTime: 1565  modelSize: 20658  readTime: 5 size: 9