(1,22) (2,23) (3,28) (4,29) (5,30) (6,16) (7,21) (9,26) (10,24) (11,20) (12,25) (13,18) (14,19) (15,27) 
nodes: 34913  conflicts: 32  modelTime: 1188  solveTime: 99868  totalTime: 101065  modelSize: 41293  readTime: 9 size: 14