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