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