(1,25) (2,27) (3,22) (4,8) (5,17) (6,30) (7,16) (9,13) (10,18) (11,19) (12,29) (14,15) (20,24) (21,23) (26,28) 
nodes: 21274  conflicts: 46  modelTime: 942  solveTime: 61115  totalTime: 62068  modelSize: 72263  readTime: 11 size: 15