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