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