(1,29) (2,24) (3,19) (4,25) (5,17) (6,23) (7,16) (8,27) (9,22) (10,28) (11,21) (13,20) (14,18) (15,30) 
nodes: 1334  conflicts: 39  modelTime: 660  solveTime: 1851  totalTime: 2517  modelSize: 41293  readTime: 6 size: 14