(1,8) (2,26) (3,19) (4,12) (5,10) (6,17) (7,29) (9,28) (11,14) (13,21) (15,30) (16,24) (18,25) (20,22) (23,27) 
nodes: 4323  conflicts: 35  modelTime: 1738  solveTime: 19726  totalTime: 21502  modelSize: 72263  readTime: 38 size: 15