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