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