(1,28) (2,20) (4,18) (5,30) (6,26) (7,22) (8,19) (9,21) (10,16) (11,13) (12,27) (14,29) (15,24) 
nodes: 1638  conflicts: 88  modelTime: 960  solveTime: 5195  totalTime: 6167  modelSize: 72262  readTime: 12 size: 13