(1,30) (2,16) (3,21) (4,20) (5,18) (6,27) (7,26) (9,28) (10,17) (11,23) (12,22) (13,25) (14,29) (15,24) 
nodes: 2110  conflicts: 28  modelTime: 963  solveTime: 4395  totalTime: 5367  modelSize: 41293  readTime: 9 size: 14