(1,29) (2,30) (3,28) (4,19) (5,22) (6,26) (7,25) (8,17) (10,18) (11,20) (12,21) (13,23) (14,27) 
nodes: 3681  conflicts: 61  modelTime: 658  solveTime: 5262  totalTime: 5926  modelSize: 41293  readTime: 6 size: 13