(1,16) (2,22) (3,27) (4,18) (5,30) (6,29) (7,25) (8,19) (10,20) (11,21) (12,26) (13,24) (14,17) (15,23) 
nodes: 70444  conflicts: 24  modelTime: 1186  solveTime: 248623  totalTime: 249819  modelSize: 41292  readTime: 10 size: 14