(1,18) (2,20) (3,15) (4,12) (5,13) (6,14) (7,11) (8,17) (10,19) 
nodes: 194  conflicts: 12  modelTime: 685  solveTime: 523  totalTime: 1212  modelSize: 20658  readTime: 4 size: 9