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