(1,11) (2,8) (3,29) (4,26) (5,30) (6,27) (7,16) (9,28) (10,12) (13,15) (17,21) (18,20) (22,24) (23,25) 
nodes: 102598  conflicts: 58  modelTime: 1700  solveTime: 387328  totalTime: 389050  modelSize: 72265  readTime: 21 size: 14