(1,22) (2,28) (4,27) (6,25) (7,19) (8,30) (9,17) (10,20) (11,18) (12,26) (13,29) (14,23) (15,16) (21,24) 
nodes: 1356  conflicts: 75  modelTime: 1038  solveTime: 6574  totalTime: 7624  modelSize: 72269  readTime: 12 size: 14