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