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