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