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