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