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