(1,17) (2,30) (3,22) (4,25) (5,18) (6,24) (8,19) (9,29) (10,11) (12,26) (13,21) (14,20) (15,28) (16,23) 
nodes: 295355  conflicts: 35  modelTime: 1181  solveTime: 1629745  totalTime: 1630966  modelSize: 72266  readTime: 40 size: 14