(1,26) (2,19) (3,25) (4,18) (5,24) (6,22) (7,27) (8,30) (10,23) (11,29) (12,21) (13,20) (14,16) (15,17) 
nodes: 4217  conflicts: 40  modelTime: 667  solveTime: 6314  totalTime: 6988  modelSize: 41293  readTime: 7 size: 14