(1,13) (3,19) (4,11) (5,17) (6,14) (8,12) (9,20) (10,18) 
nodes: 248  conflicts: 23  modelTime: 654  solveTime: 459  totalTime: 1118  modelSize: 20658  readTime: 5 size: 8