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