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