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