(1,16) (2,29) (3,22) (4,18) (5,20) (6,21) (7,24) (8,23) (9,30) (11,25) (12,19) (13,26) (14,27) (15,17) 
nodes: 104929  conflicts: 28  modelTime: 1182  solveTime: 225438  totalTime: 226629  modelSize: 41292  readTime: 9 size: 14