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