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