(1,11) (2,15) (3,18) (4,13) (5,17) (8,19) (9,20) (10,16) 
nodes: 264  conflicts: 30  modelTime: 716  solveTime: 772  totalTime: 1493  modelSize: 20658  readTime: 5 size: 8