(2,13) (3,19) (5,18) (6,16) (7,17) (8,15) (9,12) (10,20) 
nodes: 342  conflicts: 27  modelTime: 772  solveTime: 501  totalTime: 1278  modelSize: 20658  readTime: 5 size: 8