(2,19) (4,11) (5,14) (6,15) (7,17) (8,18) (9,16) (10,13) 
nodes: 736  conflicts: 28  modelTime: 692  solveTime: 844  totalTime: 1541  modelSize: 20658  readTime: 5 size: 8