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