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