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