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