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