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