(2,30) (3,25) (4,26) (5,16) (6,21) (7,22) (8,27) (9,28) (10,18) (12,19) (13,23) (14,17) (15,20) 
nodes: 890  conflicts: 57  modelTime: 660  solveTime: 877  totalTime: 1544  modelSize: 41293  readTime: 7 size: 13