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