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