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