(1,30) (3,21) (5,26) (6,19) (7,17) (8,23) (9,18) (10,22) (11,20) (12,16) (13,27) (15,29) 
nodes: 1624  conflicts: 46  modelTime: 670  solveTime: 1646  totalTime: 2323  modelSize: 41293  readTime: 7 size: 12