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