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