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