(1,8) (2,4) (3,16) (5,20) (7,15) (9,19) (10,30) (12,26) (13,17) (14,21) (18,25) (22,23) (24,28) (27,29) 
nodes: 11744  conflicts: 37  modelTime: 975  solveTime: 50801  totalTime: 51788  modelSize: 72266  readTime: 12 size: 14