(1,10) (2,17) (4,24) (6,8) (7,29) (9,22) (11,14) (12,19) (13,25) (15,16) (18,27) (20,30) (21,28) (23,26) 
nodes: 19171  conflicts: 34  modelTime: 1673  solveTime: 83338  totalTime: 85031  modelSize: 72265  readTime: 20 size: 14