(1,30) (2,26) (3,16) (4,23) (5,17) (6,21) (7,29) (8,25) (9,20) (11,22) (12,24) (13,19) (14,18) 
nodes: 3349  conflicts: 41  modelTime: 657  solveTime: 5191  totalTime: 5855  modelSize: 41293  readTime: 7 size: 13