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