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