(1,12) (2,13) (3,19) (5,18) (6,11) (7,16) (9,14) (10,17) 
nodes: 713  conflicts: 21  modelTime: 754  solveTime: 1209  totalTime: 1969  modelSize: 20658  readTime: 6 size: 8