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