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