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