(1,13) (2,18) (4,14) (5,19) (6,20) (7,16) (8,12) (9,17) (10,11) 
nodes: 455  conflicts: 30  modelTime: 680  solveTime: 605  totalTime: 1290  modelSize: 20658  readTime: 5 size: 9