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