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