(1,14) (2,17) (4,11) (5,18) (6,19) (7,16) (8,12) (10,15) 
nodes: 581  conflicts: 22  modelTime: 679  solveTime: 624  totalTime: 1308  modelSize: 20658  readTime: 5 size: 8