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