(1,5) (2,19) (3,22) (4,9) (6,29) (7,28) (8,20) (10,26) (11,24) (12,27) (13,21) (14,25) (15,16) (17,23) (18,30) 
nodes: 1895  conflicts: 34  modelTime: 965  solveTime: 8013  totalTime: 8990  modelSize: 72266  readTime: 12 size: 15