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