(1,26) (2,28) (3,27) (4,23) (5,30) (6,25) (8,22) (10,17) (11,16) (12,21) (13,24) (14,19) (15,20) 
nodes: 575  conflicts: 52  modelTime: 729  solveTime: 850  totalTime: 1586  modelSize: 41293  readTime: 7 size: 13