(1,16) (2,23) (3,26) (4,20) (5,27) (6,22) (7,21) (9,30) (10,18) (11,17) (12,24) (13,25) (14,19) (15,29) 
nodes: 33717  conflicts: 15  modelTime: 1191  solveTime: 110312  totalTime: 111512  modelSize: 41293  readTime: 8 size: 14