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