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