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