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