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