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