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