(1,21) (2,25) (3,28) (4,24) (5,22) (6,23) (7,18) (8,27) (10,16) (11,26) (12,19) (13,17) (14,30) 
nodes: 5160  conflicts: 35  modelTime: 661  solveTime: 8488  totalTime: 9155  modelSize: 41298  readTime: 6 size: 13