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