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