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