(2,21) (3,19) (4,28) (5,20) (6,25) (7,22) (8,16) (9,23) (10,26) (11,27) (12,30) (13,29) (14,18) (15,24) 
nodes: 1634  conflicts: 47  modelTime: 659  solveTime: 2114  totalTime: 2780  modelSize: 41293  readTime: 7 size: 14