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