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