(1,21) (2,23) (3,16) (4,28) (5,19) (6,24) (7,26) (8,20) (9,27) (10,22) (11,30) (12,18) (13,29) (14,25) (15,17) 
nodes: 987  conflicts: 1  modelTime: 764  solveTime: 789  totalTime: 1559  modelSize: 41293  readTime: 6 size: 15