(1,29) (2,23) (3,21) (4,5) (6,17) (7,15) (8,25) (9,26) (10,24) (11,12) (13,14) (16,30) (18,27) (19,20) (22,28) 
nodes: 1866614  conflicts: 34  modelTime: 1728  solveTime: 8784930  totalTime: 8786675  modelSize: 72285  readTime: 17 size: 15