(1,16) (2,11) (3,18) (4,20) (5,15) (6,19) (8,14) (9,17) (10,13) 
nodes: 288  conflicts: 13  modelTime: 734  solveTime: 647  totalTime: 1386  modelSize: 20658  readTime: 5 size: 9