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