(1,22) (2,18) (3,26) (4,17) (5,24) (6,16) (7,19) (8,21) (9,25) (10,20) (11,29) (13,28) (14,30) 
nodes: 544  conflicts: 44  modelTime: 659  solveTime: 669  totalTime: 1334  modelSize: 41292  readTime: 6 size: 13