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