(1,23) (2,19) (3,21) (4,27) (5,20) (6,22) (7,16) (8,24) (9,26) (10,28) (12,17) (13,29) (14,25) (15,30) 
nodes: 87427  conflicts: 24  modelTime: 1188  solveTime: 262380  totalTime: 263578  modelSize: 41293  readTime: 10 size: 14