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