(1,19) (2,11) (3,16) (4,18) (6,13) (7,17) (8,15) (9,14) (10,12) 
nodes: 284  conflicts: 16  modelTime: 739  solveTime: 799  totalTime: 1543  modelSize: 20658  readTime: 5 size: 9