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