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