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