(1,12) (4,11) (5,20) (6,13) (7,18) (8,14) (9,16) (10,19) 
nodes: 366  conflicts: 19  modelTime: 765  solveTime: 679  totalTime: 1449  modelSize: 20658  readTime: 5 size: 8