(1,24) (2,21) (3,19) (4,28) (5,22) (7,20) (8,30) (9,27) (10,18) (11,14) (13,26) (15,25) (16,29) 
nodes: 4820  conflicts: 83  modelTime: 936  solveTime: 9318  totalTime: 10265  modelSize: 72262  readTime: 11 size: 13