(1,25) (2,14) (3,24) (5,29) (6,21) (7,9) (10,16) (11,12) (13,17) (15,27) (18,22) (19,23) (28,30) 
nodes: 1352  conflicts: 106  modelTime: 1419  solveTime: 6584  totalTime: 8026  modelSize: 72262  readTime: 22 size: 13