(1,12) (2,15) (3,11) (4,19) (5,14) (7,20) (8,16) (10,17) 
nodes: 219  conflicts: 22  modelTime: 815  solveTime: 654  totalTime: 1474  modelSize: 20658  readTime: 5 size: 8