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