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